Dimension eines Vektorraums – „Mathe für Nicht-Freaks“

Wir definieren in diesem Artikel die Dimension eines Vektorraums und zeigen einige elementare Eigenschaften wie die Dimensionsformel.

Motivation

Wir versuchen, in diesem Artikel den Begriff einer Dimension eines Vektorraums zu definieren. Dabei wäre es schön, wenn wir gängige Beispiele für Vektorräume wie ${ℝ}^3$ finden können, welche "offensichtliche Dimension" haben. Im Fall von ${ℝ}^3$ wäre das ${\mathrm{d}\mathrm{i}\mathrm{m}}_{ℝ}({ℝ}^3)=3$. Dabei fällt uns auf, dass dieser Vektorraum eine Basis mit $3$ Elementen besitzt, zum Beispiel die Standardbasis $B_3=\{e_1,e_2,e_3\}$.

Analog wollen wir, dass für einen beliebigen Körper $K$ der Vektorraum $K^n$ die Dimension ${\mathrm{d}\mathrm{i}\mathrm{m}}_K(K^n)=n$ hat. Auch hier finden wir mit der Standardbasis $B_n=\{e_1,\mathrm{...},e_n\}$ eine Basis mit genau $n$ Vektoren.

Das legt nahe, die Dimension eines Vektorraums $V$ als die Anzahl der Vektoren einer Basis von $V$ zu definieren. Nun ist zunächst aber nicht klar, dass jede Basis die gleiche Mächtigkeit besitzt. Das werden wir beweisen müssen.

Definition der Dimension

Definition (Dimension eines Vektorraums)

Sei $V$ ein $K$-Vektorraum und sei $B$ eine Basis von $V$. Wenn $B$ endlich ist, definieren wir die Dimension von $V$ durch ${\mathrm{d}\mathrm{i}\mathrm{m}}_K(V):=\mathrm{d}\mathrm{i}\mathrm{m}(V):=|B|$. (Wir verzichten meist auf die Angabe des Grundkörpers, falls dies aus dem Kontext ersichtlich ist.) Außerdem sagen wir, dass $V$ endlich dimensional ist. Wenn $B$ stattdessen unendlich ist, sagen wir, dass $V$ unendlich-dimensional ist und schreiben $\mathrm{d}\mathrm{i}\mathrm{m}(V)=\mathrm{\infty }$.

Aus dieser Definition wird nicht klar, dass die Dimension unabhängig von der Wahl der Basis unseres Vektorraums ist. Es könnte zum Beispiel passieren, dass ein Vektorraum verschiedenen Basen mit unterschiedlich vielen Elementen besitzt. Dass dies nicht geschehen kann, wird nun im nächsten Satz bewiesen:

Satz (Wohldefiniertheit der Dimension)

Seien $V$ ein $K$-Vektorraum und $B,B^{\prime }$ zwei Basen von $V$. Ist $B$ endlich, so ist auch $B^{\prime }$ endlich und es gilt $|B|=|B^{\prime }|$.

Beweis (Eindeutigkeit der Dimension)

Sei $B$ endlich. Angenommen $B^{\prime }$ ist unendlich. Dann können wir eine $|B|+1$-elementige Teilmenge $W$ von $B^{\prime }$ wählen. $W$ ist dadurch, als Teilmenge der linear unabhängigen Menge $B^{\prime }$, ebenfalls linear unabhängig. Das widerspricht wegen $|B|<|W|$ dem Austauschssatz von Steinitz. Also ist $B^{\prime }$ endlich. Es bleibt die Gleichheit der Mächtigkeiten zu zeigen. Da $B$ linear unabhängig und $B^{\prime }$ eine Basis von $V$ ist, folgt aus dem Austauschsatz von Steinitz $|B|\le |B^{\prime }|$. Andersrum folgt genauso $|B^{\prime }|\le |B|$. Damit ist alles gezeigt.

Beispiele zur Dimension

Dimension von $K^n$

Beispiel

In diesem Beispiel wollen wir die Dimension von $K^n$ bestimmen. Eine mögliche Basis wäre die Standardbasis:

