06.09.2021 Views

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapter 2<br />

Applications of Induction and<br />

Recursion in <strong>Combinatorics</strong><br />

and Graph Theory<br />

2.1 Some Examples of Mathematical Induction<br />

If you are unfamiliar with the Principle of Mathematical Induction, you should<br />

read Appendix B (a portion of which is repeated here).<br />

2.1.1 Mathematical induction<br />

The principle of mathematical induction states that<br />

In order to prove a statement about an integer n,ifwecan<br />

1. Prove the statement when n = b, for some fixed integer b<br />

2. Show that the truth of the statement for n = k − 1 implies the truth<br />

of the statement for n = k whenever k > b,<br />

then we can conclude the statement is true for all integers n ≥ b.<br />

As an example, let us give yet another proof that a set with n elements has 2 n<br />

subsets. This proof uses essentially the same bijections we used in proving the<br />

Pascal Equation. The statement we wish to prove is the statement that “A set of<br />

size n has 2 n subsets.”<br />

Our statement is true when n =0, because a set of size 0 is the empty set<br />

and the empty set has 1=2 0 subsets. (This step of our proof is called a<br />

base step.) Now suppose that k > 0 and every set with k − 1 elements<br />

has 2 k−1 subsets. Suppose S = {a 1 , a 2 ,...a k } is a set with k elements.<br />

We partition the subsets of S into two blocks. Block B 1 consists of the<br />

subsets that do not contain a n and block B 2 consists of the subsets that<br />

do contain a n . Each set in B 1 is a subset of {a 1 , a 2 ,...a k−1 }, and each<br />

subset of {a 1 , a 2 ,...a k−1 } is in B 1 . Thus B 1 is the set of all subsets of<br />

31

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!