Proposition (complex vector space is real vector space):
Let V {\displaystyle V} be a vector space over C {\displaystyle \mathbb {C} } . Then V {\displaystyle V} has a vector space structure
Proposition ():
Let V {\displaystyle V} be a vector space over C {\displaystyle \mathbb {C} } , and let W ≤ V {\displaystyle W\leq V} be a vector subspace. Then