Quadrik - LinkFang.de





Quadrik


Eine Quadrik (von lateinisch quadra Quadrat) ist in der Mathematik die Lösungsmenge einer quadratischen Gleichung mehrerer Unbekannter. In zwei Dimensionen bildet eine Quadrik im Regelfall eine Kurve in der Ebene, wobei es sich dann um einen Kegelschnitt handelt. In drei Dimensionen beschreibt eine Quadrik im Regelfall eine Fläche im Raum, die auch Fläche zweiter Ordnung oder quadratische Fläche genannt wird. Allgemein handelt es sich bei einer Quadrik um eine algebraische Varietät, also um eine spezielle Hyperfläche, in einem endlichdimensionalen reellen Koordinatenraum. Durch eine Hauptachsentransformation lässt sich jede Quadrik auf eine von drei möglichen Normalformen transformieren. Auf diese Weise können Quadriken in verschiedene grundlegende Typen klassifiziert werden.

Quadriken werden insbesondere in der analytischen und der projektiven Geometrie untersucht. Anwendungen für Quadriken in Technik und Naturwissenschaften finden sich unter anderem in der Geodäsie (Referenzellipsoid), der Architektur (Tragwerkskonstruktion) oder der Optik (Parabolspiegel).

Definition

Eine Quadrik ist eine Punktmenge im [math]n[/math]-dimensionalen reellen Koordinatenraum [math]\R^n[/math] der Form

[math]Q = \left\{ (x_1, \ldots , x_n) \in \R^n \mid q(x_1, \ldots , x_n) = 0 \right\}[/math],

wobei

[math]q(x_1, \ldots , x_n) = \sum_{i,j=1}^n a_{ij} x_i x_j + 2\,\sum_{i=1}^n b_i x_i + c[/math]

ein quadratisches Polynom in den Variablen [math]x_1, \ldots , x_n[/math] ist. Mindestens einer der Polynomkoeffizienten [math]a_{11}, \dots, a_{nn}[/math] muss dabei ungleich null sein. Zudem kann ohne Einschränkung vorausgesetzt werden, dass [math]a_{ij} = a_{ji}[/math] für alle [math]i,j \in \{1,\dotsc,n\}[/math] gilt. Eine Quadrik ist damit die Nullstellenmenge eines quadratischen Polynoms mehrerer Variablen beziehungsweise die Lösungsmenge einer quadratischen Gleichung mit mehreren Unbekannten.

Beispiele

Zum Beispiel beschreibt die Menge der Punkte

[math]Q = \left\{ (x,y) \in \R^2 \mid 2x^2 + 3 y^2 = 5 \right\}[/math]

eine Ellipse in der Ebene. Die Menge der Punkte

[math]Q = \left\{ (x,y,z) \in \R^3 \mid x^2 + y^2 - z^2 = 1 \right\}[/math]

beschreibt ein einschaliges Hyperboloid im dreidimensionalen Raum.

Eigenschaften

Matrixdarstellung

In kompakter Matrixnotation kann eine Quadrik als eine Menge von Vektoren

[math]Q = \left\{ x \in \R^n \mid x^T A x + 2 b^T x + c = 0 \right\}[/math]

beschrieben werden, wobei [math]A = (a_{ij}) \in \R^{n \times n}[/math] eine symmetrische Matrix und [math]b = (b_i) \in \R^n[/math] sowie [math]x = (x_i) \in \R^n[/math] Spaltenvektoren entsprechender Länge sind. Mit Hilfe der erweiterten Darstellungsmatrix

[math]\bar{A} = \begin{pmatrix}A & b \\ b^T & c\end{pmatrix}[/math]

und dem entsprechend erweiterten Vektor [math]\bar{x} = \tbinom{x}{1}[/math] kann eine Quadrik auch kompakt durch die Menge

[math]Q = \left\{ x \in \R^n \mid \bar{x}^T \bar{A} \, \bar{x} = 0 \right\}[/math]

