Bourbaki

习题 4, § 4

标签 03LH,永久不变。引用为 [Bourbaki, Tag 03LH]。

集合论, III, 230

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 E 为有限集合,其中 n⩾2n \geqslant 2 元素,并令 C 为 E×E\mathrm{E} \times \mathrm{E} 的子集,这样,对于 E 的不同元素的每个对 x,yx, y,恰好是两个元素之一E×E\mathrm{E} \times \mathrm{E}属于至C中的(x,y)(x, y)、(y,x)(y, x)。证明 E 上存在区间 [1,n][1, n] 的映射 ff,使得 1⩽i⩽n−11 \leqslant i \leqslant n - 1 存在(f(i),f(i+1))∈C(f(i), f(i + 1)) \in \mathrm{C}(nn 上的使用归纳法)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。