1. Not finding help here? Sign up for a free 30min 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!

Linear Algebra / Group Theory

  1. Sep 14, 2009 #1
    1. The problem statement, all variables and given/known data

    Let [tex]T : V \rightarrow V[/tex] be a linear operator on a complex inner product space [tex]V[/tex] , and let
    [tex]S = I + T^{*}T[/tex], where [tex]I : V \rightarrow V[/tex] is the identity.
    (a) Write [tex]<Sx,x>[/tex] in terms of [tex]x[/tex] and [tex]Tx[/tex].
    (b) Prove that every eigenvalue [tex]\lambda[/tex] of [tex]S[/tex] is real and satisfies [tex]\lambda[/tex][tex]\geq 1[/tex].
    (c) Prove that the nullspace of [tex]S[/tex] is [tex]\{0\}[/tex].

    2. Relevant equations



    3. The attempt at a solution
    Ok I really hardly have any idea on how to tackle this problem.

    Am I right in thinking that; in terms of [tex]Tx[/tex] and [tex]x[/tex]
    [tex]<Sx,x>[/tex] becomes [tex]<[I+T^{*}T]x,x>[/tex]?
    If so, I'm thinking of using the properties of inner products, but so far I've only dealt with scalars inside the <,> brackets, and not linear operators.
    I'm really struggling with it and thus haven't attempted parts b or c yet.

    Any help/comments would be greatly appreciated,
    cheers!
     
    Last edited: Sep 14, 2009
  2. jcsd
  3. Sep 14, 2009 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Well, what are the "properties of inner products" that you could use? Stop "thinking" about using them and use them! Mainly what you need about linear operators here is the definition of [itex]T^*[/itex]

     
  4. Sep 14, 2009 #3
    So I have
    [tex]
    <[I+T^{*}T]x,x>
    [/tex]

    and the definition of [tex]T^*[/tex] is [tex]<Tx,x>=<x,T^*x>[/tex]

    but I'm not really familiar with [tex]<Sx,x>[/tex].. this means that S is operating on x, right?
    Then another way to say it is [tex]
    <[I+T^{*}T]x,x>
    [/tex]
    I'm looking for a way to 'break it up'.. I know the property that [tex]<ax,x> = a<x,x>[/tex] and [tex]<x+y,z> = <x,z> + <y,z> [/tex]but as I said before, I'm only familiar with that when a, x, y and z are scalars from some field.

    Sorry if these questions/remarks seem stupid, but I just haven't come a problem of this variety before - and are unfamiliar with how to handle it.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook