Dimension of a Vector Space
Definition
The dimension of a vector space , denoted , is the number of vectors in any basis for .
Key Lemma
One of the most important results in the theory of vector spaces is:
Key Lemma: Let be a vector space, and suppose that is a set of linearly independent vectors in , and that is a spanning set for . Then .

Implications of the Key Lemma
- Well-defined Dimension: All bases of a vector space have the same number of elements.
- Extending to a Basis: Any linearly independent set can be extended to a basis.
- Reducing to a Basis: Any spanning set can be reduced to a basis.
Examples
Dimension of
The dimension of is . The standard basis consists of the vectors:
Dimension of Polynomial Spaces
The dimension of , the space of polynomials of degree at most , is . A basis is:
Dimension of Matrix Spaces
The dimension of , the space of matrices, is .
Properties
Subspaces: If is a subspace of , then . Equality holds if and only if .
Finite vs. Infinite Dimension: A vector space is said to be finite-dimensional if it has a finite basis. Otherwise, it is infinite-dimensional.
Sum of Subspaces: If and are subspaces of , then:
- Direct Sum: If (direct sum), then:
Applications
The concept of dimension is fundamental in:
Solving Linear Systems: A system of linear equations in unknowns has a unique solution if and only if the dimension of the solution space is zero.
Linear Transformations: Understanding the dimension of the domain, range, and kernel of a linear transformation.
Coordinate Systems: Representing vectors in terms of basis elements.
Exercise
Prove that if is a linearly independent set in an -dimensional vector space , then it is a basis for .