30.11.2012 Views

DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...

DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...

DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...

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.

Table 3.1: The 3-element permutations of {a, b, c, d, e} organized by rows<br />

according to which 3-element set they permute.<br />

abc acb bac bca cab cba<br />

abd adb bad bda dab dba<br />

abe aeb bae bea eab eba<br />

acd adc cad cda dac dca<br />

ace aec cae cea eac eca<br />

ade aed dae dea ead eda<br />

bcd bdc cbd cdb dbc dcb<br />

bce bec cbe ceb ebc ecb<br />

bde bed dbe deb ebd edb<br />

cde ced dce dec ecd edc<br />

such a way that each row of the table lists all permutations of a certain<br />

3-element subset of {a, b, c, d, e}. Since each 3-element permutation<br />

appears exactly once, the rows of the table determine a partition of<br />

the set S. From Problem 100 you know any partition is the set of<br />

equivalence classes of some equivalence relation. Find the equivalence<br />

relation for this partition of S.<br />

•109. Rather than restricting to n = 5 and k = 3, it is possible to partition<br />

the set of all k-element permutations of an n-element set (which can<br />

be assumed to be the set [n] ) into equivalence classes.<br />

Let S be the set of all k-element permutations of [n], and for s1, s2 ∈ S,<br />

define<br />

s1 R s2 ⇐⇒ s1 has the same elements as s2 .<br />

(a) Prove R is an equivalence relation on S.<br />

(b) How many elements are in any equivalence class?<br />

(c) What is the size of S? (You found this earlier. In which problem?)<br />

(d) Write a carefully worded sentence that describes a bijection between<br />

the set of equivalence classes of R and the set of k-element<br />

subsets of [n].<br />

(e) What formula does this give you for the number � � n<br />

k of k-element<br />

subsets of an n-element set?<br />

In the last problem sequence you proved the following formula.<br />

47

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

Saved successfully!

Ooh no, something went wrong!