Quadrik

Quadrik

Im mathematischen Gebiet der analytischen Geometrie versteht man unter einer Quadrik eine Kurve in der Ebene, eine Fläche im dreidimensionalen Raum oder eine Hyperfläche in einem höherdimensionalen euklidischen Raum, die durch eine quadratische Gleichung mehrerer Variablen beschrieben wird. Es handelt sich somit um das Nullstellengebilde einer quadratischen Funktion mehrerer Variablen. Im Fall von Kurven in der Ebene handelt es sich im Wesentlichen um die Kegelschnitte. Im Dreidimensionalen spricht man auch von einer Fläche zweiter Ordnung.

Zum Beispiel beschreibt die Gleichung

2x2 + 3y2 = 5

eine Ellipse in der Ebene. Die Gleichung

x2 + y2z2 = 1

beschreibt ein einschaliges Hyperboloid im dreidimensionalen Raum. Allgemein hat die Gleichung eines Kegelschnitts in der Ebene die Form

ax2 + bxy + cy2 + dx + ey + f = 0,

die einer Quadrik im dreidimensionalen Raum die Form

ax2 + bxy + cxz + dy2 + eyz + fz2 + gx + hy + iz + j = 0.

Inhaltsverzeichnis

Definitionen

Quadrik

Allgemein kann man quadratische Funktionen und Quadriken in endlich-dimensionalen Vektorräumen oder affinen oder euklidischen Räumen definieren. Durch die Wahl eines geradlinigen bzw. kartesischen Koordinatensystems kann man jedem Punkt des affinen Raums ein Koordinaten-n-Tupel zuordnen. Dadurch wird der affine Raum mit dem Raum der n-Tupel \R^n identifiziert. Der Einfachheit halber wird im folgenden der Raum \R^n betrachtet. Quadratische Funktionen und Quadriken lassen sich übersichtlich mit Hilfe von Matrizen definieren und beschreiben.

Ist A eine symmetrische n \times n-Matrix, L ein Zeilenvektor mit n reellen Einträgen und c eine reelle Konstante, so nennt man die Funktion

q:  \mathbb{R}^n \rightarrow \mathbb{R},\ x \mapsto q(x) = x^T \, A \, x  +  2 \, L \, x + c

eine quadratische Funktion. Dabei fasst man x \in\R^n als Spaltenvektor auf. Ausgeschrieben lautet der Funktionsterm:


\begin{align} q(x)
&= x^T \,A\, x + 2\,L\,x + c \\
&=
\begin{pmatrix} x_1 & \dots & x_n \end{pmatrix}
\begin{pmatrix}
 a_{11} & \cdots & a_{1n} \\ \vdots & \ddots & \vdots \\ a_{n1} & \cdots & a_{nn}
\end{pmatrix}
\begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} + 2 \, \begin{pmatrix} l_1 & \dots & l_n \end{pmatrix} \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} + c \\
&= \sum_{i,j=1}^n a_{ij} x_i x_j + 2\,\sum_{i=1}^n l_i x_i + c
\end{align}

Eine Quadrik ist die Menge der Punkte (mit dem Ortsvektor x), deren Koordinaten einer Gleichung genügen, die durch Nullsetzen einer quadratischen Funktion entsteht.

Bemerkung: Ist A zusätzlich eine Diagonalmatrix und L = 0, dann heißt q rein quadratisch.

Die Gleichung jeder allgemeinen Quadrik im obigen Sinn lässt sich durch Translationen und eine Hauptachsentransformation auf rein quadratische Form bringen. Anhand dieser allgemeinen Gleichung kann die Quadrik charakterisiert werden, d.h. bestimmt werden, welche geometrische Figur (nämlich Ellipsoid, Paraboloid, Geradenpaar, …) sie darstellt.

Definitheit

Hauptartikel: Definitheit

Eine quadratische Funktion q \colon \R^n \to \R heißt:

  • positiv definit, falls für alle x \ne 0 gilt: q(x) > 0
  • negativ definit, falls für alle x \ne 0 gilt: q(x) < 0
  • positiv semidefinit, falls für alle x \ne 0 gilt: q(x) \ge 0
  • negativ semidefinit, falls für alle x \ne 0 gilt: q(x) \le 0
  • indefinit, falls ein x \ne 0 existiert mit q(x) > 0 und ein x \ne 0 mit q(x) < 0

Beispiele

