平方根理论还有一个有用的推论,即复数极坐标表示 的类似结论。
定理 1. 若 是有限维内积空间上的任意线性变换,则存在(唯一确定的)正变换 以及等距变换 ,使得 。若 可逆,则 也由 唯一确定。
证明. 尽管在逻辑上并非必要,我们首先对 可逆的情形给出证明;一般情况的证明是这一特殊情况的明显修改,且特殊情况的证明更能揭示变换 的几何结构。
因为变换 是正的,我们可以求它的(唯一的)正平方根,。记 ;由于 ,若能证明 是等距变换,定理就得证,因为此时可取 。由于 我们看到 所以 是等距变换,证毕。
为证明唯一性,我们注意到 蕴含 ,因此 由于正变换 只有一个正平方根,从而 。(在这一部分证明中,我们没有用到 的可逆性。)若 可逆,则 也可逆(因为 ),由此(将关系式 右乘 )即得 。
我们现在转向一般情况,其中我们不假定 是可逆的。我们以上述完全相同的方式构造 ,使得 ,然后我们注意到,对于每个向量 ,我们有 如果对于 的值域 中的每个向量 ,我们记作 ,则变换 在其有定义的地方都是保长的。我们必须证明 是唯一确定的,即 蕴含 。这是正确的,因为 等价于 ,而后一条件蕴含 。至今仅在子空间 上定义的变换 的值域是 。由于 是线性的, 与 具有相同的维数,因此 与 也具有相同的维数。如果我们在 上定义 为将 映到 的任意线性和等距变换,那么这样在整个 上确定的 是一个等距变换,且对所有 满足 。这就完成了证明。 ◻
将刚刚证明的定理应用于 (以代替 ),然后取伴随,我们还得到对偶的事实:每个 都可以写成 的形式,其中 是等距变换, 是正变换。与笛卡儿分解( 节:自伴变换 )相对照,我们称表示 为 的一个极分解 。
依据极分解,我们得到正规性的一个新刻画。
定理 2. 如果 是线性变换 的一个极分解,那么 为正规的一个必要且充分的条件是 。
证明:由于不一定由唯一确定,该陈述应作如下理解:若是正规的,则与每一个可交换,且若与某个可交换,则是正规的。由于以及,显然是正规的当且仅当与可交换。然而,因为是的函数,反之也是的函数(),所以与可交换等价于与可交换。 ◻
习题
习题 1. 若有限维内积空间上的一个线性变换只有一个极分解,则它是可逆的。
习题 3.
- 若是有限维内积空间上的任意线性变换,则存在部分等距和正变换,使得且。变换和由这些条件唯一确定。
- 变换是正规的当且仅当(a)中描述的变换和彼此可交换。