Mathematik: Lineare Algebra: Vektorräume: Definition

Aus Wikibooks

Ein Vektorraum über dem Körper K – oder kurz -Vektorraum – ist eine nichtleere Menge V mit einer Addition und einer Skalarmultiplikation , so dass (V, + ) eine abelsche Gruppe bildet und zusätzlich gilt:

• Die Skalarmultiplikation ist assoziativ: für alle
• ist das neutrale Element bezüglich der Skalarmultiplikation, das heißt für alle gilt:

Zudem sind beide Verknüpfungen distributiv, so dass für gilt:

• 
• a(v + w) = av + aw

Ein Beispiel für einen Vektorraum ist die euklidische Ebene mit komponentenweiser Addition und Skalarmultiplikation. Anschaulich entspricht dies einer Ebene mit Nullpunkt, in der Vektoren durch Addition aneinandergesetzt und durch Multiplikation gestreckt werden.

[Bearbeiten] Unterräume

Eine Teilmenge heißt Unterraum eines K-Vektorraums V, falls

• 
• Für alle und gilt: .

U bildet selbst wieder einen Vektorraum. Aufgrund des geringeren Aufwands wird deshalb der Beweis, dass ein gegebenes V' einen Vektorraum bildet, nicht selten über die Unterraumeigenschaften geführt, nachdem zuvor ein geeigneter, V' umgebender Vektorraum V gewählt wurde.

Insbesondere sind {0} und V triviale Unterräume von V.

In der euklidischen Ebene sind beispielsweise alle Geraden durch den Nullpunkt Unterräume.

Ein um einen festen Vektor verschobener Unterraum U des Vektorraums V, das heißt eine Menge der Form

heißt affiner Unterraum mit Translationsraum U.

Insbesondere ist die Lösungsmenge eines beliebigen linearen Gleichungsystems – sofern nicht leer – ein affiner Unterraum mit v Lösung von Ax = b und .