|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana)
数学の一分野である代数トポロジーにおいて、特異ホモロジー (singular homology) とは位相空間 ''X'' ののある種の集合、いわゆるホモロジー群 (homology group) の研究のことである。直感的に言えば、特異ホモロジーは、各次元 ''n'' に対して、空間の ''n'' 次元の穴を数える。特異ホモロジーはホモロジー論の例である。これは今では理論のかなり大きな集まりに成長している。様々な理論の中で、特異ホモロジーはかなり具体的な構成に基づいているのでおそらく理解するのが容易なものの1つである。 手短に言えば、特異ホモロジーは標準 ''n''-単体から位相空間への写像をとり、それらから特異チェイン (singular chain) と呼ばれる形式和を作ることによって構成される。単体上の境界作用素は特異チェイン複体を誘導する。すると特異ホモロジーはそのチェイン複体のホモロジーである。得られるホモロジー群はすべてのホモトピー同値な空間に対して同じであり、これがそれらの研究の理由である。これらの構成はすべての位相空間に対して適用することができるので、特異ホモロジーは圏論の言葉で表現できる。そこではホモロジー群はから次数付きアーベル群の圏への関手になる。これらのアイデアは以下でもっと詳細に説明される。 == 特異単体 == 特異 ''n''-単体 (singular ''n''-simplex) は標準 ''n''-単体 から位相空間 ''X'' への連続写像 である。記号では と書く。この写像は単射である必要はなく、''X'' における像が同じであっても同じ特異単体とは限らない。 の境界は、 と表記され、標準 ''n''-単体の面への の制限によって表現される特異 (''n'' − 1)-単体の形式和 に向き付けを考慮した符号をつけたものと定義される。(形式和は単体上の自由アーベル群の元である。この群の基底は標準単体のあらゆる像の無限集合である。群の演算は「加法」であり、像 ''a'' と像 ''b'' の和は通常単に ''a'' + ''b'' と表されるが、''a'' + ''a'' = 2''a'' など。すべての像 ''a'' は負 −''a'' をもつ。)したがって、 の値域を標準 ''n''-単体 の頂点 によってその頂点 : によって表せば(これはもちろん によって生み出された標準単体の像を完全には特定しない)、 : は具体的に示された単体の像の面の形式和である。(つまり、個々の面はその頂点がリストされる順番に依存する の面の指定に適用される の像でなければならない。)したがって、例えば、 の境界( から へ行く曲線)は形式和(あるいは「形式差」) である。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「特異ホモロジー」の詳細全文を読む スポンサード リンク
|