Skip to content
Hub Nexus

No author yetClaim it

Version 1Updated 20 min read

Support

Example 1.1

Consider a map h with domain {ℝ}^{2}
and codomain {ℝ}^{3} (fixing

B = ⟨ ( \begin{matrix}2 \\ 0\end{matrix} ) , ( \begin{matrix}1 \\ 4\end{matrix} ) ⟩ \ \text{and} \ D = ⟨ ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) , ( \begin{matrix}0 \\ − 2 \\ 0\end{matrix} ) , ( \begin{matrix}1 \\ 0 \\ 1\end{matrix} ) ⟩

as the bases for these spaces) that is determined by this action on the vectors in the domain's basis.

( \begin{matrix}2 \\ 0\end{matrix} ) \overset{h}{⟼} ( \begin{matrix}1 \\ 1 \\ 1\end{matrix} ) \ ( \begin{matrix}1 \\ 4\end{matrix} ) \overset{h}{⟼} ( \begin{matrix}1 \\ 2 \\ 0\end{matrix} )

To compute the action of this map on any vector at all from the domain,
we first express h ( {\overset{→}{β}}_{1} ) and h ( {\overset{→}{β}}_{2} )
with respect to the codomain's basis:

( \begin{matrix}1 \\ 1 \\ 1\end{matrix} ) = 0 ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) − \frac{1}{2} ( \begin{matrix}0 \\ − 2 \\ 0\end{matrix} ) + 1 ( \begin{matrix}1 \\ 0 \\ 1\end{matrix} ) \ \text{so} \ {R e p}_{D} ( h ( {\overset{→}{β}}_{1} ) ) = {( \begin{matrix}0 \\ − 1 / 2 \\ 1\end{matrix} )}_{D}

and

( \begin{matrix}1 \\ 2 \\ 0\end{matrix} ) = 1 ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) − 1 ( \begin{matrix}0 \\ − 2 \\ 0\end{matrix} ) + 0 ( \begin{matrix}1 \\ 0 \\ 1\end{matrix} ) \ \text{so} \ {R e p}_{D} ( h ( {\overset{→}{β}}_{2} ) ) = {( \begin{matrix}1 \\ − 1 \\ 0\end{matrix} )}_{D}

(these are easy to check).
Then, as described in the preamble, for any member \overset{→}{v} of the domain,
we can express the image h ( \overset{→}{v} ) in terms of the h ( \overset{→}{β} )'s.

\begin{matrix}h ( \overset{→}{v} ) & = h ( {c}_{1} ⋅ ( \begin{matrix}2 \\ 0\end{matrix} ) + {c}_{2} ⋅ ( \begin{matrix}1 \\ 4\end{matrix} ) ) \\ & = {c}_{1} ⋅ h ( ( \begin{matrix}2 \\ 0\end{matrix} ) ) + {c}_{2} ⋅ h ( ( \begin{matrix}1 \\ 4\end{matrix} ) ) \\ & = {c}_{1} ⋅ ( 0 ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) \ − \frac{1}{2} ( \begin{matrix}0 \\ − 2 \\ 0\end{matrix} ) \ + 1 ( \begin{matrix}1 \\ 0 \\ 1\end{matrix} ) \ ) + {c}_{2} ⋅ ( 1 ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) \ − 1 ( \begin{matrix}0 \\ − 2 \\ 0\end{matrix} ) \ + 0 ( \begin{matrix}1 \\ 0 \\ 1\end{matrix} ) \ ) \\ & = ( 0 {c}_{1} + 1 {c}_{2} ) ⋅ ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) + ( − \frac{1}{2} {c}_{1} − 1 {c}_{2} ) ⋅ ( \begin{matrix}0 \\ − 2 \\ 0\end{matrix} ) + ( 1 {c}_{1} + 0 {c}_{2} ) ⋅ ( \begin{matrix}1 \\ 0 \\ 1\end{matrix} )\end{matrix}

Thus,

with {R e p}_{B} ( \overset{→}{v} ) = ( \begin{matrix}{c}_{1} \\ {c}_{2}\end{matrix} )
then {R e p}_{D} ( \ h ( \overset{→}{v} ) \ ) = ( \begin{matrix}0 {c}_{1} + 1 {c}_{2} \\ − ( 1 / 2 ) {c}_{1} − 1 {c}_{2} \\ 1 {c}_{1} + 0 {c}_{2}\end{matrix} ).

For instance,

with {R e p}_{B} ( ( \begin{matrix}4 \\ 8\end{matrix} ) ) = {( \begin{matrix}1 \\ 2\end{matrix} )}_{B}
then
{R e p}_{D} ( \ h ( ( \begin{matrix}4 \\ 8\end{matrix} ) ) \ ) = ( \begin{matrix}2 \\ − 5 / 2 \\ 1\end{matrix} ).

We will express computations like the one above with a matrix notation.

