4.5 Coordinates and Basis: Class Notes
Definition
If is a set of vectors in a finite-dimensional vector space , then is called a basis for if:
a) spans
b) is linearly independent.
are the standard basis vectors for . These relate to mutually perpendicular axes. However, any 3 vectors in that do not lie in the same plane can be used to represent any other vector in . These 3 vectors are called basis vectors.
#1
Use the determinant of a coefficient matrix to show that the following set of vectors forms a basis for : .
Solution
Let (the vectors are its columns).
If always has a solution, then the set spans . If has only the trivial solution, then the set is independent.
. Thus both conditions are met, and the set is a basis for .
Answer: , so the set is a basis for .
#8
Show that the following vectors do not form a basis for .
, ,
Solution
Put the coefficients of each polynomial (constant, , ) in a column and find the determinant. Use the diagonal method: copy the first two columns to the right, add the products down the diagonals to the right (blue), and subtract the products up the diagonals to the right (red).
So the vectors do not form a basis for .
Note that , so the set is linearly dependent.
Answer: The determinant is , so the vectors do not form a basis for .
Definition
A basis in which the listed order of the vectors matters is called an ordered basis.
Some Standard bases
is a basis for (this is the same as ).
is basis for (this is the same as ).
is a basis for .
is a basis for .
is a basis for .
The basis for the zero vector space is (the empty set).
Theorem 4.5.1 Uniqueness of Basis Representation
If is a basis for a vector space , then every vector in can be expressed in the form in exactly one way.
Proof
Let . Since spans , there are scalars such that
Suppose also that
Subtract the two expressions:
Since is linearly independent, for all , so for all .
Definition
If is an ordered basis for a vector space , and is the expression for a vector in terms of the basis , then the scalars are called the coordinates of relative to the basis . The vector in constructed from these coordinates is called the coordinate vector of relative to the basis ; it is denoted by .
Example
Consider . The set , where , , and forms a basis for (verify). Find (where is the standard basis for ) and .
Solution
First verify that is a basis. The system
should always have a solution, and
should have only the trivial solution. Both hold because the determinant of the coefficient matrix is not zero:
Now consider . Find .
becomes
So . That means
Since are the coefficients used with that yield , the vector is the coordinate vector of relative to the basis .
Note: itself is the coordinate vector relative to the standard basis , so .
Answer: and
#16
First show that the set is a basis for , then express as a linear combination of the vectors in , and then find the coordinate vector of relative to .
, , , ;
Solution
Write and match entries: each row of the coefficient matrix below comes from one position, in the order upper left (magenta), upper right (blue), lower left (orange), lower right (green).
The matrix reduces to the identity, so is a basis for .
By inspection, (only has an upper-right entry) and (only has a lower-right entry). Then (from ) and (from ).
Answer: