如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
哈密尔顿-凯莱定理的本质是什么？求方阵的特征值大家有没有方法？
逆矩阵求大佬看下?
在 C++ 里实现矩阵库的关键点是什么？
如何理解 Farkas 引理？
有哪些定理在高维情况下与三维情况下培养出来的直觉不符？
矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？
有没有哪些生物是拓扑意义上有“洞”的？
矩阵思维是什么意思？
“可分度量空间”的名字是怎么来的？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
怎样计算两个服从高斯分布的向量乘积的期望？A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？
能向我简单介绍一下同调论，同伦伦，德拉姆上同调，微分拓扑，几何拓扑，以及它们的联系与不同吗？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
线性代数对于计算机专业的作用是什么呢？
基础数学的非线性泛函分析研究什么？
标记 n 维空间中任意一个点/向量一定要用 n 个坐标吗？
奇异值的物理意义是什么？
如何直观地解释「紧致性」？
可以有如图这样弯曲的向量A吗？
为什么在应用上高斯消元法很少被用来求逆矩阵?
为什么行列式恰好能表示体积？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
迹的几何意义是什么？
如何理解哈密顿-凯莱定理？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
想要学习流形的话需要哪些预备知识？
Word2vec 翻译到另一种语言，其向量空间之间的映射会不会是线性的？
矩阵的本质是什么？
如何从几何的角度说明对称矩阵的不同特征值对应的特征向量必定是两两正交的?
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
覆叠空间理论中的“纤维”有什么直观解释么？
矩阵的可交换性有什么几何意义吗？
图论和拓扑有什么区别？
二维空间的封闭是圆，三维空间的封闭是球，四维空间的封闭是什么？
一个数学问题，(x1+x2+……+x8+1)的8次方，合并同类项后有多少项，类似问题怎么解决？
本科学习拓扑有哪些值得分享的学习经验？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
矩阵最小多项式的几何意义是什么?
如何证明T1拓扑群是T3的？