| dbp:mathStatement
|
- Let denote an open ball of radius r in with center 0 and a map with a constant such that
:
for all in . Then for on , we have
:
in particular, f is injective. If, moreover, , then
:.
More generally, the statement remains true if is replaced by a Banach space. Also, the first part of the lemma is true for any normed space. (en)
- Let be a map between open subsets of or more generally of manifolds. Assume is continuously differentiable . If is injective on a closed subset and if the Jacobian matrix of is invertible at each point of , then is injective on a neighborhood of and is continuously differentiable . (en)
- If is a closed subset of a topological manifold and , some topological space, is a local homeomorphism that is injective on , then is injective on some neighborhood of . (en)
- Let be open subsets such that and a holomorphic map whose Jacobian matrix in variables is invertible at . Then is injective in some neighborhood of and the inverse is holomorphic. (en)
- If is an injective holomorphic map between open subsets of , then is holomorphic. (en)
|