1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Kernel subsets of transformations

  1. Dec 12, 2012 #1
    1. The problem statement, all variables and given/known data

    Let [itex] T_1,T_2:ℝ^n\rightarrowℝ^n [/itex] be linear transformations. Show that [itex] \exists S:ℝ^n\rightarrowℝ^n [/itex] s.t. [itex] T_1=S\circ T_2 \Longleftrightarrow kerT_2\subset kerT_1 [/itex].

    3. The attempt at a solution

    [itex] (\Longrightarrow) [/itex] Let [itex] S:ℝ^n\rightarrowℝ^n [/itex] be a linear transformation s.t. [itex] T_1 = S\circ T_2 [/itex] and let [itex]\vec{v}\in kerT_2 [/itex]. Then [itex] S(T_2(\vec{v})) = S(\vec{0}) = \vec{0} [/itex] by linearity. Then [itex]T_1(\vec{v}) = \vec{0}[/itex]. Thus [itex] \vec{v}\in kerT_1 \quad \forall\vec{v}\in kerT_2 [/itex]. Therefore [itex]kerT_2 \subset kerT_1 [/itex].

    [itex] (\Longleftarrow) [/itex] Suppose that [itex] kerT_2\subset kerT_1[/itex] and choose [itex]S:ℝ^n\rightarrowℝ^n[/itex] s.t. [itex]S[/itex] is linear and [itex]T_1 = S\circ T_2 [/itex]. Then for [itex]\vec{v}\in kerT_2,\quad T_1(\vec{v}) = S(T_2(\vec{v}) = S(\vec{0}) = \vec{0}. [/itex] Thus there exists such a transformation.
  2. jcsd
  3. Dec 12, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper

    The first part seems ok. For the second, the problem is to show that such an S exists given ker(T2) is contained in ker(T1). Not to assume it exists.
    Last edited: Dec 12, 2012
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Kernel subsets transformations Date
Are these homomorphisms? Yesterday at 10:50 AM
Subsets in R^3 Jan 16, 2018
Heat Kernel at t=0 Sep 16, 2017
Conclusion about the dimension of C°(R)? Jul 12, 2017
Proof regarding the image and kernel of a normal operator Jun 28, 2017