Back to the index. Or to the chambers

This article has 19 links. View as Cloud or List.

Loading ...

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Something Related To Injective Function

Definition Suppose $f:X\to Y$ is a function between sets and , 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

. Then $f^{-1}$ is called the inverse of

, or the inverse function of

. If

has an inverse near a point $x\in X$ , then

is invertible near

. (That is, if there is a set

containing

such that the restriction of

is invertible, then

is invertible near

.) If

is invertible near all $x\in X$ , then

is invertible.

When an inverse function exists, it is unique.
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 is a bijection, then $f^{-1}(y)=f^{-1}(\{y\})$ .
The inverse function of a function $f:X\to Y$ exists if and only if is a bijection, that is, is an injection and a surjection.
A linear mapping between vector spaces is invertible if and only if the determinant of the mapping is nonzero.
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.

When

is a linear mapping (for instance, a matrix), the term non-singular is also used as a synonym for invertible.