4
$\begingroup$

Let $T$ be an bounded linear operator on a Banach space $X$. Suppose the spectrum of $T$, $\sigma(T)$ has infinitely many connected components, then $\sigma(T)$ must contain infinitely many connected components that are relatively open in $\sigma(T)$.

I come across the above statement in operator algebra paper but I have no idea why this is true. Since obviously this was not necessarily true if $\sigma(T)$ was replaced by a general set. Thus the answer must involve some structure property of spectrum of operators. But I am not sure what kind of property we need.

Anyone has a suggestion?

  • 2
    Compactness. As it is the only property that may distinguish $\sigma(T)$ from a general subset of $\mathbb C$.2012-05-23

1 Answers 1

4

The statement is false. It is a standard exercise in Hilbert space theory that every non-empty compact subset of $\mathbb{C}$ arises as the spectrum of some (diagonal) operator.

Now let $T$ be an operator whose spectrum $\sigma(T)$ is the Cantor set $C \cong \{0,1\}^\mathbb{N}$. Its connected components are the points of the Cantor set, but no point of the Cantor set is relatively open.

  • 0
    Hmm. I am not sure about your statement ' every non-empty compact subset of $\mathbb{C}$ is the spectrum of some operator'. Could you please point to a reference? The statement in my question is from a recent paper by LW, Marcoux, AI, Popov and H Radjavi, On Almost-invariant Subspaces and Approximate Commutation. It is a cricial step of Lemma 2.7.2012-05-24
  • 2
    So if the statement was false then the paper would need some improvement.2012-05-24
  • 1
    @HuiYu: As t.b. said, you can see this using diagonal operators. See these questions for reference: [1](http://math.stackexchange.com/q/28670/1424), [2](http://math.stackexchange.com/q/35279/1424), [3](http://math.stackexchange.com/q/35623/1424), [4](http://math.stackexchange.com/questions/142868/compact-sets-as-point-spectrum-of-a-bounded-operator). (For the dense sequence in $C$, you could take e.g. the endpoints of the removed middle thirds.) You could also let $\mu$ be the Lebesgue-Stieltjes measure of the Cantor function, and let $T$ be multiplication by $x$ on $L^2(\mu)$.2012-05-24
  • 1
    @HuiYu: I looked at the paper and it looks more like a slip than a serious error to me, but I'm not too acquainted with the techniques used there. What I think they really need for the argument to work is that they can find a countable set of disjoint rectifiable curves in the *resolvent set*, separating countably many pieces of the spectrum (so that they can decompose parts of the operator using Riesz projections) and I'm pretty sure that this is possible for compact planar sets with infinitely many connected components, although I haven't carefully written down an argument.2012-05-24
  • 0
    @JonasMeyer: thanks a lot for this!2012-05-24
  • 1
    @JonasMeyer:thanks very much for your links to those related questions! They are really helpful!2012-05-24
  • 1
    @t.b.:I agree with you now. I might be talking to the authors of that paper later about this. Thanks so much!2012-05-24
  • 0
    @HuiYu: You're very welcome! For the next time: please leave a space after the `@name:` ping because otherwise it doesn't work. So write `@JonasMeyer: thanks`, not `@JonasMeyer:thanks`.2012-05-24
  • 0
    @JonasMeyer: Hui Yu left a message here for you and I'm not sure if you were notified.2012-05-24
  • 0
    t.b. and @HuiYu: You're welcome. (t.b.: Thanks, I'm not sure if I was either, but my inbox says that I have 3 comments on this post, which might mean that I was. If so, maybe they improved the ping system.)2012-05-24