位相同型
位相同型 (いそうどうけい、英: homeomorphic)、あるいは同相(どうそう)とは、2つの位相空間が位相空間として等しいことを表す概念である。
例えば、球の表面と湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。(直観的には、連続的な変形によって穴の個数が変化することはないということである。)
ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。