Math Core

Lesson 4.3 · Vector Spaces

Bases

A spanning set lets you reach every vector in a subspace, but it may contain redundant vectors that add nothing. A basis is a spanning set with all the redundancy squeezed out: big enough to reach everything, small enough that nothing is wasted. Bases are what let you attach coordinates to vectors in any vector space.

What a basis is

Definition

Basis

Let HH be a subspace of a vector space VV. An indexed set B={b1,…,bp}\mathcal{B} = \lbrace \mathbf{b}_1, \dots, \mathbf{b}_p \rbrace in VV is a basis for HH if

  1. B\mathcal{B} is linearly independent, and
  2. B\mathcal{B} spans HH, that is, H=Span⁡{b1,…,bp}H = \operatorname{Span}\lbrace \mathbf{b}_1, \dots, \mathbf{b}_p \rbrace.

The two conditions pull in opposite directions. Adding vectors makes spanning easier but risks dependence; removing vectors keeps independence but risks losing the span. A basis sits exactly at the balance point.

Some standard bases:

  • The columns e1,…,en\mathbf{e}_1, \dots, \mathbf{e}_n of the n×nn \times n identity matrix form the standard basis of Rn\mathbb{R}^n.
  • {1,t,t2,…,tn}\lbrace 1, t, t^2, \dots, t^n \rbrace is the standard basis of Pn\mathbb{P}_n. It spans because every polynomial of degree at most nn is a combination of powers of tt, and it is independent because a polynomial that is zero for all tt must have all coefficients zero.

For nn vectors in Rn\mathbb{R}^n there is a quick test. Put them into an n×nn \times n matrix AA. By the Invertible Matrix Theorem, the columns are independent exactly when they span Rn\mathbb{R}^n, and both happen exactly when AA is invertible, that is, when det⁡A≠0\det A \ne 0.

Worked example: Testing a basis of R^3

Is {(1,0,1),(2,1,0),(0,1,−2)}\lbrace (1, 0, 1), (2, 1, 0), (0, 1, -2) \rbrace a basis for R3\mathbb{R}^3?

Form the matrix with these columns and expand along the first row:

det⁡[12001110−2]=1(1⋅(−2)−1⋅0)−2(0⋅(−2)−1⋅1)+0=−2+2=0.\det \begin{bmatrix} 1 & 2 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & -2 \end{bmatrix} = 1(1 \cdot (-2) - 1 \cdot 0) - 2(0 \cdot (-2) - 1 \cdot 1) + 0 = -2 + 2 = 0.

The determinant is 00, so the columns are dependent and the set is not a basis. Indeed, 2(1,0,1)−(2,1,0)=(0,−1,2)2(1, 0, 1) - (2, 1, 0) = (0, -1, 2), which is −1-1 times the third vector.

Trimming a spanning set

Suppose v3\mathbf{v}_3 is a combination of v1\mathbf{v}_1 and v2\mathbf{v}_2. Then any combination of all three vectors can be rewritten using only v1\mathbf{v}_1 and v2\mathbf{v}_2, so throwing v3\mathbf{v}_3 away does not shrink the span.

The spanning set theorem

Let S={v1,…,vp}S = \lbrace \mathbf{v}_1, \dots, \mathbf{v}_p \rbrace span a subspace H≠{0}H \ne \lbrace \mathbf{0} \rbrace.

  1. If some vk\mathbf{v}_k is a linear combination of the other vectors in SS, then removing vk\mathbf{v}_k leaves a set that still spans HH.
  2. Repeating this, some subset of SS is a basis for HH.

So a basis is a smallest possible spanning set. Viewed from the other side, it is also a largest possible independent set in HH: adding any further vector of HH creates a dependence, because that vector is already a combination of the basis.

Bases for Nul A and Col A

Null space. The method from the previous lesson (solve Ax=0A\mathbf{x} = \mathbf{0} and write the parametric vector form) already produces a linearly independent spanning set. So those vectors form a basis for Nul⁡A\operatorname{Nul} A, with one vector per free variable.

Column space. Row reduction does not change the linear relations among the columns. If BB is an echelon form of AA, then Ax=0A\mathbf{x} = \mathbf{0} and Bx=0B\mathbf{x} = \mathbf{0} have the same solutions, so any dependence among the columns of BB holds with the same weights among the columns of AA. In BB the pivot columns are clearly independent and every non-pivot column is a combination of pivot columns to its left. The same is therefore true in AA.

Basis for a column space