in homogenen Koordinaten dargestellt werden.

Typen

Bei Quadriken werden drei grundlegende Typen unterschieden. Die Entscheidung, um welchen Typ es sich bei einer gegebenen Quadrik handelt, kann anhand der Ränge der Matrizen [math]A[/math], [math](A \mid b)[/math] und [math]\bar{A}[/math] getroffen werden:[1]

  • Kegeliger Typ: [math]\operatorname{rang}(\bar{A}) = \operatorname{rang}(A \mid b) = \operatorname{rang}(A)[/math]
  • Mittelpunktsquadrik: [math]\operatorname{rang}(\bar{A}) \gt \operatorname{rang}(A \mid b) = \operatorname{rang}(A)[/math]
  • Parabolischer Typ: [math]\operatorname{rang}(A \mid b) \gt \operatorname{rang}(A)[/math]

Eine Quadrik heißt dabei ausgeartet, falls

[math]\det \bar{A} = 0[/math]

gilt. Während nichtausgeartete Quadriken in allen Richtungen gekrümmte Hyperflächen bilden, weisen ausgeartete Quadriken in manchen Richtungen geradlinige Strukturen auf oder sind anderweitig degeneriert.

Transformationen

Quadriken lassen sich durch Ähnlichkeitsabbildungen transformieren, ohne dass sich ihr Typ dadurch verändert. Ist [math]S \in \R^{n \times n}[/math] eine reguläre Matrix, dann erhält man durch die lineare Transformation [math]y = S^{-1}x[/math] eine neue Quadrik in den Koordinaten [math]y_1, \ldots , y_n[/math], die der Gleichung

[math]\begin{pmatrix} y^T \!\! & 1 \end{pmatrix} \begin{pmatrix} S^T & 0 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} A & b \\ b^T & c \end{pmatrix} \begin{pmatrix} S & 0 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} y \\ 1 \end{pmatrix} = \begin{pmatrix} y^T \!\! & 1 \end{pmatrix} \begin{pmatrix} S^TAS & S^Tb \\ b^TS & c \end{pmatrix} \begin{pmatrix} y \\ 1 \end{pmatrix} = 0[/math]

genügt. Ebenso erhält man durch eine Parallelverschiebung [math]y = x - u[/math] um einen Vektor [math]u \in \R^n[/math] eine neue Quadrik, die die Gleichung

[math]\begin{pmatrix} y^T \!\! & 1 \end{pmatrix} \begin{pmatrix} I & 0 \\ u^T & 1 \end{pmatrix} \begin{pmatrix} A & b \\ b^T & c \end{pmatrix} \begin{pmatrix} I & u \\ 0 & 1 \end{pmatrix} \begin{pmatrix} y \\ 1 \end{pmatrix} = \begin{pmatrix} y^T \!\! & 1 \end{pmatrix} \begin{pmatrix} A & Au+b \\ u^TA+b^T & u^TAu+2b^Tu+c \end{pmatrix} \begin{pmatrix} y \\ 1 \end{pmatrix} = 0[/math]

mit der Einheitsmatrix [math]I \in \R^{n \times n}[/math] erfüllt. Insbesondere ändert sich der Rang der Matrizen [math]A, (A \mid b)[/math] und [math]\bar A[/math] durch solche Affinitäten nicht.

Normalformen