$B=\{\underset{n\text{-Komponenten}}{\underbrace{(1,0,\dots ,0{)}^T}},\underset{n\text{-Komponenten}}{\underbrace{(0,1,\dots ,0{)}^T}},\cdots ,\underset{n\text{-Komponenten}}{\underbrace{(0,0,\dots ,1{)}^T}}\}$

Diese ist endlich und es gilt $|B|=n$. Wir erhalten ${\mathrm{d}\mathrm{i}\mathrm{m}}_K(K^n)=n$.

Dimension des Polynomraums

Beispiel

Der Polynomraum $K[x]$ über einem Körper $K$ ist definiert als

$K[x]:=\left\{\sum _{i=0}^n{a}_i{x}^i\right|n\in \mathbb{N},a_i\in K\mathrm{\forall }i\in \{0,\dots ,n\}\},$

mit koeffizientenweiser Addition und Skalarmultiplikation. Hieraus sieht man, dass $\{x^n|n\in \mathbb{N}\}$ ein Erzeugendensystem des $K[x]$ ist. Da die Vektorraumverknüpfungen koeffizientenweise operieren, ist dieses zudem linear unabhängig. Aus $|\{x^n|n\in \mathbb{N}\}|=\mathrm{\infty }$ folgt schließlich ${\mathrm{d}\mathrm{i}\mathrm{m}}_K(K[x])=\mathrm{\infty }$.

Dimension von $ℂ$ als $ℝ$-Vektorraum

Beispiel

Wir wollen die Dimension der komplexen Zahlen, als $ℝ$-Vektorraum aufgefasst, bestimmen. Jede komplexe Zahl $z\in ℂ$ lässt sich in eindeutiger Weise als $z=a+b\cdot i$, mit $a,b\in ℝ$, schreiben. Hieraus sieht man, dass $\{1,i\}$ eine Basis von $ℂ$ über $ℝ$ ist. Es folgt ${\mathrm{d}\mathrm{i}\mathrm{m}}_{ℝ}(ℂ)=2$.

Dimension des Nullraums

Beispiel

Für jeden Körper $K$ ist $\{0\}$ ein Vektorraum. Dieser wird der Nullraum genannt. Um seine Dimension zu bestimmen, müssen wir eine Basis finden. Wie wir bereits im Artikel zum Nullraum gesehen haben, wird der Nullraum von der leeren Menge erzeugt. Außerdem ist $\mathrm{\varnothing }$ per Definiton linear unabhängig und daher eine Basis des Nullraums. Damit haben wir ${\mathrm{d}\mathrm{i}\mathrm{m}}_K(\{0\})=|\mathrm{\varnothing }|=0$.

Eigenschaften der Dimension

Wir wollen nun einige Eigenschaften des Dimensionsbegriffes beweisen:

Satz

Seien $V$ ein endlich-dimensionaler $K$-Vektorraum und $U\subseteq V$ ein Unterraum. Dann gelten:

1. $\mathrm{d}\mathrm{i}\mathrm{m}(U)\le \mathrm{d}\mathrm{i}\mathrm{m}(V)$.
2. Ist $\mathrm{d}\mathrm{i}\mathrm{m}(U)=\mathrm{d}\mathrm{i}\mathrm{m}(V)$, so folgt $U=V$.

Beweis

Sei $B_U$ eine Basis von $U$. Dann ist $B_U$ eine linear unabhängige Teilmenge von $V$. Nach dem Basisergänzungssatz existiert daher eine Basis $B_V$ von $V$, mit $B_U\subseteq B_V$. Daraus folgt direkt $|B_U|\le |B_V|$, also $\mathrm{d}\mathrm{i}\mathrm{m}(U)\le \mathrm{d}\mathrm{i}\mathrm{m}(V)$. Ist jetzt zusätzlich $\mathrm{d}\mathrm{i}\mathrm{m}(U)=\mathrm{d}\mathrm{i}\mathrm{m}(V)$ vorausgesetzt, so gilt $|B_U|=|B_V|$. Da $B_V$ endlich ist, erhalten wir $B_U=B_V$. Schließlich folgern wir $U=\mathrm{span}(B_U)=\mathrm{span}(B_V)=V$.

