自伴变换的界

如同往常一样,对于自伴变换的特殊情况,我们可以比一般情况说得更详细一些。对于任意自伴变换 A ,考虑实数集合 Φ = { ( A x , x ) / x 2 : x 0 } Ψ = { ( A x , x ) : x = 1 } . 显然 Ψ Φ 。如果对每个 x 0 ,我们令 y = x / x ,则 y = 1 ( A x , x ) / x 2 = ( A y , y ) ,因此 Φ 中的每一个数也出现在 Ψ 中,从而 Φ = Ψ 。我们记 并称 α 是自伴变换 A 下界 β 是其上界。如果回顾正变换的定义,我们看到 α 是使得 A α 0 成立的最大实数,而 β 是使得 β A 0 成立的最小实数。关于这些数,我们断言 γ = max { | α | , | β | } = A .  

一半的证明是容易的。由于 | ( A x , x ) | A x x A x 2 , 显然 | α | | β | 都被 A 控制。要证明反向不等式,我们注意到两个线性变换 γ A γ + A 的正性意味着 ( γ + A ) ( γ A ) ( γ + A ) = ( γ + A ) ( γ A ) ( γ + A ) ( γ A ) ( γ + A ) ( γ A ) = ( γ A ) ( γ + A ) ( γ A ) 都是正的,因此它们的和 2 γ ( γ 2 A 2 ) 也是正的。由于 γ = 0 意味着 A = 0 ,此时结论是平凡的;在其他情形下,我们可以除以 2 ,得到 γ 2 A 2 0 。换句话说, γ 2 x 2 = γ 2 ( x , x ) ( A 2 x , x ) = A x 2 , 由此得 γ A ,证明完成。

我们提请读者注意,这个证明主体部分中的计算原本完全可以避免。由于 γ A γ + A 都是正的,并且它们可交换,我们可以立即(参见 章节:变换的函数 )得出它们的乘积 γ 2 A 2 是正的。我们之所以采用迂回的方法,是本着这样的原则:考虑到理论的推广,应尽可能避免使用谱定理。我们关于 A B 的正性与可交换性蕴含 A B 正性的证明,是基于正变换平方根的存在性。诚然,这一事实可以用所谓的“初等”方法(即不使用谱定理的方法)得到,但即使最简单的初等证明也涉及纯粹技术性的复杂细节,对于我们的目的而言并无特别用处。