Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Linear and Abstract Algebra
Reply
 
Thread Tools Display Modes
  #1  
Old November 12th, 2008, 08:54 PM
Newbie
 
Join Date: Sep 2008
Posts: 24
Country:
Thanks: 8
Thanked 1 Time in 1 Post
bamby is on a distinguished road
Default inner product

Can you help me with this. I don’t know what to do
Let R, S, T are linear operators, where V is a complex inner product space.
(i) Suppose that S is an isometry and R is a positive operator such that T=SR. Prove that R=square root of (T*T)
(ii) Let σ denote the smallest singular value of T, and let σ*denote the largest singular value of T. Prove that σ<=|| T(v)/||v|| ||<= σ* for every nonzero v in V.

Thanks
Reply With Quote
Advertisement
 
  #2  
Old November 13th, 2008, 02:19 PM
Opalg's Avatar
MHF Contributor

 
Join Date: Aug 2007
Location: Leeds, UK
Posts: 2,003
Country:
Thanks: 122
Thanked 1,215 Times in 1,008 Posts
Opalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant futureOpalg has a brilliant future
Default

Quote:
Originally Posted by bamby View Post
Let R, S, T be linear operators, where V is a complex inner product space.
(i) Suppose that S is an isometry and R is a positive operator such that T=SR. Prove that R=square root of (T*T)
(ii) Let σ denote the smallest singular value of T, and let σ*denote the largest singular value of T. Prove that σ<=|| T(v)/||v|| ||<= σ* for every nonzero v in V.
(i) If S is an isometry then S*S = I. Therefore T^*T = RS^*SR = R^2. But a positive operator has a unique positive square root, so R=(T^*T)^{1/2}.

(ii) \|Tv\|^2 = \langle T^*Tv,v\rangle = \langle R^2v,v\rangle. But \sigma^2 I\leqslant R^2\leqslant \sigma^{*2}I. So \sigma^2\langle v,v\rangle \leqslant\langle R^2v,v\rangle\leqslant \sigma^{*2}\langle v,v\rangle, from which \sigma\|v\|\leqslant\|Tv\|\leqslant\sigma^*\|v\|.

Last edited by Opalg; November 14th, 2008 at 02:17 AM. Reason: corrected typo
Reply With Quote
The following users thank Opalg for this useful post:
Donate to MHF
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 08:51 PM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.