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 am stuck in a problem regarding functional calculus.Can anyone help me? Here is the problem.

Let $A$ be a Banach Space and $T$ be a bounded operator on $A$. Given that, $\sigma[T]-$ spectrum of $T$ is $ F_1 \cup F_2;$ where $ F_1, F_2$ are disjoint closed set in complex plane. Then show that there exist topologically complemented subspace $A_1,A_2$ of $A$ such that $A_1,A_2$ are invariant subspace for $T$ and $\sigma(T|A_i)=F_i$ for $i=1,2.$

Till now what I have done is, I have taken disjoint open set $G_i$ containing $F_i$ and have chosen $f_i= 1_{G_i}-$ the characteristic function on $G_i$, (which are actually analytic on $G_1\cup G_2$). Then I have taken $A_i$ as range of the projection $f_i(T)$, using the functional calculus for $T$.

using spectral mapping theorem one can tell that, $\sigma(Tf_i(T))= F_i\cup$ {$0$}. If my guess is correct then I have to show $\sigma(Tf_i(T)|A_i)= F_i$. At this stage I need help.

share|improve this question
    
I think you assume that $A$ is Hilbert and $T$ is normal. Right? –  Norbert Sep 27 '12 at 21:02
    
No, A is Banach space and T is any bounded operator on A. Use functional calculus to define f(T) for any holomorphic function f on the spectrum of T. –  timon Sep 27 '12 at 21:05
    
Where have learned about Borel functional calculus for arbitrary Banach spaces and arbitrary bounded operators? –  Norbert Sep 27 '12 at 21:07
    
learned from Conway's A course in a Functional Analysis. –  timon Sep 27 '12 at 21:09
    
In this case see proposition 4.11 Chepter VII. Here you can find a mathod how to "extract" $\{0\}$ –  Norbert Sep 27 '12 at 21:41
show 2 more comments

1 Answer

up vote 0 down vote accepted

If $0\in F_i$, you are done. Otherwise, as $F_i$ is compact, there exists $\delta>0$ such that $|z|>\delta$ for all $z\in F_i$. Then the function $g:z\mapsto zf_i(z)$ satisfies $|g(z)|\geq\delta$ for all $z\in F_i$ and so $h=1/g$ is well-defined and analytic on $F_i$. This implies that $Tf_i(T)|_{A_i}$ is invertible (with inverse $h(T)$), and so $0\not\in\sigma(Tf_i(T)|_{A_i})$.

share|improve this answer
    
I have just one doubt that how i will show F_1 is a subset of spectrum of T|A_1. –  timon Sep 28 '12 at 7:09
    
If $\lambda\in F_1$, then you can repeat the proof in the answer to show that $T-\lambda I$ is invertible when restricted to $A_2$. This forces $T-\lambda I$ to be non-invertible on $A_1$, as otherwise it would be invertible everywhere contradicting that $\lambda$ is in the spectrum. –  Martin Argerami Sep 28 '12 at 18:21
    
Thank you very much. –  timon Sep 29 '12 at 6:18
    
You are welcome! –  Martin Argerami Sep 29 '12 at 15:07
add comment

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.