Sei \(K\) ein Körper.

Es folgt dann, dass \(\beta (v,w)=\beta (w,v)\) für alle \(v,w\in V\) ist. Gilt \(1\ne -1\) in \(K\), so gilt auch die Umkehrung.

Die Klassifikation alternierender Bilinearformen ist unabhängig vom Grundkörper und ist insofern einfacher als die Klassifikation von symmetrischen Bilinearformen.

Wir lassen den (nicht sehr schwierigen) Beweis hier aus.

Insbesondere sehen wir, dass \(\beta \) nur dann nicht-ausgeartet sein kann, wenn \(V\) gerade Dimension hat. Das ist für Körper, in denen \(1\ne -1\) gilt, auch leicht dadurch zu zeigen, dass man die Determinante der Strukturmatrix von \(\beta \) bezüglich einer beliebigen Basis betrachtet.

Sei \(V\) ein endlichdimensionaler \(K\)-Vektorraum mit einer nicht-ausgearteten alternierenden Bilinearform \(\beta \). Dann heißt die Gruppe der »Isometrien«, also der Automorphismen von \(V\), die \(\beta \) erhalten, die symplektische Gruppe von \((V, \beta )\):

Analog kann man eine Matrixversion der symplektischen Gruppe definieren, indem man eine nicht-ausgeartete alternierende Bilinearform auf dem Standardvektorraum \(K^n\) betrachtet.

Seien \(A\in M_n(\mathbb C)\) eine hermitesche Matrix. Wir wissen (Spektralsatz für selbstadjungierte Endomorphismen, Korollar 19.109), dass \(A\) diagonalisierbar mit reellen Eigenwerten ist, und wir schreiben \(\alpha _1 \ge \cdots \ge \alpha _n\) für die Eigenwerte von \(A\), absteigend angeordnet und mit der Vielfachheit, wie sie im charakteristischen Polynom auftreten, so dass wir jeder hermiteschen Matrix der Größe \(n\times n\) ein absteigend geordnetes \(n\)-Tupel von reellen Zahlen zuordnen.

Die Hornsche Vermutung (nach A. Horn, Eigenvalues of sums of Hermitian matrices, Pacific Journal Math. 12 (1962), 225–241) betrifft die Frage, zu welchen Tupeln \(\alpha _1 \ge \cdots \ge \alpha _n\), \(\beta _1\ge \cdots \ge \beta _n\) und \(\gamma _1 \ge \cdots \ge \gamma _n\) es hermitesche Matrizen \(A\), \(B\) und \(C\) mit den jeweiligen Eigenwerten und mit \(A+B = C\) gibt.

Aus \(A+B=C\) folgt \(\operatorname{Spur}(A) + \operatorname{Spur}(B)= \operatorname{Spur}(C)\) und damit

Diese Gleichung hängt offenbar nicht davon ab, dass die Matrizen hermitesch sind. (Ohne die Voraussetzung, dass \(A\), \(B\) und \(C\) hermitesch seien, kann man aber außer der Summengleichheit nicht viel darüber sagen, wie die Eigenwerte einer Summe von zwei Matrizen mit den Eigenwerten der Summanden zusammenhängen.)

Im hermiteschen Fall kann man die Menge der Tupel der obigen Form ganz präzise durch Ungleichungen an die Zahlen \(\alpha _i\), \(\beta _i\), \(\gamma _i\) beschreiben. Es ist zum Beispiel nicht sehr schwer zu sehen, dass \(\gamma _1 \le \alpha _1 + \beta _1\) gelten muss. Allgemeiner muss

gelten, wie Hermann Weyl 1912 zeigen konnte.

Aber diese Ungleichungen reichen noch nicht aus. A. Horn gab in der oben genannten Arbeit eine Menge von Ungleichungen an, von der er vermutete, dass sie genau die Menge aller Tupel mit den obigen Eigenschaften beschreibt. Der Beweis dieser Vermutung konnte erst 1999 von Knutson und Tao, aufbauend auf Resultaten von Klyachko, Totaro und anderen, abgeschlossen werden. Die dabei verwendeten Methoden gehen weit über die lineare Algebra hinaus.

Eine umfangreiche Übersicht und weitere Literaturverweise finden Sie in dem folgenden Artikel. Allerdings ist der Beweis selbst, wie gesagt, erst mit wesentlich weitergehenden Kenntnissen zugänglich. Diese Ergänzung ist also so zu betrachten, dass ein mathematisches Problem vorgestellt wird, das mit den Methoden diese Vorlesung formuliert werden kann und schon seit über 100 Jahren untersucht wird (auch weil es auch an anderer Stelle relevant ist), das aber erst relativ kürzlich und unter Benutzung von schwierigen Ergebnissen, die über das typische Mathematikstudium hinausgehen, bewiesen wurde. Vielleicht können/mögen Sie dieses Beispiel als Motivation dafür mitnehmen, noch mehr Mathematik zu lernen.

W. Fulton, Eigenvalues, invariant factors, highest weights, and Schubert calculus, Bull. Amer. Math. Soc. 37, no. 3 (2000), 209–249.
https://www.ams.org/journals/bull/2000-37-03/S0273-0979-00-00865-X/

Sei \(A\in M_{m\times n}(\mathbb C)\) eine Matrix mit Singulärwertzerlegung \(A = V\Sigma W^\ast \). Wir schreiben wie oben

und definieren