{( \begin{matrix}0 & 1 \\ − 1 / 2 & − 1 \\ 1 & 0\end{matrix} )}_{B , D} {( \begin{matrix}{c}_{1} \\ {c}_{2}\end{matrix} )}_{B} = {( \begin{matrix}0 {c}_{1} + 1 {c}_{2} \\ ( − 1 / 2 ) {c}_{1} − 1 {c}_{2} \\ 1 {c}_{1} + 0 {c}_{2}\end{matrix} )}_{D}

In the middle is the argument \overset{→}{v} to the map,
represented with respect to the domain's basis B
by a column vector with components {c}_{1} and {c}_{2}.
On the right is the value h ( \overset{→}{v} ) of the map on that argument,
represented with respect to the codomain's basis D
by a column vector with components {}0 {c}_{1} + 1 {c}_{2}, etc.
The matrix on the left is the new thing.
It consists of the coefficients from the vector on the right,
0 and 1 from the first row, − 1 / 2 and − 1 from the
second row, and 1 and 0 from the third row.

This notation simply breaks the parts from the right,
the coefficients and the c's, out separately on the left, into a vector that
represents the map's argument and a matrix that we will take to
represent the map itself.

Definition 1.2

Suppose that V and W are vector spaces of dimensions n and
m with bases B and D,
and that h : V → W is a linear map.
If

{R e p}_{D} ( h ( {\overset{→}{β}}_{1} ) ) = {( \begin{matrix}{h}_{1 , 1} \\ {h}_{2 , 1} \\ ⋮ \\ {h}_{m , 1}\end{matrix} )}_{D} \ … \ {R e p}_{D} ( h ( {\overset{→}{β}}_{n} ) ) = {( \begin{matrix}{h}_{1 , n} \\ {h}_{2 , n} \\ ⋮ \\ {h}_{m , n}\end{matrix} )}_{D}

then

{R e p}_{B , D} ( h ) = {( \begin{matrix}{h}_{1 , 1} & {h}_{1 , 2} & … & {h}_{1 , n} \\ {h}_{2 , 1} & {h}_{2 , 2} & … & {h}_{2 , n} \\ & ⋮ \\ {h}_{m , 1} & {h}_{m , 2} & … & {h}_{m , n}\end{matrix} )}_{B , D}

is the matrix representation of h with respect to B , D.

Briefly, the vectors
representing the h ( \overset{→}{β} )'s are adjoined to
make the matrix representing the map.

{R e p}_{B , D} ( h ) = ( \begin{matrix}⋮ & & ⋮ \\ {R e p}_{D} ( \ h ( {\overset{→}{β}}_{1} ) \ ) & ⋯ & {R e p}_{D} ( \ h ( {\overset{→}{β}}_{n} ) \ ) \\ ⋮ & & ⋮\end{matrix} )

Observe that the number of columns n of the matrix is the
dimension of the domain of the map,
and the number of rows m is the dimension of the codomain.

Example 1.3

If h : {ℝ}^{3} → {𝒫}_{1} is given by

( \begin{matrix}{a}_{1} \\ {a}_{2} \\ {a}_{3}\end{matrix} ) \overset{h}{⟼} ( 2 {a}_{1} + {a}_{2} ) + ( − {a}_{3} ) x

then where

B = ⟨ ( \begin{matrix}0 \\ 0 \\ 1\end{matrix} ) , ( \begin{matrix}0 \\ 2 \\ 0\end{matrix} ) , ( \begin{matrix}2 \\ 0 \\ 0\end{matrix} ) ⟩ \ \text{and} \ D = ⟨ 1 + x , − 1 + x ⟩

the action of h on B is given by

( \begin{matrix}0 \\ 0 \\ 1\end{matrix} ) \overset{h}{⟼} − x \ ( \begin{matrix}0 \\ 2 \\ 0\end{matrix} ) \overset{h}{⟼} 2 \ ( \begin{matrix}2 \\ 0 \\ 0\end{matrix} ) \overset{h}{⟼} 4

and a simple calculation gives

{R e p}_{D} ( − x ) = {( \begin{matrix}− 1 / 2 \\ − 1 / 2\end{matrix} )}_{D} \ {R e p}_{D} ( 2 ) = {( \begin{matrix}1 \\ − 1\end{matrix} )}_{D} \ {R e p}_{D} ( 4 ) = {( \begin{matrix}2 \\ − 2\end{matrix} )}_{D}

showing that this is the matrix representing h with respect to the bases.

{R e p}_{B , D} ( h ) = {( \begin{matrix}− 1 / 2 & 1 & 2 \\ − 1 / 2 & − 1 & − 2\end{matrix} )}_{B , D}

We will use lower case letters for a map,
upper case for the matrix,
and lower case again for the entries of the matrix.
Thus for the map h, the matrix representing it is H, with
entries {h}_{i , j}.

Theorem 1.4

Assume that V and W are vector spaces
of dimensions m and n
with bases B and D,
and that h : V → W is a linear map.
If h is represented by

{R e p}_{B , D} ( h ) = {( \begin{matrix}{h}_{1 , 1} & {h}_{1 , 2} & … & {h}_{1 , n} \\ {h}_{2 , 1} & {h}_{2 , 2} & … & {h}_{2 , n} \\ & ⋮ \\ {h}_{m , 1} & {h}_{m , 2} & … & {h}_{m , n}\end{matrix} )}_{B , D}

