对条件 取非 是 ∉谱集合的实数 才对 现在是 入 属于正则点集他 然后 又说T 的谱是实数这不矛盾吗这里根据 必要性 推出蓝色和红色矛盾 矛盾就是 这是谱点然后 T优势自共轭的 所以 (Tx.x)=(入x,x)=入(x,x) =(x,Tx)=(Tx,x)的共轭 等于入(x,x)的共轭所以入 等于 入共轭 所以 入是实数