特異ホモロジー

特異ホモロジーの概要

特異ホモロジーは代数トポロジーの一領域であり、位相空間に対してホモロジー群を関連付ける理論です。この理論は、さまざまな次元における空間の「穴」を数えるために利用されます。特異ホモロジーの特徴は、連続写像を通じて標準単体を位相空間にマッピングし、その結果を元に特異チェインを構成する点にあります。このプロセスは、単体の境界を考慮し、特異ホモロジーの定義へとつながります。

特異単体の定義

特異 n-単体は、標準 n-単体から位相空間への連続写像です。このマッピングは単射である必要はなく、同一の像を持つ特異単体が異なる場合もあるため注意が必要です。特異 n-単体の境界は、特異 (n−1)-単体の形式和で表され、これは標準 n-単体の面相当の映像を含みます。具体的には、特異 n-単体の指定された頂点からなる形式和を使って境界を計算します。

特異チェイン複体

特異ホモロジーの構成は、まず特異 n-単体の集合を自由アーベル群の基底として考えることから始まります。これにより、特異 n-チェインが定義され、各 n-単体の形式和が特異チェインとして表現されます。これらのチェインに対し、境界作用素を適用することで、アーベル群のチェイン複体を形成し、特異複体と呼ばれる構造が得られます。特異複体の核は特異 n-サイクルと呼ばれ、バウンダリの像は特異 n-バウンダリとして扱われます。

このように構成されるホモロジー群は、同じホモトピー同値な空間に対して一貫性を持ちます。

ホモトピー不変性

ホモトピー同値の位相空間において、全ての次元 n に対してホモロジー群は等しくなります。特に、連結可縮空間の場合、n=0を除き全てのホモロジー群は0になります。これは、ホモロジー群が位相的不変量であることを示しています。

関手性と圏論

特異ホモロジーは、圏論の観点からも強力な定義を持ちます。ホモロジー群は位相空間の圏からアーベル群の圏への関手として理解されます。これは、特異チェインが位相空間を自由アーベル群へ移す方法として機能し、連続写像との互換性が保持されることによって実現されます。特異ホモロジーは、ホモトピー同値に基づく構造によって、位相空間の圏からより一般的な圏への拡張が可能です。

R に係数を持つ場合

ユニト環 R に対して、特異 n-単体の集合を自由 R-加群の生成元として扱うことができ、これにより特異ホモロジーは R-加群に対する一般化された形式に拡張可能です。これは、任意の環に対してホモロジー群を定義する際の柔軟性を示しています。

相対ホモロジーとコホモロジー

相対ホモロジーは、部分空間に対してのホモロジーを考える方法であり、特異ホモロジーの商として理解されます。また、コホモロジーはホモロジーを双対化することによって得られ、より豊かな代数的構造を備えています。これによりコホモロジーの解析は、代数幾何などのさまざまな領域に応用されています。

特異ホモロジーは、このような関係を整えることで、位相空間の持つ深い構造を理解するための強力な道具であり、数学の重要な分野の一つとして位置づけられています。

もう一度検索