MSU MATHEMATICS |
MTH 481 |
| Spring 2012 |
I will not collect homework (except problems marked Hand In), but the next daily quiz will be based on it. You may also hand in problems marked Extra Credit, preferably within a week of the HW date. Each problem you give up on is a lost opportunity to learn: only look at the solution after a serious effort.
On this page, I will denote the binomial coefficient (n choose k) as (n | k), and the multi-set number (n multi-choose k) as ((n | k)).
Corrections and recent revisions are in red
.
Solutions: 1a. A line is an ordering of the 6 students (Basic Problem 1), with 6! = 720 possibilities. There is only 1 alphabetical ordering, so the probability of getting it is 1/720. 1b. This is a list of 3 students from 6 (Basic Problem 2), so the number of possibilities is 63 = 6×5×4 =120. 1c. Let S be the set of 6 students. For the first problem, let A = { (a,b,c,d,e,f) s.t. {a,b,c,d,e,f} = S }; that is, the set whose elements are lists (a,b,c,d,e,f) which, when considered as sets {a,b,c,d,e,f}, make the set of students. For the second problem, let A = { (a,b,c) s.t. a,b,c ∈ S and a≠b, a≠c, b≠c }; that is, the set whose elements are triples of distinct elements of S. 2a. The first digit can be 1,...,9, the rest can be 0,1,...,9, so there are 9×10×10×10 = 9000. 2b. The first digit can be 1,...,9, the second can be 0,1,...,9 but different from the first digit, etc., so there are 9×9×8×7 = 4536. 2c. 4536/9000, a bit over 50%. 3a. A result is a list of 10 heads or tails, so the possibilities are 210 = 1024. There is only one way to get all heads, so the probability is 1/1024. 3b. There is 1 way to get no tails and 10 ways to get exactly one tail, so the probability is 11/1024, about 1%. 3c. This is the complement of 3(b): (9000−11) / 9000 = 1 − 11/1024 4a. We have A∩B = {b}, A∪B = {a,b,c}, A\B = {a}, A×B = {(a,b), (a,c), (b,b), (b,c)}. 4b. A ⊃ {a,b}, {a}, {b}, {}; B ⊃ {b,c}, {b}, {c}, {}; each have 4 subsets. The set A×B has 16 subsets, for example {(a,b),(b,b),(b,c)}. 4c. Usually, no. A×B is a set whose elements are pairs (a,b), so no element a∈A can be an element of A×B. However, if A = {}, the nullset with no elements, then A×B = {} also has no elements, and A ⊂ A×B. Also, we might manage it for some weird sets of inifinite lists. 4d. L = A3 = A×A×A. 4e. R3 = R×R×R = {(x,y,z) s.t. x,y,z ∈ R}, the set of possible coordinates for the points of space.
| M | {1,1,1} | {1,1,2} | {1,1,3} | {1,1,4} | {1,2,2} | {1,2,3} | {1,2,4} | {1,3,3} | {1,3,4} | {1,4,4} | {2,2,2} | {2,2,3} | {2,2,4} | {2,3,3} | {2,3,4} | {2,4,4} | {3,3,3} | {3,3,4} | {3,4,4} | {4,4,4} |
| S | {1,2,3} | {1,2,4} | {1,2,5} | {1,2,6} | {1,3,4} | {1,3,5} | {1,3,6} | {1,4,5} | {1,4,6} | {1,5,6} | {2,3,4} | {2,3,5} | {2,3,6} | {2,4,5} | {2,4,6} | {2,5,6} | {3,4,5} | {3,4,6} | {3,5,6} | {4,5,6} |
| S | {1,2,3} | {1,2,4} | {1,2,5} | {1,2,6} | {1,3,4} | {1,3,5} | {1,3,6} | {1,4,5} | {1,4,6} | {1,5,6} | {2,3,4} | {2,3,5} | {2,3,6} | {2,4,5} | {2,4,6} | {2,5,6} | {3,4,5} | {3,4,6} | {3,5,6} | {4,5,6} |
| S' | {1,2} | {1,3} | {1,4} | {1,5} | {2,3} | {2,4} | {2,5} | {3,4} | {3,5} | {4,5} | ||||||||||
| S' | {1,2,3} | {1,2,4} | {1,2,5} | {1,3,4} | {1,3,5} | {1,4,5} | {2,3,4} | {2,3,5} | {2,4,5} | {3,4,5} |
| term | xxx | xxy | xyx | yxx | xyy | yxy | yyx | yyy |
| S | {1,2,3} | {1,2} | {1,3} | {2,3} | {1} | {2} | {3} | {} |
Thus a2j = a2j+1 = ((2|j)) = j+1.
2c. Use (1+x+x2)(1−x) = 1−x3 to
massage the denominator into the form 1 / (1−x3)2. Then use the known series formula: 1 / (1−z)2 = ∑k≥0 ((2 | k))zk, with z = x3.
Thus a3j = a3j+1 = a3j+2 = ((2|j)) = j+1.
3a. Step 1: (choose a handful of change of any value) ⇔ (0P or 1P or ...) and (0N or 1N or ...)
is re-imagined algebraically as:
The Stretching Transformation changes multi-sets into into ordinary sets, which will allow us to compute ((n | k)). This is a reversible transformation (one-to-one correspondence) defined as follows. We assume the elements of the multi-set M are listed in order: a1 ≤ a2 ≤ … ≤ ak; and we define the elements of the set S by adding 0 to the first entry of M, 1 to the second entry, etc.
We show the Stretching Transformation is a one-to-one correspondence by defining its inverse, the Shrinking Transformation, which changes sets back into multi-sets:
Conclusion: the multi-sets counted by ((n | k)) are in one-to-one correspondence with the sets counted by (n + k − 1 | k), meaning that these numbers are equal: