Eine implizite Fläche ist in der Mathematik eine Fläche im euklidischen Raum, die durch eine Gleichung der Form
beschrieben wird. Eine implizite Fläche besteht aus der Gesamtheit der Nullstellen einer Funktion von drei Variablen. Implizit bedeutet, dass die Gleichung der Fläche nicht nach x oder y oder z aufgelöst ist.
Funktionsgraphen werden in der Regel durch eine Gleichung beschrieben und sind deswegen explizit dargestellte Flächen. Die dritte wichtige Beschreibung von Flächen ist die Parameterdarstellung: . Dabei werden die x-, y- und z-Koordinaten von Flächenpunkten durch drei von zwei gemeinsamen Parametern abhängigen Funktionen beschrieben. Der Übergang von einer Darstellung zu einer anderen ist in der Regel nur einfach, wenn eine explizite Darstellung vorliegt: (implizit), (parametrisiert).
Beispiele impliziter Flächen:
- eine Ebene ,
- eine Kugel ,
- ein Torus ,
- Fläche vom Geschlecht 2: (s. Bild),
- Rotationsfläche (s. Bild Weinglas).
Während man zu Ebene, Kugel und Torus noch leicht Parameterdarstellungen angeben kann, ist dies für die vierte Fläche nicht mehr einfach.
Wie bei impliziten Kurven lässt sich unter gewissen Voraussetzungen mithilfe des Satzes über implizite Funktionen auch für implizite Flächen lokal eine explizite Darstellung nachweisen. Praktisch sind solche Auflösungen nur in einfachen Fällen (Ebene, Kugel, …) möglich. Aber die theoretische Möglichkeit einer Auflösung ist der Schlüssel, um Tangentialebenen und Krümmungen in einem Flächenpunkt zu berechnen (s. unten).
Implizite Flächen haben zwar den Nachteil, dass sie schwer zu visualisieren sind. Sie bieten aber eine große Palette von theoretisch interessanten Flächen (z. B. Steinersche Flächen) und im CAD-Bereich lassen sich relativ einfach Flächen erzeugen mit voraussagbarer Gestalt und Eigenschaften (s. u.).
Formeln Bearbeiten
Für die folgenden Formeln wird die implizite Fläche immer durch eine Gleichung beschrieben, wobei die Funktion die notwendigen Differenzierbarkeitsvoraussetzungen erfüllt. Die partiellen Ableitungen von werden mit usw. bezeichnet.
Tangentialebene und Normalenvektor Bearbeiten
Ein Flächenpunkt heißt regulär, falls
- ist, andernfalls heißt der Punkt singulär.
Die Gleichung der Tangentialebene in einem regulären Flächenpunkt ist
- , und
Normalkrümmung Bearbeiten
Um die Formel übersichtlich zu halten, wurden hier die Argumente weggelassen:
- ist die Normalkrümmung der Fläche in einem regulären Punkt in Richtung des Einheitstangentenvektors .
ist die Hessematrix von (Matrix der zweiten Ableitungen).
Der Beweis dieser Formeln ergibt sich, wie im Fall der impliziten Kurve, aus dem Satz über die Auflösung impliziter Funktionen und der Formel für die Normalkrümmung einer parametrisierten Fläche.
Anwendungen impliziter Flächen Bearbeiten
Implizite Flächen lassen sich, wie implizite Kurven auch, relativ leicht durch algebraische Operationen (Addition, Multiplikation) von einfachen impliziten Flächen/Funktionen erzeugen.
Äquipotentialflächen von Punktladungen Bearbeiten
Das Potential einer Punktladung im Punkt , gemessen in dem Punkt , lässt sich, bis auf Konstanten, durch
Die Äquipotentialfläche zum Potential ist die implizite Fläche . Dies ist eine Kugel mit Mittelpunkt .
Das Potential von (z. B.) Punktladungen lässt sich durch
In der Abbildung sind die vier Ladungen gleich 1 und befinden sich in den Punkten . Die dargestellte Fläche ist die Äquipotentialfläche (implizite Fläche) .
Konstante Abstandsproduktflächen Bearbeiten
So wie eine Cassinische Kurve als die Punktmenge definiert werden kann, für die das Produkt der Abstände zu zwei vorgegebenen Punkten konstant ist (bei einer Ellipse sind die Summen der Abstände zu zwei Punkten konstant!), so lassen sich auch Flächen definieren, deren Abstandsprodukte zu vorgegebenen Punkten konstant sind.
Die im Bild Metamorphosen links oben dargestellte Fläche entsteht nach diesem Prinzip: Mit
ergibt sich die Fläche .
Metamorphosen impliziter Flächen Bearbeiten
Eine weitere einfache Konstruktion neuer impliziter Flächen ist die Metamorphose impliziter Flächen. Dabei geht man von zwei impliziten Flächen (im Beispiel: eine Abstandsproduktfläche und ein Torus) aus und erzeugt mit dem Scharparameter die Flächenschar
Im Bild wurden Flächen für dargestellt.
Glatte Approximationen mehrerer impliziter Flächen Bearbeiten
Analog zur Methode der glatten Approximation von mehreren impliziten Kurven liefert
für geeignete Parameter glatte Approximationen dreier sich schneidender Tori mit den Gleichungen
(Die Parameter der Fläche im Bild sind: )
Visualisierung impliziter Flächen Bearbeiten
Implizite Flächen lassen sich nur mit erheblichem Aufwand visualisieren. Es gibt im Wesentlichen zwei Ideen, eine implizite Fläche darzustellen. Die eine Methode beruht auf der Erzeugung von Polygonen, die die darzustellende Fläche überdecken. Diese Polygone kann man direkt zur Visualisierung der Fläche verwenden oder die Polygone und ihre Darstellung mit einem geeigneten Programm weiterverarbeiten. Informationen hierfür findet man in Triangulation einer Fläche. Eine weitere Methode beruht auf Raytracing. Hierbei werden viele einzelne Sehstrahlen auf ihr Schnittverhalten mit der Fläche untersucht.
Bei den letzten beiden Bildern wurden die triangulierten Flächen mit dem Programm PovRay nachbearbeitet. Beim Vergleich der Bilder mit den 3 Tori beachte man, dass das PovRay-Bild eine Zentralprojektion ist.
Weblinks Bearbeiten
Literatur Bearbeiten
- John A. Thorpe: Elementary Topics in Differential Geometry. Springer-Verlag, New York 1979, ISBN 0-387-90357-7.