百科问答小站 logo
百科问答小站 font logo



如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集? 第1页

  

user avatar   zhai-sen-8 网友的相关建议: 
      

本文使用 Zhihu On VSCode 创作并发布

这个题目没有指定拓扑,那这里我就把全体 阶矩阵 看成赋范向量空间 并赋予通常的欧氏范数(这其实就是 上的Frobenius范数)。

根据Henie-Borel定理,在 (配备欧氏度量)上,紧等价于有界且闭。因此我们只需证明全体正交矩阵的集合 有界且闭。

有界是简单的,因为正交矩阵中的每个元素都小于等于1,所以范数不会超过 .

现在证明闭。假设 ,其中 ,则 且 。于是 ,并且 是有界的(因为 并注意 )。不妨设 。此时

(第一个 用了范数的三角不等式以及Frobenius范数的相容性)

所以 ,即 。所以 。这表明 是闭的。




  

相关话题

  Word2vec 翻译到另一种语言,其向量空间之间的映射会不会是线性的? 
  为什么(多个)向量共轭,使用的矩阵一定是要 对称正定 的? 
  基础数学的非线性泛函分析研究什么? 
  如何证明矩阵为零矩阵? 
  不使用范畴论,如何刻画一个线性映射是“自然”的? 
  矩阵的指数函数到底说的是个啥? 
  克莱因瓶真的存在于四维吗? 
  「克莱因瓶」是什么,如何借助「克莱因瓶」来理解四维空间? 
  在AHP方法中,如果构造判断矩阵?依据是什么? 
  克莱因瓶真的存在于四维吗? 

前一个讨论
Pn(z)是首项系数为1的n次多项式,怎么证明当|z|<=1时,|Pn(z)|的最大值大于等于1?
下一个讨论
是否所有简单闭曲线都同胚与圆周?





© 2025-02-16 - tinynew.org. All Rights Reserved.
© 2025-02-16 - tinynew.org. 保留所有权利