Linear algebra - kernel and image question

iloveannaw
Messages
38
Reaction score
0

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 \[<br /> =<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 0 &amp; 0 \\<br /> 0 &amp; 1 &amp; 0 \\<br /> 0 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br />

K^{4} = \left\langle \vec{e}^{*}_{1} \vec{e}^{*}_{2} \vec{e}^{*}_{3} \vec{e}^{*}_{4} \right \rangle \[&lt;br /&gt; =&lt;br /&gt; \left[ {\begin{array}{cccc}&lt;br /&gt; 1 &amp;amp; 0 &amp;amp; 0 &amp;amp; 0 \\&lt;br /&gt; 0 &amp;amp; 1 &amp;amp; 0 &amp;amp; 0 \\&lt;br /&gt; 0 &amp;amp; 0 &amp;amp; 1 &amp;amp; 0 \\&lt;br /&gt; 0 &amp;amp; 0 &amp;amp; 0 &amp;amp; 1 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt;<br /> f(\vec{e}_{1}) \[&lt;br /&gt; =&lt;br /&gt; \left[ {\begin{array}{c}&lt;br /&gt; 1 \\&lt;br /&gt; -1 \\&lt;br /&gt; 1 \\&lt;br /&gt; -1 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt;,<br /> <br /> f(\vec{e}_{2}) \[&lt;br /&gt; =&lt;br /&gt; \left[ {\begin{array}{c}&lt;br /&gt; 1 \\&lt;br /&gt; 0 \\&lt;br /&gt; -2 \\&lt;br /&gt; 0 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt;,<br /> <br /> f(\vec{e}_{1}) \[&lt;br /&gt; =&lt;br /&gt; \left[ {\begin{array}{c}&lt;br /&gt; 0 \\&lt;br /&gt; 1 \\&lt;br /&gt; -3 \\&lt;br /&gt; 1 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt;.<br /> <br /> f(x) \[&lt;br /&gt; =&lt;br /&gt; \left[ {\begin{array}{ccc}&lt;br /&gt; 1 &amp;amp; 1 &amp;amp; 0 \\&lt;br /&gt; -1 &amp;amp; 0 &amp;amp; 1 \\&lt;br /&gt; 1 &amp;amp; 2 &amp;amp; -3 \\&lt;br /&gt; -1 &amp;amp; 0 &amp;amp; 1 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt; \[&lt;br /&gt; = Ax = A&lt;br /&gt; \left[ {\begin{array}{ccc}&lt;br /&gt; 1 &amp;amp; 0 &amp;amp; 0 \\&lt;br /&gt; 0 &amp;amp; 1 &amp;amp; 0 \\&lt;br /&gt; 0 &amp;amp; 0 &amp;amp; 1 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt; = A = \[&lt;br /&gt; \left[ {\begin{array}{ccc}&lt;br /&gt; 1 &amp;amp; 1 &amp;amp; 0 \\&lt;br /&gt; -1 &amp;amp; 0 &amp;amp; 1 \\&lt;br /&gt; 1 &amp;amp; 2 &amp;amp; -3 \\&lt;br /&gt; -1 &amp;amp; 0 &amp;amp; 1 \\&lt;br /&gt; \end{array} } \right]&lt;br /&gt; \]&lt;br /&gt;<br /> <br /> so that&#039;s A, but I don&#039;t think it can be right for a start its not 4D.<br /> I know how to get the kernel and image but I don&#039;t really know how else to start this problem
 
Last edited:
Physics news on Phys.org
so there are 2 questions in fact?
 
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 \[<br /> =<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 0 &amp; 0 \\<br /> 0 &amp; 1 &amp; 0 \\<br /> 0 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br />

K^{4} = \left\langle \vec{e}^{*}_{1} \vec{e}^{*}_{2} \vec{e}^{*}_{3} \vec{e}^{*}_{4} \right \rangle \[<br /> =<br /> \left[ {\begin{array}{cccc}<br /> 1 &amp; 0 &amp; 0 &amp; 0 \\<br /> 0 &amp; 1 &amp; 0 &amp; 0 \\<br /> 0 &amp; 0 &amp; 1 &amp; 0 \\<br /> 0 &amp; 0 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br />
What is that supposed to mean? K3 and K4 are matrices?
f(x) \[<br /> =<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 0 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> 1 &amp; 2 &amp; -3 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br /> \[<br /> = Ax = A<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 0 &amp; 0 \\<br /> 0 &amp; 1 &amp; 0 \\<br /> 0 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br /> = A = \[<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 0 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> 1 &amp; 2 &amp; -3 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br />
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.
 
Last edited:
What is that supposed to mean? K3 and K4 are matrices?

K3 and k4 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 K3 and k4 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
<br /> \[<br /> f(x) =<br /> \left( {\begin{array}{c}<br /> \vec{e}_{1} \\<br /> \vec{e}_{2} \\<br /> \vec{e}_{3} \\<br /> \end{array} } \right)<br /> \]

and
<br /> \[<br /> x =<br /> \begin{array}{ccc}<br /> 1 &amp; 0 &amp; 0\\<br /> 0 &amp; 1 &amp; 0\\<br /> 0 &amp; 0 &amp; 1\\<br /> \end{array}<br /> \]<br />
therefore:

<br /> \[<br /> A =<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 0 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> 1 &amp; -2 &amp; -3 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br />

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

thanks!
 
Last edited:
iloveannaw said:
K3 and k4 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 K3 and k4 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
<br /> \[<br /> f(x) =<br /> \left( {\begin{array}{c}<br /> \vec{e}_{1} \\<br /> \vec{e}_{2} \\<br /> \vec{e}_{3} \\<br /> \end{array} } \right)<br /> \]

and
<br /> \[<br /> x =<br /> \begin{array}{ccc}<br /> 1 &amp; 0 &amp; 0\\<br /> 0 &amp; 1 &amp; 0\\<br /> 0 &amp; 0 &amp; 1\\<br /> \end{array}<br /> \]<br />
therefore:

<br /> \[<br /> A =<br /> \left[ {\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 0 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> 1 &amp; -2 &amp; -3 \\<br /> -1 &amp; 0 &amp; 1 \\<br /> \end{array} } \right]<br /> \]<br />

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 K3 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 K4 that are equal to f(v) for some v in K3. 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 K3 is three dimensional, the image must have dimension 3- 1= 2.
 
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 K4 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
 
Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'
Hi! I am struggling with the exercise I mentioned under "Homework statement". The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm: Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed. I thought...
Back
Top