0
$\begingroup$

Let $f$ denote a function and $f^{-1}$ the compositional inverse of $f$ from: $\mathbb{R}\to \mathbb{R}$, for example $log$ is the compositional inverse of $exp$ function ,Really I w'd like to ask if $f(x)=0$ has a compostional inverse and is it equal's $0$ ?.

Thank you for any help

  • 0
    I would say no because $f$ is a constant map and therefore not injective or surjective, but I've never heard the term "compositional" inverse (and a quick google search reveals nothing), so....2017-01-02
  • 0
    What are the conditions for an inverse to exist? Are they satisfied here? Think bijectivity.2017-01-02

2 Answers 2

0

For a function $f: A \rightarrow B$ to have an inverse, the function must be injective (1-1) and surjective (onto).

A function $f$ is surjective if whenever $a \neq b$ we have that $f(a) \neq f(b)$. Clearly, this is not the case for f(x)=0$.

0

To have an inverse $f^{-1}$, a function $f:A\to B$ must be:

  1. One to one - meaning that if $f(a) = f(b)$, then $a = b$. This is also known as being "injective". This can also be characterized as $f$ takes each point in $A$ to a unique point in $B$.

  2. Onto - meaning that $f$ "hits" every point in $B$, or that given $b\in B$, that there exists $a\in A$ such that $f(a) = b$.

Here, "Onto" isn't even that important, because if $f$ is one-to-one and not onto, it has to be onto for a subset of $B$.

The issue is that $f(x) = 0$ for all $x$ is very much not injective. We can try building an inverse by looking at what are known as preimages or fibers. So, let's pretend like we found an inverse $f^{-1}$. Now for a tricky question: what is $f^{-1}(0)$ equal to?

Well, we known that $f(0) = 0$, so we should have that $f^{-1}(0) = 0$. We also know that $f(1) = 0$, so we should have that $f^{-1}(0) = 1$ as well. Uh oh. It turns out that $f^{-1}(0) = A$, so the preimage of $0$ isn't just a single point (which would let us make a well-defined function), but is every single point in our domain. So, any inverse function would be required to send $0$ to every point in our domain simultaneously, which isn't allowed in functions (for a function to be well defined, it must take each input to a single output).