Durch eine Hauptachsentransformation lässt sich jede Quadrik auf eine der folgenden Normalformen transformieren. Hierzu wird zunächst eine orthogonale Matrix [math]S[/math], beispielsweise eine Dreh- oder Spiegelungsmatrix, derart gewählt, dass [math]S^TAS[/math] eine Diagonalmatrix ergibt, die die Eigenwerte von [math]A[/math] in absteigender Reihenfolge enthält. Im zweiten Schritt wird die transformierte Quadrik derart um einen Vektor [math]u[/math] verschoben, dass auch die linearen Terme und der konstante Term weitestgehend verschwinden. Schließlich wird die Quadrik noch so normiert, dass der konstante Term, sofern er nicht null ist, zu eins wird. Dadurch ergeben sich die folgenden drei Normalformen:[1]

  • Kegeliger Typ: [math]\frac{x_1^2}{\alpha_1^2} + \dotsb + \frac{x_p^2}{\alpha_p^2} - \frac{x_{p+1}^2}{\alpha_{p+1}^2} - \dotsb - \frac{x_r^2}{\alpha_r^2} = 0[/math]   mit   [math]1 \leq p \leq r \leq n,\ p \geq r-p[/math]
  • Mittelpunktsquadrik: [math]\frac{x_1^2}{\alpha_1^2} + \dotsb + \frac{x_p^2}{\alpha_p^2} - \frac{x_{p+1}^2}{\alpha_{p+1}^2} - \dotsb - \frac{x_r^2}{\alpha_r^2} = 1[/math]   mit   [math]1 \leq p \leq r \leq n[/math]
  • Parabolischer Typ: [math]\frac{x_1^2}{\alpha_1^2} + \dotsb + \frac{x_p^2}{\alpha_p^2} - \frac{x_{p+1}^2}{\alpha_{p+1}^2} - \dotsb - \frac{x_r^2}{\alpha_r^2} -2x_{r+1} = 0[/math]   mit   [math]1 \leq p \leq r \lt n,\ p \geq r-p[/math]

Hinzu kommt als Spezialfall die

  • Leere Menge: [math]-\frac{x_1^2}{\alpha_1^2} - \dotsb - \frac{x_r^2}{\alpha_r^2} = 1[/math]   mit   [math]1 \leq r \leq n[/math]

In allen Fällen sind die Koeffizienten [math]\alpha_1, \dotsc, \alpha_r \gt 0[/math]. Die Kennzahlen [math]p = | \{ \lambda \in \sigma(A) \colon \lambda \gt 0\} |[/math] und [math]r = | \{ \lambda \in \sigma(A) \colon \lambda \neq 0\} | = \operatorname{rang}(A)[/math] ergeben sich dabei aus der Signatur der Matrix [math]A[/math].

Klassifikation

Quadriken in einer Dimension

In einer Dimension ist eine Quadrik die Lösungsmenge einer quadratischen Gleichung in einer Unbekannten, also eine Punktmenge der Form

[math]Q = \left\{ x \in \R \mid a x^2 + bx + c = 0 \right\}[/math].

Durch Verschiebung (quadratische Ergänzung) und Normierung lassen sich die folgenden zwei Fälle unterscheiden:

Nicht ausgeartete Quadriken Ausgeartete Quadriken
Zwei Lösungen
[math]{x^2 \over \alpha^2} = 1[/math]
Eine Lösung
[math]{x^2 \over \alpha^2} = 0[/math]

In dem verbleibenden Fall [math]-\tfrac{x^2}{\alpha^2} = 1[/math] ergibt sich als Lösungsmenge die leere Menge. In allen Fällen ist [math]\alpha \gt0[/math].

Quadriken in der Ebene

In der Ebene ist eine Quadrik die Lösungsmenge einer quadratischen Gleichung mit zwei Unbekannten, also eine Punktmenge der Form

[math]Q = \left\{ (x,y) \in \R^2 \mid a x^2 + bx y + c y^2 + dx + e y + f = 0 \right\}[/math].

Hierbei handelt es sich bis auf degenerierte Fälle um Kegelschnitte, wobei ausgeartete Kegelschnitte, bei denen die Kegelspitze in der Schnittebene enthalten ist, von nicht ausgearteten Kegelschnitten unterschieden werden. Durch Hauptachsentransformation lässt sich die allgemeine Gleichung einer Quadrik auf eine der folgenden Normalformen transformieren:

