在拓扑学中,同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构;也就是说,它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚,那么这两个空间就称为同胚的,从拓扑学的观点来看,两个空间是相同的。
拓扑空间是一个几何物体,同胚就是把物体连续延展和弯曲,使其成为一个新的物体。因此,正方形和圆是同胚的,但球面和环面就不是。有一个笑话是说,拓扑学家不能区分咖啡杯和甜甜圈,这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状(见图)。
两个拓扑空间{,}和{,}之间的函数 : → 称为同胚,如果它具有下列性质:
满足以上三个性质的函数有时称为双连续。自同胚就是从一个拓扑空间到它本身的同胚。同胚形成了所有拓扑空间的类上的等价关系。所得到的等价类称为同胚类。