论文证明解析：为何不等式$b<\|A\|$严格成立？
先快速回顾题目里的核心定义，方便梳理逻辑：
- 设$A\in\mathcal{L}(E)$（$E$是复内积空间上的有界线性算子）
- 集合$K={x\in E:;|x|=1,;\Re e\langle Ax,x\rangle\leq\frac{a}{2};}$，其中$a$满足$\Re e( W_{0}(A))\geq a>0$
- $W_{0}(A)$是算子$A$的范数达到型数值点集：
$$
W_{0}(A) ={\alpha\in \mathbb{C}:;\exists,(z_n)\subset E,;|z_n|=1,\lim_{n\rightarrow+\infty}\langle A z_n,z_n\rangle=\alpha,;\lim_{n\rightarrow+\infty}|Az_n|= |A| }
$$ - $b:=\sup_{x\in K}|Ax|$
接下来我们一步步拆解为什么$b < |A|$是严格成立的：
核心推导：反证法 + $W_0(A)$的定义
我们用反证法来推导：假设$b = |A|$，根据上确界的定义，必然存在一列单位向量$(x_n)\subset K$，使得$\lim_{n\to\infty}|Ax_n| = |A|$。
现在看这列$(x_n)$的两个关键性质：
- 因为$(x_n)\subset K$，所以对所有$n$，都有$\Re e\langle Ax_n,x_n\rangle\leq\frac{a}{2}$；
- 同时$\lim_{n\to\infty}|Ax_n| = |A|$，满足$W_0(A)$定义里的范数收敛条件。
根据$W_0(A)$的定义，这列$(x_n)$对应的数值序列$\langle Ax_n,x_n\rangle$的聚点$\alpha$一定属于$W_0(A)$。对这个聚点$\alpha$，我们有$\Re e\alpha = \lim_{k\to\infty}\Re e\langle Ax_{n_k},x_{n_k}\rangle\leq\frac{a}{2}$（因为每个项都不超过$\frac{a}{2}$，极限也不会超过它）。
但题目明确给出$\Re e( W_{0}(A))\geq a>0$，也就是$W_0(A)$里所有点的实部都至少是$a$，这就和我们得到的$\Re e\alpha\leq\frac{a}{2} < a$直接矛盾了！
矛盾的本质
矛盾完全来自于我们的假设$b=|A|$：如果$b$能达到$|A|$，就意味着存在一列在$K$里的单位向量，它们在$A$作用下的范数趋近于算子范数，但$K$里的向量实部都不超过$\frac{a}{2}$，而$W_0(A)$的定义要求所有“范数趋近于$|A|$的单位向量”对应的数值聚点实部都不小于$a$——这两个条件根本没法同时满足，所以假设不成立，只能是$b < |A|$。
直白点说就是：能让$|Ax|$接近$|A|$的单位向量，它们的$\Re e\langle Ax,x\rangle$必须至少是$a$，而$K$里的向量实部都卡在$\frac{a}{2}$以下，所以$K$里的向量不可能让$|Ax|$达到$|A|$，甚至连趋近都做不到，因此上确界$b$必然严格小于$|A|$。
内容的提问来源于stack exchange，提问作者Student