The pivot columns of AA form a basis for Col⁡A\operatorname{Col} A. Use row reduction to find which columns are pivot columns, then take those columns from the original matrix AA.

Worked example: A basis for a column space

Find a basis for Col⁡A\operatorname{Col} A, where

A=[120324141211].A = \begin{bmatrix} 1 & 2 & 0 & 3 \\ 2 & 4 & 1 & 4 \\ 1 & 2 & 1 & 1 \end{bmatrix}.

R2−2R1R_2 - 2R_1 gives (0,0,1,−2)(0, 0, 1, -2) and R3−R1R_3 - R_1 gives (0,0,1,−2)(0, 0, 1, -2). Then R3−R2R_3 - R_2:

A∼[1203001−20000].A \sim \begin{bmatrix} 1 & 2 & 0 & 3 \\ 0 & 0 & 1 & -2 \\ 0 & 0 & 0 & 0 \end{bmatrix}.

The pivots are in columns 11 and 33. Taking those columns from AA:

Col⁡A has basis {[121],[011]}.\operatorname{Col} A \text{ has basis } \left\lbrace \begin{bmatrix} 1 \\ 2 \\ 1 \end{bmatrix}, \begin{bmatrix} 0 \\ 1 \\ 1 \end{bmatrix} \right\rbrace.

The echelon form also shows the relations: a2=2a1\mathbf{a}_2 = 2\mathbf{a}_1 and a4=3a1−2a3\mathbf{a}_4 = 3\mathbf{a}_1 - 2\mathbf{a}_3. You can check the second one directly in AA: 3(1,2,1)−2(0,1,1)=(3,4,1)3(1, 2, 1) - 2(0, 1, 1) = (3, 4, 1).

Common mistake

Do not use the pivot columns of the echelon form as the basis. Row operations change the column space. Here every column of the echelon form has third entry 00, but Col⁡A\operatorname{Col} A contains (1,2,1)(1, 2, 1), whose third entry is not 00. The echelon form tells you which columns; the original matrix supplies the vectors.

Worked example: A basis in a polynomial space

Show that {1,  1+t,  1+t+t2}\lbrace 1,\; 1 + t,\; 1 + t + t^2 \rbrace is a basis for P2\mathbb{P}_2.

Independent: suppose c1+c2(1+t)+c3(1+t+t2)=0c_1 + c_2(1 + t) + c_3(1 + t + t^2) = 0 for all tt. Collecting powers of tt:

(c1+c2+c3)+(c2+c3)t+c3t2=0.(c_1 + c_2 + c_3) + (c_2 + c_3)t + c_3 t^2 = 0.

Every coefficient must be 00, so c3=0c_3 = 0, then c2=0c_2 = 0, then c1=0c_1 = 0.

Spans: given a0+a1t+a2t2a_0 + a_1 t + a_2 t^2, set c3=a2c_3 = a_2, c2=a1−a2c_2 = a_1 - a_2 and c1=a0−a1c_1 = a_0 - a_1. Then the combination above has coefficients a0a_0, a1a_1 and a2a_2.

Both conditions hold, so the set is a basis.

Tip

When a set has more vectors than entries (for example, 44 vectors in R3\mathbb{R}^3), it is automatically dependent and can't be a basis. When it has fewer, it can't span. In Rn\mathbb{R}^n, only sets of exactly nn vectors are candidates.

Practice

Practice 1

Which set is a basis for R2\mathbb{R}^2?

Practice 2

Which set is a basis for R3\mathbb{R}^3?

Practice 3

For what value of hh is {(1,0,2),(0,1,h),(1,1,5)}\lbrace (1, 0, 2), (0, 1, h), (1, 1, 5) \rbrace not a basis for R3\mathbb{R}^3?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

Let A=[121013]A = \begin{bmatrix} 1 & 2 & 1 \\ 0 & 1 & 3 \end{bmatrix}. A basis for Nul⁡A\operatorname{Nul} A consists of one vector of the form (a,b,1)(a, b, 1). Find it.

Enter a point like (2, -3)

Practice 5

Let A=[131260−1−32]A = \begin{bmatrix} 1 & 3 & 1 \\ 2 & 6 & 0 \\ -1 & -3 & 2 \end{bmatrix}. An echelon form of AA is [13100−2000]\begin{bmatrix} 1 & 3 & 1 \\ 0 & 0 & -2 \\ 0 & 0 & 0 \end{bmatrix}. Which set is a basis for Col⁡A\operatorname{Col} A?

Practice 6

Which set is a basis for P2\mathbb{P}_2?