万维百科

同胚本文重定向自 同胚

著有General Topology一书的数学家John L. Kelley曾说:拓扑学家为不知甜甜圈与咖啡杯之分别者。

拓扑学中,同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构;也就是说,它们是保持给定空间的所有拓扑性质映射。如果两个空间之间存在同胚,那么这两个空间就称为同胚的,从拓扑学的观点来看,两个空间是相同的。

拓扑空间是一个几何物体,同胚就是把物体连续延展和弯曲,使其成为一个新的物体。因此,正方形是同胚的,但球面环面就不是。有一个笑话是说,拓扑学家不能区分咖啡杯和甜甜圈,这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状(见图)。

定义

两个拓扑空间{X,TX}和{Y,TY}之间的函数f : XY称为同胚,如果它具有下列性质:

满足以上三个性质的函数有时称为双连续自同胚就是从一个拓扑空间到它本身的同胚。同胚形成了所有拓扑空间的上的等价关系。所得到的等价类称为同胚类

例子

三叶结与圆环同胚。虽然这表面上不合理,但是在四维空间中很容易把三叶结连续变形成一个圆。
  • 任何二维球面去掉一个点都与R2中的所有点所组成的集合(二维平面)同胚。
  • 为一个有单位的交换环,并设的乘法子集。那么Spec 同胚。
  • 时,不与同胚。
  • 一个连续和双射但不是同胚的函数的例子,是把半开区间缠绕到圆上的映射。在这个情况中,逆映射虽然存在,但不是连续的。

性质

  • 同胚是拓扑空间范畴中的同构。因此,两个同胚的复合映射也是同胚,且所有自同胚XX形成了一个,称为X自同胚群,通常记为Homeo(X)。
  • 两个同胚的空间具有相同的拓扑性质。例如,如果其中一个是紧空间,那么另外一个也是紧空间;如果其中一个是连通空间,那么另外一个也是连通空间,等等。然而,这不能推广到通过度量所定义的性质;如果两个度量空间是同胚的,那么仍然有可能其中一个是完备的,而另外一个不是。
  • 每一个的自同胚都可以延伸到整个圆盘的自同胚。

注释

参见

外部链接


本页面最后更新于2021-09-20 18:21,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器