Satz von der impliziten Funktion

Der Satz von der impliziten Funktion ist ein wichtiger Satz in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig aufgelöst werden kann. Der Satz gibt an, unter welcher Bedingung eine Gleichung oder ein Gleichungssystem implizit eine Funktion definiert, für die gilt. Eine derartige Funktion kann im Allgemeinen nur lokal in einer Umgebung einer Stelle gefunden werden. Unter strengeren Annahmen existiert jedoch auch eine globale Version des Satzes. Ist die Bedingung des Satzes erfüllt, kann die Ableitung als Funktion von und ohne Kenntnis der expliziten Funktion gewonnen werden; man nennt dies auch implizites Differenzieren.