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

削除された内容 追加された内容
編集の要約なし
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>。
 
== 導入 ==
81行目:
 
==関連概念==
ホモトピー群は[[ホモトピー論]]において基本的であり、ホモトピー論は{{仮リンク|[[モデル圏|en|model category}}]]の発展を刺激した。{{仮リンク|単体的集合|en|simplicial set}}に対して抽象ホモトピー群を定義することが可能である。
 
==関連項目==
87行目:
*[[ホモトピー類]]
*{{仮リンク|球面のホモトピー群|en|Homotopy groups of spheres}}
*{{仮リンク|[[位相不変量|en|Topological invariant}}]]
*{{仮リンク|係数付きホモトピー群|en|Homotopy group with coefficients}}
*[[点付き集合]]