Linear Algebra/Vector spaces

From Wikibooks, open books for an open world
Jump to: navigation, search

Proposition (complex vector space is real vector space):

Let be a vector space over . Then has a vector space structure

Proposition ():

Let be a vector space over , and let be a vector subspace. Then