位相空間論

位相空間論（いそうくうかんろん）、もしくは一般位相空間論（いっぱんいそうくうかんろん、）とは、位相空間の性質やその上に定義される構造を研究対象とする数学の分野である。

一般位相空間は、多様体や単体的複体のような幾何学的対象の位相空間としての構造を研究する位相幾何学とは異なり、病的なものも含めた極めて広範かつ一般のものを扱い、その一般論を形成するのが位相空間論の主目的である。

基本的な定義 
位相、あるいは位相空間は集合 X とその開集合系とも呼ばれる部分集合の族 Σ の組 (X, Σ) として与えられる。ここで、Σ の元は X の開集合と呼ばれ、三つの公理
 開集合の（任意濃度の）合併もまた開集合である。
 開集合の有限個の交叉もまた開集合である。
 X および空集合 ∅ は開集合である。
を満足する。

歴史 
一般位相の研究はいくつかの流れを取りまとめる形で始まった。主なものは
 実数直線の部分集合についての詳細研究、かつて「点集合に関する位相幾何学」 と呼ばれていたもの、
 多様体概念の導入、
 距離空間論、特にノルム線型空間の研究（後の函数解析学）
などが挙げられる。分野としての位相空間論は1940年頃には成立しており、それにより例えば連続性に関する直観の殆どを、数学の各分野で応用することができるようなものとして、技術的にふさわしい形で捉えることができるようになった。

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

 開集合と閉集合、
 開核と閉包、
 近傍と近縁、
 コンパクト性と連結性、
 連続写像、
 数列の収斂、有向点族（ネット）とフィルター、
 種々の分離公理、
 可算公理（第一可算公理/第二可算公理）
などがある。

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

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

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

位相空間論の記号表 
以下、X、Y などは集合を表す。

関連項目 

位相空間の圏

参考文献 

位相空間論の標準的な教科書として：
 Bourbaki; Topologie Générale (General Topology); ISBN 0-387-19374-X, 日本語訳: 
 John L. Kelley; General Topology; ISBN 0-387-90125-6, 日本語訳: 
 James Munkres; Topology; ISBN 0-13-181629-2
 Paul L. Shick; Topology: Point-Set and Geometric; ISBN 0-470-09605-5
 Ryszard Engelking; General Topology; ISBN 3-88538-006-4
 
 O.Ya. Viro, O.A. Ivanov, V.M. Kharlamov and N.Yu. Netsvetaev; Elementary Topology: Textbook in Problems; ISBN 978-0-8218-4506-6

The arXiv subject code is math.GN.

数学に関する記事