Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 21

Aus Wikiversity
Zur Navigation springen Zur Suche springen



Dimensionstheorie

Ein endlich erzeugter Vektorraum hat im Allgemeinen ganz unterschiedliche Basen. Allerdings ist die Anzahl der Elemente in einer Basis stets konstant und hängt nur vom Vektorraum ab. Diese wichtige Eigenschaft werden wir jetzt beweisen und als Ausgangspunkt für die Definition der Dimension eines Vektorraums nehmen.



Lemma  

Es sei ein Körper und ein -Vektorraum mit einer Basis . Es sei ein Vektor mit einer Darstellung

wobei sei für ein bestimmtes .

Dann ist auch die Familie

eine Basis von .

Beweis  

Wir zeigen zuerst, dass die neue Familie ein Erzeugendensystem ist. Zunächst kann man wegen

und den Vektor als

schreiben. Sei nun beliebig vorgegeben. Dann kann man schreiben


Zum Nachweis der linearen Unabhängigkeit nehmen wir zwecks Notationsvereinfachung an. Es sei

eine Darstellung der Null. Dann ist
Aus der linearen Unabhängigkeit der Ausgangsfamilie folgt insbesondere , und wegen ergibt sich . Deshalb ist und daher gilt für alle .


Die vorstehende Aussage heißt Austauschlemma, die nachfolgende Austauschsatz.



Satz  

Es sei ein Körper und ein -Vektorraum mit einer Basis

Ferner sei

eine Familie von linear unabhängigen Vektoren in .

Dann gibt es eine Teilmenge derart, dass die Familie

eine Basis von ist.

Insbesondere ist .

Beweis  

Wir führen Induktion über , also über die Anzahl der Vektoren in der Familie. Bei ist nichts zu zeigen. Sei die Aussage für schon bewiesen und seien linear unabhängige Vektoren

gegeben. Nach Induktionsvoraussetzung, angewandt auf die

(ebenfalls linear unabhängigen) Vektoren

gibt es eine Teilmenge derart, dass die Familie

eine Basis von ist. Wir wollen auf diese Basis das Austauschlemma anwenden. Da eine Basis vorliegt, kann man

schreiben.  Wären hierbei alle Koeffizienten ,  so ergäbe sich sofort ein Widerspruch zur linearen Unabhängigkeit der , . Es gibt also ein mit . Wir setzen . Damit ist eine -elementige Teilmenge von . Nach dem Austauschlemma kann man den Basisvektor durch ersetzen und erhält die neue Basis

  Der Zusatz folgt sofort, da eine -elementige Teilmenge einer -elementigen Menge vorliegt.




Satz  

Es sei ein Körper und ein -Vektorraum mit einem endlichen Erzeugendensystem.

Dann besitzen je zwei Basen von die gleiche Anzahl von Basisvektoren.

Beweis  

Es seien und zwei Basen von . Aufgrund des Basisaustauschsatzes, angewandt auf die Basis und die linear unabhängige Familie ergibt sich . Wendet man den Austauschsatz umgekehrt an, so folgt , also insgesamt .


Dieser Satz erlaubt die folgende Definition.


Definition  

Es sei ein Körper und ein -Vektorraum mit einem endlichen Erzeugendensystem. Dann nennt man die Anzahl der Vektoren in einer Basis von die Dimension von , geschrieben

Wenn ein Vektorraum nicht endlich erzeugt ist, so setzt man . Der Nullraum hat die Dimension . Einen eindimensionalen Vektorraum nennt man auch eine Gerade, einen zweidimensionalen Vektorraum eine Ebene, einen dreidimensionalen Vektorraum einen Raum (im engeren Sinn), wobei man andererseits auch jeden Vektorraum einen Raum nennt.



Korollar  

Es sei ein Körper und .

Dann besitzt der Standardraum die Dimension .

Beweis  

Die Standardbasis , , besteht aus Vektoren, also ist die Dimension .



Beispiel  

Die komplexen Zahlen bilden einen zweidimensionalen reellen Vektorraum, eine Basis ist z.B. und .



Beispiel  

Der Polynomring über einem Körper ist kein endlichdimensionaler Vektorraum. Seien Polynome fixiert. Es sei das Maximum der Grade dieser Polynome. Dann hat auch jede -Linearkombination maximal den Grad . Insbesondere können Polynome von einem größeren Grad nicht durch dargestellt werden. Es gibt also kein endliches Erzeugendensystem.




Korollar  

Es sei ein Körper und ein endlichdimensionaler -Vektorraum. Es sei ein Untervektorraum.

Dann ist ebenfalls endlichdimensional und es gilt

Beweis  

Jede linear unabhängige Familie in ist auch linear unabhängig in . Daher kann es aufgrund des Basisaustauschsatzes in nur linear unabhängige Familien der Länge geben. Es sei derart, dass es in eine linear unabhängige Familie mit Vektoren gibt, aber nicht mit Vektoren. Sei eine solche Familie. Diese ist dann insbesondere eine maximal linear unabhängige Familie in und daher wegen Satz 20.12 eine Basis von .



Korollar

Es sei ein Körper und ein -Vektorraum mit endlicher Dimension . Es seien Vektoren in gegeben.

Dann sind folgende Eigenschaften äquivalent.

  1. bilden eine Basis von .
  2. bilden ein Erzeugendensystem von .
  3. sind linear unabhängig.

Beweis

Siehe Aufgabe 21.1.



Beispiel  

Es sei ein Körper. Man kann sich einfach einen Überblick über die Unterräume des verschaffen, als Dimension von Unterräumen kommt nur  mit in Frage. Bei gibt es nur den Nullraum selbst, bei gibt es den Nullraum und selbst. Bei gibt es den Nullraum, die gesamte Ebene , und die eindimensionalen Geraden durch den Nullpunkt. Jede solche Gerade hat die Gestalt

mit einem von verschiedenen Vektor . Zwei von verschiedene Vektoren definieren genau dann die gleiche Gerade, wenn sie linear abhängig sind.

Bei gibt es den Nullraum, den Gesamtraum , die eindimensionalen Geraden durch den Nullpunkt und die zweidimensionalen Ebenen durch den Nullpunkt.


Der folgende Satz heißt Basisergänzungssatz.



Satz  

Es sei ein Körper und ein endlichdimensionaler -Vektorraum der Dimension . Es seien

linear unabhängige Vektoren in .

Dann gibt es Vektoren

derart, dass

eine Basis von bilden.

Beweis  

Es sei eine Basis von . Aufgrund des Austauschsatzes findet man Vektoren aus der Basis , die zusammen mit den vorgegebenen eine Basis von bilden.



<< | Kurs:Elemente der Algebra (Osnabrück 2015) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)