如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
高等代数中线性变换的核的基怎么求？为什么弱Lp空间不是赋范线性空间？
高等代数中线性变换的核的基怎么求？
怎样普适地求此特殊非线性矩阵方程的解？
为什么实对称矩阵一定可以正交对角化？
topology 为什么被译为「拓扑」？
一个矩阵的逆矩阵是唯一的吗？
奇异值分解（SVD）有哪些很厉害的应用？
一个一般的二次型等于0，这个方程应该如何求通解？
克莱因瓶真的存在于四维吗?
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？为什么大学数学主要学习代数，而不是几何呢？
可以有如图这样弯曲的向量A吗？
为什么我学过微积分、线性代数和概率论，还是看不懂机器学习？
可以有如图这样弯曲的向量A吗？
n - r = 基础解系的个数，这是为什么？
为什么经济学专业要学拓扑学？
请问对称矩阵的平方根怎么算，有公式吗？
几何与拓扑方向需要学习代数几何吗?
线性代数对物理学有什么帮助？
所有的n阶反对称矩阵可以构成一个线性空间吗？
为什么行阶梯矩阵是这样的呢？
除了行列式的值为0外，还有哪几种情况矩阵不可逆？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？
如何阅读Hatcher的代数拓扑？
一个无向图的邻接矩阵也是个实对称矩阵，它能否运用实对称矩阵的某些特有性质实现某些运用呢？
如何提升线性代数的计算（行列变换）能力？
矩阵的指数函数到底说的是个啥？
各行各列元素之和都为1的矩阵叫什么矩阵？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
所谓的魔术绳结实际是拓扑结构，可是这种拓扑结构如何证明其可解（就是能不剪断绳子解开）？
如何理解n元线性方程组Ax=b,无解的充要条件为R（A）<R（A,b）?
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
各行各列元素之和都为1的矩阵叫什么矩阵？
一个无穷维线性空间的所有基都是等势的吗？
多元复合函数求导与一元复合函数求导的联系与区别是什么？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
《倚天屠龙记》里面小昭戴着脚镣，怎么换内裤？