English
同型対応
数学では, 「同形」とはある空間の中の二つの部分に対して定義されることがらです。すなわち，
空間の部分ＡとＢに対し，集合Ａ，Ｂの間にある条件を満たす１対１対応（「同型対応」）ｆをつくることができるとき，ＡとＢは「同型」であると言う。
この例での「同型対応ｆ」の条件：
「頂点 X と Y が辺を張っているとき，そしてそのときに限り，f(X) と f(Y) も辺を張っている」
リアルな対象の場合は，「同形」はつぎのように定式化できます：
空間Ｅを導入する
リアルな対象Ａ，Ｂを，Ｅの二つの部分Ａ′，Ｂ′とそれぞれ同一視する
（Ａ′，Ｂ′がＡ，Ｂの「絵」というわけです）
Ａ′，Ｂ′の間に同型対応が存在するかどうかを見る
