27.12.2013 Views

Book of Proof - Amazon S3

Book of Proof - Amazon S3

Book of Proof - Amazon S3

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

212 Functions<br />

We can check our work by confirming that g −1 (g(m, n)) = (m, n). Doing<br />

the math,<br />

g −1 (g(m, n)) = g −1 (m + n, m + 2n)<br />

= ( 2(m + n) − (m + 2n),(m + 2n) − (m + n) )<br />

= (m, n).<br />

Exercises for Section 12.5<br />

1. Check that the function f : Z → Z defined by f (n) = 6 − n is bijective. Then<br />

compute f −1 .<br />

2. In Exercise 9 <strong>of</strong> Section 12.2 you proved that f : R − { 2 } → R − { 5 } defined by<br />

f (x) = 5x + 1 is bijective. Now find its inverse.<br />

x − 2<br />

3. Let B = { 2 n : n ∈ Z } = { ..., 1 4 , 1 2 ,1,2,4,8,...} . Show that the function f : Z → B<br />

defined as f (n) = 2 n is bijective. Then find f −1 .<br />

4. The function f : R → (0,∞) defined as f (x) = e x3 +1 is bijective. Find its inverse.<br />

5. The function f : R → R defined as f (x) = πx − e is bijective. Find its inverse.<br />

6. The function f : Z × Z → Z × Z defined by the formula f (m, n) = (5m + 4n,4m + 3n)<br />

is bijective. Find its inverse.<br />

7. Show that the function f : R 2 → R 2 defined by the formula f (x, y) = ((x 2 + 1)y, x 3 )<br />

is bijective. Then find its inverse.<br />

8. Is the function θ : P(Z) → P(Z) defined as θ(X) = X bijective? If so, what is its<br />

inverse?<br />

9. Consider the function f : R × N → N × R defined as f (x, y) = (y,3xy). Check that<br />

this is bijective; find its inverse.<br />

10. Consider f : N → Z defined as f (n) = (−1)n (2n − 1) + 1<br />

. This function is bijective<br />

4<br />

by Exercise 18 in Section 12.2. Find its inverse.<br />

12.6 Image and Preimage<br />

It is time to take up a matter <strong>of</strong> notation that you will encounter in future<br />

mathematics classes. Suppose we have a function f : A → B. If X ⊆ A, the<br />

expression f (X) has a special meaning. It stands for the set { f (x) : x ∈ X } .<br />

Similarly, if Y ⊆ B then f −1 (Y ) has a meaning even if f is not invertible.<br />

The expression f −1 (Y ) stands for the set { x ∈ A : f (x) ∈ Y } . Here are the<br />

precise definitions.

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

Saved successfully!

Ooh no, something went wrong!