Consider the function , defined by the formula , for all .
If is surjective, i.e. the range of equals the codomain , then is it that
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
We will use an auxiliary function g : R → R , defined by the same formula as f , i.e. g ( x ) = 2 0 1 8 x + x 2 0 1 9 , for all x ∈ R . Notice that this new function is defined over the whole set of real numbers.
Now, taking the derivative of g , we have:
g ′ ( x ) = 2 0 1 8 x ln 2 0 1 8 + 2 0 1 9 x 2 0 1 8 > 0 , for all x ∈ R
⇒ g is increasing
⇒ g is injective (one-to-one).
This means that if a = b then g ( a ) = g ( b ) .
Assume A = R . Then, there exists x 0 ∈ R : x 0 ∈ A
Thus, for all x ∈ A we have:
x = x 0 ⇒ g ( x ) = g ( x 0 ) ⇒ f ( x ) = g ( x 0 ) ⇒ g ( x 0 ) ∈ f ( A ) .
But the latter is not true, since f ( A ) = R .
Therefor we conclude that A = R , which furthermore means that finally f is a bijection.