Um zu zeigen, dass es wichtig ist, $V$ als endlich-dimensional vorauszusetzen, betrachten wir ein Beispiel eines unendlich-dimensionalen Vektorraumes, der einen echten unendlich-dimensionalen Unterraum besitzt:

Beispiel

Sei $V=K[x]$ der Polynomraum über einem Körper $K$ und $U:=\left\{\sum _{i=1}^n{a}_i{x}^i\right|n\in \mathbb{N},a_i\in K\mathrm{\forall }i\in \{0,\dots ,n\}\}$ der Unterraum der Polynome ohne konstantem Term. Man kann (wie oben) leicht zeigen, dass $B=\left\{x^i\right|i\in {\mathbb{N}}_{>}0\}$ eine Basis von $U$ ist. Damit sehen wir $\mathrm{d}\mathrm{i}\mathrm{m}(U)=\mathrm{\infty }=\mathrm{d}\mathrm{i}\mathrm{m}(V)$. Aber $U⊊V$, da das konstante Polynom $1\in V\setminus U$ ist.

Dimensionsformel

Beweis der Dimensionsformel

Die folgende Dimensionsformel gibt an, wie sich die Dimension der Summe zweier endlich dimensionaler Untervektorräume $U,W\subseteq V$ eines $K$-Vektorraums $V$ berechnen lässt.

Satz (Dimensionsformel)

Sei $V$ ein $K$-Vektorraum und seien $U,W\subseteq V$ endlich-dimensionale Unterräume. Dann gilt:

$\dim (U+W)=\dim (U)+\dim (W)-\dim (U\cap W)$

Beweis (Dimensionsformel)

Da $U,V$ endlich dimensional sind, sind auch $U+V,U\cap V$ endlich dimensional. Setze $n:=\dim (U\cap W)$. Dann ist $\dim (U),\dim (W)\ge n$. Seien also $k,m\in \mathbb{N}$, sodass $\dim (U)=n+k$, und $\dim (W)=n+m$. Sei zudem $\{b_1,\dots ,b_n\}$ eine Basis von $U\cap W$. Da $U\cap W$ Teilraum von $U$ und von $W$ ist, existieren nach dem Basisergänzungssatz Vektoren $u_1,\dots ,u_k\in U$ und Vektoren $w_1,\dots ,w_m\in W$ , derart dass $\{b_1,\dots ,b_n,u_1,\dots ,u_k\}$ eine Basis von $U$ und $\{b_1,\dots ,b_n,w_1,\dots w_m\}$ eine Basis von $W$ ist.

Wir zeigen nun, dass $B:=\{b_1,\dots ,b_n,u_1,\dots u_k,w_1,\dots w_m\}$ eine Basis von $U+W$ ist.

Beweisschritt: Als erstes zeigen wir, dass $B$ ein Erzeugendensystem ist.

Dazu zeigen wir, dass ein beliebiger Vektor $a\in U+W$ sich als Linearkombination von Elementen aus $B$ darstellen lässt.

Sei also $a\in U+W$ , damit gibt es ein $u\in U,w\in W$ mit $a=u+w$. Da $u$ eine Linearkombination der Basis $\{b_1,\dots ,b_n,u_1,\dots ,u_k\}$ von $U$ ist, also

$u=\sum _{i=1}^n{\lambda }_i{b}_i+\sum _{j=1}^k{\mu }_j{u}_j\text{ für geeignete }{\lambda }_i,{\mu }_j\in K$

und $v$ eine Linearkombination der Basis $\{b_1,\dots ,b_n,w_1,\dots ,w_m\}$ von $W$, also

$w=\sum _{i=1}^n{\rho }_i{b}_i+\sum _{j=1}^m{\sigma }_j{w}_j\text{ für }{\rho }_i,{\sigma }_j\in K$

gilt, folgt daraus

$a=\sum _{i=1}^n({\lambda }_i+{\rho }_i)b_i+\sum _{j=1}^k{\mu }_j{u}_j+\sum _{l=1}^m{\sigma }_l{w}_l.$

