Bourbaki

Exercice 12, § 5

Étiquette 03MO, permanente. À citer comme [Bourbaki, Tag 03MO].

Théorie des ensembles, III, p. 85

Bourbaki marks this one as harder than the rest.

a) Soient p, q deux entiers ≥1\geq 1, n=2p+qn = 2p + q, E un ensemble ayant n éléments, N=(np)=(np+q)N = \binom{n}{p} = \binom{n}{p+q}. Soit (Xi)1≤i≤N(X_i)_{1 \leq i \leq N} (resp. (Yi)1≤i≤N(Y_i)_{1 \leq i \leq N}) la suite des parties de E à p (resp. p+qp+q) éléments, rangées dans un certain ordre; montrer qu’il existe une bijection φ\varphi de [1,N][1, N] sur lui-même telle que Xφ(i)⊂YiX_{\varphi(i)} \subset Y_i pour tout i. (Méthode analogue à celle de l’exerc. 6 de III, p. 81 : observer que pour tout r≤Nr \leq N, le nombre des YjY_j contenant au moins une des parties X1,…,XrX_1, \ldots, X_r est ≥r\geq r). b) Soient h, k deux entiers ≥1\geq 1, n un entier tel que 2h+k<n2h + k < n, E un ensemble ayant n éléments, (Xi)1≤i≤r(X_i)_{1 \leq i \leq r} une suite de parties distinctes de E ayant toutes h éléments. Montrer qu’il existe une suite (Yj)1≤j≤r+1(Y_j)_{1 \leq j \leq r+1} de parties distinctes de E, ayant toutes h+kh + k éléments, telles que tout YjY_j contienne au moins un des XiX_i et que tout XiX_i soit contenu dans au moins un YjY_j (raisonner par récurrence sur n, en utilisant a)).

Solution

Aucune solution n’a encore été écrite.

Cité par

Cite

Transcrit du volume imprimé. Non traduit.