Zum Inhalt springen

Kurs:Einführung in die Algebra (Osnabrück 2009)/Euklidische Vektorräume/Textabschnitt

Aus Wikiversity



Euklidische Vektorräume


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, 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 euklidischer Vektorraum. Eine Basis von heißt Orthonormalbasis, wenn

gilt.

Mit Hilfe des Schmidtschen Orthonormalisierungsverfahren kann man leicht zeigen, dass es in jedem euklidischen Vektorraum Orthonormalbasen gibt, siehe Aufgabe.


Es sei ein euklidischer Vektorraum und ein Untervektorraum. Dann heißt

das orthogonale Komplement von .

Aus der Existenz von Orthonormalbasen folgt, dass das orthogonale Komplement zu einem Unterraum in einem euklidischen Vektorraum die Eigenschaft besitzt, dass eine direkte Summenzerlegung

vorliegt.