Let us show that the map T:R4→R2 given by T(x1,x2,x3,x4)=(2x1+x3,2x3+x1) is a linear transformation:
T(a(x1,x2,x3,x4)+b(y1,y2,y3,y4))=T(ax1+by1,ax2+by2,ax3+by3,ax4+by4)=(2(ax1+by1)+ax3+by3,2(ax3+by3)+ax1+by1)=(2ax1+2by1+ax3+by3,2ax3+2by3+ax1+by1)=(2ax1+ax3,2ax3+ax1)+(2by1+by3,+2by3+by1)=a(2x1+x3,2x3+x1)+b(2y1+y3,+2y3+y1)=aT(x1,x2,x3,x4)+bT(y1,y2,y3,y4).
Let us find its kernel:
ker(T)={(x1,x2,x3,x4)∈R4 ∣ T(x1,x2,x3,x4)=(0,0)}=
={(x1,x2,x3,x4)∈R4 ∣ (2x1+x3,2x3+x1)=(0,0)}=
={(x1,x2,x3,x4)∈R4 ∣ 2x1+x3=0 and 2x3+x1=0}=
={(x1,x2,x3,x4)∈R4 ∣ x3=−2x1 and −3x1=0}=
={(x1,x2,x3,x4)∈R4 ∣ x1=0 and x3=0}=
={(0,x2,0,x4) ∣ x2,x4∈R}.
Let us find its image. For this it is sufficient to find all (a,b)∈R2 such that T(x1,x2,x3,x4)=(a,b), that is the system
{2x1+x3=ax1+2x3=b has a solution.
Since ∣∣2112∣∣=4−1=3=0, this system has a solution for all all (a,b)∈R2
Therefore, T is a surjection, that is Im(T)=R2.
Comments