Komplement (lineare Algebra)

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Ein Komplement oder ein komplementärer Unterraum ist im mathematischen Teilgebiet der linearen Algebra ein möglichst großer Unterraum, der einen vorgegebenen Unterraum nur im Nullpunkt schneidet. Der gesamte Vektorraum wird dadurch gewissermaßen in zwei unabhängige Teile zerlegt.

Inhaltsverzeichnis

1 Definition
2 Eigenschaften
3 Orthogonales Komplement
- 3.1 Orthogonales Komplement in Hilberträumen
4 Siehe auch

[Bearbeiten] Definition

Es sei $V$ ein Vektorraum über einem Körper $K$ und $U$ ein Unterraum von $V$ . Dann heißt ein Unterraum $W$ komplementär oder ein Komplement zu $U$ , wenn die Bedingungen

$U\cap W=\{0\}$

und

$U + W = V$

erfüllt sind. Dabei steht $U + W$ kurz für

$\{u+w\mid u\in U,w\in W\}.$

Man sagt dann auch: $V$ ist die innere direkte Summe von $U$ und $W$ und schreibt $V=U\oplus W$ . Da $V$ dann auch kanonisch isomorph zur äußeren direkten Summe von $U$ und $W$ ist, lässt man die Attribute "innere" oder "äußere" meist weg.

[Bearbeiten] Eigenschaften

Ist $W$ ein Komplement von $U$ in $V$ so lässt sich jeder Vektor $v\in V$ eindeutig als

v = u + w

mit $u\in U$ und $w\in W$ schreiben.

Für die Dimensionen der entsprechenden Untervektorräume gilt

$\dim V = \dim U + \dim W.$

Ist $W$ ein Komplement zu $U$ , so ist auch $U$ ein Komplement zu $W$ .
Die Einschränkung der kanonischen Projektion $V\to V/U$ auf $W$ ist ein Isomorphismus, siehe Faktorraum.

[Bearbeiten] Orthogonales Komplement

Es sei $V$ ein Vektorraum über einem Körper $K$ , auf dem eine symmetrische oder alternierende Bilinearform oder eine hermitesche Sesquilinearform gegeben ist. Für einen Unterraum $U\subseteq V$ heißt

$U^\perp:=\{v\in V\mid\forall u \in U: \langle u,v\rangle=0\}$

das orthogonale Komplement oder Orthogonalraum von $U$ in $V$ . Man beachte, dass es im Allgemeinen kein Komplement von $U$ im oben definierten Sinne ist. Eine hinreichende Bedingung dafür ist jedoch: