Linear algebra MOC

Complement subspace

Let be a vector space over and be a subspace. A complement is a subspace such that the internal direct sum .

Properties

  1. Every has a (in general not unique) complement .1
Proof of 1.

The existence of the compliment follows from Assuming choice, every vector space has a basis: Let be a basis of . Then there exists a basis of such that . Then is a complement of .

#state/tidy | #lang/en | #SemBr

Footnotes

  1. This is downstream from AC. ↩