如同往常一样,对于自伴变换的特殊情况,我们可以比一般情况说得更详细一些。对于任意自伴变换 ,考虑实数集合 和 显然 。如果对每个 ,我们令 ,则 且 ,因此 中的每一个数也出现在 中,从而 。我们记 并称 是自伴变换 的下界, 是其上界。如果回顾正变换的定义,我们看到 是使得 成立的最大实数,而 是使得 成立的最小实数。关于这些数,我们断言
一半的证明是容易的。由于 显然 和 都被 控制。要证明反向不等式,我们注意到两个线性变换 和 的正性意味着 和 都是正的,因此它们的和 也是正的。由于 意味着 ,此时结论是平凡的;在其他情形下,我们可以除以 ,得到 。换句话说, 由此得 ,证明完成。
我们提请读者注意,这个证明主体部分中的计算原本完全可以避免。由于 和 都是正的,并且它们可交换,我们可以立即(参见 章节:变换的函数 )得出它们的乘积 是正的。我们之所以采用迂回的方法,是本着这样的原则:考虑到理论的推广,应尽可能避免使用谱定理。我们关于 和 的正性与可交换性蕴含 正性的证明,是基于正变换平方根的存在性。诚然,这一事实可以用所谓的“初等”方法(即不使用谱定理的方法)得到,但即使最简单的初等证明也涉及纯粹技术性的复杂细节,对于我们的目的而言并无特别用处。