位相空間論

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学における位相空間論(いそうくうかんろん、: general topology; 一般位相幾何学)または点集合トポロジー(てんしゅうごうトポロジー、point-set topology; 点集合論的位相幾何)は、位相空間の性質やその上に定義される構造を研究対象とする位相幾何学の一分野である。位相幾何学のほかの分野が多様体などの特定の構造や具体的な構造を前提とすることと異なり、現れる位相空間としては病的なものも含めた極めて広範かつ一般のものを扱い、その一般論を形成するのが位相空間論の主目的である。

基本的な定義[編集]

位相、あるいは位相空間集合 X とその開集合系とも呼ばれる部分集合 Σ の組 (X, Σ) として与えられる。ここで、Σ の元は X開集合と呼ばれ、三つの公理

  1. 開集合の(任意濃度の)合併もまた開集合である。
  2. 開集合の有限個の交叉もまた開集合である。
  3. X および空集合 ∅ は開集合である。

を満足する。

歴史[編集]

一般位相の研究はいくつかの流れを取りまとめる形で始まった。主なものは

などが挙げられる。分野としての位相空間論は1940年頃には成立しており、それにより例えば連続性に関する直観の殆どを、数学の各分野で応用することができるようなものとして、技術的にふさわしい形で捉えることができるようになった。

研究対象[編集]

もう少し詳細に、位相空間論における基本概念の定義とそれらに関する定理やその証明について述べる。基本概念としては

などがある。

他にもより進んだ概念が現れるが、数学のほかの分野への言及なしに、これらの基本概念に直接的に関係するのがふつうである。点集合論的位相幾何学は、そういった概念が集合論に実質的な関係を持つのはいつかというような問題の研究がつきものである。

位相幾何学のほかの主要な分野には代数的位相幾何学幾何的位相幾何学微分位相幾何学などがあるが、一般位相幾何学はその名称が示唆するように、それらの分野に対する共通の基盤を与えるものである。

点集合位相幾何学の重要な変形版がポイントレス位相幾何学 (pointless topology) で、これは点集合を基礎とする点集合位相幾何学と異なり、や特に枠と場所圏論的研究を通じた位相的概念の構築を行うものである。

関連項目[編集]

参考文献[編集]

位相空間論の標準的な教科書として:

The arXiv subject code is math.GN.