首页

欢迎

 

Welcome

欢迎来到这里, 这是一个学习数学、讨论数学的网站.

转到问题

请输入问题号, 例如: 2512

IMAGINE, THINK, and DO
How to be a scientist, mathematician and an engineer, all in one?
--- S. Muthu Muthukrishnan

Local Notes

Local Notes 是一款 Windows 下的笔记系统.

Local Notes 下载

Sowya

Sowya 是一款运行于 Windows 下的计算软件.

详情

下载 Sowya.7z (包含最新版的 Sowya.exe and SowyaApp.exe)


注: 自 v0.550 开始, Calculator 更名为 Sowya. [Sowya] 是吴语中数学的发音, 可在 cn.bing.com/translator 中输入 Sowya, 听其英语发音或法语发音.





注册

欢迎注册, 您的参与将会促进数学交流. 注册

在注册之前, 或许您想先试用一下. 测试帐号: usertest 密码: usertest. 请不要更改密码.


我制作的 slides

Problem

随机显示问题

Problèmes d'affichage aléatoires

几何 >> 微分几何 >> 流形基础
Questions in category: 流形基础 (Manifolds).

所有 $m\times n$ 的实矩阵集合是一个流形.

Posted by haifeng on 2012-07-06 10:52:03 last update 2012-07-07 09:06:19 | Answers (2)


设 $\mathcal{M}_{mn}(R)$ 为所有 $m\times n$ 的实矩阵集合. 任给 $A=(a_{ij})_{mn},B=(b_{ij})_{mn}\in\mathcal{M}_{mn}(R)$, 定义它们之间的距离为

\[d(A,B):=\|A-B\|=\sqrt{\sum_{j=1}^{n}\sum_{i=1}^{m}(a_{ij}-b_{ij})^2}\]

验证 $d$ 是 $\mathcal{M}_{mn}(R)$ 上的一个度量, 由此度量诱导了其上的一个拓扑, 从而成为一个拓扑流形.


用 $\mathcal{M}_{mn}^k(R)$ 表示其中秩大于等于 $k$ 的矩阵子集. 证明 $\mathcal{M}_{mn}^k(R)$ 是 $\mathcal{M}_{mn}(R)$ 中的开集, 从而也是流形.