Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I was reviewing for a test for functional analysis when I came across the following statement:

Let $T$ be a bounded self-adjoint operator on a Hilbert space $H$. Then the numerical range of it is an interval $[m, M]$ with $M>0$.

Is the above statement correct? How can I prove it?

Thank you!!

share|improve this question
    
If $T=0$, then $W(T)=\{0\}$ so $M$ doesn't need to be positive. –  Davide Giraudo Apr 26 '12 at 18:00
    
@DavideGiraudo: $T = -I$ would show $M$ can be strictly negative. –  Nate Eldredge Apr 26 '12 at 20:50

2 Answers 2

up vote 3 down vote accepted

For self adjoint bounded operator $T\in\mathcal{B}(H)$ we have well defined continuous function $$ w:H\to\mathbb{R}:x\mapsto\langle Tx,x\rangle $$ Denote $B=\{x\in H:\Vert x\Vert=1\}$, which obviously connected and bounded. Since $T$ is bounded then $W(T)=w(B)$ is bounded. Since $w$ is continuous then $W(T)$ is connected as contiuous image of connected space $B$. Thus $W(T)$ is bounded and connected, then it is of the form $(m,M)$ or $[m,M)$ or $(m,M]$ where $m=\inf\limits_{x\in B}w(x)$, $M=\sup\limits_{x\in B}w(x)$.

share|improve this answer
    
How do you show that $B$ is connected? –  Davide Giraudo Apr 26 '12 at 19:17
2  
@DavideGiraudo For each $x_1,x_2\in H$, $\operatorname{span}\{x_1,x_2\}\cap B$ is a circle. Which is, of course, connected. –  userNaN Apr 26 '12 at 19:35
    
In fact, if I'm not mistaking, it can be shown that the unit sphere is arcwise connected, using, for normed $x,y$, the map $f\colon t\mapsto \frac{tx+(1-t)y}{\lVert tx+(1-t)y\rVert}$. –  Davide Giraudo Apr 26 '12 at 19:53
    
@DavideGiraudo, I think you are not mistaken :) I know your style - you always want to put as much formulas as possible ;) –  userNaN Apr 26 '12 at 20:27
1  
@Davide: So if $y=-x$, what happens at $t=1/2$? –  Nate Eldredge Apr 26 '12 at 20:46

Denote $W(T):=\{\langle Tx,x\rangle,x\in H,\lVert x\rVert=1\}$

  • First, since $T$ is self-adjoint and bounded, $W(T)$ is a bounded subset of the real line.
  • Let $t_1,t_2\in W(T)$, we have to show that for each $0<\lambda<1$, $\lambda t_1+(1-\lambda)t_2\in W(T)$. We have $t_1=\langle Tx_1,x_1\rangle$ and $t_2=\langle Tx_2,x_2\rangle$ for some normed $x_1,x_2\in H$. Let $F:=\operatorname{Span}\{f_1,f_2\}$, then $F$ is a closed subspace. Denote $P_F$ the projection over $F$. For $x\in F$, we have $$\langle Tx,x\rangle=\langle Tx,Px\rangle=\langle Tx,P^*x\rangle=\langle PTx,x\rangle,$$ so it's enough to show the result when $T$ is a $2\times 2$ complex matrix.
share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.