如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
为什么大学的课程（例如高数、线性代数）比高中难很多，老师却讲的比高中快几倍，作业也非常少？如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
不使用范畴论，如何刻画一个线性映射是“自然”的？
哪位大神能通俗的解释下拓扑不变量是什么？灰常感谢~
为什么初学量子力学一个矩阵都没有看到，却说线性代数是量子力学的数学语言？
由AB＝BA＝O可以得出什么结论？
可达矩阵算法的原理是什么？
哪些线性代数（指一般意义上的本科一年级的课程）的难题可以用李群李代数的知识简便、优雅地做出来？
矩阵乘法的本质是什么？
下面这个集合可数吗？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
如何在理论上解释「四色定理」？一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
如何提升线性代数的计算（行列变换）能力？
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
多元复合函数求导与一元复合函数求导的联系与区别是什么？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
一道向量最值难题如何思考？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
如何证明若行列式 D 中有两行元素分别对应成比例，则 D=0？
A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
为什么大学数学主要学习代数，而不是几何呢？
二维空间的封闭是圆，三维空间的封闭是球，四维空间的封闭是什么？
如何用简单易懂的例子解释隐马尔可夫模型？
哈密尔顿-凯莱定理的本质是什么？
极小多项式有什么几何含义，怎么形象的理解这个概念？
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
二次型的惯性定理中「惯性」是什么意思？
请问“重根按重数计算”如何理解呢？
三位物理学家与陶哲轩发现的特征向量全新求解公式，会给机器学习领域带来怎样的变化？
不使用范畴论，如何刻画一个线性映射是“自然”的？
不使用范畴论，如何刻画一个线性映射是“自然”的？
为什么矩阵内积的定义包含一个迹运算？
这个线性代数题应该怎么做？
拓扑学为什么在现代数学里很重要？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
在线性代数中如何用几何表示非方阵矩阵相乘？
怎样解释矩阵乘法的不可交换性？