Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 18
- Vielfachheiten und diagonalisierbare Abbildungen
Es sei ein Körper und es sei ein endlichdimensionaler - Vektorraum. Es sei
eine lineare Abbildung.
Dann ist genau dann diagonalisierbar, wenn das charakteristische Polynom in Linearfaktoren zerfällt und wenn für jede Nullstelle mit der algebraischen Vielfachheit die Gleichheit
gilt.
Wenn
diagonalisierbar
ist, so kann man sofort annehmen, dass bezüglich einer Basis aus Eigenvektoren durch eine
Diagonalmatrix
beschrieben wird. Die Diagonaleinträge dieser Matrix sind die Eigenwerte, und diese wiederholen sich gemäß ihrer
geometrischen Vielfachheit.
Das
charakteristische Polynom
lässt sich auch direkt aus dieser Diagonalmatrix ablesen, jeder Diagonaleintrag trägt als Linearfaktor bei.
Für die Umkehrung seien die verschiedenen Eigenwerte und
seien die (geometrischen und algebraischen) Vielfachheiten. Da nach Voraussetzung das charakteristische Polynom in Linearfaktoren zerfällt, muss die Summe dieser Zahlen gleich sein. Nach Fakt ***** ist die Summe der Eigenräume
direkt. Nach Voraussetzung ist die Dimension links ebenfalls gleich , sodass Gleichheit vorliegt. Nach
Fakt *****
ist diagonalisierbar.
- Der Satz von Cayley-Hamilton
Einer der Höhepunkte dieses Kurses ist der Satz von Cayley-Hamilton. Um ihn formulieren zu können müssen wir uns zunächst klar machen, dass man in Polynome auch quadratische Matrizen einsetzen kann. Dabei ersetzt man an jeder Stelle die Variable durch die Matrix und muss die Potenzen als das -te Matrixprodukt von mit sich selbst verstehen und die Addition als die
(komponentenweise)
Addition von Matrizen interpretieren. Ein Skalar wird dabei als das -fache der Einheitsmatrix interpretiert. Für das Polynom
und die Matrix
ist also
Zu einer fixierten Matrix gibt es also eine Einsetzungsabbildung
Dies ist - ebenso wie die Einsetzungsabbildung zu - ein Ringhomomorphismus, d.h. es gelten die Beziehungen
Der Satz von Cayley-Hamilton beantwortet nun die Frage, was passiert, wenn man eine Matrix in ihr charakteristisches Polynom einsetzt.
Es sei ein Körper und sei eine - Matrix über . Es sei
das charakteristische Polynom zu .
Dann gilt
Das heißt, dass die Matrix das charakteristische Polynom annulliert.
Wir fassen die Matrix als eine Matrix auf, deren Einträge im Körper liegen. Die adjungierte Matrix
liegt ebenfalls in . Die einzelnen Einträge der adjungierten Matrix sind nach Definition Determinanten von -Untermatrizen von . In den Einträgen dieser Matrix kommt die Variable maximal in der ersten Potenz vor, sodass in den Einträgen der adjungierten Matrix die Variable maximal in der -ten Potenz vorkommt. Wir schreiben
mit Matrizen
d.h. man schreibt die einzelnen Einträge als Polynom und fasst dann zu die Koeffizienten zu einer Matrix zusammen. Aufgrund von Satz 15.10 gilt
Wir können auch die Matrix links nach den Potenzen von aufteilen, dann ist
Da diese zwei Polynome übereinstimmen, müssen jeweils ihre Koeffizienten übereinstimmen. D.h. wir haben ein System von Gleichungen
Wir multiplizieren diese Gleichungen von links von oben nach unten mit und erhalten das Gleichungssystem
Wenn wir die linke Spalte dieses Gleichungssystem aufsummieren, so erhalten wir gerade . Wenn wir die rechte Seite aufsummieren, so erhalten wir , da jeder Teilsummand einmal positiv und einmal negativ vorkommt. Also ist .
- Euklidische Vektorräume
Im Anschauungsraum kann man nicht nur Vektoren addieren und skalieren, sondern ein Vektor hat auch eine Länge, und das Verhältnis von zwei Vektoren zueinander wird durch den Winkel zwischen ihnen ausgedrückt. Länge und Winkel werden beide durch den Begriff des Skalarprodukts präzisiert. Dafür muss ein reeller Vektorraum[1] vorliegen.
Es sei ein reeller Vektorraum. Ein Skalarprodukt auf ist eine Abbildung
mit folgenden Eigenschaften:
- Es ist
für alle , und ebenso in der zweiten Komponente.
- Es ist
für alle .
- Es ist für alle und genau dann, wenn ist.
Die dabei auftretenden Eigenschaften heißen Bilinearität (das ist nur eine andere Bezeichnung für multilinear, wenn vorne zwei Vektorräume stehen), Symmetrie und positive Definitheit.
Auf dem ist die Abbildung
ein Skalarprodukt, das man das Standardskalarprodukt nennt. Einfache Rechnungen zeigen, dass dies in der Tat ein Skalarprodukt ist.
Ein reeller, endlichdimensionaler Vektorraum, der mit einem Skalarprodukt versehen ist, heißt euklidischer Vektorraum.
Zu einem euklidischen Vektorraum ist jeder Untervektorraum selbst wieder ein euklidischer Vektorraum, da man das Skalarprodukt auf einschränken kann und dabei die definierenden Eigenschaften erhalten bleiben.
Es sei ein Vektorraum über mit einem Skalarprodukt . Man nennt zwei Vektoren orthogonal zueinander (oder senkrecht), wenn
ist.
Es sei ein euklidischer Vektorraum und ein Untervektorraum. Dann heißt
das orthogonale Komplement von .
Mit Hilfe des Schmidtschen Orthonormalisierungsverfahren kann man leicht zeigen, dass es in jedem euklidischen Vektorraum Orthonormalbasen gibt, siehe Aufgabe 40.5.
- Norm und Abstand
Mit einem Skalarprodukt kann man die Länge eines Vektors und damit auch den Abstand zwischen zwei Vektoren erklären.
Es sei ein Vektorraum über mit einem Skalarprodukt . Dann nennt man zu einem Vektor die reelle Zahl
die Norm von .
Die Elemente in einer Orthonormalbasis haben alle die Norm und sie stehen senkrecht aufeinander.
Es sei ein Vektorraum über mit einem Skalarprodukt und der zugehörigen Norm .
Dann gilt die Cauchy-Schwarzsche Abschätzung, nämlich
für alle .
Bei ist die Aussage richtig. Es sei also und damit auch . Damit hat man die Abschätzungen
Multiplikation mit und Wurzelziehen ergibt das Resultat.
Für von verschiedene Vektoren und in einem euklidischen Vektorraum folgt aus der der Ungleichung von Cauchy-Schwarz, dass
ist. Damit kann man mit Hilfe der trigonometrischen Funktion Kosinus (als bijektive Abbildung ) bzw. der Umkehrfunktion den Winkel zwischen den beiden Vektoren definieren, nämlich durch
- Fehler beim Parsen (Syntaxfehler): {\displaystyle {{}} \angle (v,w) := \arccos \frac{ \left\langle v , w \right\rangle }{ \Vert {v} \Vert \cdot \Vert {w} \Vert } \, Die trigonometrischen Funktionen werden wir bald einführen.. }
Der Winkel ist also eine reelle Zahl zwischen und . Die obige Gleichung kann man auch als
schreiben, was die Möglichkeit eröffnet, das Skalarprodukt in dieser Weise zu definieren. Allerdings muss man dann für den Winkel eine unabhängige Definition finden. Dieser Zugang ist etwas intuitiver, hat aber rechnerisch und beweistechnisch viele Nachteile.
Es sei ein Vektorraum über mit einem Skalarprodukt . Dann gelten für die zugehörige Norm folgende Eigenschaften.
- Es ist .
- Es ist genau dann, wenn ist.
- Für
und
gilt
- Für
gilt
Die ersten beiden Eigenschaften folgen direkt aus der Definition des
Skalarprodukts.
Die Multiplikativität folgt aus
Zum Beweis der Dreiecksungleichung schreiben wir
Aufgrund von
Satz 18.10
ist dies . Diese Abschätzung überträgt sich auf die Quadratwurzeln.
Es sei ein Vektorraum über mit einem Skalarprodukt und der zugehörigen Norm .
Dann gilt die Beziehung
Beweis
Es sei ein Vektorraum über mit einem Skalarprodukt . Zu zwei Vektoren nennt man
den Abstand zwischen und .
Es sei ein Vektorraum über mit einem Skalarprodukt . Dann besitzt der zugehörige Abstand die folgenden Eigenschaften (dabei sind ).
- Es ist .
- Es ist genau dann, wenn .
- Es ist .
- Es ist
Beweis
- Isometrien
Es seien und euklidische Vektorräume und sei
eine lineare Abbildung. Dann heißt eine Isometrie, wenn für alle gilt:
Es seien und euklidische Vektorräume und sei
eine lineare Abbildung. Dann sind folgende Aussagen äquivalent.
- ist eine Isometrie.
- Für alle ist .
- Für alle ist .
Die Richtungen und sind Einschränkungen und folgt aus Lemma 18.13.
Es sei ein euklidischer Vektorraum und sei
eine lineare Isometrie.
Dann besitzt jeder Eigenwert von den Betrag .
Es sei mit , d.h. ist ein Eigenvektor zum Eigenwert . Wegen der Isometrieeigenschaft gilt
Wegen folgt daraus , also .
Im Allgemeinen muss es keine Eigenwerte geben (bei ungerader Dimension allerdings schon).
- Fußnoten
- ↑ Auch für komplexe Vektorräume gibt es Skalarprodukte, was wir aber nicht behandeln werden.
<< | Kurs:Mathematik (Osnabrück 2009-2011)/Teil I | >> |
---|
- Einsetzungsabbildung (MSW)
- Skalarprodukt (MSW)
- Bilinearität (MSW)
- Symmetrie (MSW)
- Positive Definitheit (MSW)
- Standardskalarprodukt (MSW)
- Schmidtsches Orthonormalisierungsverfahren (MSW)
- Cauchy-Schwarzsche Abschätzung (MSW)
- Kosinus (MSW)
- Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesungen
- Seiten mit Math-Fehlern
- Seiten mit Math-Renderingfehlern