15.12.2012 Views

Why Read This Book? - Index of

Why Read This Book? - Index of

Why Read This Book? - Index of

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

126 Chapter 4 Functions<br />

Example 4.2.2 Show that f : R → R defined by f(x) = x 3 − 1 is a surjection.<br />

Solution You may recall from pre-calculus that the graph <strong>of</strong> a polynomial function<br />

<strong>of</strong> odd degree extends all the way up and down the y-axis, so that any value<br />

chosen on the y-axis has a pre-image on the x-axis. But how do we prove f is<br />

onto? We have to choose an arbitrary y in the codomain and work backwards to<br />

find some x in the domain that maps to it. In other words, we must find a value <strong>of</strong><br />

x that makes the equation y = f(x) true. Here is the pro<strong>of</strong>.<br />

Pick any real number y, and let x = 3√ y + 1. By Theorem 3.9.1, x is a real<br />

number, and<br />

Thus f is onto. �<br />

f(x) = f( 3� y + 1) =[ 3� y + 1] 3 − 1 = y + 1 − 1 = y (4.4)<br />

EXERCISE 4.2.3 Show that the function T : Nn → Nm n from Example 4.1.5 is a<br />

surjection.<br />

EXERCISE 4.2.4 Let f :[0, 2] →[1, 7] be defined by f(x) = 3x + 1. Show that<br />

f is a surjection.<br />

EXERCISE 4.2.5 Let A be a non-empty set, and i : A → A the identity function<br />

(Exercise 4.1.8). Show that i is onto.<br />

EXERCISE 4.2.6 What does it mean to say that a function is not onto?<br />

EXERCISE 4.2.7 Show that f :[−2, 3] →[0, 10] defined by f(x) = x 2 + 1is<br />

not onto.<br />

Definition 4.2.8 Suppose f : A → B is a function. Then f is said to be one-toone<br />

provided f(x1) = f(x2) implies x1 = x2 for all x1,x2 ∈ A. That is,<br />

f is one-to-one ⇔ (∀x1,x2 ∈ A)([f(x1) = f(x2)] →[x1 = x2]) (4.5)<br />

As a notational shorthand, we write f : A 1-1<br />

−→ B. A one-to-one function is also<br />

called an injection.<br />

Note that the definition <strong>of</strong> one-to-one in (4.5) is the converse <strong>of</strong> property F2,<br />

which says<br />

(∀x1,x2 ∈ A)([x1 = x2] →[f(x1) = f(x2)])

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

Saved successfully!

Ooh no, something went wrong!