如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？ 第1页
1
zhai-sen-8 网友的相关建议:
本文使用 Zhihu On VSCode 创作并发布
这个题目没有指定拓扑，那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数（这其实就是 上的Frobenius范数）。
根据Henie-Borel定理，在 （配备欧氏度量）上，紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。
有界是简单的，因为正交矩阵中的每个元素都小于等于1，所以范数不会超过 .
现在证明闭。假设 ，其中 ，则 且 。于是 ，并且 是有界的（因为 并注意 ）。不妨设 。此时
（第一个 用了范数的三角不等式以及Frobenius范数的相容性）
所以 ，即 。所以 。这表明 是闭的。
1
相关话题
把线性空间分解为不变子空间的直和有何用处？二次型的意义是什么？有什么应用？
在线性代数中如何用几何表示非方阵矩阵相乘？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
为什么矩阵内积的定义包含一个迹运算？
如何理解矩阵相乘的几何意义或现实意义？
线性代数到底应该怎么学？
长方形矩阵的列空间和行空间是什么关系？
矩阵的本质是什么？
为什么经济学专业要学拓扑学？
下一个讨论
是否所有简单闭曲线都同胚与圆周？
相关的话题
为什么拓扑的连续映射不倒着定义？如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
一个方阵的任意次方的迹都为0，那么它是幂零矩阵。怎样证明？
为什么矩阵行秩等于列秩？
把线性空间分解为不变子空间的直和有何用处？
这个矩阵的秩如何证明?
如何证明：A*=A,则A的特征根为实数？
拓扑领域有哪些美妙的工作？
只有三维向量有向量积吗？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
能向我简单介绍一下同调论，同伦伦，德拉姆上同调，微分拓扑，几何拓扑，以及它们的联系与不同吗？
如何理解雅克比矩阵？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
如何证明内积形式的施瓦茨不等式？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
拓扑学上的紧致性怎样理解？有何运用？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
能否用矩阵的秩来证明？
很好奇，如何证明行列式就是高维多边形体积？
度量拓扑对应度量如果不满足交换律，那么这个“度量”是否还能诱导相同的拓扑?
有哪些有趣的线性代数习题？
为什么做功可以和力向量与位移向量的特定内积得出？
怎么用拓扑结构来刻画实数集？
f(x)[x是向量]满足什么性质的时候才能使得f(x)＝c的一边是f(x)＞c，另一边是f(x)<c？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
基础数学的非线性泛函分析研究什么？
分块矩阵的秩的问题如何理解呢？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？