Question #7961

Let TεB(X,X) ,X is a comlex Banach space and T be idempotent(i.e T^2=T) .Prove that if T is neither 0 not I ,then σ(T)={0,1}

Expert's answer

Question 1. Let TB(X,X)T \in B(X, X), where XX is a complex Banach space, and TT be idempotent (i.e. T2=TT^2 = T). Prove that if TT is neither 0 nor II, then σ(T)={0,1}\sigma(T) = \{0, 1\}.

Solution. By definition the spectrum of TT (denoted by σ(T)\sigma(T)) consists of all λC\lambda \in \mathbb{C}, such that TλIT - \lambda I is not invertible.

First of all prove that {0,1}σ(T)\{0,1\} \subset \sigma(T). If λ=0\lambda = 0, then TλI=TT - \lambda I = T, so we need to show that TT is not invertible. Suppose there is T1T^{-1}. Then we can multiply the equation T2=TT^2 = T by T1T^{-1} and obtain T=IT = I, which is not the case of our task. Now consider λ=1\lambda = 1 and prove that TλI=TIT - \lambda I = T - I is not invertible. Suppose the contrary. Note that the equality T2=TT^2 = T can be written as T(TI)=0T(T - I) = 0. The last one, being multiplied by (TI)1(T - I)^{-1}, implies T=0T = 0, which is a contradiction.

Now take λC{0,1}\lambda \in \mathbb{C} \setminus \{0,1\} and prove that λσ(T)\lambda \notin \sigma(T), i.e. TλIT - \lambda I is invertible. Try to find its inverse in the form μTνI\mu T - \nu I for some μ,νC\mu, \nu \in \mathbb{C}. Note that TλIT - \lambda I and μTνI\mu T - \nu I commute, because TT and II commute. So, it is sufficient to find μ\mu and ν\nu such that (TλI)(μTνI)=I(T - \lambda I)(\mu T - \nu I) = I. We have


(TλI)(μTνI)=μT2νTλμT+λνI=(μνλμ)T+λνI,(T - \lambda I) (\mu T - \nu I) = \mu T ^ {2} - \nu T - \lambda \mu T + \lambda \nu I = (\mu - \nu - \lambda \mu) T + \lambda \nu I,


because T2=TT^2 = T. We need μνλμ=0\mu - \nu - \lambda \mu = 0 and λν=1\lambda \nu = 1, so ν=1λ\nu = \frac{1}{\lambda} and μ=ν1λ=1λ(1λ)\mu = \frac{\nu}{1 - \lambda} = \frac{1}{\lambda(1 - \lambda)}. Since λ{0,1}\lambda \notin \{0,1\}, μ\mu and ν\nu are defined. Thus, 1λ(11λTI)\frac{1}{\lambda} \left( \frac{1}{1 - \lambda} T - I \right) is inverse to TλIT - \lambda I and hence TλIT - \lambda I is invertible.

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS