Why does an inverse exist only for surjective functions?

[kay]

In other words, why does a function have to be onto (or surjective, i.e. Range=Codomain) for its inverse to exist?

 

[PeroK]

In other words, why does a function have to be onto (or surjective, i.e. Range=Codomain) for its inverse to exist?

The key property for a function to have an inverse is that it is 1-1. Any 1-1 function will have an inverse. The inverse, however, can only be defined on the range of the function. Perhaps this is best explained by an example:

The exponential function $e^x$ maps the real number line $(-\infty, \infty)$ onto $(0, \infty)$. The exponential is 1-1, so there exists an inverse (the natural logarithm). But, the inverse is only defined on $(0, \infty)$. You can't define the inverse function on all of the real number line.

This raises perhaps a technical point that if you are considering the set of functions that map $\mathbb{R}$ to $\mathbb{R}$ then the exponential function is in this set, but there is no inverse within this set of functions. From that point of view, the inverse doesn't exist.

 

[kay]

The key property for a function to have an inverse is that it is 1-1. Any 1-1 function will have an inverse. The inverse, however, can only be defined on the range of the function. Perhaps this is best explained by an example:

The exponential function $e^x$ maps the real number line $(-\infty, \infty)$ onto $(0, \infty)$. The exponential is 1-1, so there exists an inverse (the natural logarithm). But, the inverse is only defined on $(0, \infty)$. You can't define the inverse function on all of the real number line.

This raises perhaps a technical point that if you are considering the set of functions that map $\mathbb{R}$ to $\mathbb{R}$ then the exponential function is in this set, but there is no inverse within this set of functions. From that point of view, the inverse doesn't exist.

Actually my question was, that why can't an inverse exist for a function whose range is not necessarily equal to but is rather a subset of the codomain.

 

[pasmith]

Actually my question was, that why can't an inverse exist for a function whose range is not necessarily equal to but is rather a subset of the codomain.

An inverse of a function f: A \to B is a function g: B \to A such that g(f(a)) = a for all a \in A and f(g(b)) = b for all b \in B. An inverse is unique if it exists.

Let f: \{1,2\} \to \{1,2,3\} : x \mapsto x. Now the inverse of f, if it exists, is a function g: \{1,2,3\} \to \{1,2\}. Now we must have g(1) = 1 and g(2) = 2, but what value do you assign to g(3) such that f(g(3)) = 3?

 

[kay]

An inverse of a function f: A \to B is a function g: B \to A such that g(f(a)) = a for all a \in A and f(g(b)) = b for all b \in B. An inverse is unique if it exists.

Let f: \{1,2\} \to \{1,2,3\} : x \mapsto x. Now the inverse of f, if it exists, is a function g: \{1,2,3\} \to \{1,2\}. Now we must have g(1) = 1 and g(2) = 2, but what value do you assign to g(3) such that f(g(3)) = 3?

I got it. Thanks a lot for your help. :)