|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 完 ： [かん] 【名詞】 1. The End (book, film, etc.) 2. Finis ・ 全 ： [ぜん] 1. (n,pref) all 2. whole 3. entire 4. complete 5. overall 6. pan ・ 列 ： [れつ] 【名詞】 1. queue 2. line 3. row
数学の特に代数的位相幾何学およびホモロジー論におけるマイヤー・ヴィートリス完全系列（マイヤーヴィートリスかんぜんけいれつ、）は、位相空間が持つホモロジー群やコホモロジー群といった代数的位相不変量を計算するのに便利な道具の一つで、オーストリアの数学者ヴォルター・マイヤーとレオポルト・ヴィートリスによって示された。これは、位相空間を（コ）ホモロジーの計算がより容易にできるような部分空間の小片に分解するとき、得られる部分空間の（コ）ホモロジーの列ともとの空間のそれとの関係を述べたもので、それによりもとの空間のそれらを計算するという方法論を与える。マイヤー・ヴィートリス完全系列と呼ばれる完全系列は、全体空間の（コ）ホモロジー群、部分空間の（コ）ホモロジー群の直和、部分空間の交わりの（コ）ホモロジー群の三者から構成される自然な長完全列である。 マイヤー・ヴィートリス完全系列は、特異ホモロジー・特異コホモロジーを含む様々なホモロジー論およびコホモロジー論において成立する。一般に、アイレンバーグ-スティーンロッド公理系を満足する（コ）ホモロジー理論に対してマイヤー・ビートリスの完全系列が存在しており、それらに対する簡約版と相対版も考えることができる。大部分の位相空間は、その（コ）ホモロジーを定義から直接に計算することができないので、部分的な情報を得るためにマイヤー・ヴィートリス完全系列のような道具を利用する。位相幾何学に現れるような空間の多くは非常に簡単な小片の貼り合わせとして構成されるが、そういったものの中で、空間を被覆する二つの部分空間（およびそれらの交わり）がもとの空間より単純な（コ）ホモロジーを持つものを注意深く選べば、マイヤー・ヴィートリス完全系列によりもとの空間の（コ）ホモロジーが完全に演繹できるというのである。この観点で言えば、マイヤー・ヴィートリス完全系列は、基本群に対するの類似であり、実際一次元ホモロジーに対しては明確な関係がある。 == 背景・動機および歴史 == 位相空間の基本群や高次のホモトピー群と同様に、（コ）ホモロジー群は重要な位相不変量である。（コ）ホモロジー論の中には線型代数学の道具を用いて（コ）ホモロジー群が計算できるものも存在するけれども、他の大部分の重要な（コ）ホモロジー論（特に特異（コ）ホモロジー論）では非自明な空間に対して定義から直接に（コ）ホモロジー群を計算することはできない。特異（コ）ホモロジーの場合、特異（コ）チェイン群や（コ）サイクル群は直接扱うには大きすぎることが多いのである。従ってもう少し直接的でない方法論が必要になってくる。マイヤー・ヴィートリス完全系列はそのような方法論の一つで、任意の空間の（コ）ホモロジー群の部分的な情報を、その空間の二つの部分空間およびそれらの交わりの（コ）ホモロジー群と関連付けて与えるものである。 この関連性を表すのに最も自然で便利な方法は完全系列（完全列）という代数的な概念を用いることである。完全列というのは、ある対象（今の場合は群）と対象間の射（今の場合群準同型）で構成される系列（一次元的な図式）であって、各射の像が次の射の核に一致するようなものをいう。一般には、マイヤー・ヴィートリス完全系列で空間の（コ）ホモロジー群が完全に計算できるようになるわけではないのだけれども、しかし位相幾何学に現れる重要な空間の多くは、位相多様体や単体的複体あるいはCW複体のような、非常に簡単な素片の貼合せとして構成されるものになっているので、マイヤーとヴィートリスが示したような定理は潜在的に広く深い応用の可能性を持っているということができる。 マイヤーは、1926年と1927年のウィーン地方大学における講演会の際に、同僚ヴィートリスから位相幾何学を紹介され、ベッチ数に対する問題の予想される結果とその解法を伝えられて、1929年にその問題を解いている。マイヤーはその結果を、二つの円筒の和として見たときのトーラスに適用した。その後の1930年に、ヴィートリスはトーラスのホモロジー群についての完全な結果を示しているが、それは完全列として表されたものではなかった。完全系列の概念が出版物に現れるのは、1952年にアイレンバーグとスティーンロッドが著した書籍 ''Foundations of Algebraic Topology''（「代数的位相幾何学の基礎」）においてであり、それにはマイヤーとビートリスの結果が現代的な形で記されている。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「マイヤー・ヴィートリス完全系列」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Mayer-Vietoris sequence 」があります。 スポンサード リンク
|