p211有界自共轭算子T是实数集合的子集

对条件 取非
  是 ∉谱集合的实数 才对
 现在是  入  属于正则点集
他  然后  又说T 的谱是实数
这不矛盾吗

这里根据  

必要性    推出

蓝色和红色矛盾  
 矛盾就是 这是谱点
然后 T优势自共轭的 
所以 （Tx.x）=(入x，x)=入（x，x） =（x,Tx）=(Tx,x)的共轭  等于入（x，x）的共轭
所以入 等于 入共轭  所以 入是实数