# Linear Algebra/Vector spaces

Proposition (complex vector space is real vector space):

Let ${\displaystyle V}$ be a vector space over ${\displaystyle \mathbb {C} }$. Then ${\displaystyle V}$ has a vector space structure

Proposition ():

Let ${\displaystyle V}$ be a vector space over ${\displaystyle \mathbb {C} }$, and let ${\displaystyle W\leq V}$ be a vector subspace. Then