TransWikia.com

Eigenvalues of a compact operator with modulus greater than $epsilon$ is finite

Mathematics Asked on December 18, 2021

Consider the following fragments from Murphy’s "$C^*$-algebras and operator theory":
q ]1

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?

One Answer

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

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP