Basis for kernel of linear transform

Takuya
Messages
4
Reaction score
0
Hey guys!

I am having a major brain problem today, with this problem.

L is a linear transform that maps L:P4\rightarrowP4

As such that (a1t3+a2t2+a3t+a4 = (a1-a2)t3+(a3-a4)t.

I am trying to find the basis for the kernel and range.

I know that the standard basis for P4 is {1,x,x2,x3}
And the kernel is when L(u)=0, but I don't know how to find the transformation matrix, since we're not dealing with numbers in R, but in the set of polynomials. Is there another way to find the kernel/range and bases without using the T matrix?
 
Physics news on Phys.org
Takuya said:
Hey guys!

I am having a major brain problem today, with this problem.

L is a linear transform that maps L:P4\rightarrowP4

As such that (a1t3+a2t2+a3t+a4 = (a1-a2)t3+(a3-a4)t.

I am trying to find the basis for the kernel and range.

I know that the standard basis for P4 is {1,x,x2,x3}
And the kernel is when L(u)=0, but I don't know how to find the transformation matrix, since we're not dealing with numbers in R, but in the set of polynomials. Is there another way to find the kernel/range and bases without using the T matrix?

Don't worry about trying to find a matrix. It's not necessary in order to answer this problem.

To find the kernel, just look at the defining equation for L. What relationships must hold among a_1, a_2, a_3, a_4 in order to obtain

L(a_1 t^3 + a_2 t^2 + a_3 t + a_4) = 0

To find the range, simply answer this: if you allow a_1, a_2, a_3, a_4 to take on all possible values, what are all the possible polynomials that you can produce of the form

(a_1 - a_2) t^3 + (a_3 - a_4) t
 
a1=a2 and a3=a4, so that a2 and a4 can be arbitrary. So plugging back into the original L(a), and factoring, you'd get that {(1+t),(t2+t3)} is the kernel of L?

The range would be … any value of a2 or a4 for t3 and t, so the range is just {t,t3} ?
 
Takuya said:
a1=a2 and a3=a4, so that a2 and a4 can be arbitrary. So plugging back into the original L(a), and factoring, you'd get that {(1+t),(t2+t3)} is the kernel of L?

That is a BASIS for the kernel of L. The kernel itself consists of all possible linear combinations of the basis elements, which is any polynomial of the form a (1+t) + b(t^2 + t^3).

The range would be … any value of a2 or a4 for t3 and t, so the range is just {t,t3} ?

That is a BASIS for the range of L. The range itself is once again the set of all possible linear combinations of the basis elements, i.e. anything of the form a t + b t^3[/tex].
 
Ohhh right right. Yeah I was getting ahead of myself. I understand now! Thanks :)
 
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...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
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...
Back
Top