Analysis II: Implizite Funktionen

Aus Wikibooks
Zur Navigation springen Zur Suche springen

zurück zu Analysis II

Einleitung[Bearbeiten]

Es gibt Funktionen, die nicht explizit aufgeschrieben werden können. Ein berühmtes Beispiel ist der Einheitskreis, beschrieben durch die Menge mit . Die Gleichung lässt sich zwar nach auflösen, aber nicht eindeutig, womit es keine Funktion mehr ist. Wenn die Auflösung nicht gelingt, stellt man sich aber trotzdem die Frage:

Kann ich mit mehreren Funktionen eindeutig beschreiben?

Mathematischer formuliert:

Kann ich lokal eindeutig nach auflösen?

Diese Frage ist deshalb so wichtig, weil viele Kurven in der Mathematik nicht explizit, sondern implizit definiert sind und man trotzdem wichtige Aussagen über sie treffen will. Freunde des Einheitskreises werden sich freuen: Der Einheitskreis ist lokal eindeutig nach darstellbar, aber eben nicht mit einer Funktion, sondern mit mehreren.
Die Frage wird von einem sehr wichtigen Satz beantwortet:

Satz über implizite Funktionen

Der allgemeine Beweis ist äußerst schwierig, weil z.B. der Zwischenwertsatz aus der eindimensionalen Analysis nicht zur Verfügung steht.
Deswegen werden wir erstmal eine einfachere Version untersuchen und beweisen. Mit der abgespeckten Version lässt sich schon beweisen, dass der Einheitskreis lokal nach auflösbar ist.

Bitte beachten[Bearbeiten]

Allen Sätzen wird ein sinnhafter Name gegeben. Kleinere Sätze bekommen in der Literatur zwar keinen eigenen Namen, aber in diesem Buch schon. Diese Namen sind inoffiziell und werden nur innerhalb dieses Buches benutzt, um sinnvoll auf sie referenzieren zu können. Bei Sätzen mit mehr oder weniger bekannten Namen wird dieser gesondert formatiert.

  • offizielle Namen: Beispiel
  • inoffizielle Namen: Beispiel

Benötigte Definitionen[Bearbeiten]

Obwohl die folgenden Definitionen dem Leser schon bekannt sein sollten, seien sie hier noch einmal erwähnt, damit der Leser sie bei Bedarf schnell nachschlagen kann. Es werden keine Sätze aufbauend auf diesen Definitionen hier beschrieben oder bewiesen.

Offene Kugel und Umgebung[Bearbeiten]

Definition: Sei ein metrischer Raum, ein Punkt und . Dann heißt


die offene Kugel mit dem Mittelpunkt a und Radius r bzgl. der Metrik d.

Definition: Sei X ein metrischer Raum. Eine Teilmenge heißt Umgebung eines Punktes , falls ein existiert, so dass

Satz über implizite Funktionen (vereinfachte Version)[Bearbeiten]

Wir beschränken uns erstmal auf Funktionen der Form:

mit

Verglichen mit der allgemeinn Version ist diese Einschränkung gigantisch, aber selbst mit der einfachen Version lassen sich schon interessante Dinge anstellen. Auch ist es empfehlenswert für das Studium des allgemeinen Beweises sich mit dieser Einschränkung zu befassen.
Nun zum Satz:
<div id="Satz:Satz über implizite Funktionen (vereinfachte Version)" class="serlo-box serlo-theorem " style="border-left: #bedfed solid .3rem; margin-top: 1.5rem; margin-bottom: 2rem; padding-left: 0.8rem;">

Satz (Satz über implizite Funktionen (vereinfachte Version))

Es sei und streng monoton wachsend oder streng monoton fallend in bzw. in .
Dann existieren ein Rechteck mit

mit und
eine in stetige Funktion mit der Eigenschaft, dass die Menge der Nullstellen von in gleich ist.

Selbst die vereinfachte Version ist für Neulinge ein kalter Nackenschlag. Deshalb dröseln wir erstmal den Satz auf:
Die Kugel wird benutzt, um sich einen Ausschnitt aus der impliziten Funktion zu holen. z.B. könntest du dir einen Kreis aufmalen, dir einen beliebigen Punkt auf der Kreislinie suchen und um diesen Punkt einen kleineren Kreis zeichnen. Jetzt kommt die Aussage des Satzes hinzu: In diesen neuen kleineren Kreis kannst du ein Rechteck einzeichnen, sodass die Kreislinie in diesem Rechteck streng monoton wachsend/fallend ist. Gratulation, du hast soeben ein gefunden, bzw seine Existenz gezeigt. Wie genau ausschaut, darüber macht der Satz keine Aussage. Mit genügend Kreisen und Rechtecken könntest du also den ganzen Kreis abbilden. Mit diesem grafischen Beweis hättest du schon die lokale Eindeutigkeit gezeigt. Der mathematische Beweis ist natürlich komplizierter:

Der Beweis kann in zwei Abschnitte gegliedert werden:

  1. ist die Menge der Nullstellen von in .
  2. ist stetig.

1.
Wir wählen (Somit ist sichergestellt, dass das Rechteck im Kreis ist.)

Dann ist und (Wegen der Monotonie von )
Es gibt dann ein , sodass
und für alle
d.h. ist in der oberen Hälfte von positiv und in der unteren Hälfte negativ.
Jetzt können wir mit dem Zwischenwertsatz unsere Behaputung zeigen:
Da in streng monoton wachsend ist, gibt es zu jedem festen genau ein mit und .
Daraus folgt, dass die Menge der Nullstellen ist in .

2.
Jetzt untersuchen wir die Stetigkeit von :

Mit und gilt:
und
.
Mit dem Verfahren aus 1 kann man zeigen, dass eine Umgebung von existiert, sodass
für alle .
Daraus folgt
für .
Somit ist stetig im Punkt .