Beweisarchiv: Lineare Algebra: Vektorräume: Jeder Vektorraum hat eine Basis

---

Voraussetzungen

Wir setzen ZFC voraus und verwenden das Auswahlaxiom in Form des Lemmas von Zorn. Weiter sei $V$ ein beliebiger Vektorraum.

Behauptung

$V$ besitzt eine Basis.

Beweis

Basen sind maximale, linear unabhängige Teilmengen eines Vektorraums, wir betrachten also die Menge

$U=\{X\subseteq V|X\text{ ist linear unabhängig}\}\subseteq P(V).$

Weil die leere Menge immer linear unabhängig ist, gilt $\varnothing \in U$ und $U$ ist nicht leer. Um das Lemma von Zorn anwenden zu können, muss eine Halbordnung auf $U$ definiert werden. Die Inklusion $\subseteq$ ist eine solche. Sei nun $B$ eine Kette in $U$. Zu zeigen ist, dass $U$ eine obere Schranke besitzt, also eine Menge, die alle Mengen von $B$ enthält. $B$ habe die Gestalt

$B=\{A_i|i\in I\},$

mit $I$ als beliebige Indexmenge. Weil wir eine Menge suchen, die alle Mengen von $B$ enthält, bilden wir die Vereinigung aller Mengen von $B$:

$S=\bigcup _{i\in I}{A}_i.$

$S$ enthält offensichtlich alle Mengen von $B$, bleibt zu zeigen, dass $S$ in $U$ liegt. Dazu nehmen wir an, $S$ liege nicht in $U$. Dann enthält $S$ $n$ Vektoren, die linear abhängig sind. Betrachten wir die Gleichung

$\sum _{i=1}^n{\alpha }_i{v}_i=0,{\alpha }_i\in K,v_i\in A_i.$

Weil $B$ eine Kette ist, gilt $A_1\subseteq A_2$ oder $A_2\subseteq A_1$, also $v_1\in A_2$ oder $v_2\in A_1$. Es gibt also eine linear unabhängige Menge ($A_1\text{ oder }{A}_2$), die $v_1\text{ und }{v}_2$ enthält. Fährt man so fort, so folgt, dass $B$ eine Menge enthalten muss, die alle $v_i$ enthält. Das ist aber ein Widerspruch zur linearen Unabhängigkeit aller Mengen in $B$. Also ist $S\in U$. Nun ist das Lemma von Zorn anwendbar: $U$ besitzt also ein maximales Element, welches gerade die gesuchte Basis ist.