如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
如何证明不全无界的两不相交闭集之间的的距离大于0？对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
分析学在其他数学分支中能发挥多大的作用？
为什么矩阵内积的定义包含一个迹运算？
为什么矩阵行秩等于列秩？
可达矩阵算法的原理是什么？
如何理解矩阵特征值？
所有的n阶反对称矩阵可以构成一个线性空间吗？
这个矩阵的秩如何证明?
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
如何判断向量组是否线性相关？皮克定理有哪些证明？
何为分析方法、代数方法、几何方法、拓扑方法？
哪些数学命题可以用复数优雅地证明？
n - r = 基础解系的个数，这是为什么？
如何理解矩阵的「秩」？
所有的n阶反对称矩阵可以构成一个线性空间吗？
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
希尔伯特空间、内积空间的定义有什么关系和区别？
如何理解矩阵的「秩」？
n阶实方阵矩阵的换位子问题？
点集拓扑为什么要这样定义？具有几何意义吗？
迹的几何意义是什么？
如何理解主成分分析中的协方差矩阵的特征值的几何含义？
为什么行列式恰好能表示体积？
为何这么多人称赞指标定理？
n维向量空间V中向量的维数是否为n维？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
请问“重根按重数计算”如何理解呢？
矩阵的逆对应于线性变换的逆变换，那么矩阵的转置对应于线性变换的什么？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
如何证明在平面内，连接多边形内一点与多边形外一点的线段必与多边形的边有交点？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
这道行列式如何求解？
有没有哪些生物是拓扑意义上有“洞”的？
高考完的暑假如何自学大学数学?
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
有没有比较浅显的拓扑学在数学分支中应用的例子？
把线性空间分解为不变子空间的直和有何用处？