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 , , E un ensemble ayant n éléments, . Soit (resp. ) la suite des parties de E à p (resp. ) éléments, rangées dans un certain ordre; montrer qu’il existe une bijection de sur lui-même telle que pour tout i. (Méthode analogue à celle de l’exerc. 6 de III, p. 81 : observer que pour tout , le nombre des contenant au moins une des parties est ). b) Soient h, k deux entiers , n un entier tel que , E un ensemble ayant n éléments, une suite de parties distinctes de E ayant toutes h éléments. Montrer qu’il existe une suite de parties distinctes de E, ayant toutes éléments, telles que tout contienne au moins un des et que tout soit contenu dans au moins un (raisonner par récurrence sur n, en utilisant a)).
Solution
Aucune solution n’a encore été écrite.