Nicht ausgeartete Quadriken Ausgeartete Quadriken
Ellipse
[math]{x^2 \over \alpha^2} + {y^2 \over \beta^2} = 1[/math]
Zwei schneidende Geraden
[math]{x^2 \over \alpha^2} - {y^2 \over \beta^2} = 0[/math]
Hyperbel
[math]{x^2 \over \alpha^2} - {y^2 \over \beta^2} = 1[/math]
Zwei parallele Geraden
[math]{x^2 \over \alpha^2} = 1[/math]
Parabel
[math]{x^2 \over \alpha^2} - 2y = 0[/math]
Eine Gerade
[math]{x^2 \over \alpha^2} = 0[/math]
Ein Punkt
[math]\frac{x^2}{\alpha^2} + \frac{y^2}{\beta^2} = 0[/math]

In den beiden verbleibenden Fällen [math]-\tfrac{x^2}{\alpha^2} - \tfrac{y^2}{\beta^2} = 1[/math] und [math]-\tfrac{x^2}{\alpha^2} = 1[/math] ergibt sich als Lösungsmenge jeweils die leere Menge. In allen Fällen sind [math]\alpha, \beta \gt0[/math].

Quadriken im Raum

In dreidimensionalen Raum ist eine Quadrik die Lösungsmenge einer quadratischen Gleichung mit drei Unbekannten, also eine Punktmenge der Form

[math]Q = \left\{ (x,y,z) \in \R^3 \mid a x^2 + b xy + cxz + d y^2 + e yz + f z^2 + g x + h y + i z + j = 0 \right\}[/math].

Im Raum ist die Vielfalt der Quadriken deutlich größer als in der Ebene. Hier gibt es ebenfalls ausgeartete und nicht ausgeartete Quadriken. Unter den ausgearteten Quadriken finden sich dabei auch einfach gekrümmte Flächen, wie Zylinder und Kegel. Ähnlich wie in zwei Dimensionen lässt sich die allgemeine Gleichung einer Quadrik auf eine der folgenden Normalformen transformieren:[2]

Nicht ausgeartete Quadriken Ausgeartete Quadriken (gekrümmte Flächen) Ausgeartete Quadriken (Ebenen u.a.)
Ellipsoid
[math]{x^2 \over \alpha^2} + {y^2 \over \beta^2} + {z^2 \over \gamma^2} = 1[/math]
Elliptischer Kegel
[math]{x^2 \over \alpha^2} + {y^2 \over \beta^2} - {z^2 \over \gamma^2} = 0[/math]
Zwei schneidende Ebenen
[math]\frac{x^2}{\alpha^2}-\frac{y^2}{\beta^2}=0[/math]
Einschaliges Hyperboloid
[math]{x^2 \over \alpha^2} + {y^2 \over \beta^2} - {z^2 \over \gamma^2} = 1[/math]
Elliptischer Zylinder
[math]{x^2 \over \alpha^2} + {y^2 \over \beta^2} = 1[/math]
Zwei parallele Ebenen
[math]\frac{x^2}{\alpha^2}=1[/math]
Zweischaliges Hyperboloid
[math]{x^2 \over \alpha^2} - {y^2 \over \beta^2} - {z^2 \over \gamma^2} = 1[/math]
Hyperbolischer Zylinder
[math]{x^2 \over \alpha^2} - {y^2 \over \beta^2} = 1[/math]
Eine Ebene
[math]{x^2 \over \alpha^2} = 0[/math]
Elliptisches Paraboloid
[math]{x^2 \over \alpha^2} + {y^2 \over \beta^2} - 2z = 0[/math]
Parabolischer Zylinder
[math]{x^2 \over \alpha^2} - 2y = 0[/math]
Eine Gerade
[math]\frac{x^2}{\alpha^2}+\frac{y^2}{\beta^2}=0[/math]
Hyperbolisches Paraboloid
[math]{x^2 \over \alpha^2} - {y^2 \over \beta^2} - 2z = 0[/math]
Ein Punkt
[math] \frac{x^2}{\alpha^2}+\frac{y^2}{\beta^2}+\frac{z^2}{\gamma^2} =0[/math]

