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.