如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
一个无向图的邻接矩阵也是个实对称矩阵，它能否运用实对称矩阵的某些特有性质实现某些运用呢？如何提升线性代数的计算（行列变换）能力？
为什么行列式恰好能表示体积？
为什么拓扑的连续映射不倒着定义？
如何看待清华大学将线性代数教材改为英文教材？
微积分与线性代数有关系吗？
线性代数从矩阵和行列式入门真的是最恰当的学习方法吗？
如何证明下面关于一维开集的问题？
矩阵特征值与矩阵本身的关系是什么？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？Gram-Schmidt 正交化多项式？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
微积分与线性代数有关系吗？
n阶实方阵矩阵的换位子问题？
为了使R^n成为向量空间，R^n中的加法运算和数乘运算是唯一的吗？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
重数怎么理解？
怎样直观的理解「极大无关组」，以及极大无关组的求法？
为何可逆上三角形矩阵的逆矩阵也是上三角形矩阵？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
大佬请帮我理解一下这个有关dx的正规数学表达？
有没有比较浅显的拓扑学在数学分支中应用的例子？
若零向量没有方向，那它还是向量吗？
Jacobian矩阵和Hessian矩阵的作用是什么？
哪位大神能通俗的解释下拓扑不变量是什么？灰常感谢~
请问如何推导矢积的行列式表达呢？
《倚天屠龙记》里面小昭戴着脚镣，怎么换内裤？
在四维或更高维的空间中，该如何定义转动？
一个方阵的任意次方的迹都为0，那么它是幂零矩阵。怎样证明？
矩阵的可交换性有什么几何意义吗？
为什么矩阵行秩等于列秩？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
求方阵的特征值大家有没有方法？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
为什么特征值之和会等于矩阵的迹？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
三维空间中的旋转矩阵是怎样求出的？