Zeigen Sie:V st genau dann endlich dimensional, wenn V endlich ist.
In diesem Fall gilt
l V l= l K l dim v K
Hinweis: Konstruieren Sie für endlich dimensionales V mit Hilfe einer Basis eine bijektive Abbildung von V nach KdimKV
Bew: :V st endlich dimensional,
⇒ Es gibt eine Basis mit endlich vielen El. etwa v1,....vn
Jedes El von v läßt sich EINDEUTIG als Lin. komb. mit
diesen Basiselementen darstellen, also für jedes v aus V
gibt es a1,...an mit v= a1*v1+ a2*v2+.....an*vn
Die Abbildung, die jedem V das n-Tupel a1,...an zuordnet
ist bijektiv
Da es |K|^n solcher n-Tupel gibt ist alles gezeigt.
Umgekehrt: V ist endlich, dann besitz V eine Basis mit verschiedenen
Elementen von V. Davon gibt es nur endlich viele, also ist
V endlichdimensional.