1 / 38

FANCY COUNTING

FANCY COUNTING. Math 507, Lecture 2, Fall 2003 Sections (1.8-1.12). Counting Subsets. (Binomial Coefficients). Counting all subsets . Notation: We denote the set of all subsets of a set A by . For example, Many books use the notation (usually with script P) or #(A).

obert
Download Presentation

FANCY COUNTING

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. FANCY COUNTING Math 507, Lecture 2, Fall 2003 Sections (1.8-1.12)

  2. Counting Subsets (Binomial Coefficients)

  3. Counting all subsets • Notation: We denote the set of all subsets of a set A by . For example, Many books use the notation (usually with script P) or #(A).

  4. Counting all subsets • Theorem: A set with n elements has subsets. A brief way of saying this is that if the set A is finite, then . Proof: Let . Then to form a subset of A perform n different tasks. First decide whether to include 1 in the subset (there are 2 choices). Then decide whether to include 2 in the subset (2 choices). Continue in this way for each of the n elements of A. By the multiplication rule, there are ways to form a subset.

  5. Counting all subsets • Example:

  6. Counting all subsets • Example: Example: If a pizza parlor offers eight toppings, then you have ways to top a pizza, not allowing repeated toppings.

  7. Counting subsets of a fixed size • Definition: We define to be the number of k-subsets of an n-set for nonnegative integers n and k. We call this number the k-th binomial coefficient of order n (for reasons that will soon appear). Note that this does not yet give us a formula for computing binomial coefficients.

  8. Counting subsets of a fixed size • Examples: Certain values are easy to find without a formula • Clearly for all n, since the first term counts the empty set and the second counts the whole n-set itself. • Similarly since the first term counts the ways to choose a single element (a 1-subset) and the second couns the ways to leave a single element out.

  9. Counting subsets of a fixed size • Examples: • By brute force we can count the 2-subsets of [4] , getting . This demonstrates that . • If k exceeds n then .

  10. Counting subsets of a fixed size • Theorems • Theorem 1.9: For all it holds that . Proof: Suppose we want to count the permutations of [n] taken k at a time. We might do this in two different ways. First we already know the answer is . Second we might choose k elements from [n] to be in the permutation and then we might arrange those k elements in some order. There are ways to do the first task and k! ways to do the second. By the multiplication rule there are ways to do the whole job. Since these two approaches both count the permutations of [n] taken k at a time they must be equal. Thus . Dividing both sides of the equation by k! yields the desired result.

  11. Counting subsets of a fixed size • Notes to theorem 1.9 • Recall that 0!=1. • This is an example of a combinatorial proof. That is, it proves equality of two formulas by showing they count the same quantity. Combinatorial proofs are often far simpler and more intuitive than algebraic proofs of the same results.

  12. Counting subsets of a fixed size • Notes to theorem 1.9 • Multiplying the numerator and denominator of the formula in Theorem 1.9 by (n-k)! yields the familiar formula The last formula has the disadvantage, however, that it fails when k exceeds n.

  13. Counting subsets of a fixed size • Notes to theorem 1.9 • Many books call the number of combinations of n things taken k at a time. AVOID THIS TERMINOLOGY! A combination simply means a subset, but the term combination is much more confusing than the simple term subset. Explain that is simply the number of k-subsets of an n-set.

  14. Counting subsets of a fixed size • Notes to theorem 1.9 • Example: Suppose you want to buy a three-topping pizza at a pizza parlor that offers 15 toppings. If repeated toppings are not allowed, how many different pizzas can you order? You simply want a 3-subset of the 15-set of toppings. Thus there are possible three-topping pizzas. • Tabulating the values of the binomial coefficients produces Pascal’s Triangle (see p. 12 in the book).

  15. Counting subsets of a fixed size • Theorem 1.10: for integers . Proof: Combinatorially this is obvious because each way to choose a k-subset also excludes the remaining (n-k)-subset. Algebraically it is also trivial.

  16. Counting subsets of a fixed size • Theorem 1.11: For and it always holds that and Otherwise for the recurrence holds. Proof: (We prove only the recurrence, the rest being obvious.) Count the k-subsets of [n] according to whether they contain the number n. If so, then the remaining elements form a (k-1)-subset of [n-1]. If not, then the remaining elements form a k-subset of [n-1]. By the addition rule the result follows.

  17. Counting subsets of a fixed size • Note to Theorem 1.11: This recurrence relation gives the standard rule for constructing Pascal’s triangle — namely, each entry is the sum of the two entries “above” it. In the tabular arrangement in the book, this means the sum of the entry directly above with the entry above and to the left.

  18. Counting subsets of a fixed size • Theorem 1.12: For all nonnegative integers n, Proof: Both sides of the equation count the subsets of [n], the left-hand side (LHS) according to the size of the subset.

  19. Counting subsets of a fixed size • Theorem 1.13: For positive integers n and k we have • Proof: Suppose we need to appoint a committee of size k with chair from a group of n people. We might first choose the k people and then make one of them the chair. There are such possibilities. (continued)

  20. Counting subsets of a fixed size • Theorem 1.13: For positive integers n and k we have • Proof (continued): Alternatively we might first appoint a chair and then fill in the remaining k-1 positions on the committee from the remaining n-1 people. There are possibilities. Equate these two formulas and divide by k to get the desired result.

  21. Counting subsets of a fixed size • Theorem 1.14 (Vandermonde’s Identity): For nonnegative integers m, n, and r we have Proof: This astonishing equation has a simple combinatorial proof. Suppose you have a group of m men and n women. Both sides of the equation count the number of ways to appoint a committee of r people from this group. The LHS does it by definition of binomial coefficient. The RHS does it according to the number, j, of men on the committee.

  22. The Binomial Theorem • Purpose: The binomial theorem tells us what the results will be in multiplying out the expression using the distributive property. Specifically it tells how what the various “like terms” will be and how many of each will appear (e.g., what the coefficient will be).

  23. The Binomial Theorem • Explanation: Consider what happens in multiplying out . We get

  24. The Binomial Theorem • Further Explanation: Each factor in contributes an x or a y to every word (term) in the final expansion. Since there are two choices (x or y) in each of three positions, by the multiplication rule we get 8 different words (terms) in the expansion. These are all the three-letter words on x and y. We then collect like terms by putting together terms with the same number of x’s and y’s. For instance, the term at the end indicates that it is possible to form three different three-letter words with two x’s and one y.

  25. The Binomial Theorem • More Explanation: Now suppose we want to expand The terms will be all the nine-letter words on x and y, so when we collect like terms, the sum of the exponents in each term must be nine. How can we find the coefficient of, say, ? We must determine how many different nine-letter words have 7 x’s and 2 y’s. This turns out to be easy: Draw nine spaces and choose seven of them to receive x’s (or two to receive y’s). The number of ways to • do this is . Thus the simplified expansion has a • term .

  26. The Binomial Theorem • Yet More Explanation: Thus • (Note that you can reverse the order of the coefficients because of theorem 1.10. Similarly you can reverse the order of the terms while keeping the coefficients unchanged.)

  27. The Binomial Theorem • The Binomial Theorem: • Proof: We have already given the essential idea.

  28. The Binomial Theorem • Consequences • The Binomial Theorem yields an alternative proof of Theorem 1.16. By setting we get

  29. The Binomial Theorem • Consequences • Expanding we see that the sum of the binomial coefficients with k odd equals the sum of them with k even. Thus every set has the same number of odd and even subsets.

  30. The Binomial Theorem • Consequences • Frequently in enumeration we want to use the Binomial Theorem “backwards” to express a complicated polynomial as some power of a binomial. The third, fourth, and fifth examples on p. 17 illustrate this technique nicely. The trick is to fiddle with the sum until it looks like a binomial expansion, perhaps with a term missing at the beginning or end.

  31. Trinomial and Multinomial Coefficients • Example: Suppose we want to form nine-letter words comprising 4 x’s, 3 y’s, and 2 z’s. How many such words are there (words are different if they are visually distinct). Denote the number by Suppose for a moment that we distinguish the letters by attaching subscripts to them: , etc. Now there are 9! different nine-letter words using these nine symbols. We can count them in another way, however: First choose the positions for the x’s, y’s, and z’s (without subscripts. There are ways to do this. Next there are 4! ways to assign subscripts to the x’s, 3! ways to do it for the y’s, and 2! ways to do it for the z’s. Thus Dividing yields .

  32. Trinomial and Multinomial Coefficients • Definition: Given nonnegative integers with , we define the trinomial coefficient by

  33. Trinomial and Multinomial Coefficients • Theorem 1.17: Under these circumstances, the trinomial coefficient counts the number of words (sequences) of length n with   x’s,   y’s, and   z’s. Equivalently it counts the ways to distribute n labeled balls among three labeled urns such that the first gets   balls, the second gets  , and the third gets . (Think of the position numbers in the word corresponding to the balls and the letters x, y, and z being the labels on the urns). Proof: The above example illustrates the central idea.

  34. Trinomial and Multinomial Coefficients • Theorem 1.18: For nonnegative n, the sum of all trinomial coefficients of order n is . That is, • Proof: Summing the trinomial coefficients counts every word of length n on x, y, and z. There are such words.

  35. Trinomial and Multinomial Coefficients • Theorem 1.19 (The Trinomial Theorem): For nonnegative n we have • Proof sketch: In expanding the nth power of the trinomial on the left, we get every word of length n on x, y, and z. Much as in the binomial case, the coefficient on a particular term is the number of words with the specified number of x’s, y’s, and z’s.

  36. Trinomial and Multinomial Coefficients • Example: In the expansion of the coefficient of is • Note: There is a trinomial recurrence that produces a “Pascal’s Pyramid.”

  37. Trinomial and Multinomial Coefficients • Definition: We can generalize the notion of trinomial coefficients to multinomial coefficients where the sum to n. This coefficient counts the number of words on n letters in which one letter appears times, another appears times, etc. It also counts the ways to put n labeled balls in k labeled urns with specified occupancies ( balls in the first urn, etc.)

  38. Trinomial and Multinomial Coefficients • Example: The letters in the word TENNESSEE can be arranged in visually distinct ways. • Theorem 1.18 generalizes to multinomial coefficients. That is, the sum of all k-nomial coefficients of order n is . Proof: Analogous to the trinomial case. • The Trinomial Theorem generalizes in the obvious fashion to produce a Multinomial theorem (Theorem 1.22).

More Related