## You are here

Homeinverse function

## Primary tabs

# inverse function

Definition Suppose $f:X\to Y$ is a function between sets $X$ and $Y$, and suppose $f^{{-1}}:Y\to X$ is a mapping that satisfies

$\displaystyle f^{{-1}}\circ f$ | $\displaystyle=$ | $\displaystyle\operatorname{id}_{X},$ | ||

$\displaystyle f\circ f^{{-1}}$ | $\displaystyle=$ | $\displaystyle\operatorname{id}_{Y},$ |

where $\operatorname{id}_{A}$ denotes the identity function on the set $A$.
Then $f^{{-1}}$ is called the *inverse of* $f$,
or the *inverse function of* $f$.
If $f$ has an inverse near a point $x\in X$, then $f$ is
*invertible near $x$*. (That is, if there is a set $U$ containing $x$
such that the restriction of $f$ to $U$ is invertible, then $f$ is invertible
near $x$.) If $f$ is invertible near all $x\in X$, then
$f$ is *invertible*.

# Properties

1. When an inverse function exists, it is unique.

2. The inverse function and the inverse image of a set coincide in the following sense. Suppose $f^{{-1}}(A)$ is the inverse image of a set $A\subset Y$ under a function $f:X\to Y$. If $f$ is a bijection, then $f^{{-1}}(y)=f^{{-1}}(\{y\})$.

3. The inverse function of a function $f:X\to Y$ exists if and only if $f$ is a bijection, that is, $f$ is an injection and a surjection.

4. A linear mapping between vector spaces is invertible if and only if the determinant of the mapping is nonzero.

5. For differentiable functions between Euclidean spaces, the inverse function theorem gives a necessary and sufficient condition for the inverse to exist. This can be generalized to maps between Banach spaces which are differentiable in the sense of Frechet.

# Remarks

## Mathematics Subject Classification

03-00*no label found*03E20

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia