Mathematics Asked on December 18, 2021
Consider the following fragments from Murphy’s "$C^*$-algebras and operator theory":
In the above proof of theorem 2.4.5., how does theorem 1.4.11 imply that the set $S$ is finite? I guess it has something to do with the non-zero points of $sigma(u)$ being isolated?
Let $x_n$ be a sequence in $S$. Since $S$ is bounded in $Bbb C$ it is a bounded sequence and as such admits a convergent subsequence, so assume it converges. Further $|x_n|≥epsilon$ for all $n$ so $x_n$ cannot converge to $0$. Since $S=sigma(u)cap { xinBbb Cmid |x|≥epsilon }$ is closed the limit must also lie in $S$. But every point of $S$ is isolated and as such cannot be the limit of other points and $x_n$ must be eventually constant (ie $S$ is discrete in $Bbb C$).
This implies $S$ is finite, for otherwise there must be a sequence without a constant subsequence.
Answered by s.harp on December 18, 2021
Get help from others!
Recent Questions
Recent Answers
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP