ホモトピー群のソースを表示

'''ホモトピー群'''（ホモトピーぐん、homotopy group）は、[[数学]]の[[代数トポロジー]]において[[位相空間]]を分類するために使われる。1次の最も簡単なホモトピー群は[[基本群]]であり、[[空間 (数学)|空間]]の[[ループ (位相空間論)|ループ]]についての情報がわかる。直感的には、ホモトピー群は位相空間の基本的な形、''穴''、についての情報を持っている。

''n'' 次ホモトピー群を定義するために、（[[基点]]付き）''n'' 次元[[球面]]から与えられた（基点付き）空間の中への基点を保つ写像は'''[[ホモトピー類]]'''と呼ばれる[[同値類]]へと集められる。2つの写像が'''ホモトープ''' (homotopic) とは、一方から他方へ連続的に変形できることをいう。これらのホモトピー類たちが基点付きの与えられた空間 ''X'' の '''''n'' 次ホモトピー群''' (''n''-th homotopy group) と呼ばれる[[群 (数学)|群]] {{π}}<sub>''n''</sub>(''X'') をなす。異なるホモトピー群を持つ位相空間は決して同じ（[[同相]]）ではないが、逆は正しくない。

[[道 (トポロジー)|道]]のホモトピーの概念は[[カミーユ・ジョルダン]] (Camille Jordan) によって導入された<ref>{{Citation|title=Marie Ennemond Camille Jordan|url=http://www-history.mcs.st-and.ac.uk/~history/Biographies/Jordan.html}}</ref>。

== 導入 ==
現代数学においては圏を、その各対象に、問題の対象についての十分な量の情報が残っているより単純な対象を[[関手|割り当てる]]ことによって研究するのが一般的である。ホモトピー群は[[群 (数学)|群]]を位相空間に割り当てるそのような方法である。

[[Image:Torus.png|right|thumb|250px|[[トーラス]]]]
[[Image:2sphere 2.png|left|thumb|150px|[[球面]]]]
トポロジーと群の間のつながりによって数学者は[[群論]]の見識を[[トポロジー]]に適用することができる。例えば、2つの位相的な対象が異なるホモトピー群を持てば、それらは同じ位相的構造を持っていない（このことは位相的な手法のみを用いて証明することは難しいかもしれない）。例えば、[[トーラス]]は[[球面]]とは異なる。トーラスには「穴」があるが球面にはないからである。しかしながら、連続性（トポロジーの基本的な概念）は局所的な構造しか扱わないから、明らかな大域的な差異をフォーマルに定義することは難しくあり得る。しかしながら、ホモトピー群は、大域的な構造についての情報を持っているのである。

例えば、トーラス ''T'' の1次ホモトピー群は
:{{π}}<sub>1</sub>(''T'') = '''Z'''<sup>2</sup>
である、なぜならばトーラスの[[普遍被覆]]は[[複素平面]] '''C''' で、トーラス ''T'' ≅ '''C''' / '''Z'''<sup>2</sup> に写るからである。ここで商は群や環の圏ではなく位相空間の圏におけるものである。一方で球面 ''S''<sup>2</sup> は
:{{π}}<sub>1</sub>(''S''<sup>2</sup>) = 0
を満たす、なぜならばすべてのループは定値写像に収縮できるからである（このことおよびより複雑なホモトピー群の例は{{仮リンク|球面のホモトピー群|en|homotopy groups of spheres}}を参照）。

したがってトーラスは球面と[[同相]]ではない。

==定義==
[[超球面|''n'' 次元球面]] ''S''<sup>''n''</sup> において、基点 ''a'' を選ぶ。基点 ''b'' を持つ空間 ''X'' に対し、{{π}}<sub>''n''</sub>(''X'') を、基点 ''a'' を基点 ''b'' に写す写像
:''f'' : ''S''<sup>''n''</sup> &rarr; ''X'' 
のホモトピー類全体の集合と定義する。とくに、同値類は球面の基点上定数なホモトピーによって与えられる。同値なことだが、{{π}}<sub>''n''</sub>(''X'') を[[超立方体| ''n'' 次元立方体]]から ''X'' への、''n'' 次元立方体の境界を ''b'' へ写す写像 ''g'': [0,1]<sup>''n''</sup> → ''X'' のホモトピー類の群として定義できる。

[[Image:Homotopy group addition.svg|thumb|240px|基本群での合成]]
''n'' ≥ 1 に対して、ホモトピー類全体は[[群 (数学)|群]]をなす。群演算を定義するために、次のことを思い出そう：[[基本群]]において、2つのループ ''f'' と ''g'' の積 ''f'' ∗ ''g'' は次のように定義される：
: <math> 
f \ast g =
\begin{cases}
f(2t) & \text{if } t \in [0,1/2] \\
 g(2t-1), & \text{if } t \in [1/2,1]
\end{cases}
</math>
基本群における合成のアイデアは、1つめの道を辿り引き続いて2つめの道を辿るというもの、あるいは同じことだが、それら2つの定義域を一緒にするというものである。''n'' 次ホモトピー群に対して欲しい合成の概念は次の点を除いて同じである：今定義域は立方体であり、面に沿って貼りあわせなければならない。したがって写像 ''f'', ''g'': [0,1]<sup>''n''</sup> → ''X'' の和を次の式で定義する。
:(''f'' + ''g'')(''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t''<sub>''n''</sub>) = ''f''(2''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t''<sub>''n''</sub>) for ''t''<sub>1</sub> in [0,1/2] 
:(''f'' + ''g'')(''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t''<sub>''n''</sub>) = ''g''(2''t''<sub>1</sub>&nbsp;&minus;&nbsp;1, ''t''<sub>2</sub>, ..., ''t''<sub>''n''</sub>) for ''t''<sub>1</sub> in [1/2,1].
球面の場合の対応する定義は、次のようになる。写像 ''f'', ''g'': ''S''<sup>''n''</sup> → ''X'' の和 ''f'' + ''g'' を、Ψ を ''h'' と合成したものと定義する。ここで Ψ は赤道を潰す ''S''<sup>''n''</sup> から2つの ''n'' 次元球面の[[ウェッジ和]]への写像で、''h'' は1つ目の球面上では ''f'', 2つ目の球面上では ''g'' と定義された、2つの ''n'' 次元球面のウェッジ和から ''X'' への写像である。

''n'' ≥ 2 であれば、{{π}}<sub>''n''</sub> は[[アーベル群]]である。（このことの証明には、2次元以上では、2つのホモトピーを互いの周りに「回転」させることができることに注意しよう。{{仮リンク|Eckmann–Hilton argument|en|Eckmann–Hilton argument}}を参照。）さらに、基本群と同様、弧状連結な空間に対しては基点をどこに取ろうとも同型な {{π}}<sub>''n''</sub> が生じる（[[Allen Hatcher]] [http://www.math.cornell.edu/~hatcher/AT/ATpage.html ''Algebraic topology''] section 4.1 参照）。

基点を省略することでホモトピー群の定義を単純化しようとすることは心をそそるが、これは[[単連結]]でない空間に対しては、弧状連結空間に対してさえも、通常うまくいかない。球面から弧状連結空間への写像のホモトピー類全体の集合は、ホモトピー群ではなく、本質的にはホモトピー群上の基本群の軌道の集合であり、一般には自然な群構造を持たない。

空間の ''n'' 次元立方体とフィルター付き空間の高次ホモトピー{{仮リンク|亜群|en|groupoids}}を定義することによって解決策は見つかっている。これらはそれぞれ相対ホモトピー群と ''n'' 進ホモトピー群に関係している。すると高次のホモトピーのファン・カンペンの定理によってホモトピー群やさらにはホモトピー型についても新しい情報を手に入れることができる。さらなる背景や文献は、[https://archive.is/20120723235509/http://www.bangor.ac.uk/r.brown/hdaweb2.htm "Higher dimensional group theory"] および下の参考文献を参照。

==ファイブレーションの長完全列==
''p'': ''E'' → ''B'' をファイバーを ''F'' とする基点を保つ{{仮リンク|セール・ファイブレーション|en|Serre fibration}}とする、つまり、[[CW複体]]に関して{{仮リンク|ホモトピーリフトの性質|en|homotopy lifting property}}を持つ写像とする。''B'' は弧状連結であるとする。このときホモトピー群の長[[完全列]]

:... &rarr; {{π}}<sub>''n''</sub>(''F'') &rarr; {{π}}<sub>''n''</sub>(''E'') &rarr; {{π}}<sub>''n''</sub>(''B'') &rarr; {{π}}<sub>''n''&minus;1</sub>(''F'') &rarr;... &rarr; {{π}}<sub>0</sub>(''E'') &rarr; 0

が存在する。ここで {{π}}<sub>0</sub> に関する写像は {{π}}<sub>0</sub> が群でないから群[[準同型]]ではないが、像は核に等しいという意味で完全である。

例： {{仮リンク|ホップ・ファイブレーション|en|Hopf fibration}}。''B'' を ''S''<sup>2</sup> とし ''E'' を ''S''<sup>3</sup> とする。''p'' をホップ・ファイブレーションとする。ファイバーは ''S''<sup>1</sup> である。長完全列

:⋯ &rarr; {{π}}<sub>''n''</sub>(''S''<sup>1</sup>) &rarr; {{π}}<sub>''n''</sub>(''S''<sup>3</sup>) &rarr; {{π}}<sub>''n''</sub>(''S''<sup>2</sup>) &rarr; {{π}}<sub>''n''&minus;1</sub>(''S''<sup>1</sup>) &rarr; ⋯

と、''n'' &ge; 2 のとき {{π}}<sub>''n''</sub>(''S''<sup>1</sup>) = 0 であることから、''n'' &ge; 3 のとき {{π}}<sub>''n''</sub>(''S''<sup>3</sup>) = {{π}}<sub>''n''</sub>(''S''<sup>2</sup>) であることが分かる。とくに、{{π}}<sub>3</sub>(''S''<sup>2</sup>) = π<sub>3</sub>(''S''<sup>3</sup>) = '''Z''' である。

被覆空間の場合には、ファイバーが離散的なとき、次のことが成り立つ。すべての ''n'' &gt; 1 に対して、{{π}}<sub>''n''</sub>(''E'') は {{π}}<sub>''n''</sub>(''B'') に同型であり、すべての ''n'' > 0 に対して {{π}}<sub>''n''</sub>(''E'') は {{π}}<sub>''n''</sub>(''B'') に単射に埋め込まれ、{{π}}<sub>1</sub>(''E'') の埋め込みに対応する {{π}}<sub>1</sub>(''B'') の部分群はファイバーの元たちと全単射に対応する剰余集合を持つ。

== 計算の手法 ==
ホモトピー群の計算は代数トポロジーで学ぶ他のホモトピー[[不変量]]のいくつかよりも一般にはるかに難しい。基本群に対する[[ザイフェルト–ファン・カンペンの定理]]や[[特異ホモロジー]]および[[コホモロジー]]に対する{{仮リンク|切除定理|en|Excision theorem}}とは異なり、空間をより小さい空間へ分解することによりホモトピー群を計算する単純な方法は知られていない。しかしながら、高次ホモトピー亜群に対するファン・カンペン型の定理に関する1980年代に発展した手法によって、ホモトピー型したがってホモトピー群についての新しい計算ができるようになった。結果については例えば以下にリストされている [http://xxx.soton.ac.uk/abs/0804.3581 Ellis と Mikhailov による2008年の論文]を参照。

[[トーラス]]などのいくつかの空間では、すべての高次ホモトピー群（すなわち2次以上のホモトピー群）は自明である。これらはいわゆる{{仮リンク|aspherical space|en|aspherical space}}である。しかしながら、球面のホモトピー群を計算する熱烈な研究にもかかわらず、2次元においてさえ、完全なリストは分かっていない。'''S'''<sup>2</sup> の4次ホモトピー群の計算でさえ定義から思いつくような技術よりもはるかに進んだものが必要なのである。とくに{{仮リンク|セールのスペクトル系列|en|Serre spectral sequence}}はまさにこの目的のために構成されたのである。

[[n連結|''n''連結]]空間のあるホモトピー群は[[フレヴィッツの定理]]を用いて[[ホモロジー群]]と比較して計算できる。

== ホモトピー群の計算に使う手法のリスト ==
* ファイブレーションのホモトピー群の長完全列。
* [[フレヴィッツの定理]]、いくつかのバージョンがある。
* {{仮リンク|Blakers–Masseyの定理|en|Blakers–Massey theorem}}、ホモトピー群に対する切除とも呼ばれる。
* {{仮リンク|Freudenthalの懸垂定理|en|Freudenthal suspension theorem}}、ホモトピー群に対する切除の系。

== 相対ホモトピー群 ==
''A'' を ''X'' の部分空間として、対 (''X'', ''A'') に対し、相対ホモトピー群 {{π}}<sub>''n''</sub>(''X'',&nbsp;''A'') もある。そのような群の元は境界 ''S''<sup>''n''&minus;1</sup> を ''A'' の中に写す based map ''D<sup>n</sup> → X'' のホモトピー類である。2つの写像 ''f'', ''g'' が homotopic '''relative to''' ''A'' とは、各 ''p'' &isin; ''S''<sup>''n''&minus;1</sup> と ''t'' &isin; [0, 1] に対して元 ''F''(''p'', ''t'') が ''A'' に入るような基点を保つホモトピー ''F'': ''D<sup>n</sup>'' &times; [0,1] → ''X'' によってホモトープであることをいう。通常のホモトピー群は ''A'' が基点という特別な場合である。

これらの群は ''n'' &ge; 3 に対して可換であるが、''n'' = 2 に対して bottom group {{π}}<sub>''1''</sub>(''A'') の {{仮リンク|crossed module|en|crossed module}}の top group をなす。

相対ホモトピー群の長完全列がある。

==関連概念==
ホモトピー群は[[ホモトピー論]]において基本的であり、ホモトピー論は[[モデル圏]]の発展を刺激した。{{仮リンク|単体的集合|en|simplicial set}}に対して抽象ホモトピー群を定義することが可能である。

==関連項目==
*[[結び目理論]]
*[[ホモトピー類]]
*{{仮リンク|球面のホモトピー群|en|Homotopy groups of spheres}}
*[[位相不変量]]
*{{仮リンク|係数付きホモトピー群|en|Homotopy group with coefficients}}
*[[点付き集合]]

== 脚注 ==
{{reflist}}

== 参考文献 ==
* {{citation |last1=Hatcher |first1=Allen |title=Algebraic topology |url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html |publisher=[[Cambridge University Press]] |isbn=978-0-521-79540-1 |year=2002}}
* {{SpringerEOM|title=Homotopy group|urlname=Homotopy_group}}
* Ronald Brown, `[[Groupoids]] and crossed objects in algebraic topology', [http://www.intlpress.com/HHA//v1/n1/a1/ Homology, homotopy and applications], 1 (1999) 1–78.
*  G.J. Ellis and R. Mikhailov, `A colimit of classifying spaces', [http://xxx.soton.ac.uk/abs/0804.3581 arXiv:0804.3581v1 &#91;math.GR&#93; ]
*  R. Brown, P.J. Higgins, R. Sivera,  [http://pages.bangor.ac.uk/~mas010/nonab-a-t.html Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids], EMS Tracts in Mathematics Vol. 15, 703 pages. (August 2011).

{{Topology}}
{{DEFAULTSORT:ほもとひいくん}}
[[Category:ホモトピー論]]
[[Category:数学に関する記事]]
[[cs:Homotopická grupa]]