「ホモトープ」がよく分かりません。
複素解析を勉強していて「ホモトープ」という用語が出てきて、とりあえず定義は理解できたのですが「始点が一致する」ことと何が違うのかよく分かりません。始点は一致するがホモトープではないような二つの連続閉曲線の例としては、具体的にどんなものがあるのでしょうか。よければ証明も付けていただけると非常に有難いです。
複素解析を勉強していて「ホモトープ」という用語が出てきて、とりあえず定義は理解できたのですが「始点が一致する」ことと何が違うのかよく分かりません。始点は一致するがホモトープではないような二つの連続閉曲線の例としては、具体的にどんなものがあるのでしょうか。よければ証明も付けていただけると非常に有難いです。
ベストアンサー
例えば穴の空いた平面 内の( を始点とする)連続閉曲線 $\gamma_1,\gamma_2 \colon [0,1] \to \mathbb{C} \backslash \{0\$ をで定義すると,これはホモトピック(ホモトープ)ではありません. は「ずっと にいる定値曲線」, は「単位円周を反時計回りに1周する閉曲線」なので,これらを連続変形して一致させようとするとどうしても「原点に空いた穴」をこえなければならず不可能である,というのが(厳密ではない直感的な)理由です.(厳密な証明は補足を参照.)
一方で,これらを穴の空いていない平面 内の曲線と見るとホモトピックです.(穴に引っかかることがないため を に連続変形できます.例えば という連続写像を考えると だから と の間の始点を保つ連続変形(ホモトピー)を与えます.)
このように,2つの閉曲線がホモトピックかどうかには「どの空間上の曲線と見るか」という要素も影響します.空間に穴が空いているとこういうホモトピックでない閉曲線が出現する,という直感を持っておくと有用です.(逆は成り立つか?という疑問もありますが,これはポアンカレ予想みたいな話になります.)
補足
と が . でホモトピックでないことを示すには位相幾何学の知識が必要です.
- (弧状連結な)位相空間 の基本群 の定義
- 連続写像 が基本群の間の群準同型 を与えること
- 位相空間のホモトピー同値の定義
- がホモトピー同値を与えるならば は群の同型であること
- 円周 の基本群 が と同型で,同型写像により閉曲線 の定める元 が に対応すること(これが最も非自明)
を知っていれば,次の証明を理解できるでしょう.
証明:複素数の偏角をみる連続写像 はホモトピー同値だから,これにより群の同型 が与えられる.これにより の定める の元 は の にそれぞれ対応することが の定義からわかるから, は の異なる元である.これは と が でホモトピックでないことと同値である.
納得できました。ありがとうございます!
ところで、@icedaisukiさんは以前にも僕の質問に回答して頂きましたが、その際お礼コメントができず、不快な思いをさせてしまったと思います。この場を借りてお詫びします。バグでどうしてもコメントができなくなっていました。
また、@icedaisukiさんには僕のその他の質問にも回答して頂いていて、毎度とても感謝しています。非常に分かりやすい説明には感服するばかりです。
また下らないことを質問させていただくかもしれませんが、良ければ回答して頂けると嬉しいです。
長文失礼しました。