如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
Gram-Schmidt 正交化多项式？矩阵的可交换性有什么几何意义吗？
这个线性代数题应该怎么做？
如何理解矩阵相乘的几何意义或现实意义？
一个无穷维线性空间的所有基都是等势的吗？
如何证明这个整系数线性方程组解的估计？
这个用数分积分可以说明吗？不用高代上正定矩阵的?
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
如何在理论上解释「四色定理」？为什么现代数学经常会关心整体性质？能不能举例详细说说？
为什么矩阵内积的定义包含一个迹运算？
本科学习拓扑有哪些值得分享的学习经验？
能否用严格的数学语言定义「展开图」？
能否用矩阵的秩来证明？
为什么在应用上高斯消元法很少被用来求逆矩阵?
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
怎么解释「正定矩阵」？
123456789组成的3×3的矩阵的行列式最大的值是多少？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
为什么矩阵行秩等于列秩？
如何理解 Farkas 引理？
线性空间的对偶空间和优化里的拉格朗日对偶有什么关系？
Matlab中10行10列矩阵,每行每列都是3个1,其余为0 的这样一个矩阵共有多少个？
人们是如何想到奇异值分解的？
二元函数的全微分公式看成向量形式的点积形式有意义吗？
哈密尔顿-凯莱定理的本质是什么？
长方形矩阵的列空间和行空间是什么关系？
如何理解矩阵相乘的几何意义或现实意义？
三维空间中的旋转矩阵是怎样求出的？
为什么说用矩阵定义线性映射是一个糟糕的观点？
二维空间有四色定理，那三维空间中存在 n 色定理吗？如果有，那么是几色定理？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
有限维线性空间的有限是怎么理解？
为什么矩阵内积的定义包含一个迹运算？
皮克定理有哪些证明？
向量组等价时其秩一定想等吗？