ファイブレーションの完全列とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ファイブレーションの完全列の意味・解説 

ホモトピー群

(ファイブレーションの完全列 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/10 20:04 UTC 版)

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

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

のホモトピーの概念はカミーユ・ジョルダン (Camille Jordan) によって導入された[1]

導入

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

トーラス
球面

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

例えば、トーラス T の1次ホモトピー群は

π1(T) = Z2

である、なぜならばトーラスの普遍被覆複素平面 C で、トーラス TC / Z2 に写るからである。ここで商は群や環の圏ではなく位相空間の圏におけるものである。一方で球面 S2

π1(S2) = 0

を満たす、なぜならばすべてのループは定値写像に収縮できるからである(このことおよびより複雑なホモトピー群の例は球面のホモトピー群英語版を参照)。

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

定義

n 次元球面 Sn において、基点 a を選ぶ。基点 b を持つ空間 X に対し、πn(X) を、基点 a を基点 b に写す写像

f : SnX

のホモトピー類全体の集合と定義する。とくに、同値類は球面の基点上定数なホモトピーによって与えられる。同値なことだが、πn(X) を n 次元立方体から X への、n 次元立方体の境界を b へ写す写像 g: [0,1]nX のホモトピー類の群として定義できる。

基本群での合成

n ≥ 1 に対して、ホモトピー類全体はをなす。群演算を定義するために、次のことを思い出そう:基本群において、2つのループ fg の積 fg は次のように定義される:

主要概念



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

ファイブレーションの完全列のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ファイブレーションの完全列のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのホモトピー群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS