如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
n - r = 基础解系的个数，这是为什么？如何证明内积形式的施瓦茨不等式？
如何证明对任意给定的正数e，存在M上的矩阵范数||A||，满足不等式||A||<=谱半径+e?
可以有如图这样弯曲的向量A吗？
若零向量没有方向，那它还是向量吗？
有什么减少矩阵运算和行列式运算计算错误的方法吗？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
克莱因瓶真的存在于四维吗?
在 C++ 里实现矩阵库的关键点是什么？
n阶实方阵矩阵的换位子问题？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
代数拓扑为什么研究同调？一个无向图的邻接矩阵也是个实对称矩阵，它能否运用实对称矩阵的某些特有性质实现某些运用呢？
有没有哪些生物是拓扑意义上有“洞”的？
关于整矩阵的一道题怎么解?
为什么行列式恰好能表示体积？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
把线性空间分解为不变子空间的直和有何用处？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
向量组等价时其秩一定想等吗？
除了行列式的值为0外，还有哪几种情况矩阵不可逆？
一道向量最值难题如何思考？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
如何从代数和几何的角度分别理解矩阵？
为什么说用矩阵定义线性映射是一个糟糕的观点？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
为什么做功可以和力向量与位移向量的特定内积得出？
如何理解主成分分析中的协方差矩阵的特征值的几何含义？
由AB＝BA＝O可以得出什么结论？
各行各列元素之和都为1的矩阵叫什么矩阵？
为什么要构造出范德蒙行列式？
有什么减少矩阵运算和行列式运算计算错误的方法吗？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
度量拓扑对应度量如果不满足交换律，那么这个“度量”是否还能诱导相同的拓扑?
如何证明对任意给定的正数e，存在M上的矩阵范数||A||，满足不等式||A||<=谱半径+e?
二次型的惯性定理中「惯性」是什么意思？
如何证明这个关于良序集的命题？