In den drei verbleibenden Fällen [math]-\tfrac{x^2}{\alpha^2}-\tfrac{y^2}{\beta^2}-\tfrac{z^2}{\gamma^2}=1[/math], [math]-\tfrac{x^2}{\alpha^2}-\tfrac{y^2}{\beta^2}=1[/math] und [math]-\tfrac{x^2}{\alpha^2}=1[/math] ergibt sich als Lösungsmenge wiederum jeweils die leere Menge. In allen Fällen sind [math]\alpha, \beta, \gamma \gt0[/math].

Für [math]\alpha = \beta[/math] (bzw. [math]\beta = \gamma[/math] im Fall des zweischaligen Hyperboloids) erhält man in folgenden Fällen Rotationsflächen, die auch als Drehquadriken bezeichnet werden: Rotationsellipsoid, ein- und zweischaliges Rotationshyperboloid, Rotationsparaboloid, Kreiskegel und Kreiszylinder. Regelflächen, also Flächen, die von einer einparametrigen Geradenschar erzeugt werden, sind Kegel, elliptischer und parabolischer Zylinder, Ebene, einschaliges Hyperboloid und hyperbolisches Paraboloid. Die letzteren drei Flächen werden sogar von zwei Geradenscharen erzeugt und sind die einzig möglichen doppelt gekrümmten Regelflächen im Raum.

Projektive Quadriken

Hauptartikel: Projektive Quadrik

Die Vielfalt der Quadriken verringert sich erheblich, wenn man sowohl den affinen Raum, in dem eine Quadrik definiert ist, als auch die Quadrik selbst projektiv abschließt. Die projektiven Erweiterungen von Ellipsen, Hyperbeln und Parabeln sind projektiv alle zueinander äquivalent, das heißt, es gibt eine projektive Kollineation, die die eine Kurve auf die andere abbildet (siehe projektiver Kegelschnitt).

Im dreidimensionalen Raum sind folgende Quadriken äquivalent:

  • Ellipsoid, zweischaliges Hyperboloid und elliptisches Paraboloid,
  • einschaliges Hyperboloid und hyperbolisches Paraboloid,
  • elliptischer, hyperbolischer, parabolischer Zylinder und Kegel.

Verallgemeinerungen

Allgemeiner können Quadriken auch in Vektorräumen über einem beliebigen Körper, also auch über dem Körper der komplexen Zahlen oder auch über endlichen Körpern betrachtet werden.[3]

Einzelnachweise

  1. 1,0 1,1 Tilo Arens, Frank Hettlich, Christian Karpfinger, Ulrich Kockelkorn, Klaus Lichtenegger, Hellmuth Stachel: Mathematik. 2. Auflage. Spektrum Akademischer Verlag, 2011, ISBN 3-8274-2347-3, S. 719.
  2. Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1. 6. Auflage. Springer, 2003, ISBN 978-3-540-41850-4, S. 345.
  3. Hanfried Lenz: Vorlesungen über projektive Geometrie. Akademische Verlagsgesellschaft Geest & Portig, Leipzig 1965, S. 155.

Literatur

  • Ilja Nikolajewitsch Bronstein, Konstantin A. Semendjajew: Taschenbuch der Mathematik. Teubner-Verlag, Leipzig 1983, ISBN 3-87144-492-8, S. 283.
  • Klemens Burg, Herbert Haf, Friedrich Wille: Höhere Mathematik für Ingenieure. Band II, Teubner-Verlag, Stuttgart, ISBN 3-519-22956-0, S. 341.
  • dtv-Atlas zur Mathematik. Band 1, Deutscher Taschenbuch-Verlag, ISBN 3-423-03007-0, S. 200–203.
  • Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1. Springer-Verlag, Berlin 1995, ISBN 3-540-59188-5, S. 343.

Weblinks

 Commons: Quadric surfaces  – Sammlung von Bildern, Videos und Audiodateien

Kategorien: Algebra | Analytische Geometrie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Quadrik (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.