|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 環 : [わ, かん] 【名詞】 1. circle 2. ring 3. link 4. wheel 5. hoop 6. loop
数学では、特に代数トポロジーでは、位相空間 ''X'' のコホモロジー環 (cohomology ring) は、''X'' のコホモロジー群から作られる環であり、環の積としてを持つ。ここに「コホモロジー」とは、通常、特異コホモロジーであるが、しかし、環の構造はド・ラームコホモロジーのような他の理論でも存在する。コホモロジー環は函手的でもあり、空間の連続写像に対しコホモロジー環上の環準同型を得る。この函手は反変的である。 特に、可換環 ''R''(典型的には、''R'' は Z''n''、Z、Q、R、あるいは C)を係数として持つ ''X'' 上のコホモロジー群 ''H''''k''(''X''; ''R'') に対し、を定義できる。 : カップ積は次のコホモロジー群の直和の上の積を与える。 : この積によって、群 ''H''•(''X''; ''R'') は環となる。実際、自然に N-次数付き環であり、非負の整数 ''k'' が次数の役割を持つ。カップ積はこの次数付けと整合している。 コホモロジー環は、カップ積が次数により決定される符号を除いて可換であるという意味で、である。具体的には、次数 ''k'' と 次数 ℓ の純粋な元に対し、次が成り立つ。 : コホモロジー環から得られる数値的な不変量はカップの長さ(cup-length)であり、この不変量は掛けたときの非零の結果をもたらす次数が ≥ 1 の次数付きの元の最大の個数を意味する。例えば、複素射影空間では、その複素次元に等しいカップ長さを持つ。 == 例 == * ここに である。 * ここに である。 *(Künneth formula)により、 の ''n'' 個の積の mod 2 コホモロジー環は、 に係数を持つ ''n'' 変数の多項式環である。
|