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 )
det D f
𝒞 1 ( − , − )
a counterexample demonstrating the necessity of continuous differentiability in the inverse function theorem: the function 𝑥+2𝑥²sin(¹⁄𝑥) is differentiable (but not continuously so) at 0 and does not admit a local inverse near 0
kontraŭekzemplo pri la neceso de kontinua derivebleco en la funkcio de la inversa funkcio: la funkcio 𝑥+2𝑥²sin(¹⁄𝑥) estas derivebla (sed ne kontinue derivebla) ĉe 0, kaj loka inversa funkcio mankas ĉirkaŭ 0
inverse function theorem
Satz von der Umkehrabbildung
theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that point
mathematischer Satz
Satz über die Umkehrabbildung
Satz von der inversen Abbildung
Satz über die inverse Abbildung
Satz von der Umkehrfunktion
Satz über die Umkehrfunktion
Satz von der inversen Funktion
Satz über die inverse Funktion