Linear algebra - kernel and image question

iloveannaw · Nov 27, 2010

Homework Statement

f: K^{3} \rightarrow K^{4} is a linear transformation of vector spaces:

K^{3} = \left\langle \vec{e}_{1}, \vec{e}_{2}, \vec{e}_{3} \right\rangle

and

K^{4} = \left\langle \vec{e}^{*}_{1}, \vec{e}^{*}_{2}, \vec{e}^{*}_{3}, \vec{e}^{*}_{4} \right \rangle

as well as:

f(\vec{e}_{1}) = \vec{e}^{*}_{1} - \vec{e}^{*}_{2} + \vec{e}^{*}_{3} - \vec{e}^{*}_{4},

f(\vec{e}_{2}) = \vec{e}^{*}_{1} - 2 \vec{e}^{*}_{3},

f(\vec{e}_{1}) = \vec{e}^{*}_{2} - 3 \vec{e}^{*}_{3} + \vec{e}^{*}_{4}.

Determine a matrix A so that for all x \in K^{3} so that

f(x) = Ax
Determine the kernel and image of f.

Homework Equations

The Attempt at a Solution

well I assumed the following:

K^{3} = \left\langle \vec{e}_{1} \vec{e}_{2} \vec{e}_{3} \right\rangle \[ = \left[ {\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} } \right] \] 

K^{4} = \left\langle \vec{e}^{*}_{1} \vec{e}^{*}_{2} \vec{e}^{*}_{3} \vec{e}^{*}_{4} \right \rangle \[ = \left[ {\begin{array}{cccc} 1 &amp; 0 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 0 &amp; 1 \\ \end{array} } \right] \] f(\vec{e}_{1}) \[ = \left[ {\begin{array}{c} 1 \\ -1 \\ 1 \\ -1 \\ \end{array} } \right] \] , f(\vec{e}_{2}) \[ = \left[ {\begin{array}{c} 1 \\ 0 \\ -2 \\ 0 \\ \end{array} } \right] \] , f(\vec{e}_{1}) \[ = \left[ {\begin{array}{c} 0 \\ 1 \\ -3 \\ 1 \\ \end{array} } \right] \] . f(x) \[ = \left[ {\begin{array}{ccc} 1 &amp; 1 &amp; 0 \\ -1 &amp; 0 &amp; 1 \\ 1 &amp; 2 &amp; -3 \\ -1 &amp; 0 &amp; 1 \\ \end{array} } \right] \] \[ = Ax = A \left[ {\begin{array}{ccc} 1 &amp; 0 &amp; 0 \\ 0 &amp; 1 &amp; 0 \\ 0 &amp; 0 &amp; 1 \\ \end{array} } \right] \] = A = \[ \left[ {\begin{array}{ccc} 1 &amp; 1 &amp; 0 \\ -1 &amp; 0 &amp; 1 \\ 1 &amp; 2 &amp; -3 \\ -1 &amp; 0 &amp; 1 \\ \end{array} } \right] \] so that's A, but I don't think it can be right for a start its not 4D. I know how to get the kernel and image but I don't really know how else to start this problem

Outlined · Nov 27, 2010

so there are 2 questions in fact?

vela · Nov 27, 2010

iloveannaw said:

The Attempt at a Solution

well I assumed the following:

K^{3} = \left\langle \vec{e}_{1} \vec{e}_{2} \vec{e}_{3} \right\rangle \[ = \left[ {\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} } \right] \] 

K^{4} = \left\langle \vec{e}^{*}_{1} \vec{e}^{*}_{2} \vec{e}^{*}_{3} \vec{e}^{*}_{4} \right \rangle \[ = \left[ {\begin{array}{cccc} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ \end{array} } \right] \]

What is that supposed to mean? K³ and K⁴ are matrices?

f(x) \[ = \left[ {\begin{array}{ccc} 1 & 1 & 0 \\ -1 & 0 & 1 \\ 1 & 2 & -3 \\ -1 & 0 & 1 \\ \end{array} } \right] \] \[ = Ax = A \left[ {\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} } \right] \] = A = \[ \left[ {\begin{array}{ccc} 1 & 1 & 0 \\ -1 & 0 & 1 \\ 1 & 2 & -3 \\ -1 & 0 & 1 \\ \end{array} } \right] \]

You seriously need to clean up your notation. What you wrote doesn't make much sense.

so that's A, but I don't think it can be right for a start its not 4D.
I know how to get the kernel and image but I don't really know how else to start this problem

Your matrix A is correct (except for a typo in the second column). It's 4x3, so it represents a map from a three-dimensional vector space to a four-dimensional vector space.

iloveannaw · Nov 28, 2010

What is that supposed to mean? K3 and K4 are matrices?

K³ and k⁴ are vector spaces with bases:

K^{3} = \left\langle \vec{e}_{1} , \vec{e}_{2} , \vec{e}_{3} \right\rangle

K^{4} = \left\langle \vec{e}^{*}_{1} , \vec{e}^{*}_{2} , \vec{e}^{*}_{3} , \vec{e}^{*}_{4} \right \rangle

