30.11.2012 Views

DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...

DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...

DISCRETE MATHEMATICS THROUGH GUIDED DISCOVERY ...

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!