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 be a subspace of a vector space . An indexed set in is a basis for if
- is linearly independent, and
- spans , that is, .
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 of the identity matrix form the standard basis of .
- is the standard basis of . It spans because every polynomial of degree at most is a combination of powers of , and it is independent because a polynomial that is zero for all must have all coefficients zero.
For vectors in there is a quick test. Put them into an matrix . By the Invertible Matrix Theorem, the columns are independent exactly when they span , and both happen exactly when is invertible, that is, when .
Worked example: Testing a basis of R^3
Is a basis for ?
Form the matrix with these columns and expand along the first row:
The determinant is , so the columns are dependent and the set is not a basis. Indeed, , which is times the third vector.
Trimming a spanning set
Suppose is a combination of and . Then any combination of all three vectors can be rewritten using only and , so throwing away does not shrink the span.
The spanning set theorem
Let span a subspace .
- If some is a linear combination of the other vectors in , then removing leaves a set that still spans .
- Repeating this, some subset of is a basis for .
So a basis is a smallest possible spanning set. Viewed from the other side, it is also a largest possible independent set in : adding any further vector of 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 and write the parametric vector form) already produces a linearly independent spanning set. So those vectors form a basis for , with one vector per free variable.
Column space. Row reduction does not change the linear relations among the columns. If is an echelon form of , then and have the same solutions, so any dependence among the columns of holds with the same weights among the columns of . In 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 .
Basis for a column space
The pivot columns of form a basis for . Use row reduction to find which columns are pivot columns, then take those columns from the original matrix .
Worked example: A basis for a column space
Find a basis for , where
gives and gives . Then :
The pivots are in columns and . Taking those columns from :
The echelon form also shows the relations: and . You can check the second one directly in : .
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 , but contains , whose third entry is not . The echelon form tells you which columns; the original matrix supplies the vectors.
Worked example: A basis in a polynomial space
Show that is a basis for .
Independent: suppose for all . Collecting powers of :
Every coefficient must be , so , then , then .
Spans: given , set , and . Then the combination above has coefficients , and .
Both conditions hold, so the set is a basis.
Tip
When a set has more vectors than entries (for example, vectors in ), it is automatically dependent and can't be a basis. When it has fewer, it can't span. In , only sets of exactly vectors are candidates.
Practice
Which set is a basis for ?
Which set is a basis for ?
For what value of is not a basis for ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Let . A basis for consists of one vector of the form . Find it.
Enter a point like (2, -3)
Let . An echelon form of is . Which set is a basis for ?
Which set is a basis for ?