and \overset{→}{v} ∈ V is represented by

{R e p}_{B} ( \overset{→}{v} ) = {( \begin{matrix}{c}_{1} \\ {c}_{2} \\ ⋮ \\ {c}_{n}\end{matrix} )}_{B}

then the representation of the image of \overset{→}{v} is this.

{R e p}_{D} ( \ h ( \overset{→}{v} ) \ ) = {( \begin{matrix}{h}_{1 , 1} {c}_{1} + {h}_{1 , 2} {c}_{2} + … + {h}_{1 , n} {c}_{n} \\ {h}_{2 , 1} {c}_{1} + {h}_{2 , 2} {c}_{2} + … + {h}_{2 , n} {c}_{n} \\ ⋮ \\ {h}_{m , 1} {c}_{1} + {h}_{m , 2} {c}_{2} + … + {h}_{m , n} {c}_{n}\end{matrix} )}_{D}

Proof

Problem 18.

We will think of the matrix {R e p}_{B , D} ( h ) and the vector {R e p}_{B} ( \overset{→}{v} )
as combining to make the vector {R e p}_{D} ( h ( \overset{→}{v} ) ).

Definition 1.5

The matrix-vector product of a m \ × \ n matrix and a
n \ × \ 1 vector is this.

( \begin{matrix}{a}_{1 , 1} & {a}_{1 , 2} & … & {a}_{1 , n} \\ {a}_{2 , 1} & {a}_{2 , 2} & … & {a}_{2 , n} \\ & ⋮ \\ {a}_{m , 1} & {a}_{m , 2} & … & {a}_{m , n}\end{matrix} ) ( \begin{matrix}{c}_{1} \\ ⋮ \\ {c}_{n}\end{matrix} ) = ( \begin{matrix}{a}_{1 , 1} {c}_{1} + {a}_{1 , 2} {c}_{2} + … + {a}_{1 , n} {c}_{n} \\ {a}_{2 , 1} {c}_{1} + {a}_{2 , 2} {c}_{2} + … + {a}_{2 , n} {c}_{n} \\ ⋮ \\ {a}_{m , 1} {c}_{1} + {a}_{m , 2} {c}_{2} + … + {a}_{m , n} {c}_{n}\end{matrix} )

The point of Definition 1.2 is to generalize
Example 1.1, that is, the point of the definition is
Theorem 1.4,
that the matrix describes how to get from the
representation of a domain vector with respect to the domain's basis to the
representation of its image in the codomain with respect to the codomain's
basis.
With Definition 1.5, we can restate this
as: application of a linear map is represented by the matrix-vector product
of the map's representative and the vector's representative.

Example 1.6

With the matrix from Example 1.3
we can calculate where that map sends this vector.

\overset{→}{v} = ( \begin{matrix}4 \\ 1 \\ 0\end{matrix} )

This vector is represented, with respect to the domain basis B, by

{R e p}_{B} ( \overset{→}{v} ) = {( \begin{matrix}0 \\ 1 / 2 \\ 2\end{matrix} )}_{B}

and so this is the representation of the value h ( \overset{→}{v} ) with respect to
the codomain basis D.

\begin{matrix}{R e p}_{D} ( h ( \overset{→}{v} ) ) & = {( \begin{matrix}− 1 / 2 & 1 & 2 \\ − 1 / 2 & − 1 & − 2\end{matrix} )}_{B , D} {( \begin{matrix}0 \\ 1 / 2 \\ 2\end{matrix} )}_{B} \\ & = {( \begin{matrix}( − 1 / 2 ) ⋅ 0 + 1 ⋅ ( 1 / 2 ) + 2 ⋅ 2 \\ ( − 1 / 2 ) ⋅ 0 − 1 ⋅ ( 1 / 2 ) − 2 ⋅ 2\end{matrix} )}_{D} = {( \begin{matrix}9 / 2 \\ − 9 / 2\end{matrix} )}_{D}\end{matrix}

To find h ( \overset{→}{v} ) itself, not its representation,
take ( 9 / 2 ) ( 1 + x ) − ( 9 / 2 ) ( − 1 + x ) = 9.

Example 1.7

Let π : {ℝ}^{3} → {ℝ}^{2} be projection onto the x y-plane.
To give a matrix representing this map, we first fix bases.

B = ⟨ ( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) , ( \begin{matrix}1 \\ 1 \\ 0\end{matrix} ) , ( \begin{matrix}− 1 \\ 0 \\ 1\end{matrix} ) ⟩ \ D = ⟨ ( \begin{matrix}2 \\ 1\end{matrix} ) , ( \begin{matrix}1 \\ 1\end{matrix} ) ⟩

For each vector in the domain's basis, we find its image under the map.

