DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...
DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...
DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
24. If f is a bijection from X to Y and g is a bijection from Y to Z, must<br />
the function composition g ◦ f be a bijection from X to Z? Explain.<br />
25. If you reverse all the arrows in the digraph of a bijection f with domain<br />
S and co-domain T , you get the digraph of another function g. Why<br />
is g a function from T to S? Why is g a bijection? What is f(g(x))?<br />
What is g(f(x))?<br />
The digraphs marked (a), (b), and (e) in Figure 1.3 are digraphs of<br />
bijections. Your description in Problem 23 illustrates another fundamental<br />
principle of combinatorial mathematics:<br />
The Bijection Principle<br />
Two sets have the same size if and only if there is a bijection between the<br />
sets.<br />
It is surprising how this innocent-sounding principle frequently provides an<br />
insight into some otherwise very complicated counting arguments.<br />
A binary representation of a positive integer m is an ordered list<br />
a1a2 . . . ak of zeros and ones such that<br />
m = a12 k−1 + a22 k−2 + · · · + ak2 0 .<br />
Our definition allows “leading zeros”: for instance, both 011 and 11 represent<br />
the number 3. Often such an ordered list of k zeros and ones is called a<br />
binary k-string, and each of its digits is called a bit, which is shorthand<br />
for binary digit. In the above example, 011 is a binary 3-string representation<br />
of 3, while 11 is a binary 2-string representation of 3.<br />
•26. Let n be a fixed positive integer. For this problem, let S be the set of<br />
all binary n-string representations of numbers between 0 and 2 n − 1,<br />
and let T be the set of all subsets of [n]. Note that the empty set ∅ is<br />
a subset of every set.<br />
(a) For n = 2, write out the sets S and T and then describe a natural<br />
bijection from S to T where in your statement of the bijection,<br />
0 and 1 play the roles of “does not belong to” and “belongs”,<br />
respectively.<br />
(b) Using the strategy from part (a), describe a bijection from S to T<br />
for general n. Explain why your map is a bijection from S to T .<br />
(c) Explain how part (b) enables you to find the number of subsets<br />
of [n].<br />
15