ii) SeiV ein K-Vektorraum mit dimK(V)=n.
==> Für V≠0V gibt es eine K-Basis für V (v1,…,vn)
mit n≥1 und alle Elemente von V lassen sich eindeutig darstellen durch ein
n-Tupel von Elementen von K (a1,…,an) in der Form v=i=1∑naivi.
Wegen der linearen Unabhängigkeit der (v1,…,vn) sind die so
dargestellten v insbesondere alle verschieden, also gibt es so viele Elemente
in V wie es n-Tupel (a1,…,an) gibt. Bei |K| = ∞ also auch |V|=∞.