( \begin{matrix}1 \\ 0 \\ 0\end{matrix} ) \overset{π}{⟼} ( \begin{matrix}1 \\ 0\end{matrix} ) \ ( \begin{matrix}1 \\ 1 \\ 0\end{matrix} ) \overset{π}{⟼} ( \begin{matrix}1 \\ 1\end{matrix} ) \ ( \begin{matrix}− 1 \\ 0 \\ 1\end{matrix} ) \overset{π}{⟼} ( \begin{matrix}− 1 \\ 0\end{matrix} )

Then we find the representation of each image with respect to the codomain's
basis

{R e p}_{D} ( ( \begin{matrix}1 \\ 0\end{matrix} ) ) = ( \begin{matrix}1 \\ − 1\end{matrix} ) \ {R e p}_{D} ( ( \begin{matrix}1 \\ 1\end{matrix} ) ) = ( \begin{matrix}0 \\ 1\end{matrix} ) \ {R e p}_{D} ( ( \begin{matrix}− 1 \\ 0\end{matrix} ) ) = ( \begin{matrix}− 1 \\ 1\end{matrix} )

(these are easily checked).
Finally, adjoining these representations gives the matrix representing
π with respect to B , D.

{R e p}_{B , D} ( π ) = {( \begin{matrix}1 & 0 & − 1 \\ − 1 & 1 & 1\end{matrix} )}_{B , D}

We can illustrate Theorem 1.4 by computing
the matrix-vector product representing the following statement
about the projection map.

π ( ( \begin{matrix}2 \\ 2 \\ 1\end{matrix} ) ) = ( \begin{matrix}2 \\ 2\end{matrix} )

Representing this vector from the domain
with respect to the domain's basis

{R e p}_{B} ( ( \begin{matrix}2 \\ 2 \\ 1\end{matrix} ) ) = {( \begin{matrix}1 \\ 2 \\ 1\end{matrix} )}_{B}

gives this matrix-vector product.

{R e p}_{D} ( \ π ( ( \begin{matrix}2 \\ 2 \\ 1\end{matrix} ) ) \ ) = {( \begin{matrix}1 & 0 & − 1 \\ − 1 & 1 & 1\end{matrix} )}_{B , D} {( \begin{matrix}1 \\ 2 \\ 1\end{matrix} )}_{B} = {( \begin{matrix}0 \\ 2\end{matrix} )}_{D}

Expanding this representation into a linear combination of vectors from
D

{}0 ⋅ ( \begin{matrix}2 \\ 1\end{matrix} ) + 2 ⋅ ( \begin{matrix}1 \\ 1\end{matrix} ) = ( \begin{matrix}2 \\ 2\end{matrix} )

checks that the map's action is indeed
reflected in the operation of the matrix.
(We will sometimes compress these three displayed equations into one

( \begin{matrix}2 \\ 2 \\ 1\end{matrix} ) = {( \begin{matrix}1 \\ 2 \\ 1\end{matrix} )}_{B} \ \overset{h}{{⟼}_{H}} \ {( \begin{matrix}0 \\ 2\end{matrix} )}_{D} = ( \begin{matrix}2 \\ 2\end{matrix} )

in the course of a calculation.)

We now have two ways to compute the effect of projection,
the straightforward formula that drops each three-tall vector's third component
to make a two-tall vector,
and the above formula that uses representations and matrix-vector
multiplication.
Compared to the first way, the second way might seem complicated.
However, it has advantages.
The next example shows that giving a formula for some maps is
simplified by this new scheme.

Example 1.8

To represent a rotation
map {t}_{θ} : {ℝ}^{2} → {ℝ}^{2} that
turns all vectors in the plane counterclockwise through an angle θ

we start by fixing bases.
Using {ℰ}_{2} both as a domain basis and as a codomain basis is natural,
Now, we find the image under the map of each
vector in the domain's basis.

( \begin{matrix}1 \\ 0\end{matrix} ) \overset{{t}_{θ}}{⟼} ( \begin{matrix}cos ⁡ θ \\ sin ⁡ θ\end{matrix} ) \ ( \begin{matrix}0 \\ 1\end{matrix} ) \overset{{t}_{θ}}{⟼} ( \begin{matrix}− sin ⁡ θ \\ cos ⁡ θ\end{matrix} )

Then we represent these images with respect to the codomain's basis.
Because this basis is {ℰ}_{2}, vectors are represented by themselves.
Finally, adjoining the representations gives the matrix representing the map.

{R e p}_{{ℰ}_{2} , {ℰ}_{2}} ( {t}_{θ} ) = ( \begin{matrix}cos ⁡ θ & − sin ⁡ θ \\ sin ⁡ θ & cos ⁡ θ\end{matrix} )

The advantage of this scheme is that just by knowing how to
represent the image of the two basis vectors,
we get a formula that tells us the image of any vector at
all; here a vector rotated by θ = π / 6.

( \begin{matrix}3 \\ − 2\end{matrix} ) \ \overset{{t}_{π / 6}}{⟼} \ ( \begin{matrix}\sqrt{3} / 2 & − 1 / 2 \\ 1 / 2 & \sqrt{3} / 2\end{matrix} ) ( \begin{matrix}3 \\ − 2\end{matrix} ) ≈ ( \begin{matrix}3.598 \\ − 0.232\end{matrix} )

