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!

Homework Help: Inner Product of a Linear Transformation

  1. Mar 30, 2010 #1
    1. The problem statement, all variables and given/known data
    Let V be a vector space over a field F = R or C. Let W be an inner product space over F. w/ inner product <*,*>. If T: V->W is linear, prove <x,y>' = <T(x),T(y)> defines an inner product on V if and only if T is one-to-one

    2. Relevant equations
    What we know, W is an inner product space, so it satisfies for x,y,z in W and c in F the properties of inner product space:
    <x + z, y> = <x,y> + <z,y>
    <cx,y>=c<x,y>
    <x,y>= conjugate<y,x>
    <x,x> > 0 if x does not = 0

    T linear, thus for x,y in V and c in F
    T(x+cy)=T(x) + cT(y)

    Forward phase:
    If <x,y>' = <T(x),T(y)> is an inner product then it satisfies the same requirements for an inner product space mentioned above.

    Want to show T is one-to-one. => by def. if T: V-> W is one-to-one then for x,y in V T(x),T(y) in W...T(x)=T(y) => x=y...or equivalently the contra-positive.
    Also, T is one-to-one iff Ker(T) = {0}

    By def. an inner product on V is a function that assigns x,y in V/F to a scalar in F denoted by <x,y>

    3. Attempt

    We want to show that if T(x)=T(y) then x=y...
    consider <T(x),T(y)> = <T(x),T(x)> which is > 0 unless T(x) = 0.
    Now, I am failing to see how this helps at all. If <T,T> is > 0...than how does this give us any information about x and y? If T(x)=0...then this argument is the Ker argument...

    So...Consider all x in V s.t. T(x)=0...we want to show x=0.

    then...<T(x),T(y)> = < 0 , T(y)> = 0 = <T(y),0>

    Again..I do not see how this gives us any info about x and y.

    Any starting hints?
     
  2. jcsd
  3. Mar 30, 2010 #2

    phyzguy

    User Avatar
    Science Advisor

    Try forming T(x-y), and then form <T(x-y),T(x-y)>. I think this will give you the answer.
     
  4. Mar 30, 2010 #3
    If [itex]\left\langle Tx,Ty\right\rangle[/itex] is an inner product, what can you say about [itex]\left\langle Tx,Tx\right\rangle[/itex]? What does this tell you about [itex]ker\left( T\right)[/itex]?
     
  5. Mar 30, 2010 #4
    I think I see what I was missing. I was trying to only manipulate <T(x),T(y)>.
    Here is what I think now...

    Let T(x)=T(y) and consider <x-y,x-y>' = <T(x-y),T(x-y)> = <T(x),T(x-y)> - <T(y),T(x-y)> Then, <x-y,x-y>' = <T(x),T(x-y)> - <T(x),T(x-y)> = 0
    Then, <a,a>' = 0 implies a=0 => x-y = 0 => x=y

    Then for the reverse direction Let T(x)=T(y) => x=y...consider <x + z, y>' = <T(x+z),T(y)>
    then <T(x+z),T(y)> = <T(x),T(y)> + <T(z),T(y)> since W is inner product space
    which equals <x,y>' + <z,y>'

    Then similarly for the other the other conditions.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook