「ホモトピー群」の版間の差分

削除された内容 追加された内容
Cewbot (会話 | 投稿記録)
m bot: 解消済み仮リンクザイフェルト–ファン・カンペンの定理'''ホモトピー類'''ホモトピー類を内部リンクに置き換えます
編集の要約なし
1行目:
[[数学]]において、'''ホモトピー群''' (homotopy group) は[[代数トポロジー]]において[[位相空間]]を分類するために使われる。1次の最も簡単なホモトピー群は[[基本群]]であり、[[空間 (数学)|空間]]の{{仮リンク|ループ (位相空間論)|en|loop (topology)|label=ループ}}についての情報がわかる。直感的には、ホモトピー群は位相空間の基本的な形、''穴''、についての情報を持っている。
 
''n'' 次ホモトピー群を定義するために、({{仮リンク|基点|en|base point}}付き)''n'' 次元[[球面]]から与えられた(基点付き)空間の中への基点を保つ写像は[[ホモトピー類|'''[[ホモトピー類]]''']]と呼ばれる[[同値類]]へと集められる。2つの写像が'''ホモトープ''' (homotopic) とは、一方から他方へ連続的に変形できることをいう。これらのホモトピー類たちが基点付きの与えられた空間 ''X'' の '''''n'' 次ホモトピー群''' (''n''-th homotopy group) と呼ばれる[[群 (数学)|群]] {{π}}<sub>''n''</sub>(''X'') をなす。異なるホモトピー群を持つ位相空間は決して同じ([[同相]])ではないが、逆は正しくない。
 
{{仮リンク|道 (トポロジー)|en|path (topology)|label=道}}のホモトピーの概念は[[カミーユ・ジョルダン]] (Camille Jordan) によって導入された<ref>{{Citation|title=Marie Ennemond Camille Jordan|url=http://www-history.mcs.st-and.ac.uk/~history/Biographies/Jordan.html}}</ref>。