the elements within a basis are indeed vectors, therefore K³ and k⁴ can be represented as matrices. However, as i said the actual vectors I've chosen are assumed not given!

\vec{e}_{i} is usually taken to be a unit vector in i-th dimension.

You seriously need to clean up your notation. What you wrote doesn't make much sense.

sorry, Latex is not fun. let me try again:

f(x) = Ax , where
 \[ f(x) = \left( {\begin{array}{c} \vec{e}_{1} \\ \vec{e}_{2} \\ \vec{e}_{3} \\ \end{array} } \right) \]

and
 \[ x = \begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1\\ \end{array} \] 
therefore:

 \[ A = \left[ {\begin{array}{ccc} 1 & 1 & 0 \\ -1 & 0 & 1 \\ 1 & -2 & -3 \\ -1 & 0 & 1 \\ \end{array} } \right] \] 

but i thought the dimension of a matrix was linked to the no. of pivots in this case the maximum is three.

thanks!

HallsofIvy · Nov 28, 2010

iloveannaw said:

K³ and k⁴ are vector spaces with bases:

K^{3} = \left\langle \vec{e}_{1} , \vec{e}_{2} , \vec{e}_{3} \right\rangle

K^{4} = \left\langle \vec{e}^{*}_{1} , \vec{e}^{*}_{2} , \vec{e}^{*}_{3} , \vec{e}^{*}_{4} \right \rangle

the elements within a basis are indeed vectors, therefore K³ and k⁴ can be represented as matrices.

No, they cannot. Linear transformations from one vectors space to another are represented by matrices, or individual vectors (such as the basis vectors) as column matrices, not the vector spaces themselves.

However, as i said the actual vectors I've chosen are assumed not given!

\vec{e}_{i} is usually taken to be a unit vector in i-th dimension.

sorry, Latex is not fun. let me try again:

f(x) = Ax , where
 \[ f(x) = \left( {\begin{array}{c} \vec{e}_{1} \\ \vec{e}_{2} \\ \vec{e}_{3} \\ \end{array} } \right) \]

and
 \[ x = \begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1\\ \end{array} \] 
therefore:

 \[ A = \left[ {\begin{array}{ccc} 1 & 1 & 0 \\ -1 & 0 & 1 \\ 1 & -2 & -3 \\ -1 & 0 & 1 \\ \end{array} } \right] \] 

but i thought the dimension of a matrix was linked to the no. of pivots in this case the maximum is three.

thanks!

What you have is a perfectly good matrix representing a linear transformation from a 3 dimensional space (it has 3 columns) to a 4 dimensional space (it has 4 rows).
The kernel is the subspace of K³ of vectors v such that Av= 0. That specifically means that they are of the form (x, y, z) such that x+ y= 0, -x+ z= 0, x- 2y- 3z= 0, and -x+ z= 0. Notice that the second and fourth equations are the same and both say z= x. Putting that into the first and third equations, gives you another equation for x and y so you can solve for y as a linear function of x and write any vector in the kernel as a multiple of x.

The image of f is the set of all vectors in K⁴ that are equal to f(v) for some v in K³. That is, (a, b, c, d) such that x+ y= a, -x+ z= b, x- 2y- 3z= c, and -x+ z= d have solutions. Again, the second and fourth equation both have "-x+ z" so we must have b= d. Putting z= b+ x into the third equation gives equations you can use to get conditions on b and c. Since the kernel is one dimensional and K³ is three dimensional, the image must have dimension 3- 1= 2.

iloveannaw · Nov 28, 2010

No, they cannot. Linear transformations from one vectors space to another are represented by matrices, or individual vectors (such as the basis vectors) as column matrices, not the vector spaces themselves.

thanks for clearing that up :)

What you have is a perfectly good matrix representing a linear transformation from a 3 dimensional space (it has 3 columns) to a 4 dimensional space (it has 4 rows).

ok, so the four dimensions of K⁴ refer only to the space and our matrix A does not necessarily have the same number of dimensions as the resulting vector space ? thanks again

Linear algebra - kernel and image question

Homework Help Overview

Discussion Character

Approaches and Questions Raised

Discussion Status

Contextual Notes

Homework Statement

Homework Equations

The Attempt at a Solution

The Attempt at a Solution

Similar threads

Distance between a Clock's hands when the distance is increasing most rapidly

Volume with spherical coordinates

Does this series converge uniformly?

Polar integral

Use greedy vertex coloring algorithm to prove the upper bound of χ

Insights Thinking Outside The Box Versus Knowing What’s In The Box

Insights Why Entangled Photon-Polarization Qubits Violate Bell’s Inequality

Insights Quantum Entanglement is a Kinematic Fact, not a Dynamical Effect

Insights What Exactly is Dirac’s Delta Function? - Insight

Insights Relativator (Circular Slide-Rule): Simulated with Desmos - Insight

Insights Fixing Things Which Can Go Wrong With Complex Numbers