Damit ist $a$ Linearkombination von $\{b_1,\dots ,b_n,u_1,\dots ,u_k,w_1,\dots ,w_m\}$ und $B$ ein Erzeugendensystem von $U+W$.

Beweisschritt: Nun zeigen wir die lineare Unabhängigkeit von $B$.

Seien dazu ${\lambda }_i,{\mu }_j,{\rho }_l\in K$, mit

$\sum _{i=1}^n{\lambda }_i{b}_i+\sum _{j=1}^k{\mu }_j{u}_j+\sum _{l=1}^m{\rho }_l{w}_l=0$

Wir müssen ${\lambda }_i={\mu }_j={\rho }_l=0$ für alle $i,j,k$ zeigen. Setze dafür $v=\sum _{i=1}^n{\lambda }_i{b}_i+\sum _{j=1}^k{\mu }_j{u}_j$. Dann gilt $v\in U$ und wegen obiger Voraussetzung

$v=-\sum _{l=1}^m{\rho }_l{w}_l.$

Damit ist auch $v\in W$ , also $v\in U\cap W$ .

Damit lässt sich $v$ als Linearkombination der Basis $\{b_1,\dots ,b_n\}$ von $U\cap W$ darstellen und es existieren ${\sigma }_1,\dots ,{\sigma }_n\in K$ , derart dass

$v=\sum _{i=1}^n{\sigma }_i{b}_i.$

Nun gilt weiter

$0=v-v=\sum _{i=1}^n({\lambda }_i-{\sigma }_i)b_i+\sum _{j=1}^k{\mu }_j{u}_j.$

Weil $\{b_1,\dots ,b_n,u_1,\dots ,u_k\}$ eine Basis von $U$, also linear unabhängig ist, folgt

${\lambda }_1={\sigma }_1,\dots ,{\lambda }_n={\sigma }_n\text{ und }{\mu }_1=\dots ={\mu }_k=0.$

Daher ist

$\sum _{i=1}^n{\lambda }_i{b}_i+\sum _{l=1}^m{\rho }_l{v}_l=0.$

Da $\{b_1,\dots ,b_n,w_1,\dots ,w_m\}$ eine Basis von $W$ ist und die Vektoren damit linear unabhängig sind, gilt

${\lambda }_1=\dots ={\lambda }_n=0\text{ und }{\rho }_1=\dots ={\rho }_m=0.$

Damit sind alle Koeffizienten Null und die Vektoren $\{b_1,\dots ,b_n,u_1,\dots ,u_k,w_1,\dots ,w_m\}$ sind linear unabhängig. $B$ ist somit tatsächlich eine Basis.

Es gilt nun

• $\dim (U+W)=|B|=n+k+m$
• $\dim (U\cap W)=n$
• $\dim (U)=n+k$
• $\dim (W)=n+m$

also ist:

$\dim (U+W)=n+k+m=(n+k)+(n+m)-n=\dim (U)+\dim (V)-\dim (U\cap W).$

Das zeigt die Behauptung.

Als nächstes betrachten wir eine Folgerung aus der Dimensionsformel, die eine Aussage über die Summe von Untervektorräumen trifft. Anschaulich besagt diese, dass das Komplement eines Unterraums in Bezug auf die Dimension den fehlenden "Rest" darstellt.

Satz

Sei $V$ ein endlich-dimensionaler $K$-Vektorraum und seien $U,W\subseteq V$ Unterräume, mit $U\oplus W=V$. Dann gilt:

$\dim (V)=\dim (U)+\dim (W)$

Beweis

Zunächst sind wegen $U,W\subseteq V$ beide Unterräume endlich-dimensional. Mit der Dimensionsformel folgern wir

$\dim (V)=\dim (U+W)=\dim (U)+\dim (W)-\dim (U\cap W)=\dim (U)+\dim (W)-\dim (\{0\}).$

Wie im oberen Beispiel gezeigt, gilt $\mathrm{d}\mathrm{i}\mathrm{m}(\{0\})=0$ und wir erhalten:

