背景・動機および歴史
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/23 04:43 UTC 版)
「マイヤー・ヴィートリス完全系列」の記事における「背景・動機および歴史」の解説
位相空間の基本群や高次のホモトピー群と同様に、(コ)ホモロジー群は重要な位相不変量である。(コ)ホモロジー論の中には線型代数学の道具を用いて(コ)ホモロジー群が計算できるものも存在するけれども、他の大部分の重要な(コ)ホモロジー論(特に特異(コ)ホモロジー論)では非自明な空間に対して定義から直接に(コ)ホモロジー群を計算することはできない。特異(コ)ホモロジーの場合、特異(コ)チェイン群や(コ)サイクル群は直接扱うには大きすぎることが多いのである。従ってもう少し直接的でない方法論が必要になってくる。マイヤー・ヴィートリス完全系列はそのような方法論の一つで、任意の空間の(コ)ホモロジー群の部分的な情報を、その空間の二つの部分空間およびそれらの交わりの(コ)ホモロジー群と関連付けて与えるものである。 この関連性を表すのに最も自然で便利な方法は完全系列(完全列)という代数的な概念を用いることである。完全列というのは、ある対象(今の場合は群)と対象間の射(今の場合群準同型)で構成される系列(一次元的な図式)であって、各射の像が次の射の核に一致するようなものをいう。一般には、マイヤー・ヴィートリス完全系列で空間の(コ)ホモロジー群が完全に計算できるようになるわけではないのだけれども、しかし位相幾何学に現れる重要な空間の多くは、位相多様体や単体的複体あるいはCW複体のような、非常に簡単な素片の貼合せとして構成されるものになっているので、マイヤーとヴィートリスが示したような定理は潜在的に広く深い応用の可能性を持っているということができる。 マイヤーは、1926年と1927年のウィーン地方大学における講演会の際に、同僚ヴィートリスから位相幾何学を紹介され、ベッチ数に対する問題の予想される結果とその解法を伝えられて、1929年にその問題を解いている。マイヤーはその結果を、二つの円筒の和として見たときのトーラスに適用した。その後の1930年に、ヴィートリスはトーラスのホモロジー群についての完全な結果を示しているが、それは完全列として表されたものではなかった。完全系列の概念が出版物に現れるのは、1952年にアイレンバーグとスティーンロッドが著した書籍 Foundations of Algebraic Topology(「代数的位相幾何学の基礎」)においてであり、それにはマイヤーとビートリスの結果が現代的な形で記されている。
※この「背景・動機および歴史」の解説は、「マイヤー・ヴィートリス完全系列」の解説の一部です。
「背景・動機および歴史」を含む「マイヤー・ヴィートリス完全系列」の記事については、「マイヤー・ヴィートリス完全系列」の概要を参照ください。
- 背景・動機および歴史のページへのリンク