(a) σ(T)が次の条件を満たすなら、Tは(*)を満たす。
任意の N に対して、半径の異なるN個の同心円周C_1,...,C_Nが存在して、
|σ(T) ∩ C_i | ≧ N for every i を満たす。
∵ 線形関係式の添え字を適当に整理してVandermondeを2回使う。
(b) σ(T)がLebesgue測度正なら、Tは(*)を満たす。
∵ Lebesgue density theoremより、(a)が適用可。
昼過ぎに本人がプレプリ送ってきたから読んでみた。ポイントはよく分かんない。
可換Banach環Aが可換C*環の部分環になる必要十分条件は、定数 C があって、
任意の s in A に対して || s ||^2 ≦ C || s^2 || が成り立つことっていうのを
使うんだけど、この条件は従順性から出てきた式をグルグルぐるぐる回すとなぜか
出てくる。?。初等的だ。