Zum Inhalt springen

Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil II/Vorlesung 43

Aus Wikiversity



Polynome in mehreren Variablen und Nullstellenmengen

Als eine Anwendung der Diagonalisierbarkeit von symmetrischen Matrizen bzw. der Hauptachsentransformation besprechen wir, wie man einfache polynomiale Gleichungen in mehreren Variablen von niedrigem Grad auf eine besonders einfache Form bringen kann. Dazu führen wir kurz Polynome in mehreren Variablen ein.


Zu einer Variablenmenge und einem - Tupel    nennt man einen Ausdruck der Form ein Monom in den .

Der Grad eines Monoms ist die Summe der Exponenten, also gleich .


Unter einem Polynom in den Variablen über einem Körper versteht man eine endliche Linearkombination von Monomen

mit  

Der Grad eines Polynoms ist das Maximum der Grade der beteiligten Monome (also derjenigen Monome, die mit einem von verschiedenen Koeffizienten wirklich vorkommen). Ein Polynom    in Variablen über definiert durch Einsetzen eine Funktion

Dies sind wichtige Funktionen in der höherdimensionalen Analysis. Die Variable in diesem Sinne interpretiert repräsentiert einfach die -te Projektion, und die Addition und die Multiplikation von Polynomen entspricht dann der Addition und der Multiplikation von Funktionen, bei der die Werte in addiert bzw. multipliziert werden.


Zu einem Körper und einer Variablenmenge besteht der Polynomring

aus allen Polynomen in diesen Variablen, wobei diese Menge durch die komponentenweise Addition und die Multiplikation, die sich durch die distributive Fortsetzung der Regel

ergibt, zu einem kommutativen Ring gemacht wird.


Es sei ein Körper und sei    ein Polynom in Variablen. Dann nennt man

das Nullstellengebilde (oder Nullstellenmenge) zu .

Das Nullstellengebilde zu ist also einfach die Faser zu der durch gegebenen Funktion

Bei    ist dies einfach eine endliche Ansammlung von einzelnen Punkten, den Nullstellen von , (bei handelt es sich um ganz ), bei    entstehen aber zunehmend interessantere und kompliziertere geometrische Gebilde. Das Studium dieser Gebilde heißt algebraische Geometrie. Bei    spricht man von algebraischen Kurven.

Bei beliebigem hat ein Polynom vom Grad die Gestalt

und das zugehörige Nullstellengebilde ist einfach die Lösungsmenge der inhomogenen linearen Gleichung

also ein affin-linearer Raum.



Reelle Quadriken

Die Polynome vom Grad zwei und ihre Nullstellenmengen sind weitgehend mit Mitteln der linearen Algebra beherrschbar.


Unter einem quadratischen Polynom    über einem Körper versteht man ein Polynom vom Grad , also einen Ausdruck der Form

mit  


Zu einem quadratischen Polynom in einer Variablen mit    und    findet man die Nullstellen durch quadratisches Ergänzen. D.h. man schreibt (die Charakteristik des Körpers sei nicht )

Dies ist genau dann gleich , wenn

und die Wurzel

in dem Körper existiert. Je nachdem gibt es keine, eine oder zwei Lösungen.


Wir stellen nun den Zusammenhang zwischen quadratischen Polynomen und Bilinearformen her.


Zu einer Bilinearform auf einem - Vektorraum nennt man die Abbildung

die zugehörige quadratische Form.

Zu einer fixierten Basis wird eine Bilinearform durch ihre Gramsche Matrix

beschrieben, und die zugehörige quadratische Form wird, wenn man für die -te Projektion (die zugehörige Dualbasis) schreibt, durch das quadratische Polynom

beschrieben. Im symmetrischen Fall ist dies

Umgekehrt kann man jedes rein-quadratische Polynom in Variablen in dieser Weise mit einer symmetrischen Gramschen Matrix ausdrücken. Die Theorie der reell-symmetrischen Bilinearformen erlaubt es, durch eine geeignete Koordinatentransformation (einen Basiswechsel) die gemischten Terme wegzukriegen.


Wir erstellen eine Liste von reellen quadratischen Polynomen in den beiden Variablen und mit den zugehörigen Nullstellenmengen, wobei wir die Koeffizienten auf beschränken. Wenn nur die eine Variable vorkommt, so hat man im Wesentlichen die drei folgenden Möglichkeiten.

    • Das Nullstellengebilde ist eine „verdoppelte Gerade“.
    • Das bedeutet
     ,  das Nullstellengebilde besteht also aus zwei parallelen Geraden.
    • Das Nullstellengebilde ist leer.

In diesen Fällen (wo die zweite Variable nicht explizit vorkommt) ist das Nullstellengebilde einfach die Produktmenge eines nulldimensionalen Nullstellengebildes (endlich viele Punkte) und einer Geraden.

Nun betrachten wir die Polynome, wo beide Variablen vorkommen.

    • Das Nullstellengebilde ist eine Parabel.
    • Das bedeutet
     ,  das Nullstellengebilde besteht also aus zwei sich kreuzenden Geraden.
    • Die einzige Lösung ist der Punkt , das Nullstellengebilde ist also ein einziger Punkt.
    • Das bedeutet
     ,  das Nullstellengebilde ist also eine Hyperbel.
    • Das Nullstellengebilde ist der Einheitskreis.
    • Das ist wieder leer.

Das Polynom taucht in dieser Liste nicht direkt auf, da es in den Variablen    und  ,  also

geschrieben werden kann. In dieser Form ist es also doch in der Liste. Der folgende Satz sagt unter anderem, dass bis auf Verzerrungen die Liste vollständig ist.

Ein Paraboloid.
Ein hyperbolisches Paraboloid, auch eine Sattelfläche genannt.
Ein Ellipsoid. Die Oberfläche ist eine Quadrik.
Ein Doppelkegel.
Ein einschaliges Hyperboloid.
Ein zweischaliges Hyperboloid.



Wir erstellen eine Liste von reellen quadratischen Polynomen in den drei Variablen und mit den zugehörigen Nullstellenmengen, wobei wir die Koeffizienten auf beschränken. Ferner betrachten wir nur solche Polynome, wo sämtliche Variablen vorkommen und deren Nullstellengebilde nicht leer ist.

    • Das Nullstellengebilde ist ein Paraboloid.
    • Das Nullstellengebilde ist eine Sattelfläche.
    • Die einzige Lösung ist der Punkt , das Nullstellengebilde ist also ein einziger Punkt.
    • Das Nullstellengebilde ist eine Sphäre, also die Oberfläche einer Kugel.
    • Das Nullstellengebilde ist die Lösungsmenge zur Gleichung  .  Das ist ein runder (Doppel)-Kegel.
    • Das Nullstellengebilde ist ein einschaliges Hyperboloid.
    • Das Nullstellengebilde ist ein zweischaliges Hyperboloid.



Jedes reelle rein-quadratische Polynom

besitzt in einer geeigneten Orthonormalbasis (bezüglich des Standardskalarproduktes) die Form

Die Koeffizienten sind die Eigenwerte der quadratischen symmetrischen Matrix

mit

Mit der im Satz aufgestellten Matrix kann man das Polynom in der Form

schreiben. Nach Definition ist die Matrix symmetrisch. Nach Satz 42.12 gibt es eine Orthonormalbasis des , bezüglich der die neue Gramsche Matrix

Diagonalgestalt besitzt, wobei

die Basiswechselmatrix von der neuen Basis zur Standardbasis bezeichnet, was wir kurz als

im Sinne von Bemerkung 9.3 ausdrücken. Es sei die Dualbasis zur neuen Orthonormalbasis. Die beschreiben also die neuen Koordinatenfunktionen, und diese fassen wir als neue Variablen auf. Es besteht dann nach Lemma 14.14 die Beziehung

Es ist somit

Wenn man dies ausrechnet, so ergibt sich , wobei die die Diagonaleinträge von sind. Nach Lemma 21.10 stimmen die Eigenwerte von mit denen von (einschließlich der Vielfachheiten) überein.



Wir betrachten das rein-quadratische Polynom

Um Satz 43.10 anzuwenden, müssen wir von der Matrix

die Eigenwerte bestimmen. Das charakteristische Polynom ist

Somit sind die Eigenwerte gleich

In einer geeigneten Orthonormalbasis besitzt dieses Polynom daher die Form



Wir möchten die rein-quadratische Form

auf Standardform im Sinne von Satz 43.10 bringen. Die zugehörige symmetrische Matrix ist

deren Eigenwerte wir bestimmen müssen. Das charakteristische Polynom der Matrix ist

die Eigenwerte sind also

In den neuen Variablen zur Orthonormalbasis aus den Eigenvektoren zu diesen Eigenwerte ist




Jedes reelle quadratische Polynom

besitzt in einer geeigneten (verschobenen) Orthonormalbasis (bezüglich des Standardskalarproduktes) die Form (mit und )

oder die Form (mit und )

Wir führen auf dem rein-quadratischen Anteil die Transformation aus Satz 43.10 durch und erhalten neue Variablen (die dual zu einer Orthonormalbasis sind), in denen das Polynom die Gestalt

bekommt, mit einem gewissen zwischen und , wobei die    seien. Die Summanden

können durch quadratisches Ergänzen mit den neuen Variablen    auf die Gestalt

gebracht werden. Abgesehen vom nun rein-quadratischen Term bleibt entweder eine Konstante oder ein lineares Polynom übrig, welches als Variable angesetzt werden kann.


Die im vorstehenden Satz auftretende Darstellung nennen wir die Standardgestalt einer quadratischen Form. Bei ihr kommen nur rein-quadratische Terme sowie allenfalls eine Variable in der ersten Potenz vor. Der Satz besagt also, dass jede quadratische Form in geeigneten orthonormalen (kartesischen) Koordinaten auf eine solche Standardgestalt gebracht werden kann. Für das Nullstellengebilde bedeutet eine solche Koordinatentransformation lediglich, dass eine affin-lineare Isometrie angewendet wird.

Eine quadratische Form in Standardgestalt

wie sie nach Satz 43.13 stets erreicht werden kann, kann weiter vereinfacht werden, wobei man allerdings Verzerrungen in Kauf nehmen muss. In den neuen Koordinaten

bzw.

für    besitzt die quadratische Form eine Darstellung der Form

wobei die Vorfaktoren jetzt gleich oder gleich sind. Man spricht von einer normierten Standardgestalt der quadratischen Form. Durch Vertauschen der Reihenfolge kann man erreichen, dass die ersten Variablen den Vorfaktor und die hinteren den Vorfaktor besitzen. Bei diesem Übergang erfährt das Nullstellengebilde Verzerrungen, aus einer Ellipse wird beispielsweise ein Kreis gemacht oder eine Parabel wird gestaucht. Da sich das Nullstellengebilde nicht ändert, wenn man die Form mit multipliziert, kann man davon ausgehen, dass die Anzahl des Vorfaktors mindestens so groß ist wie die Anzahl des Vorfaktors .



Wir betrachten das quadratische Polynom

und möchten es gemäß Satz 43.13 auf Standardform bringen. In Beispiel 43.11 haben wir den rein-quadratischen Anteil mit Hilfe der symmetrischen Matrix

untersucht und die Eigenwerte als

bestimmt. Um selbst auf Standardform zu bringen, brauchen wir die Eigenvektoren, und müssen mit ihnen den Variablenwechsel explizit durchführen. Die Eigenvektoren sind

und somit bilden

eine Orthonormalbasis aus Eigenvektoren. Es besteht die Beziehung

im Sinne von Bemerkung 9.3, und mit den neuen Variablen gilt gemäß Lemma 14.14 die Beziehung

Daher ist (für den rein-quadratischen Anteil muss man nichts ausrechnen)

Quadratisches Ergänzen mit

bzw.

liefert

und

Insgesamt ist



<< | Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil II | >>
PDF-Version dieser Vorlesung
Arbeitsblatt zur Vorlesung (PDF)