Wenn V endlich dimensional als C-Vektorraum ist,
etwa mit dim(V)=n dann gibt es v1,....,vn
die eine Basis von V bilden. Dann ist jedes w∈V eindeutig
darstellbar in der Form
$$v=\sum \limits_{k=1}^{n}z_{k}v_{k}$$
mit z1,....,zn aus ℂ. Und jedes zk ist eindeutig als
zk = ak+bk*i darstellbar mit ak, bk aus ℝ. Also gilt
mit eindeutig bestimmten ak, bk aus ℝ.
$$v=\sum \limits_{k=1}^{n}(a_{k}+b_{k}i)*v_{k}$$
$$=\sum \limits_{k=1}^{n}a_{k}*v_{k}+\sum \limits_{k=1}^{n}b_{k}(i*v_{k})$$.
Also bilden v1,....,vn,, i*v1,....,i*vn eine ℝ-Basis von V
und diese hat 2n Elemente, also dimR(V)=2*dimC(V).