Domain and Range Confusion

Question

Find the domain of the inverse of the following function:$$f(x) = kx^\frac{1}{2}$$

The inverse, using some basic algebraic rearranging, can be said to be:

$$f^{-1}(x) = \frac{k^2}{x^2}$$

As evident, the domain of this function seems to be all real numbers.

However, a property of functions states that,

The domain of $f(x)$ is equal to the range of $f^{-1}(x)$, and the domain of $f^{-1}(x)$ is equal to the range of $f(x)$

We know that the range of $f(x)$ is $x>0$;

The presumed domain of $f^{-1}(x)$ doesn't equal the range of $f(x)$. Why is the domain of $f^{-1}(x)$ said to be the range of $f(x)$ even when the inverse function doesn't supposedly need to have a restriction on its domain?

Answer 1

Firstly, the inverse needs to take any output from $f(x)$ and return the original value. As such values outside that output (the original's range) should not be part of the inverse's input (domain).

Secondly you've rearranged incorrectly and your fraction is upside down.

Thirdly, the domain of $f(x)$ is $x\geq0$ not just $x>0$.

Lastly, there are two cases you need to consider. Either $k>0$ or $k<0$. We can ignore the $k=0$ case as this does not have an inverse function.

Case $k>0$

The domain of $f(x)$ is $x\geq0$ and so we can determine that the range is $y\geq0$. Hence the domain of the inverse should be $x>0$. We have to ignore the rest of the potential domain ($x<0$, show with dotted line) as these are not possible outputs from $f(x)$.

This leads to $f^{-1}(x)=\frac{x^2}{k^2}, x\geq0$

Example with $k=1$

Case $k<0$

Basically the same but with signs reverse. The domain of $f(x)$ is $x\geq0$ and so we can determine that the range is $y\leq0$. Hence the domain of the inverse should be $x\leq0$. We have to ignore the rest of the potential domain ($x>0$, show with dotted line) as these are not possible outputs from $f(x)$.

This leads to $f^{-1}(x)=\frac{x^2}{k^2}, x\leq0$

Example with $k=-1$

Answer 2

The inverse of the function $f(x)=kx^{\frac 12}$ isn't the entire parabola, just part of it. In order to take the inverse of a function, it has to be one-to-one. When you algebraically find the inverse, keep in mind that what you have is the positive root of $x$, not the negative.

Answer 3

In order for $f$ to have an inverse, it has to be bijective. For $f(x)=kx^{1/2}$, it only takes value for $x\geq 0$. And depending on $k$, the range could non-negative real or non-positive real.

But the problem is its inverse function $f^{-1}(x)=\frac{x^2}{k^2}$ is not bijective if you take all real number as its domain. So actually the real inverse function is the restriction $f^{-1}(x)=\frac{x^2}{k^2}$ for $x\geq 0$ (if $k>0$) or for $x\leq 0$ (if $k<0$)

Answer 4

Just to emphasize what others are saying,

the function $f$ as a function from reals to reals is actually not invertible, since it is not surjective (its range is not all of $\mathbb{R}$). In fact, it is not even defined as a function on all of $\mathbb{R}$. However, as a function from $[0,\infty)$ to the interval $[0,\infty)$ it is invertible.

It just so happens that $[0,\infty)$ is a subset of $\mathbb{R}$ and when you find an explicit formula for the inverse you need to restrict the domain of the function. That is, the actual problem you are trying to solve is this

Find an inverse for $f(x)=k\sqrt{x}$ as a function from $[0,\infty)$ to $[0,\infty)$.

The anser is: the inverse is $f^{-1}(x)=x^2/k^2$ as a function from $[0,\infty)$ to $[0,\infty)$

Answer 5

First, you don't place any restrictions on $k$. This will turn out to matter.

Second, "$f(x) = k x^{\frac{1}{2}}$" is not a function. A function presented this way is a domain and a rule/formula/expression for converting elements of the domain into elements of the image. When the domain is missing, it is normally understood to be the largest subset of whatever set makes sense given the current subject of discourse. You seem to indicate that the real numbers is that set. In this case, the domain of $f(x)$ is $x \geq 0$. (Because there are no challenges to taking square roots of zero and positive numbers.) If $k=0$, we could conceivably argue that the domain is all of the reals, but that will fail to be interesting in the next step, so we set that aside.

Now that we have a fully specified function, we can try to find its inverse. If $k=0$, we're done because $f$ is not injective (equivalently, does not pass "the horizontal line test") so does not have an inverse. (If, for some reason, the domain of $f$ had been a single point, we would be able to continue -- the domain of the inverse will be the output of $f$ at that one point.) Otherwise, if $k>0$, the range of $f$ is $[0,\infty)$ and if $k < 0$, the range of $f$ is $(-\infty,0]$. Using the fact about functions and their inverses you mention, the domain of $f^{-1}$ is either $[0,\infty)$ or $(-\infty,0]$ as $k >0$ or $k < 0$, respectively.

We could go a bit further to check the above. We compute \begin{align*} f(x) &= y = k x^{\frac{1}{2}} \text{, so} \\ f^{-1}(y) &= x = \left( \frac{y}{k} \right)^2 \text{.} \end{align*} If $k>0$, we have $y \geq 0$, and we are looking at a point on the same half of the square function that becomes the upper half of the graph of the square root function under inversion. If $k < 0$, we have $y \leq 0$, and we are looking at the same half of the graph of the square function that becomes the lower half of the square root function under inversion (as we must since $k<0$ means we are only considering that half).