(Again, we are using the fact that, with respect to {ℰ}_{2}, vectors represent themselves.)

We have already seen the addition and scalar multiplication
operations of matrices and
the dot product operation of vectors.
Matrix-vector multiplication is a new operation in the arithmetic of
vectors and matrices.
Nothing in Definition 1.5 requires us to view
it in terms of representations.
We can get some insight into this operation
by turning away from what is being represented, and instead focusing on
how the entries combine.

Example 1.9

In the definition
the width of the matrix equals the height of the vector.
Hence, the first product below is defined while the second is not.

( \begin{matrix}1 & 0 & 0 \\ 4 & 3 & 1\end{matrix} ) ( \begin{matrix}1 \\ 0 \\ 2\end{matrix} ) = ( \begin{matrix}1 \\ 6\end{matrix} ) \ ( \begin{matrix}1 & 0 & 0 \\ 4 & 3 & 1\end{matrix} ) ( \begin{matrix}1 \\ 0\end{matrix} )

One reason that this product is not defined is purely formal: the
definition requires that the sizes match, and these sizes don't match.
Behind the formality, though,
is a reason why we will leave it undefined— the
matrix represents a map with a three-dimensional domain while the vector represents a member of a two-dimensional space.

A good way to view a matrix-vector product is
as the dot products of the rows of the matrix with the column vector.

( \begin{matrix} & ⋮ \\ {a}_{i , 1} & {a}_{i , 2} & … & {a}_{i , n} \\ & ⋮\end{matrix} ) ( \begin{matrix}{c}_{1} \\ {c}_{2} \\ ⋮ \\ {c}_{n}\end{matrix} ) = ( \begin{matrix}⋮ \\ {a}_{i , 1} {c}_{1} + {a}_{i , 2} {c}_{2} + … + {a}_{i , n} {c}_{n} \\ ⋮\end{matrix} )

Looked at in this row-by-row way,
this new operation generalizes dot product.

Matrix-vector product can also be viewed column-by-column.

\begin{matrix}( \begin{matrix}{h}_{1 , 1} & {h}_{1 , 2} & … & {h}_{1 , n} \\ {h}_{2 , 1} & {h}_{2 , 2} & … & {h}_{2 , n} \\ & ⋮ \\ {h}_{m , 1} & {h}_{m , 2} & … & {h}_{m , n}\end{matrix} ) ( \begin{matrix}{c}_{1} \\ {c}_{2} \\ ⋮ \\ {c}_{n}\end{matrix} ) & = ( \begin{matrix}{h}_{1 , 1} {c}_{1} + {h}_{1 , 2} {c}_{2} + … + {h}_{1 , n} {c}_{n} \\ {h}_{2 , 1} {c}_{1} + {h}_{2 , 2} {c}_{2} + … + {h}_{2 , n} {c}_{n} \\ ⋮ \\ {h}_{m , 1} {c}_{1} + {h}_{m , 2} {c}_{2} + … + {h}_{m , n} {c}_{n}\end{matrix} ) \\ & = {c}_{1} ( \begin{matrix}{h}_{1 , 1} \\ {h}_{2 , 1} \\ ⋮ \\ {h}_{m , 1}\end{matrix} ) + … + {c}_{n} ( \begin{matrix}{h}_{1 , n} \\ {h}_{2 , n} \\ ⋮ \\ {h}_{m , n}\end{matrix} )\end{matrix}

Example 1.10

( \begin{matrix}1 & 0 & − 1 \\ 2 & 0 & 3\end{matrix} ) ( \begin{matrix}2 \\ − 1 \\ 1\end{matrix} ) = 2 ( \begin{matrix}1 \\ 2\end{matrix} ) − 1 ( \begin{matrix}0 \\ 0\end{matrix} ) + 1 ( \begin{matrix}− 1 \\ 3\end{matrix} ) = ( \begin{matrix}1 \\ 7\end{matrix} )

The result has the
columns of the matrix weighted by the entries of the vector.
This way of looking at it
brings us back to the objective stated at the start of this section, to compute
h ( {c}_{1} {\overset{→}{β}}_{1} + … + {c}_{n} {\overset{→}{β}}_{n} )
as
{c}_{1} h ( {\overset{→}{β}}_{1} ) + … + {c}_{n} h ( {\overset{→}{β}}_{n} ).

We began this section
by noting that the equality of these two enables us to compute the action
of h on any
argument knowing only h ( {\overset{→}{β}}_{1} ), ..., h ( {\overset{→}{β}}_{n} ).
We have developed this into a scheme to
compute the action of the map by taking
the matrix-vector product of the matrix representing the
map and the vector representing the argument.
In this way, any linear map is represented with respect to some bases
by a matrix.
In the next subsection, we will show the converse, that any matrix represents
a linear map.

Exercises

This exercise is recommended for all readers.

Problem 1

Multiply the matrix

( \begin{matrix}1 & 3 & 1 \\ 0 & − 1 & 2 \\ 1 & 1 & 0\end{matrix} )

