关于利用极分解证明O₃与GL₃同伦等价的技术问询

嘿，我来帮你理清这个用极分解证明$O_3$和$GL_3(\mathbb{R})$同伦等价的问题~

首先咱们先回顾极分解的核心结论：对于任意$A \in GL_n(\mathbb{R})$，都能唯一分解为$A = O C$，其中$O \in O_n$（正交群，满足$O^T O = I$），$C$是正定对称矩阵。你提到已经知道存在连续函数$C = \sqrt{AA^T}$，接下来咱们就围绕这个分解构造同伦，完成等价证明。

第一步：确认分解的连续性 #

首先要明确：极分解里的$O$和$C$都是关于$A$的连续函数：

• $AA^T$显然连续依赖于$A$，而正定对称矩阵的平方根映射是连续的（可以通过谱定理理解：正定矩阵的特征值连续依赖于原矩阵，平方根的特征值是原特征值的正平方根，也连续，再结合正交对角化的连续性，或者用矩阵函数的连续演算来保证），所以$C = \sqrt{AA^T}$连续依赖于$A$；
• $O = A C^{{-1}$，因为$C$可逆且连续依赖于$A$，所以$C}{-1}$也连续，因此$O$同样连续依赖于$A$。

第二步：构造关键同伦映射 #

我们需要构造一个连续映射$H: GL_3(\mathbb{R}) \times [0,1] \to GL_3(\mathbb{R})$，把$GL_3$中的元素连续“变形”到$O_3$中，同时保持$O_3$里的元素不动：
$$H(A, t) = O \cdot (tC + (1-t)I)$$
这里$I$是3阶单位矩阵，$O$和$C$是$A$极分解对应的正交矩阵和正定对称矩阵。

第三步：验证同伦的性质 #

咱们逐一验证这个映射满足同伦的要求：

• 当$t=1$时，$H(A,1) = O \cdot C = A$，这就是$GL_3$上的恒等映射；
• 当$t=0$时，$H(A,0) = O \cdot I = O$，这就把任意$A$映射到了正交群$O_3$中；
• 对任意$t \in [0,1]$，$H(A,t)$都属于$GL_3$：因为$C$是正定矩阵，它的特征值都是正数，$tC + (1-t)I$的特征值为$t\lambda_i + (1-t)$（$\lambda_i$是$C$的特征值），显然每个特征值都大于0，因此这个矩阵可逆；而$O$是正交矩阵也可逆，两者的乘积自然可逆，属于$GL_3$；
• 连续性：$O$和$C$都连续依赖于$A$，线性组合$tC+(1-t)I$也连续依赖于$t$和$A$，所以整个$H$是连续映射。

另外，对于任意$O_0 \in O_3$，它的极分解就是$O_0 = O_0 \cdot I$，所以$H(O_0, t) = O_0 \cdot (tI + (1-t)I) = O_0$，也就是说正交群里的元素在整个同伦过程中保持不动。

第四步：总结同伦等价 #

现在我们有两个映射：

• 映射$f: GL_3 \to O_3$，定义为$f(A) = O$（极分解里的正交矩阵）；
• 包含映射$i: O_3 \to GL_3$，就是把正交矩阵直接看作可逆矩阵。

显然$f \circ i = id_{O_3}$（把正交矩阵映射回自身），而$i \circ f$和$id_{GL_3}$通过上面构造的$H$同伦，因此$O_3$和$GL_3$是同伦等价的。

备注：内容来源于stack exchange，提问作者yehehhd