Dimension of a Vector Space

Definition

The dimension of a vector space VV, denoted dim(V)\dim(V), is the number of vectors in any basis for VV.

Key Lemma

One of the most important results in the theory of vector spaces is:

Key Lemma: Let VV be a vector space, and suppose that {u1,u2,,ua}{u_1, u_2, \ldots, u_a} is a set of linearly independent vectors in VV, and that {v1,v2,,vb}{v_1, v_2, \ldots, v_b} is a spanning set for VV. Then aba \leq b.

Key Lemma Visualization

Implications of the Key Lemma

  1. Well-defined Dimension: All bases of a vector space have the same number of elements.
  2. Extending to a Basis: Any linearly independent set can be extended to a basis.
  3. Reducing to a Basis: Any spanning set can be reduced to a basis.

Examples

Dimension of Rn\mathbb{R}^n

The dimension of Rn\mathbb{R}^n is nn. The standard basis consists of the nn vectors:

e1=(1,0,,0),e2=(0,1,,0),,en=(0,0,,1)e_1 = (1,0,\ldots,0), e_2 = (0,1,\ldots,0), \ldots, e_n = (0,0,\ldots,1)

Dimension of Polynomial Spaces

The dimension of PnP_n, the space of polynomials of degree at most nn, is n+1n+1. A basis is:

{1,x,x2,,xn}\{1, x, x^2, \ldots, x^n\}

Dimension of Matrix Spaces

The dimension of Mm×nM_{m \times n}, the space of m×nm \times n matrices, is mnmn.

Properties

  1. Subspaces: If WW is a subspace of VV, then dim(W)dim(V)\dim(W) \leq \dim(V). Equality holds if and only if W=VW = V.

  2. Finite vs. Infinite Dimension: A vector space is said to be finite-dimensional if it has a finite basis. Otherwise, it is infinite-dimensional.

  3. Sum of Subspaces: If UU and WW are subspaces of VV, then:

dim(U+W)=dim(U)+dim(W)dim(UW)\dim(U + W) = \dim(U) + \dim(W) - \dim(U \cap W)
  1. Direct Sum: If V=UWV = U \oplus W (direct sum), then:
dim(V)=dim(U)+dim(W)\dim(V) = \dim(U) + \dim(W)

Applications

The concept of dimension is fundamental in:

  1. Solving Linear Systems: A system of mm linear equations in nn unknowns has a unique solution if and only if the dimension of the solution space is zero.

  2. Linear Transformations: Understanding the dimension of the domain, range, and kernel of a linear transformation.

  3. Coordinate Systems: Representing vectors in terms of basis elements.

Exercise

Prove that if {v1,v2,,vn}{v_1, v_2, \ldots, v_n} is a linearly independent set in an nn-dimensional vector space VV, then it is a basis for VV.