06.09.2021 Views

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

Combinatorics Through Guided Discovery, 2004a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.2. Basic Counting Principles 5<br />

1.2.1 The sum and product principles<br />

These problems contain among them the kernels of many of the fundamental<br />

ideas of combinatorics. For example, with luck, you just stated the sum principle<br />

(illustrated in Figure 1.2.1), and product principle (illustrated in Figure 1.2.2) in<br />

Problems 9 and Problem 10. These two counting principles are the basis on which<br />

we will develop many other counting principles.<br />

Figure 1.2.1: The union of these two disjoint sets has size 17.<br />

Figure 1.2.2: The union of four disjoint sets of size five.<br />

You may have noticed some standard mathematical words and phrases such<br />

as set, ordered pair, function and so on creeping into the problems. One of our<br />

goals in these notes is to show how most counting problems can be recognized as<br />

counting all or some of the elements of a set of standard mathematical objects. For<br />

example Problem 4 is meant to suggest that the question we asked in Problem 3<br />

was really a problem of counting all the ordered pairs consisting of a bread choice<br />

and a filling choice. We use A × B to stand for the set of all ordered pairs whose first<br />

element is in A and whose second element is in B and we call A × B the Cartesian<br />

product of A and B, so you can think of Problem 4 as asking you for the size of the<br />

Cartesian product of M and N, that is, asking you to count the number of elements<br />

of this Cartesian product.<br />

When a set S is a union of disjoint sets B 1 , B 2 ,...,B m we say that the sets<br />

B 1 , B 2 ,...,B m are a partition of the set S. Thus a partition of S is a (special kind<br />

of) set of sets. So that we don’t find ourselves getting confused between the set S

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

Saved successfully!

Ooh no, something went wrong!