如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
为什么（多个）向量共轭，使用的矩阵一定是要 对称正定 的？如何阅读Hatcher的代数拓扑？
如何通俗理解矩阵的秩？
特征值和特征向量怎么求，最好有例题可以看看？ ？
如何证明对任意给定的正数e，存在M上的矩阵范数||A||，满足不等式||A||<=谱半径+e?
一个方阵的任意次方的迹都为0，那么它是幂零矩阵。怎样证明？
如何证明下面的问题？
怎样计算两个服从高斯分布的向量乘积的期望？
如何证明若行列式 D 中有两行元素分别对应成比例，则 D=0？
为什么要引入矩阵这个数学工具？它能简化哪些不用矩阵会复杂的问题？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？实变函数，泛函分析，拓扑学中重要的定理概念有哪些？
红绿蓝三色是（唯一的）正交基吗？
线性代数里的合同关系在空间中代表了什么呢？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
何为分析方法、代数方法、几何方法、拓扑方法？
如何形象地理解矩阵的相似与合同？
哪些数学命题可以用复数优雅地证明？
图论和拓扑有什么区别？
n - r = 基础解系的个数，这是为什么？
为什么在应用上高斯消元法很少被用来求逆矩阵?
高等代数中线性变换的核的基怎么求？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
除了行列式的值为0外，还有哪几种情况矩阵不可逆？
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？
为什么矩阵行秩等于列秩？
Hatcher的代数拓扑自学有无其他参考?
为什么弱Lp空间不是赋范线性空间？
为什么部分大一学生认为线性代数听不懂？
二次型的惯性定理中「惯性」是什么意思？
特征值和特征向量怎么求，最好有例题可以看看？ ？
为何向量没有除法运算？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
如何构造一个向量空间，它的元素是向量空间？
LU分解法与Gauss消元法两者复杂度的比较，谁跟快？
如何证明矩阵为零矩阵？
红绿蓝三色是（唯一的）正交基吗？
三维空间中的旋转矩阵是怎样求出的？