在拓扑学中, 局部 Euclid 空间是一类拓扑空间, 是指在每一点附近都看起来像 Euclid 空间的空间. 局部 Euclid 空间几乎是流形的同义词, 但后者排开了某些病态的例子. 例如, 双原点直线是局部 Euclid 空间, 但通常不算作流形.
定义 1.1 (局部 Euclid 空间). 拓扑空间 X 称为局部 Euclid 空间, 如果满足下列等价条件之一:
•
每个点 x∈X 都有开邻域 U⊂X, 使得 U 同胚于某个 Euclid 空间 Rn 中的某个开集 V⊂Rn.
每个点 x∈X 都有开邻域 U⊂X, 使得 U 同胚于某个 Euclid 空间 Rn.
所有流形都是局部 Euclid 空间.
双原点直线是局部 Euclid 空间, 但不是 Hausdorff 空间, 从而不是流形.
长直线是局部 Euclid 空间, 但不是 第二可数空间, 从而也不是流形.
局部 Euclid 空间是局部道路连通的, 因为 Rn 是道路连通空间.
术语翻译
局部 Euclid 空间 • 英文 locally euclidean space