Man beachte, dass \(\Sigma ^\dagger \) eine \((n\times m)\)-Matrix ist, also dieselbe Größe hat wie \(\Sigma ^t\).

Dann kann man zeigen (siehe Satz 19.135), dass

unabhängig von der Wahl der Singulärwertzerlegung von \(A\) ist. Die Matrix \(A^\dagger \) heißt die Moore-Penrose-Inverse der Matrix \(A\). Wenn \(A\) quadratisch und invertierbar ist, so gilt offenbar \(\Sigma ^\dagger =\Sigma ^{-1}\) und es folgt \(A^\dagger =A^{-1}\). Wie die Bezeichnung suggeriert, handelt es sich also um eine Verallgemeinerung der inversen Matrix auf nicht-invertierbare und sogar nicht-quadratische Matrizen. Wir sehen an der Definition, dass \(A^\dagger \) nur reelle Zahlen als Einträge hat, sofern \(A\in M_{m\times n}(\mathbb R)\) ist.

Man kann die Moore-Penrose-Inverse auch durch die folgenden Bedingungen charakterisieren:

Wir lassen den Beweis aus.

Im Kontext von linearen Gleichungssystemen hat die Moore-Penrose-Inverse die folgende Bedeutung. Wir betrachten ein lineares Gleichungssystem \(Ax = b\) mit \(A\in M_{m\times n}(\mathbb C)\) und \(b\in \mathbb C^m\). Für invertierbares \(A\) ist \(x = A^{-1}b\) die eindeutig bestimmte Lösung für dieses Gleichungssystem. Im allgemeinen ist das Gleichungssystem genau dann lösbar, wenn \(b\) im Bild von \(A\) liegt. In der Praxis ist man daran interessiert, einerseits in dem Fall, dass das gegebene lineare Gleichungssystem nicht lösbar ist, durch geeignete Abänderung von \(b\) zu einem lösbaren Gleichungssystem überzugehen. Andererseits möchte man auf möglichst natürliche Art und Weise aus der Lösungsmenge eine Lösung auswählen, auch wenn die Lösungsmenge mehr als ein Element enthält (und folglich unendlich ist). Die Moore-Penrose-Inverse ist eine Möglichkeit, diese Aufgabe zu lösen. Und zwar setzen wir

Dann ist \(b^\prime \) im Bild von \(A\) und \(b^\prime = b\), sofern \(b\) im Bild von \(A\) liegt (wegen Eigenschaft (a) im vorherigen Satz). Also ist das lineare Gleichungssystem \(Ax = b^\prime \) lösbar, und in der Tat sehen wir direkt die Lösung \(x = A^\dagger b\). Im Fall, dass \(A\) invertierbar ist, ist das wegen \(A^\dagger = A^{-1}\) tatsächlich die eindeutig bestimmte Lösung des ursprünglich gegebenen Gleichungssystems. Der folgende Satz charakterisiert die Vektoren \(AA^\dagger b\) und \(A^\dagger b\) mithilfe der zum Standardskalarprodukt auf \(\mathbb C^m\) bzw. \(\mathbb C^n\) gehörigen Norm.

Für einen Beweis siehe  [ LM ] Satz 19.7.

Wir skizzieren, wie die Singulärwertzerlegung zur Bildkompression verwendet werden kann. Auch wenn sie dafür letztlich oft nicht das Verfahren der Wahl ist, illustriert das die Möglichkeit, Daten in Matrixform mit der Singulärwertzerlegung strukturell zu zerlegen bzw. zu »analysieren« und dann zum Beispiel zu komprimieren, sehr eindrücklich.

Wir betrachten (ähnlich wie in Ergänzung LA1.5.63) ein Schwarz-Weiß-Bild mit der Auflösung von \(512\times 512\) Pixeln, in dem jeder Pixel, also jeder Bildpunkt, durch einen Grauwert zwischen \(0\) und \(255\) beschrieben ist.

Aus diesen Grauwerten erhalten wir eine Matrix \(A\in M_{512}(\mathbb R)\), deren Singulärwertzerlegung \(A=V\Sigma W^\ast \) wir bilden können. Wenn wir von der Diagonalmatrix \(\Sigma \) nur die ersten \(k\) Einträge behalten und den Rest auf Null setzen, erhalten wir eine »Approximation« der Matrix \(A\) (vergleiche Ergänzung 19.123) durch eine Matrix vom Rang \(k\). Um diese abzuspeichern, benötigen wir nur die ersten \(k\) Zeilen von \(V\), die ersten \(k\) Spalten von \(W\) und die ersten \(k\) Einträge auf der Diagonale von \(\Sigma \), insgesamt also nur \(512(2k+1)\) Zahlen. (Wir lassen hier allerdings unter den Tisch fallen, dass es sich bei diesen Zahlen nicht um natürliche Zahlen zwischen 0 und 255 handelt, die man direkt in einem Byte abspeichern kann, sondern um reelle Zahlen, für die man eine geeignet gute Approximation abspeichern muss.)

Die Grundstruktur dieses speziellen Fotos mit den senkrechten Buchrücken kann schon mit nur 4 Singulärwerten »wiedererkennbar« gespeichert werden. Um dieselbe Druckqualität wie beim Originalbild zu erreichen, braucht man aber deutlich mehr Singulärwerte und das Verfahren ist (je nach Foto) dem Verfahren mit dem Haar-Wavelet, Ergänzung LA1.5.63, oder anderen Verfahren, unterlegen.