Results 1 to 2 of 2

Math Help - Image of T

  1. #1
    Junior Member
    Joined
    Jan 2010
    Posts
    32

    Image of T

    If H is a Hilbert Space and T:H\rightarrow H a bounded operator. Given that T is bounded below \|Tx\|\geq\delta\|x\| for some \delta>0 and that ker(T^*)=0 show that the image of im(T) of T is closed.

    This is a revision question to prove that if an operator is bounded below and the kernel of the adjoint is zero then it is invertible. The question requires that you prove T is bijective. I have proved injective and done most of the surjection proof, I just now need to show that the image of T is equal to the closure of the image of T i.e. im(T) is closed.

    I am assuiming that you need to show that the compliment is open somehow, it seems clear that the compliment is the empty set so open and closed. Any help would be great.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by ejgmath View Post
    If H is a Hilbert Space and T:H\rightarrow H a bounded operator. Given that T is bounded below \|Tx\|\geq\delta\|x\| for some \delta>0 and that ker(T^*)=0 show that the image of im(T) of T is closed.
    (You don't need the information about \ker(T^*) for this part of the question.) If Tx_n\to y then (Tx_n) is a Cauchy sequence. The condition \|Tx\|\geq\delta\|x\| (applied to x=x_m-x_n) shows that (x_n) is also Cauchy and therefore converges to a limit z say. Then Tz = y, which shows that y is in im(T). Therefore im(T) is closed.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Pre-Image / Image proof
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 9th 2012, 03:30 AM
  2. Image of set
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: October 27th 2010, 11:47 AM
  3. Replies: 1
    Last Post: October 27th 2009, 01:09 AM
  4. image set
    Posted in the Pre-Calculus Forum
    Replies: 9
    Last Post: October 26th 2009, 03:59 PM
  5. Replies: 3
    Last Post: September 16th 2009, 05:17 PM

Search Tags


/mathhelpforum @mathhelpforum