如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
拓扑学在物理研究中有哪些具体应用？分块矩阵的秩的问题如何理解呢？
如何不借助特征值相关的理论证明下面的命题？
吴文俊院士于2017年5月7日去世，如何评价他的数学贡献？
topology 为什么被译为「拓扑」？
《现代数学基础丛书》的封面图有什么数学背景？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
为何要引入同伦群，同伦群可以解决什么问题？
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
如何证明环面T2不能嵌入到球面S2中?
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
由AB＝BA＝O可以得出什么结论？矩阵的可交换性有什么几何意义吗？
为什么经济学专业要学拓扑学？
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
为什么大学数学主要学习代数，而不是几何呢？
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
矩阵乘法的本质是什么？
如何理解 Van-Kampen 定理？
求方阵的特征值大家有没有方法？
n维球面不能嵌入n维欧式空间如何证明？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
这个矩阵的秩如何证明？
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？
在 C++ 里实现矩阵库的关键点是什么？
Jacobian矩阵和Hessian矩阵的作用是什么？
如何证明dimQ（R）=dimQ（C）？
为什么做功可以和力向量与位移向量的特定内积得出？
“可分度量空间”的名字是怎么来的？
这个用数分积分可以说明吗？不用高代上正定矩阵的?
线性代数对物理学有什么帮助？
这道行列式如何求解？
如何证明T1拓扑群是T3的？
本人高二理科生，欲修拓扑学，求推荐入门书籍。？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
请问对称矩阵的平方根怎么算，有公式吗？
如何直观地解释「紧致性」？
线性代数里的合同关系在空间中代表了什么呢？