2次元の場合を見ていく前に、ホモトピーの定義がないとわかりにくいので、定義を書いていきます。ホモトピーのことが書かれた本を持っていなかったので「大学数学の入門5幾何学2 ホモロジー入門」という本を買いました。この本に従って説明をしていきますが、一般的な定義が何かよくわからないのでWikipediaも参考にします。多様体については本を持っていたと思うのですが見つからないので「大学数学の入門4幾何学1 多様体入門」という本を買いました。上記の本と同じシリーズなので整合性があると思われます。多様体についてはこの本に従って説明していきます。
基本群
を位相空間とします。
の閉区間
から
への連続写像
を
内の道と呼びます。
を始点、
を終点と呼びます。始点と終点が一致する道をループと呼びます。
連続写像 が、
内の 2 つの道
に対して
かつ
を満たすとき、写像
を道
の間のホモトピー写像と呼びます。2 つの道
の間にホモトピー写像が存在するとき、
と
はホモトピック、または同じホモトピー型であるといい、
と表します。関係
は同値関係となります。この同値関係に関して道
が属する同値類のことを
のホモトピー類といい、
と表します。
道 に対して、
が成り立つとき、積
を
と定義します。また道 に対し、
の逆道
を
と定義します。
位相空間 内の 1 点
に対して、
を基点とするループの全体
は、道の積に関して閉じています。この集合の同値関係
による商集合
に演算を
と定義すると
はこの演算によって群となります。
となります。この群を
の
を基点とする基本群または 1 次元ホモトピー群と呼びます。