Zum Inhalt springen

Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil II/Vorlesung 31

Aus Wikiversity



Euklidische Vektorräume

Im Anschauungsraum kann man nicht nur Vektoren addieren und skalieren, sondern ein Vektor hat auch eine Länge, und die Lagebeziehung 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:

  1. Es ist

    für alle , und ebenso in der zweiten Komponente.

  2. Es ist

    für alle .

  3. 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 der Definitionsbereich das Produkt von zwei Vektorräumen ist), 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.


Beispielsweise ist im mit dem Standardskalarprodukt


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.



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 .



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

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.

  1. Es ist .
  2. Es ist genau dann, wenn ist.
  3. Für und gilt
  4. 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 31.5 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

Siehe Aufgabe 31.2.



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 ).

  1. Es ist .
  2. Es ist genau dann, wenn .
  3. Es ist .
  4. Es ist

Beweis

Siehe Aufgabe 31.4.


Damit ist ein euklidischer Raum insbesondere ein metrischer Raum, womit wir uns in den nächsten Vorlesungen beschäftigen werden.



Orthogonalität

Mit dem Skalarprodukt kann man die Eigenschaft zweier Vektoren, aufeinander senkrecht zu stehen, ausdrücken.


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 .


Es sei mit dem Standardskalarprodukt versehen. Zum eindimensionalen Untervektorraum zum Standardvektor besteht das orthogonale Komplement aus allen Vektoren , deren -ter Eintrag ist. Zum eindimensionalen Untervektorraum zu einem Vektor

kann man das orthogonale Komplement bestimmen, indem man den Lösungsraum der linearen Gleichung

bestimmt. Der Orthogonalraum

besitzt die Dimension , es handelt sich also um eine sogenannte Hyperebene. Man nennt dann einen Normalenvektor für die Hyperebene .

Zu einem Untervektorraum , der durch eine Basis (oder ein Erzeugendensystem) , , gegeben ist, bestimmt man das orthogonale Komplement als Lösungsraum des linearen Gleichungssystems

wobei die aus den (als Zeilen) gebildete Matrix ist.



Es sei ein euklidischer Vektorraum. Eine Basis von heißt Orthonormalbasis, wenn

gilt.

Die Elemente in einer Orthonormalbasis haben alle die Norm und sie stehen senkrecht aufeinander. Im ist die Standardbasis eine Orthonormalbasis. Das folgende Schmidtsche Orthonormalisierungsverfahren erlaubt es, ausgehend von einer Basis eine Orthonormalbasis zu konstruieren.


Es sei ein euklidischer Vektorraum und es sei eine Basis von .

Dann gibt es eine Orthonormalbasis von mit[2]

für alle .

Die Aussage wird durch Induktion über bewiesen, d.h. es wird sukzessive eine Familie von orthonormalen Vektoren konstruiert, die jeweils den gleichen Untervektorraum aufspannen. Für muss man lediglich normieren, also durch

ersetzen. Es sei die Aussage für schon bewiesen und sei eine Familie von orthonormalen Vektoren mit bereits konstruiert. Wir setzen

Dieser Vektor steht senkrecht auf allen und offenbar ist . Durch Normieren von erhält man .



Es sei der Kern der linearen Abbildung

Als Unterraum des trägt das induzierte Skalarprodukt. Wir möchten eine Orthonormalbasis von bestimmen. Dazu betrachten wir die Basis bestehend aus den Vektoren

Es ist und somit ist

der zugehörige normierte Vektor. Gemäß dem[3] Schmidtschen Orthonormalisierungsverfahren setzen wir

Es ist

und daher ist

der zweite Vektor der Orthonormalbasis.




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.

  1. ist eine Isometrie.
  2. Für alle ist .
  3. Für alle ist .

Die Richtungen und sind Einschränkungen und folgt aus Lemma 31.8.




Fußnoten
  1. Auch für komplexe Vektorräume gibt es Skalarprodukte, was wir aber nicht behandeln werden.
  2. Hier bezeichnet den von den Vektoren erzeugten Untervektorraum, nicht das Skalarprodukt.
  3. Häufig ist es numerisch geschickter, zuerst nur zu orthogonalisieren und die Normierung erst zum Schluss durchzuführen, siehe Beispiel Anhang 1.1.


<< | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil II | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)