I use the following convention throughout this chapter: for , a natural number, when , and .

Previously in this course, it was established that there are exactly functions from any set of size to any set of size . Let me show you an example. Consider the following set of distinct objects.

In how many ways can you choose two objects from ? I have to be more specific. For example, are you allowed to grab the same element twice, e.g. ? Am I distinguishing from ?

In general, without further specification, there are ways to make a selection. But maybe not all of them are relevant for your purposes.

AAABACAD
BABBBCBD
CACBCCCD
DADBDCDD
The diagonal contains the repeated elements. The highlighted selections consist of those where order is not distinguished and repetitions are not counted. In this example, there are such selections.

Definition.

Denote by the number of choices of elements from a set of size with repetitions and with order.

Denote by the number of choices of elements from a set of size with no repetitions and with order.

Based in my previous discussion, .

Theorem.

For ,

Informal proof:

Proceed by induction on . The base case is clear since .

The inductive step follows from the observation that . Indeed, for every choice counted by the left hand size, I can fix the first element which has possible values. The remaining elements are chosen from a set of size (since there is no repetition) and there are of them. Thus the product of and this other amount gives me the total number of possible choices.

Note:

Formalize the above proof using a bijection between the permutations of and a set of size . An example of such a proof is seen below and you are expected to know how to write these types of formal proofs.

Corollary.

There are bijections from any set of size to itself. These are called permutations.

Combinations

Let be a set and a cardinal (usually a natural number). I will denote by the collection of subsets of of size exactly . That is, .

Definition.

The number of subsets of a given size is read as ” choose ” and denoted as follows.

Examples.

  1. when ,

You are expected to know how to prove the following exercises from the definition, not from the formula, which prove afterwards.

Exercise.

Prove that for , .

Exercise.

Combinations formula.

Assume .

Proof:

For every , let be the set of all permutations on . For simplicity, let me write . By definition, the set

has size . It is straightforward to show that, for any fixed (since they all have the same size), . The result follows.

Reflect.

It isn’t even immediately obvious that the right-most expression above is an integer to begin with. This is proved in Tutorial 3.