MHB Matrix of Linear Transformation T with P2: Find, Ker, Im & Inverse

Kaspelek
Messages
26
Reaction score
0
Where T(p(x)) = (x+1)p'(x) - p(x) and p'(x) is derivative of p(x).

a) Find the matrix of T with respect to the standard basis B={1,x,x^2} for P2.

T(1) = (x+1) * 0 - 1 = -1 = -1 + 0x + 0x^2
T(x) = (x+1) * 1 - x = 1 = 1 + 0x + 0x^2
T(x^2) = (x+1) * 2x - x^2 = 2x + x^2 = 0 + 2x + x^2

So, the matrix for T with respect to B equals
[-1 1 0]
[0 0 2]
[0 0 1].b) Find a basis for kerT and hence write down dim(kerT).

c) Find a basis for ImT and hence write down dim(ImT).

d) Does the transformation have an inverse?I've done part a, so any guidance on the rest would be greatly appreciated.
 
Physics news on Phys.org
Kaspelek said:
Where T(p(x)) = (x+1)p'(x) - p(x) and p'(x) is derivative of p(x).

a) Find the matrix of T with respect to the standard basis B={1,x,x^2} for P2.

T(1) = (x+1) * 0 - 1 = -1 = -1 + 0x + 0x^2
T(x) = (x+1) * 1 - x = 1 = 1 + 0x + 0x^2
T(x^2) = (x+1) * 2x - x^2 = 2x + x^2 = 0 + 2x + x^2

So, the matrix for T with respect to B equals
[-1 1 0]
[0 0 2]
[0 0 1].b) Find a basis for kerT and hence write down dim(kerT).

As you've correctly stated, we may express the transformation in the form
$$
A_T=\left[ \begin{array}{ccc}
-1 & 1 & 0 \\
0 & 0 & 2 \\
0 & 0 & 1 \end{array} \right]
$$

Now as for $$ker(T)$$, we proceed to find the kernel of this transformation in the same way as we would for any other transformation. That is, we would like to solve $$A_T x=\left[ \begin{array}{ccc}0 & 0 & 0\end{array} \right]^T$$, which requires we put the augmented matrix
$$\left( A_T|0 \right) =
\left[ \begin{array}{ccc}
-1 & 1 & 0 & | & 0 \\
0 & 0 & 2 & | & 0 \\
0 & 0 & 1 & | & 0 \end{array} \right]
$$
in its reduced row echelon form (of course, this problem could be solved with a little intuition instead of row reduction, but the upshot of this method is that it works where your intuition might fail). You should end up with
$$\left[ \begin{array}{ccc}
1 & -1 & 0 & | & 0 \\
0 & 0 & 1 & | & 0 \\
0 & 0 & 0 & | & 0 \end{array} \right]
$$
Which tells you that the kernel of the transformation is the set of all polynomials $$a+bx+cx^2$$ such that $$a-b=0$$ and $$c=0$$. Thus, we may state that the kernel of $$T$$ is spanned by the vector
$$\left[ \begin{array}{ccc}1 & 1 & 0\end{array} \right]^T$$, which is thus the basis of the kernel of T. Since there is one vector in the basis, the dimension of the kernel is 1.

Any questions about the process so far?
 
Last edited:
Kaspelek said:
c) Find a basis for ImT and hence write down dim(ImT).

d) Does the transformation have an inverse?

For c), what we need to do is find the largest possible set of linearly independent column-vectors. If you wanted to use the rref (reduced row echelon form) that we computed previously, you simply choose the column vectors corresponding to the 1's (i.e. the "pivots") of the reduced matrix. That is, choosing the first and third columns, we find that $$\left[ \begin{array}{ccc}-1 & 0 & 0\end{array} \right]^T$$ and $$\left[ \begin{array}{ccc}0 & 2 & 1\end{array} \right]^T$$ form a basis of the image. It follows that $$dim(Im(T))=2$$.

For d), we simply note that the kernel of this transformation is not of dimension 0. This is enough to state that the transformation does not have an inverse.
 
Last edited:
Something better to express the solutions as vectors of $P_2$ instead of coordinates. That is, $B_{\ker T}=\{1+x\}$ and $B_{\mbox{Im }T}=\{-1,2x+x^2\}$.
 
That helped a lot guys, thanks a lot.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top