Bourbaki

Corollary 1

Tag 03MC, permanent. Cite it as [Bourbaki, Tag 03MC].

Theory of Sets, chapter III, § 5. Properties of integers

Let A be a set with n elements and let p be an integer ⩽n\leqslant n. Then the number of subsets of A which have p elements is n!p!(n−p)!\dfrac{n!}{p!(n-p)!}.

Put h=2h = 2, p1=pp_1 = p, p2=n−pp_2 = n - p in Proposition 11.

¶ The number of subsets containing pp elements in a set of nn elements (where p⩽np \leqslant n) is denoted by (np)\begin{pmatrix} n \\ p \end{pmatrix} and is called the binomial coefficient with indices n and p. From the relation (np)=n!p!(n−p)!\begin{pmatrix} n \\ p \end{pmatrix} = \dfrac{n!}{p!(n-p)!} it follows immediately that (np)=(nn−p)\begin{pmatrix} n \\ p \end{pmatrix} = \begin{pmatrix} n \\ n-p \end{pmatrix}.

This is also a consequence of the fact that, if E is a set with nn elements, X→E−XX \to E - X is a bijection of the set of subsets of E consisting of pp elements onto the set of subsets of n−pn - p elements.

We put (np)=0\binom{n}{p} = 0 for each pair of natural integers such that p>np > n. With this convention the number of subsets of pp elements in a set of nn elements is (np)\binom{n}{p} for every natural integer pp.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

  • alg-i-s6-n6-lem-1 not in this corpus
  • alg-iii-s7-thm-1-cor-1 not in this corpus

Cites

Transcribed from the printed edition, 2004, Springer. Not translated.