All Bases have same size
Cauchy-Schwarz Inequality
Complement of Subspace Generates Direct Sum
Composition Rules for Matrices
Conditions for Diagonalizability
Criterion for a Basis
Criterion for Direct Sum
Criterion for Invertibility using Upper Triangular
Criterion for Subspace
Criterion for Upper Triangular Matrix
Dependence Lemma
Determinants for Linearly Transformed Autocorrelation Matrices
Dimensionality & Linear Maps
Distinct eigenvalues have linearly independent eigenvectors
Double Complement Returns the Original Subspace
Eigendecomposition of a Matrix
Eigenvalues are Diagonal Elements of Upper Triangular
Enough Diagonal Elements Imply Diagonalizability
Every Spanning Set Contains a Basis
Existence of Eigenvalues on Complex Spaces
Existence of Upper Triangular Matrices on Complex Spaces
Finite Variance = Autocorrelation symmetric + positive semidefinite
Injectivity, surjectivity, and isomorphism are equivalent when Dimension is the Same
Inverse Property of Matrix of Linear Map
Inverse to a Linear Map is Unique
Isomorphic Vector Spaces have the Same Dimension
Isomorphism is a Bijection
Jordan Canonical Form
Kernel and Image are Subspaces
Linear Independent Sets are Smaller than Spanning Sets
Linear Map is Injective iff Kernel is 0
Linear maps are defined on a basis
Linear Maps are Isomorphic to their Matrices
Linear Transform for Autocorrelation Matrices
Linearity Properties of Matrices
Linearly Independent Sets Generate Bases
Norm-Preserving Matrix
Orthogonal Decomposition
Orthogonal Matrices have Determinant 1
Parallelogram Equality
Positive Definite = Positive Eigenvalues
Positive Semidefinite has dim Eigenvectors
Properties of Linear Maps
Properties of Orthogonal Complements
Rank Nullity Theorem
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
Trace and Determinant with Eigenvalues