如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
(f(x),g(x))=1 在线性代数里是什么意思？二维空间的封闭是圆，三维空间的封闭是球，四维空间的封闭是什么？
二元函数的全微分公式看成向量形式的点积形式有意义吗？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
为什么由连续整数的行列式（三阶及以上）数值为0？
这道线代题该怎么做？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
三维空间中的旋转矩阵是怎样求出的？
如何看待最近PRL论文《量子力学四个假设是三个》的意义？
如何从几何的角度说明对称矩阵的不同特征值对应的特征向量必定是两两正交的?
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
所有的n阶反对称矩阵可以构成一个线性空间吗？A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
为什么特征值之和会等于矩阵的迹？
大一新生，学线性代数什么都不懂，怎么办?
请教拓扑排序中的一点疑问？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
行列式等于 0，就一定有两行或两列相等吗？
欧氏空间到自身的局部同胚、连续、满映射，是否一定是单射？
为什么做功可以和力向量与位移向量的特定内积得出？
为什么行列式恰好能表示体积？
为什么经济学专业要学拓扑学？
重数怎么理解？
拉普拉斯变换的物理意义是什么？
为什么 A 为 n 阶满秩方阵时，Ax＝0 只有零解？
为什么要构造出范德蒙行列式？
如何证明矩阵为零矩阵？
如何证明对任意给定的正数e，存在M上的矩阵范数||A||，满足不等式||A||<=谱半径+e?
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
代数拓扑为什么研究同调？
如何证明T1拓扑群是T3的？
为什么（多个）向量共轭，使用的矩阵一定是要 对称正定 的？
大佬请帮我理解一下这个有关dx的正规数学表达？
下面这个集合可数吗？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
一个方阵的任意次方的迹都为0，那么它是幂零矩阵。怎样证明？
有没有哪些生物是拓扑意义上有“洞”的？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
如何看待南昌大学2020线性代数期末考试，出卷人明知疫情期间学习效率低，仍故意极大提高试卷难度？
为什么现代数学经常会关心整体性质？能不能举例详细说说？