Kurven zweiter Ordnung

Beispiel 1.1

Allgemein für R2R: q(x) = a_{11}x_1^2 + 2a_{12}x_1x_2 +a_{22}x_2^2.

Eine Kurve zweiter Ordnung wird als Kegelschnitt bezeichnet.

Beispiel 1.1:

A = \begin{pmatrix} 1 & 2 \\ 2 & 1 \end{pmatrix} \Rightarrow
q(x) = x_1^2 + 4 x_1 x_2 + x_2^2
Definitheit: Für x = (1,1) : q(x) > 0 und für x = (1,-1) : q(x) < 0 \Rightarrow q(x) ist indefinit

Beispiel 1.2:

A = \begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix} \Rightarrow
q(x) = x_1^2 + 2 x_2^2
Definitheit: ∀x ≠ 0 : q(x) > 0 ⇒ q(x) ist positiv definit

Als Kurven zweiter Ordnung (Kegelschnitte) können auftreten: Ellipse, Parabel, Hyperbel und Geradenpaar.

Flächen zweiter Ordnung

Beispiel 2.1

Allgemein für \R^3\to \R:

q(x) = a_{11}x_1^2 + 2a_{12}x_1x_2 + a_{22}x_2^2 + 2a_{13}x_1x_3 + 2a_{23}x_2x_3 + a_{33}x_3^2.

Als geometrische Figur kann auftreten: Hyperboloid (einschalig und zweischalig), Ellipsoid, Doppelkegel, Paraboloid (elliptisch und hyperbolisch), Zylinder (elliptisch, parabolisch und hyperbolisch), Ebenenpaar (eventuell konjugiert komplex mit reeller Schnittgerade), Doppelebene.

Beispiel 2.1:

A = \begin{pmatrix} 1 & 0 & 2 \\ 0 & 1 & 2 \\ 2 & 2 & \frac{1}{2} \end{pmatrix} \Rightarrow
q(x) = x_1^2 + x_2^2 + 4 x_1 x_3 + 4 x_2 x_3 + \frac{1}{2} x_3^2
Definitheit: Für x = (1,1,1) ist q(x) > 0 und für x = (1,1,-1) gilt q(x) < 0 \Rightarrow q(x) ist indefinit

Beispiel 2.2:

A = I_3 = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} \Rightarrow q(x) = x_1^2 + x_2^2 + x_3^2
Definitheit: Für alle x ungleich 0 gilt: q(x) > 0 \Rightarrow q(x) ist positiv definit

Transformation auf Normalform

Das singuläre Gebilde S einer Fläche zweiter Ordnung ist die Menge aller \vec x, für die gilt:

 \vec x \cdot A = - \vec a

Verschiebung des Koordinatensystems um einen Vektor \vec x aus S führt zum Verschwinden der linearen Glieder in der Gleichung der Fläche zweiter Ordnung. Die Gleichung geht über in:

