binomial coefficient
For integers we define
and call such numbers binomial coefficients.
Properties.
- 1.
is an integer (proof. (http://planetmath.org/NchooseRIsAnInteger)).
- 2.
.
- 3.
(Pascal’s rule).
- 4.
for all .
- 5.
.
- 6.
for .
- 7.
.
Properties 5 and 6 are the binomial theoremapplied to and , respectively, although they also have purely combinatorial meaning.
Motivation
Suppose are integers.The below list shows some examples where the binomial coefficientsappear.
- •
constitute the coefficients when expanding thebinomial – hence the name binomial coefficients.See Binomial Theorem.
- •
is the number of ways to choose objects from a set with elements.
- •
On the context of computer science, it also helps to see as the numberof strings consisting of ones and zeros with ones and zeros.This equivalency comes from the fact thatif be a finite set
with elements, is the number of distinctsubsets of with elements. For each subset of , consider the function
where whenever and otherwise (so is the characteristic function
for ). For each , can be used to produce a unique bitstring of length with exactly ones.
Notes
The notation was first introduced byvon Ettinghausen [1] in 1826, altoughthese numbers have been used long before that. Seethis page (http://planetmath.org/PascalsTriangle) for some notes on their history.Although the standard mathematical notation for the binomial coefficients is , thereare also several variants. Especially in high school environments one encounters also or for .
Remark. It is sometimes convenient to set when . For example, property 7 above can be restated: . It can be shown that is elementary recursive.
References
- 1 N. Higham, Handbook of writing for the mathematical sciences,Society for Industrial and Applied Mathematics, 1998.