$\dim (V)=\dim (U)+\dim (W)$

Übungsaufgaben zur Dimensionsformel

Aufgabe (Dimensionsformel)

Sei $V$ ein $K$-Vektorraum und seien $U,W\subseteq V$ Untervektorräume von $V$. Weiter gelte $\mathrm{d}\mathrm{i}\mathrm{m}(U)=3$, $\mathrm{d}\mathrm{i}\mathrm{m}(W)=5$, $\mathrm{d}\mathrm{i}\mathrm{m}(V)=7$. Welche Dimension können $U\cap W$ und $U+W$ haben?

Wie kommt man auf den Beweis? (Dimensionsformel)

Schätze $\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)$ nach oben ab und wende die Dimensionsformel an.

Lösung (Dimensionsformel)

Es gilt die Dimensionsformel

$\mathrm{d}\mathrm{i}\mathrm{m}(U+W)=\mathrm{d}\mathrm{i}\mathrm{m}(U)+\mathrm{d}\mathrm{i}\mathrm{m}(W)-\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)$

Weiterhin gilt $\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)\le \mathrm{d}\mathrm{i}\mathrm{m}(U)=3$, da $U\cap W$ Untervektorraum von $U$ ist. Es folgt

$\mathrm{d}\mathrm{i}\mathrm{m}(U+W)=\mathrm{d}\mathrm{i}\mathrm{m}(U)+\mathrm{d}\mathrm{i}\mathrm{m}(W)-\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)=8-\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)\ge 8-3=5$

Da $U+W\subseteq V$ gilt, erhalten wir außerdem $\mathrm{d}\mathrm{i}\mathrm{m}(U+W)\le 7$, beide Ergebnisse zusammen ergeben also:

$\mathrm{d}\mathrm{i}\mathrm{m}(U+W)\in \{5,6,7\}$

Aus der Dimensionsformel schließen wir nun

$\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)=\mathrm{d}\mathrm{i}\mathrm{m}(U)+\mathrm{d}\mathrm{i}\mathrm{m}(W)-\mathrm{d}\mathrm{i}\mathrm{m}(U+W)=3+5-\mathrm{d}\mathrm{i}\mathrm{m}(U+W)\in \{1,2,3\}$

Insgesamt erhalten wir:

$\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)\in \{1,2,3\}\text{und}\mathrm{d}\mathrm{i}\mathrm{m}(U+W)\in \{5,6,7\}.$

Aufgabe (Dimensionsformel)

Betrachte den $\mathbb{Q}$-Vektorraum $V:={\mathbb{Q}}^4$ sowie die Unterräume $U:=\mathrm{span}(\{(2,1,0,0{)}^T,(1,-1,0,0{)}^T\})$, $W:=\mathrm{span}(\{(1,0,1,0{)}^T,(0,1,0,1{)}^T\})$. Zeige, dass $V=U\oplus W$ gilt.

Lösung (Dimensionsformel)

Wir zeigen zunächst $U\cap W=\{0\}$. Sei dafür $v\in U\cap W$, dann gibt es $\alpha ,\beta ,\lambda ,\mu \in \mathbb{Q}$ mit

$v=\left(\begin{array}{c}2\alpha +\beta \\ \alpha -\beta \\ 0\\ 0\end{array}\right)=\left(\begin{array}{c}\lambda \\ \mu \\ \lambda \\ \mu \end{array}\right).$

Daraus folgt $\lambda =\mu =0$ und damit $v=0$. Also gilt $U\cap W=\{0\}$.

Aus der Dimensionsformel folgt nun

$\mathrm{d}\mathrm{i}\mathrm{m}(U+W)=\mathrm{d}\mathrm{i}\mathrm{m}(U)+\mathrm{d}\mathrm{i}\mathrm{m}(W)-\mathrm{d}\mathrm{i}\mathrm{m}(U\cap W)=2+2-0=4=\mathrm{d}\mathrm{i}\mathrm{m}(V).$

Mit dem obigen Satz über Eigenschaften der Dimension folgt daraus $V=U+W$. Zusammen ergibt sich $V=U\oplus W$.