b_{11} {x'_1}^2 + b_{22} {x'_2}^2 + b_{33} {x_3'}^2 + 2 b_{12} x'_1 x'_2 + 2 b_{13} x'_1 x'_3 + 2 b_{23} x'_2 x'_3 + b = 0

x'1,x'2,x'3 sind die Koordinaten des neuen Koordinatensystems.

Der Ursprung des neuen Koordinatensystems ist der Symmetriepunkt der Fläche 2. Ordnung.

Eine Hauptachsentransformation in ein Koordinatensystem mit festem Ursprung und Koordinatenachsen in Richtung der Eigenvektoren bringt die Gleichung der Fläche zweiter Ordnung in die Normalform:

\lambda_1 x^2_1 + \lambda_2 x^2_2 + \lambda_3 x^2_3 + d = 0

Klassifizierung einer Quadrik

λ1 λ2 λ3 d Typ
>0 >0 >0 <0 Ellipsoid
>0 >0 >0 >0 nullteilige Fläche 2. Ordnung (d. h. die leere Punktmenge)
>0 >0 >0 =0 entartetes Ellipsoid (Nullpunkt) Kegel mit nichtreellen Erzeugenden
>0 >0 <0 <0 einschaliges Hyperboloid
>0 >0 <0 >0 zweischaliges Hyperboloid
>0 >0 <0 =0 elliptischer Doppelkegel (Kegelachse: x3)
>0 >0 =0 >0 Zylinder mit nichtreellen Erzeugenden
>0 >0 =0 <0 elliptischer Zylinder
>0 >0 =0 =0 Paar einander (in einer reellen Geraden) schneidender nichtreeller Ebenen
>0 <0 =0 ≠0 Hyperbolischer Zylinder
>0 <0 =0 =0 Paar sich schneidender Ebenen (beide zur z-Achse parallel)
>0 =0 =0 <0 2 parallele Ebenen (zur x-Achse senkrecht)
>0 =0 =0 >0 2 nichtreelle parallele Ebenen
>0 =0 =0 =0 Koordinatenebene (y,z-Ebene)

Projektive Quadriken

Jede Quadrik in einem affinen Raum wird durch projektive Erweiterung des Raumes zu einer projektiven Quadrik. Umgekehrt entsteht durch Schlitzen eines projektiven Raumes aus jeder projektiven eine affine Quadrik. Wenn in einem affinen Raum zwei verschiedene Quadriken zum gleichen Typ gehören, dann sind auch ihre projektiven Abschlüsse im zugehörigen projektiven Raum äquivalent, andererseits können Quadriken, deren projektiver Abschluss äquivalent ist, auch zu unterschiedlichen affinen Typen von Quadriken gehören.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Quadrik —   die, / en, eine Hyperfläche zweiter Ordnung im n dimensionalen projektiven Raum, deren Punkte mit den n + 1 homogenen Koordinaten xi (i = 0, 1,.. ., n) einer …   Universal-Lexikon

  • Projektive Quadrik — Eine projektive Quadrik ist in der projektiven analytischen Geometrie die Nullstellenmenge einer nichttrivialen, homogenen, quadratischen Funktion q in n + 1 Variablen , die als Koordinatendarstellung einer Punktmenge in dem n dimensionalen… …   Deutsch Wikipedia

  • Garland-Heckbert-Algorithmus — Der Garland Heckbert Algorithmus ist in der Computergraphik ein Verfahren, um den Detailgrad eines als Dreiecksnetz modellierten 3D Körpers kontrolliert zu reduzieren ( simplifizieren ), ohne dabei das grundsätzliche Aussehen des Körpers zu… …   Deutsch Wikipedia

  • Hauptachsentransformation — Ein zweischaliges Hyperboloid. Die gefärbten Flächen sind eine Hyperfläche zweiter Ordnung (im dreidimensionalen Raum). Die Hauptachsentransformation (HAT) ist ein Verfahren aus der linearen Algebra, um Gleichungen für sogenannte Hyperflächen… …   Deutsch Wikipedia

  • Fläche zweiter Ordnung — Als Flächen zweiter Ordnung, auch Quadrik, bezeichnet man algebraische Flächen, die durch ein quadratisches Polynom beschrieben werden. Diese Punktmengen erfüllen in Koordinatenform folgende Gleichung: a11x2 + a22y2 + a33z2 + 2a12xy + 2a13xz +… …   Deutsch Wikipedia

  • Kegelschnitte — Schnitt eines Kegels mit einer Ebene Ein Kegelschnitt (englisch conic section, cone plane intersection) ist eine Kurve, die entsteht, wenn man die Oberfläche eines unendlichen Kegels bzw. Doppelkegels mit einer Ebene schneidet. Ein Kegelschnitt… …   Deutsch Wikipedia

  • Polarisationsidentität — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Quadratfunktion — Die Normalparabel Eine quadratische Funktion (auch ganzrationale Funktion 2. Grades oder Polynom 2. Grades) ist eine Funktion, die als Funktionsterm ein Polynom vom Grad 2 besitzt, also von der Form f(x) = ax2 + bx + c mit ist. Der Graph ist die …   Deutsch Wikipedia

  • Quadratisches Polynom — Die Normalparabel Eine quadratische Funktion (auch ganzrationale Funktion 2. Grades oder Polynom 2. Grades) ist eine Funktion, die als Funktionsterm ein Polynom vom Grad 2 besitzt, also von der Form f(x) = ax2 + bx + c mit ist. Der Graph ist die …   Deutsch Wikipedia

  • Scheitelbestimmung — Die Normalparabel Eine quadratische Funktion (auch ganzrationale Funktion 2. Grades oder Polynom 2. Grades) ist eine Funktion, die als Funktionsterm ein Polynom vom Grad 2 besitzt, also von der Form f(x) = ax2 + bx + c mit ist. Der Graph ist die …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”