by each vector (or state "not defined").

  • ( \begin{matrix}2 \\ 1 \\ 0\end{matrix} )
  • ( \begin{matrix}− 2 \\ − 2\end{matrix} )
  • ( \begin{matrix}0 \\ 0 \\ 0\end{matrix} )

Problem 2

Perform, if possible, each matrix-vector multiplication.

  • ( \begin{matrix}2 & 1 \\ 3 & − 1 / 2\end{matrix} ) ( \begin{matrix}4 \\ 2\end{matrix} )
  • ( \begin{matrix}1 & 1 & 0 \\ − 2 & 1 & 0\end{matrix} ) ( \begin{matrix}1 \\ 3 \\ 1\end{matrix} )
  • ( \begin{matrix}1 & 1 \\ − 2 & 1\end{matrix} ) ( \begin{matrix}1 \\ 3 \\ 1\end{matrix} )

This exercise is recommended for all readers.

Problem 3

Solve this matrix equation.

( \begin{matrix}2 & 1 & 1 \\ 0 & 1 & 3 \\ 1 & − 1 & 2\end{matrix} ) ( \begin{matrix}x \\ y \\ z\end{matrix} ) = ( \begin{matrix}8 \\ 4 \\ 4\end{matrix} )

This exercise is recommended for all readers.

Problem 4

For a homomorphism from {𝒫}_{2} to {𝒫}_{3} that sends

{}1 ↦ 1 + x , \ x ↦ 1 + 2 x , \ \text{and} \ {x}^{2} ↦ x − {x}^{3}

where does {}1 − 3 x + 2 {x}^{2} go?

This exercise is recommended for all readers.

Problem 5

Assume that h : {ℝ}^{2} → {ℝ}^{3} is determined by
this action.

( \begin{matrix}1 \\ 0\end{matrix} ) ↦ ( \begin{matrix}2 \\ 2 \\ 0\end{matrix} ) \ ( \begin{matrix}0 \\ 1\end{matrix} ) ↦ ( \begin{matrix}0 \\ 1 \\ − 1\end{matrix} )

Using the standard bases, find

  • the matrix representing this map;
  • a general formula for h ( \overset{→}{v} ).

This exercise is recommended for all readers.

Problem 6

Let d / d x : {𝒫}_{3} → {𝒫}_{3} be the derivative
transformation.

  • Represent d / d x with respect to B , B where
    B = ⟨ 1 , x , {x}^{2} , {x}^{3} ⟩.
  • Represent d / d x with respect to B , D where

D = ⟨ 1 , 2 x , 3 {x}^{2} , 4 {x}^{3} ⟩.

This exercise is recommended for all readers.

Problem 7

Represent each linear map with respect to each pair of bases.

  • d / d x : {𝒫}_{n} → {𝒫}_{n} with respect to
    B , B where B = ⟨ 1 , x , … , {x}^{n} ⟩, given by

{a}_{0} + {a}_{1} x + {a}_{2} {x}^{2} + … + {a}_{n} {x}^{n} ↦ {a}_{1} + 2 {a}_{2} x + … + n {a}_{n} {x}^{n − 1}

  • ∫ : {𝒫}_{n} → {𝒫}_{n + 1}

with respect to
{B}_{n} , {B}_{n + 1} where {B}_{i} = ⟨ 1 , x , … , {x}^{i} ⟩, given by

{a}_{0} + {a}_{1} x + {a}_{2} {x}^{2} + … + {a}_{n} {x}^{n} ↦ {a}_{0} x + \frac{{a}_{1}}{2} {x}^{2} + … + \frac{{a}_{n}}{n + 1} {x}^{n + 1}

  • {∫}_{0}^{1} : {𝒫}_{n} → ℝ with respect to
    B , {ℰ}_{1} where B = ⟨ 1 , x , … , {x}^{n} ⟩
    and {ℰ}_{1} = ⟨ 1 ⟩, given by

{a}_{0} + {a}_{1} x + {a}_{2} {x}^{2} + … + {a}_{n} {x}^{n} ↦ {a}_{0} + \frac{{a}_{1}}{2} + … + \frac{{a}_{n}}{n + 1}

  • {\text{eval}}_{3} : {𝒫}_{n} → ℝ with respect to
    B , {ℰ}_{1} where B = ⟨ 1 , x , … , {x}^{n} ⟩
    and {ℰ}_{1} = ⟨ 1 ⟩, given by

{a}_{0} + {a}_{1} x + {a}_{2} {x}^{2} + … + {a}_{n} {x}^{n} ↦ {a}_{0} + {a}_{1} ⋅ 3 + {a}_{2} ⋅ {3}^{2} + … + {a}_{n} ⋅ {3}^{n}

  • {\text{slide}}_{− 1} : {𝒫}_{n} → {𝒫}_{n}

with respect
to B , B where B = ⟨ 1 , x , … , {x}^{n} ⟩, given by

{a}_{0} + {a}_{1} x + {a}_{2} {x}^{2} + … + {a}_{n} {x}^{n} ↦ {a}_{0} + {a}_{1} ⋅ ( x + 1 ) + … + {a}_{n} ⋅ ( x + 1 {)}^{n}

