Bourbaki

习题 12, § 5

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

集合论, III, 238

Bourbaki marks this one as harder than the rest.

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

(a) 令pp和qq为两个整数⩾1\geqslant 1,令n=2p+qn = 2p + q,令E为集合和nn元素,并令N=(np)=(np+q)N = \binom{n}{p} = \binom{n}{p+q}。令(Xi)1⩽i⩽N(X_i)_{1 \leqslant i \leqslant N}(或(Yi)1⩽i⩽N(Y_i)_{1 \leqslant i \leqslant N})为E 的所有子集中的序列,其中pp(或p+qp + q)元素排列在某个序中。证明存在 [1,N][1, N] 的双射 φ\varphi,使得 Xφ(i)⊂YiX_{\varphi(i)} \subset Y_i 对于所有 ii。 (方法类似于§ 4的习题 6:观察对于集合YjY_j的每个r⩽Nr \leqslant N数,其中包含至少有X1X_1、…\ldots之一, XrX_r 是 ⩾r\geqslant r。)

(b) 令hh、kk为两个整数⩾1\geqslant 1,令nn为整数,使得2h+k<n2h + k < n,令E为集合且nn元素,并令(Xi)1⩽i⩽r(X_i)_{1 \leqslant i \leqslant r}是E的不同子集的序列,每个都有hh元素。证明E的不同子集存在序列(Yj)1⩽j⩽r+1(Y_j)_{1 \leqslant j \leqslant r+1},每个h+kh + k元素,使得每个YjY_j包含至少有一个XiX_i并且每个XiX_i包含在至少一个YjY_j中(由归纳于nn,使用(a))。

解答

尚未写出解答。

被以下引用

引用了

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