Download PDF

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Non-standard calculus wikipedia , lookup

Mathematical proof wikipedia , lookup

Principia Mathematica wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Virtual work wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Non-standard analysis wikipedia , lookup

Birkhoff's representation theorem wikipedia , lookup

Hyperreal number wikipedia , lookup

Transcript
enumerative combinatorics∗
mps†
2013-03-21 22:10:07
Enumerative combinatorics deals with the question: if we know that a set S
is finite, how can we determine the exact number of elements that S contains?
Basic principles and techniques of enumerative combinatorics include:
• the addition principle;
• the multiplication principle;
• the involution principle;
• the inclusion-exclusion principle; and
• the use of generating functions.
The principles listed above are disarmingly simple and seemingly obvious.
Nonetheless, when used properly they are powerful tools for producing bijective
proofs of combinatorial identities. On the other hand, while generating functions
can frequently be used to give quick proofs of identities, it is sometimes difficult
to extract combinatorial proofs from such proofs.
The most fundamental principle of enumerative combinatorics and the basis
of all counting is the addition principle. It says that if S is a finite set, then
X
|S| =
1.
x∈S
More generally, if S = A t B, then
X
X
X
|S| =
1=
1+
1 = |A| + |B|.
x∈AtB
x∈A
x∈B
By induction on n, we also get
G X
Si =
|Si |.
i∈[n]
i∈[n]
As an application of the addition principle, we prove the multiplication principle.
∗ hEnumerativeCombinatoricsi
created: h2013-03-21i by: hmpsi version: h38993i Privacy
setting: h1i hTopici h05-00i
† This text is available under the Creative Commons Attribution/Share-Alike License 3.0.
You can reuse this document or portions thereof only if you do so under terms that are
compatible with the CC-BY-SA license.
1
Proposition 1. Multiplication principle. If S and T are finite sets, then
|S × T | = |S| · |T |.
Proof. By the addition principle,
X
|S × T | =
1.
(x,y)∈S×T
But we can write S × T as the disjoint union
G
S×T =
S × {y}.
y∈T
The projection map S × {y} → S is a bijection, so |S × {y}| = |S|. Hence it
follows that
X
|S × T | =
|S × {y}|
y∈T
=
X
|S|
y∈T
= |S| ·
X
1
y∈T
= |S| · |T |,
which completes the proof.
The involution principle says that if ϕ : S → S is an involution, then for
any X ⊂ S, |X| = |ϕ(X)|. The following example illustrates the involution
principle.
Proposition 2. Enumerating elements of the powerset. Let [n] = {1, 2, . . . , n}
and let 2[n] be the powerset of [n]. Then the cardinality of 2[n] is 2n .
Proof. Define a function ϕ : 2[n] → 2[n] by the formula
ϕ(S) = S∆{n}.
In other words, ϕ(S) is the symmetric difference of S and {n} — if n is an
element of S, we remove it, and if n is not an element of S, we insert it. The
function ϕ is an involution, hence a bijection. Now notice that 2[n−1] ⊂ 2[n] and
ϕ(2[n−1] ) = 2[n] \ 2[n−1] . In other words,
2[n] = 2[n−1] t ϕ(2[n−1] ).
Since ϕ is a bijection, this implies that
|2[n] | = 2 · |2[n−1] |.
2
By induction on n we obtain
|2[n] | = 2n · |2[0] |.
Now [0] = ∅, so 2[0] = {∅}. Thus |2[0] | = 1, implying that
|2[n] | = 2n ,
which is what we wanted to show.
As we have seen above, it is possible to use the addition principle to count
the number of elements in the disjoint union of finite sets. But what if we
want to count the number of elements in a non-disjoint union of finite sets?
The inclusion-exclusion principle gives us a way to do this. A common way of
stating the inclusion-exclusion principle is as the following proposition.
Proposition 3. Inclusion-exclusion principle. Let S1 , . . . , Sn be finite sets.
Then
\ [ X
|T | Si .
Si =
(−1) i∈[n]
T ∈2[n]
i∈T
The formula in this proposition uses negative numbers. But the core of the
inclusion-exclusion principle is a statement about natural numbers.
Proposition 4. Let S and T be finite sets. Then
|S| + |T | = |S ∪ T | + |S ∩ T |.
Thus the lattice of finite subsets of N is a modular lattice.
Proof. By the addition principle,
|S| + |T | = |(S \ T ) t (S ∩ T )| + |(T \ S) t (S ∩ T )|
= |S \ T | + |S ∩ T | + |T \ S| + |S ∩ T |.
Now observe that S ∪ T = (S \ T ) t (S ∩ T ) t (T \ S). So by a second application
of the addition principle,
|S ∪ T | + |S ∩ T | = |S \ T | + |S ∩ T | + |T \ S| + |S ∩ T |.
Hence |S| + |T | = |S ∪ T | + |S ∩ T |.
3