inverse function theorem
type: Item
Wikidata QID: Q931001
Freebase ID: /m/01q5s1
instance of: theorem
different from: implicit function theorem
Microsoft Academic ID: 43987214
nLab ID: inverse function theorem
OpenAlex ID: C43987214
MathWorld ID: InverseFunctionTheorem
defining formula: f ∈ 𝒞 1 ( M , N ) det D f ( x ) ≠ 0 ⟹ ∃ ( x ∈ U ⊂ M ) ∃ ( g : f ( U ) → U ) : id U = g ∘ f , f ∘ g = id f ( U )
in defining formula: det D f
in defining formula: 𝒞 1 ( − , − )
in defining formula: id
part of: list of theorems
label: Satz von der Umkehrabbildung @de
description: theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that point
description: mathematischer Satz @de
alternative label: Satz über die Umkehrabbildung @de
alternative label: Satz von der inversen Abbildung @de
alternative label: Satz über die inverse Abbildung @de
alternative label: Satz von der Umkehrfunktion @de
alternative label: Satz über die Umkehrfunktion @de
alternative label: Satz von der inversen Funktion @de
alternative label: Satz über die inverse Funktion @de