f ∈ 𝒞 1 ( ℝ m × ℝ n , ℝ m ) det ∂ f ( x , y ) ∂ x | ( a , b ) ≠ 0 ⟹ ∃ ( b ∈ U ⊂ ℝ n ) ∃ ( g : U → ℝ n ) : g ( b ) = a ∧ ∀ x ∈ U : f ( g ( x ) , x ) = 0
the implicit function theorem guarantees that, on the level curve 𝑓(𝑥,𝑦)=1 of the function 𝑓(𝑥,𝑦)=𝑥²+𝑦², near the point 𝐀, 𝑦 can be expressed as a function of 𝑥; no such function, however, exists near the point 𝐁
implicit function theorem
Satz von der impliziten Funktion
theorem that, under a mild condition on the partial derivatives, the set of zeros of a system of equations is locally the graph of a function
mathematischer Satz
Satz über implizite Funktionen
Satz über lokale Umkehrbarkeit
Satz über die inverse Funktion
Satz über die Umkehrfunktion