|
数学において、ホモトピー群 (homotopy group) は代数トポロジーにおいて位相空間を分類するために使われる。1次の最も簡単なホモトピー群は基本群であり、空間のについての情報がわかる。直感的には、ホモトピー群は位相空間の基本的な形、''穴''、についての情報を持っている。 ''n'' 次ホモトピー群を定義するために、（付き）''n'' 次元球面から与えられた（基点付き）空間の中への基点を保つ写像はと呼ばれる同値類へと集められる。2つの写像がホモトープ (homotopic) とは、一方から他方へ連続的に変形できることをいう。これらのホモトピー類たちが基点付きの与えられた空間 ''X'' の ''n'' 次ホモトピー群 (''n''-th homotopy group) と呼ばれる群 ''n''(''X'') をなす。異なるホモトピー群を持つ位相空間は決して同じ（同相）ではないが、逆は正しくない。 のホモトピーの概念はカミーユ・ジョルダン (Camille Jordan) によって導入された。 のホモトピーの概念はカミーユ・ジョルダン (Camille Jordan) によって導入された。 'n'' 次ホモトピー群 (''n''-th homotopy group) と呼ばれる群 ''n''(''X'') をなす。異なるホモトピー群を持つ位相空間は決して同じ（同相）ではないが、逆は正しくない。 のホモトピーの概念はカミーユ・ジョルダン (Camille Jordan) によって導入された。 == 導入 == 現代数学においては圏を、その各対象に、問題の対象についての十分な量の情報が残っているより単純な対象を割り当てることによって研究するのが一般的である。ホモトピー群は群を位相空間に割り当てるそのような方法である。 トポロジーと群の間のつながりによって数学者は群論の見識をトポロジーに適用することができる。例えば、2つの位相的な対象が異なるホモトピー群を持てば、それらは同じ位相的構造を持っていない（このことは位相的な手法のみを用いて証明することは難しいかもしれない）。例えば、トーラスは球面とは異なる。トーラスには「穴」があるが球面にはないからである。しかしながら、連続性（トポロジーの基本的な概念）は局所的な構造しか扱わないから、明らかな大域的な差異をフォーマルに定義することは難しくあり得る。しかしながら、ホモトピー群は、大域的な構造についての情報を持っているのである。 例えば、トーラス ''T'' の1次ホモトピー群は :1(''T'') = Z2 である、なぜならばトーラスの普遍被覆は複素平面 C で、トーラス ''T'' ≅ C / Z2 に写るからである。ここで商は群や環の圏ではなく位相空間の圏におけるものである。一方で球面 ''S''2 は :1(''S''2) = 0 を満たす、なぜならばすべてのループは定値写像に収縮できるからである（このことおよびより複雑なホモトピー群の例はを参照）。 したがってトーラスは球面と同相ではない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ホモトピー群」の詳細全文を読む スポンサード リンク
|