关于欧氏空间开集为何显然是流形的技术问询

嘿，我完全懂你这种“这哪里显然了？”的困惑——数学里的“显然”经常是大佬们跳步后的结论，对初学者来说简直是加密信息！咱们紧扣GTM202里的定义一步步拆，你就能get到它的合理性了。

首先再明确下这本书里的流形定义：流形是$\mathbb{R}^n$的一个子集，满足局部欧氏性——对集合里的任意一点$x$，总能找到$x$在这个集合中的一个邻域，和欧氏空间中的某个开球同胚。

现在拿$\mathbb{R}^n$的任意开集$U$来验证：

• 任取$x \in U$，因为$U$是$\mathbb{R}^n$中的开集，根据欧氏空间开集的定义，一定存在一个正数$r$，使得以$x$为中心、半径为$r$的开球$B(x, r)$完全包含在$U$里。
• 这个$B(x, r)$就是$U$中$x$的一个邻域，对吧？
• 接下来看同胚：这个开球$B(x, r)$和$\mathbb{R}^n$里的标准开球（比如单位球$B(0,1)$）是天然同胚的。最简单的映射就是平移加缩放：$f(y) = \frac{y - x}{r}$，这个映射是双射，而且连续；它的逆映射$g(z) = x + rz$也连续，完全满足同胚的要求。

这么一来，$U$里的每个点都找到了符合要求的邻域，完美贴合局部欧氏的定义，所以$U$是流形。

至于为什么作者说“显然”，其实是因为流形的概念本身就是从欧氏空间开集的局部性质抽象出来的——开集是最“原生”的局部欧氏空间，相当于定义的“模板”例子，所以对熟悉这个定义来源的人来说，确实是不用多说的结论。但对刚接触的人来说，拆开来捋一遍就清晰多了！

备注：内容来源于stack exchange，提问作者EndlieNeverExists