I know the range. Do I know the domain?

Consider the function f : A R R f:A\subseteq\mathbb{R}\to\mathbb{R} , defined by the formula f ( x ) = 201 8 x + x 2019 f(x)=2018^x+x^{2019} , for all x A x\in A .

If f f is surjective, i.e. the range of f f equals the codomain f ( A ) = R \color{#20A900}{\boxed{f(A)=\mathbb{R}}} , then is it necessarily true \color{#3D99F6}{\text{necessarily true}} that A = R \color{#D61F06}{\boxed{A=\mathbb{R}}} ? \, ?

Yes No Not enough information

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.

1 solution

We will use an auxiliary function g : R R g:\mathbb{R}\to\mathbb{R} , defined by the same formula as f f , i.e. g ( x ) = 201 8 x + x 2019 g(x)=2018^x+x^{2019} , for all x R x\in \mathbb{R} . Notice that this new function is defined over the whole set of real numbers.

Now, taking the derivative of g g , we have:

g ( x ) = 201 8 x ln 2018 + 2019 x 2018 > 0 g^{\prime}(x)=2018^x\ln2018+2019x^{2018}>0 , for all x R x\in \mathbb{R}

g \Rightarrow\, g is increasing

g \Rightarrow\, g is injective (one-to-one).

This means that if a b a\not=b then g ( a ) g ( b ) g(a)\not=g(b) .

Assume A R A\not=\mathbb{R} . Then, there exists x 0 R : x 0 ∉ A x_0\in \mathbb{R}:\, x_0\not\in A

Thus, for all x A x\in A we have:

x x 0 g ( x ) g ( x 0 ) f ( x ) g ( x 0 ) g ( x 0 ) ∉ f ( A ) x\not=x_0\Rightarrow\,g(x)\not=g(x_0)\Rightarrow\, f(x)\not=g(x_0)\Rightarrow\, g(x_0)\not\in f(A) .

But the latter is not true, since f ( A ) = R f(A)=\mathbb{R} .

Therefor we conclude that A = R \color{#D61F06}{\boxed{A=\mathbb{R}}} , which furthermore means that finally f f is a bijection.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...