All Bases have same size
Cauchy-Schwarz Inequality
Complement of Subspace Generates Direct Sum
Criterion for a Basis
Criterion for Direct Sum
Criterion for Subspace
Dependence Lemma
Double Complement Returns the Original Subspace
Every Spanning Set Contains a Basis
Isomorphic Vector Spaces have the Same Dimension
Linear Independent Sets are Smaller than Spanning Sets
Linearly Independent Sets Generate Bases
Orthogonal Decomposition
Parallelogram Equality
Properties of Orthogonal Complements
Span of Vectors is a Subspace of the Vector Space
Sum of Subspaces is a Subspace
Sum of Subspaces is Smallest Subspace Containing their Union
The Orthogonal Complement is a Complementary Subspace