Problem 8

Represent the identity map on any nontrivial
space with respect to B , B, where B is any basis.

Problem 9

Represent, with respect to the natural basis,
the transpose transformation on the space
{ℳ}_{2 \ × \ 2} of {}2 \ × \ 2 matrices.

Problem 10

Assume that
B = ⟨ {\overset{→}{β}}_{1} , {\overset{→}{β}}_{2} , {\overset{→}{β}}_{3} , {\overset{→}{β}}_{4} ⟩
is a basis for a vector space.
Represent with respect to B , B the transformation that is determined
by each.

  • {\overset{→}{β}}_{1} ↦ {\overset{→}{β}}_{2},
    {\overset{→}{β}}_{2} ↦ {\overset{→}{β}}_{3},
    {\overset{→}{β}}_{3} ↦ {\overset{→}{β}}_{4},
    {\overset{→}{β}}_{4} ↦ \overset{→}{0}
  • {\overset{→}{β}}_{1} ↦ {\overset{→}{β}}_{2},

{\overset{→}{β}}_{2} ↦ \overset{→}{0},
{\overset{→}{β}}_{3} ↦ {\overset{→}{β}}_{4},
{\overset{→}{β}}_{4} ↦ \overset{→}{0}

  • {\overset{→}{β}}_{1} ↦ {\overset{→}{β}}_{2},
    {\overset{→}{β}}_{2} ↦ {\overset{→}{β}}_{3},
    {\overset{→}{β}}_{3} ↦ \overset{→}{0},
    {\overset{→}{β}}_{4} ↦ \overset{→}{0}

Problem 11

Example 1.8 shows how to represent
the rotation transformation of the plane with respect to the
standard basis.
Express these other transformations also with respect to the standard
basis.

  • the dilation map {d}_{s}, which multiplies
    all vectors by the same scalar s
  • the reflection map {f}_{ℓ}, which reflects all

all vectors across a line ℓ through the origin

This exercise is recommended for all readers.

Problem 12

Consider a linear transformation of {ℝ}^{2} determined
by these two.

( \begin{matrix}1 \\ 1\end{matrix} ) ↦ ( \begin{matrix}2 \\ 0\end{matrix} ) \ ( \begin{matrix}1 \\ 0\end{matrix} ) ↦ ( \begin{matrix}− 1 \\ 0\end{matrix} )

  • Represent this transformation with respect to the standard
    bases.
  • Where does the transformation send this vector?

( \begin{matrix}0 \\ 5\end{matrix} )

  • Represent this transformation with respect to these bases.

B = ⟨ ( \begin{matrix}1 \\ − 1\end{matrix} ) , ( \begin{matrix}1 \\ 1\end{matrix} ) ⟩ \ D = ⟨ ( \begin{matrix}2 \\ 2\end{matrix} ) , ( \begin{matrix}− 1 \\ 1\end{matrix} ) ⟩

  • Using B from the prior item,
    represent the transformation with respect to B , B.

Problem 13

Suppose that h : V → W is nonsingular so that
by Theorem II.2.21, for any basis
B = ⟨ {\overset{→}{β}}_{1} , … , {\overset{→}{β}}_{n} ⟩ ⊂ V the image
h ( B ) = ⟨ h ( {\overset{→}{β}}_{1} ) , … , h ( {\overset{→}{β}}_{n} ) ⟩
is a basis for W.

  • Represent the map h with respect to B , h ( B ).
  • For a member \overset{→}{v} of the domain, where

the representation of \overset{→}{v} has components {c}_{1}, ..., {c}_{n},
represent the image vector h ( \overset{→}{v} ) with respect to
the image basis h ( B ).

Problem 14

Give a formula for the product of a matrix and {\overset{→}{e}}_{i}, the
column vector that is all zeroes except for a single one in the i-th
position.

This exercise is recommended for all readers.

Problem 15

For each vector space of functions of one real variable,
represent the derivative transformation with respect to B , B.

  • \{ a cos ⁡ x + b sin ⁡ x \ | \ a , b ∈ ℝ \},
    B = ⟨ cos ⁡ x , sin ⁡ x ⟩
  • \{ a {e}^{x} + b {e}^{2 x} \ | \ a , b ∈ ℝ \},

B = ⟨ {e}^{x} , {e}^{2 x} ⟩

  • \{ a + b x + c {e}^{x} + d x {e}^{x} \ | \ a , b , c , d ∈ ℝ \},
    B = ⟨ 1 , x , {e}^{x} , x {e}^{x} ⟩

Problem 16

Find the range of the linear transformation of {ℝ}^{2} represented
with respect to the standard bases by each matrix.

  • ( \begin{matrix}1 & 0 \\ 0 & 0\end{matrix} )
  • ( \begin{matrix}0 & 0 \\ 3 & 2\end{matrix} )
  • a matrix of the form

( \begin{matrix}a & b \\ 2 a & 2 b\end{matrix} )

This exercise is recommended for all readers.

Problem 17

Can one matrix represent two different linear maps?
That is, can {R e p}_{B , D} ( h ) = {R e p}_{\overset{̂}{B} , \overset{̂}{D}} ( \overset{̂}{h} )?

Problem 18

Prove Theorem 1.4.

This exercise is recommended for all readers.

Problem 19

Example 1.8 shows how to represent
rotation of all vectors in the plane through an angle
θ about the origin,
with respect to the standard bases.

  • Rotation of all vectors in three-space through an angle
    θ about the x-axis is a transformation of {ℝ}^{3}.
    Represent it with respect to the standard bases.
    Arrange the rotation so that
    to someone whose feet are at the origin and
    whose head is at ( 1 , 0 , 0 ), the movement appears clockwise.
  • Repeat the prior item, only rotate about the y-axis

instead.
(Put the person's head at {\overset{→}{e}}_{2}.)

  • Repeat, about the z-axis.
  • Extend the prior item to {ℝ}^{4}.

(Hint:
"rotate about the z-axis" can be restated as "rotate parallel
to the x y-plane".)

Problem 20 (Schur's Triangularization Lemma)

  • Let U be a subspace of V and fix bases
    {B}_{U} ⊆ {B}_{V}.
    What is the relationship between the representation of a vector
    from U with
    respect to {B}_{U} and the representation of that vector
    (viewed as a member of V) with
    respect to {B}_{V}?
  • What about maps?
  • Fix a basis

B = ⟨ {\overset{→}{β}}_{1} , … , {\overset{→}{β}}_{n} ⟩

for V and observe that the spans

[ \{ \overset{→}{0} \} ] = \{ \overset{→}{0} \} ⊂ [ \{ {\overset{→}{β}}_{1} \} ] ⊂ [ \{ {\overset{→}{β}}_{1} , {\overset{→}{β}}_{2} \} ] ⊂ \ ⋯ \ ⊂ [ B ] = V

form a strictly increasing chain of subspaces.
Show that for any linear map h : V → W there is a chain
{W}_{0} = \{ \overset{→}{0} \} ⊆ {W}_{1} ⊆ … ⊆ {W}_{m} = W of
subspaces of W such that

h ( [ \{ {\overset{→}{β}}_{1} , … , {\overset{→}{β}}_{i} \} ] ) ⊂ {W}_{i}

for each i.

  • Conclude that for every linear map
    h : V → W there are
    bases B , D so the matrix representing h with respect to
    B , D is upper-triangular
    (that is, each entry {h}_{i , j} with i > j is zero).
  • Is an upper-triangular representation unique?

Solutions

Where this page came from

This page was imported from Wikibooks. From “Linear Algebra” on Wikibooks, by its contributors, under CC BY-SA 4.0. Changed here: set as a page; navigation and edit links left out; each image under its own licence, credited in its caption.

Nobody has written it yet — it is the source material at a new address, which is why search engines are asked to skip it and why no one earns from it. It is up for grabs: take it on, and it is yours to rewrite and to earn from.

Comments

Spinner Logo

Next in Linear Algebra

CC BY-SA 4.0
The prior subsection shows that the action of a linear map h is described by a matrix H, with respect to appropriate bases, in this way. $\overset{→}{v} = {( \begin{matrix}{v}_{1} \\ ⋮ \\ {v}_{n}\end{matrix} )}_{B} \ \overset{h}{{⟼}_{H}} \ {( \begin{matrix}{h}_{1 , 1} {v}_{1} + … + {h}_{1 , n} {v}_{
CC BY-SA 4.0
Recall that for two maps f and g with the same domain and codomain, the map sum $f + g$ has this definition. $\overset{→}{v} \ \overset{f + g}{⟼} \ f ( \overset{→}{v} ) + g ( \overset{→}{v} )$ The easiest way to see how the representations of the maps combine to represent the map sum is with an exam
CC BY-SA 4.0
After representing addition and scalar multiplication of linear maps in the prior subsection, the natural next map operation to consider is composition. Lemma 2.1 A composition of linear maps is linear. Proof (This argument has appeared earlier, as part of the proof that isomorphism is an equivalenc
CC BY-SA 4.0
In this subsection we consider matrix multiplication as a mechanical process, putting aside for the moment any implications about the underlying maps. As described earlier, the striking thing about matrix multiplication is the way rows and columns combine. The $i , j$ entry of the matrix product is
CC BY-SA 4.0
We now consider how to represent the inverse of a linear map. We start by recalling some facts about function inverses.[1] Some functions have no inverse, or have an inverse on the left side or right side only. Example 4.1 Where $π : {ℝ}^{3} → {ℝ}^{2}$ is the projection map $( \begin{matrix}x \\ y \
CC BY-SA 4.0
Representations, whether of vectors or of maps, vary with the bases. For instance, with respect to the two bases ${ℰ}_{2}$ and $B = ⟨ ( \begin{matrix}1 \\ 1\end{matrix} ) , ( \begin{matrix}1 \\ − 1\end{matrix} ) ⟩$ for ${ℝ}^{2}$, the vector ${\overset{→}{e}}_{1}$ has two different representations. $