位相空間
数学における位相空間（いそうくうかん、topological space）とは、集合に要素どうしの近さや繋がり方に関する情報（位相、topology）を付け加えたものである。この情報は関数の連続性や点列の収束といった概念の源といえる。ある集合に位相を与えて位相空間とみなすことを、しばしば「位相を入れる」という。位相空間論は位相空間の諸性質を研究する数学の分野である。
目次
位相空間を導入する意義
ユークリッド空間やその部分集合においては、点の間の距離をもちいて異なる点の間の近さを測ることができ、それに基づいた位相空間の構造が得られる。一般に、距離空間は最も想像しやすい種類の位相空間の例を与えているが、一方で距離空間の枠組みは柔軟性に欠ける面もある。幾何学においてはユークリッド空間（の開集合）と同相ないくつかの空間を基本的な部品とし、それらを張り合わせて得られるような空間が主な考察の対象となるが、この張り合わせはそれぞれの部品上に定まっている距離を保つとは限らない。
このような場合にも位相空間の商空間を考えることで、部品を張り合わせて作った空間上の位相を自然に定式化することが可能になる。
この他にも、積極的に位相空間を考える理由は存在する。無限次元ベクトル空間を扱う関数解析学の理論を見通しよく展開するにはベクトル空間に位相を入れて位相空間の一般論を用いることが必須であるし（位相線型空間）、代数幾何学で用いられるザリスキ位相は、通常、距離から定めることのできないような位相である。現在では数学の各分野において位相空間が独特の方法で応用されているが、本項目では最も一般的な部分について述べる。
定義
テンプレート:Seealso 集合 <math>X</math> の部分集合からなる族 <math>\tau</math> で、条件
- 空集合 <math>\emptyset</math> および全体集合 <math>X</math> は <math>\tau</math> に属す。
- <math>\tau</math> に属する集合の有限交叉はふたたび τ に属す。
- <math>\tau</math> に属する集合の任意個（無限濃度をも許す）の合併はふたたび <math>\tau</math> に属す。
を満足するものが与えられるとき、集合 <math>X</math> に <math>\tau</math> の元を開集合とするテンプレート:ルビ[1]が定まるといい、組 <math>(X, \tau)</math> を <math>X</math> を台集合とし <math>\tau</math> を開集合系とする位相空間と呼ぶ。紛れの虞が無いならば、位相空間 <math>(X, \tau)</math> を単に台と同じ記号 <math>X</math> で表したり、開集合系 <math>\tau</math> 自体を <math>X</math> の位相と呼んだりする。位相空間 <math>X</math> の元は、それが実際にどのような数学的対象であるかに依らず、位相空間の点と呼ばれる。<math>X</math> の開集合の補集合は、<math>X</math> の閉集合であるという。<math>X</math> の開集合でも閉集合でもあるような部分集合は <math>X</math> の開かつ閉集合と呼ばれる（定義から明らかに <math>\emptyset</math> および <math>X</math> は必ず開かつ閉である）。<math>X</math> には、開でも閉でもないような部分集合が存在しうることに留意せよ。
定義から閉集合の補集合は開集合であり、開集合を定める三つの公理にド・モルガンの法則を適用することにより、閉集合の満たすべき性質が定まるが、逆にそれを閉集合の公理として開集合を定め、位相を決定することもできる。すなわち、<math>X</math> の部分集合族 <math>\sigma</math> が
- 空集合 <math>\emptyset</math> および全体集合 <math>X</math> は <math>\sigma</math> に属す。
- <math>\sigma</math> に属する集合の有限個の合併はふたたび <math>\sigma</math> に属す。
- <math>\sigma</math> に属する集合の任意個（無限濃度をも許す）の交叉はふたたび <math>\sigma</math> に属す。
を満たすならば、<math>X</math> に <math>\sigma</math> の元を閉集合とする位相が定まるといい、<math>\sigma</math> を位相空間 <math>(X, \sigma)</math> の閉集合系と呼ぶ。
この開集合系による定義と閉集合系による定義は自然同値である（つまり、開集合系から閉集合を定め、その閉集合が成す閉集合系から作った開集合はもともとの開集合と一致する。逆もまた然り）。それ以外にもこれと同値なものとして、基本近傍系や対称近傍系による方法、あるいはクラトフスキーの閉包公理と呼ばれる閉包作用素が満たすべき性質から位相を定める方法もある。
<math>x</math> を <math>X</math> の点とするとき、<math>A</math> が <math>x</math> の近傍とは、開集合 U であって <math>x \in U</math> かつ <math>U_A</math> なるものが存在することである。近傍であって開集合であるものを開近傍、近傍であって閉集合であるものを閉近傍という。以下が成立する。
- 開集合はその任意の点の近傍である。逆に、この性質をみたす集合は開集合である。
- 特に、<math>X</math> 自身は <math>X</math> の任意の点の近傍である。
位相同士の比較
一つの集合 <math>X</math> を位相空間とするような <math>X</math> 上の位相は一般に複数存在しうる。二つの開集合系 <math>\tau_1, \tau_2</math> について、<math>\tau_1</math> に属する集合は必ず <math>\tau_2</math> にも属するという条件が成り立つとき、<math>\tau_2</math> は <math>\tau_1</math> よりも細かいといい、また <math>\tau_1</math> は <math>\tau_2</math> よりも粗いという。定義により、ある位相に関する開集合はそれよりも細かい任意の位相においても必ず開となることが保証され、同様にある位相に関して開集合とならない部分集合はそれより粗い如何なる位相に関しても開となることはないことがわかる。細かい/粗いと言う代わりに（開集合族の集合としての包含関係に関する意味で）それぞれ大きい/小さいと言ったり、少々意図が紛らわしいが（開集合であるための制約条件に関する意味で）それぞれ強い/弱いと言うこともある。
一つの集合 <math>X</math> 上で定義される、可能な全ての位相からなる集まりは完備束を成す。すなわち、<math>X</math> 上の位相からなる任意の集合 <math>F=\{\tau_\alpha:\alpha\in\Alpha\}</math> に対し、<math>F</math> の交わりは <math>F</math> の元すべての集合としての交わりによって、また <math>F</math> の結びは <math>F</math> の元を全て含むような <math>X</math> の位相すべての交わりによって、それぞれ与えられる。
簡単な例
先の 1.-3. は、ユークリッド空間の開集合という（位相空間よりも先に考えられていた）概念のみたす性質を抽象化したものである。ユークリッド空間 <math>\mathbf{R}^n</math> において、その部分集合 <math>U</math> が開集合というのは、<math>U</math> に属する任意の点 <math>x</math> に対して、十分小さい正の数 <math>\varepsilon</math> をとると <math>x</math> の周りの半径 <math>\varepsilon</math> の開球体が <math>U</math> に含まれることであった。いま、このようにして定義されたユークリッド空間の開集合の全体を <math>\tau</math> とすると、<math>(\mathbf{R}^n, \tau)</math> は上の条件 1.-3. を満たす。よって、
- ユークリッド空間 <math>\mathbf{R}^n</math> と、<math>\mathbf{R}^n</math> の開集合の族 <math>\tau</math> との組 <math>(\mathbf{R}^n, \tau)</math> は位相空間である。
もちろん、ユークリッド空間に上に述べたものとは違う方法で「開集合」の概念を定義しても、それが上の 1.-3. を満たしさえすれば、それは位相空間を定める。しかし通常の文脈でユークリッド空間と言った場合、上のように開集合を定義して位相空間と見なす。
距離空間も、はじめに述べたように位相空間の重要な例である。距離空間には距離の概念があるため、「半径 <math>\varepsilon</math> の開球体」という概念がユークリッド空間と同様に定義でき、したがって開集合が同様に定義できる。そして開集合の全体が上記 1.-3. を満たすことも再び同様に確かめられる。よって、
- 距離空間は位相空間である。
ここでも、余程のことがない限り、距離空間は上に述べた方法で位相空間と見なされる。このように距離空間に開集合系を入れることによって距離空間を位相空間としたとき、この開集合系を通常の位相と呼ぶことがある。
集合上の位相の極端な例として、離散位相と密着位相がある。<math>X</math> を集合とするとき、<math>X</math> のすべての部分集合からなる位相 <math>\mathfrak{P}(X)</math> を考えることができる。この位相を離散位相といい、それを開集合系とする位相空間を離散空間という。また、空集合と <math>X</math> 自身のみからなる族 <math>\{\emptyset,X\}</math> も位相となる。この位相を密着位相または自明位相といい、それを開集合系とする位相空間を密着空間という。離散空間は最も多くの開集合をもち、密着空間は最も少ない開集合をもつという意味で、この二つの例は両極端である。添字集合のように通常「近さ」の概念を考えない集合に位相を入れるときは、離散空間と見なす場合が多い。密着空間はのちに述べる分離公理をほとんど全く満たさないという意味で、ユークリッド空間からあまりにも遠く、利用される機会は稀である。
なお、正の整数全体 <math>\mathbf{N}</math> や整数全体 <math>\mathbf{Z}</math> は、通常の距離で距離空間（よって位相空間）とみなせば、離散空間となる。このことから、離散空間の命名の由来を窺うことができる。
分離性を満たさない位相空間で代数学・数論的に重要なものとして素スペクトルや極大スペクトルが挙げられる。これは単位的な可換環に対して自然に定義されるもので、環 <math>\mathbf{R}</math> のスペクトル <math>\operatorname{Spec} \mathbf{R}</math> は点集合としては <math>\mathbf{R}</math> の素イデアルの集合として与えられ、その閉集合系は <math>V(S) = \{p \in \operatorname{Spec} \mathbf{R}|\mathbf{S} \subseteq p\} (\mathbf{S} \subseteq \mathbf{R})</math> と書ける <math>\operatorname{Spec} \mathbf{R}</math> の部分集合全体によって与えられる。極大スペクトルは極大イデアル（スペクトルにおける閉点）全体からなるスペクトルの部分空間として与えられる。
特に整数のなす環 <math>\mathbf{Z}</math> の極大スペクトルは素数全体の集合 <math>\mathbf{P} = \{2, 3, 5, 7, ...\}</math> と同一視でき、その閉集合は <math>\mathbf{P}</math> の任意の有限部分集合および <math>\mathbf{P}</math> 全体としてあたえられる。
連続写像
テンプレート:Main 二つの位相空間の間の写像が連続であることは、それらの開集合系を用いて簡潔に定義することができる。 位相空間 <math>X</math> から位相空間 <math>Y</math> への写像 <math>f</math> が連続であるとは、<math>Y</math> の任意の開集合 <math>\mathbf{V}</math> に対して、その <math>f</math> による逆像
- <math>f^{-1}(V)=\{x \in X \mid f(x)\in V\}</math>
が <math>X</math> の開集合となることである。
写像 <math>f</math> が連続であることは次のように言い換えられる。
- <math>X</math> の任意の点 <math>x</math> と <math>f(x)</math> の任意の近傍 <math>V</math> に対して、<math>x</math> の近傍 <math>U</math> が存在して、<math>f(U) \subset V</math> となる。
ここで、最初の文言 「<math>X</math> の任意の点 <math>x</math> と」を除くと、
- <math>f(x)</math> の任意の近傍 <math>V</math> に対して、<math>x</math> の近傍 <math>U</math> が存在して、<math>f(U) \subset V</math> となる。
という <math>x</math> に関する条件になるが、この条件を「<math>f</math> は点 <math>x</math> において連続である」という。つまり、写像 <math>f</math> が連続であることは、その定義域 <math>X</math> の任意の点 <math>x</math> において <math>f</math> が連続であることと同値である。 また、上の言い換えから、位相空間の間の連続写像は、実数の場合にイプシロン・デルタ論法で定義した連続関数の概念の自然な拡張になっていることが分かる。
次に挙げるものは連続写像の基本的な性質である。<math>X</math>、<math>Y</math>、<math>Z</math> を位相空間として、<math>f</math> を <math>X</math> から <math>Y</math> への連続写像、<math>g</math> を <math>Y</math> から <math>Z</math> への連続写像とする。
- <math>Y</math> の任意の閉集合 <math>F</math> に対して、逆像 <math>f^{-1}(F)</math> は <math>X</math> の閉集合である。
- 合成 <math>g \circ f</math> は <math>X</math> から <math>Z</math> への連続写像である。
同相写像
テンプレート:Main 二つの位相空間 <math>X</math> および <math>Y</math> に対して、<math>X</math> から <math>Y</math> への写像 <math>f</math> が同相写像であるとは、<math>f</math> が全単射でありかつ連続写像で、しかも逆写像 <math>f^{-1}</math> が連続であることを意味する。このことは、写像 <math>f</math> によって <math>X</math> の点と <math>Y</math> の点とが一対一対応するのみならず、一方の開集合が他方の開集合に一対一対応しているということを意味する。<math>X</math> から <math>Y</math> への同相写像が存在するとき、<math>X</math> と <math>Y</math> とは同相であるという。定義から、同相写像の合成は同相写像であり、同相写像の逆写像は同相写像である。
たとえば、ユークリッド平面の部分空間である「三角形の周（<math>X</math> とする）」と「円周（<math>Y</math> とする）」は同相な二つの位相空間の例である。また、2つの合同な平面図形や空間図形は同相である。同相な二つの位相空間に常に共有される性質を位相的性質という。この例では、以下のような位相的性質を、実際に <math>X</math> と <math>Y</math> が共有している（以下では連結性の概念を用いる）。
- 連結である。
- 任意の 1 点を除いて得られる部分空間は連結である。
- 任意の異なる 2 点を除いて得られる部分空間は連結でない。
単位閉区間 <math>I = [0, 1]</math> は <math>X</math> と同相でないし、よって <math>Y</math> とも同相でない。実際、<math>I</math> が <math>X</math> と同相なら、上記の位相的性質 2. を持っていなければならない筈だが、<math>I</math> から中点 <math>1/2</math> を除いて得られる部分空間は連結でないからである。 一般的に、二つの位相空間が同相でないことの証明には、一方がもち、他方がもたないような位相的性質を挙げることが有効である。 位相空間論（トポロジー）は主として位相的性質を取り扱う数学の分野である。例えば、上での <math>X</math> と <math>Y</math> との違いは位相空間論では本質的な差とは見なさないが、<math>X</math> と <math>I</math> は本質的に異なると見なす。
収束
数列の収束と同様にして、位相空間内の点列の収束の概念を定義できる。<math>\scriptstyle \{x_n\}_{n=1}^\infty</math> を位相空間 <math>X</math> 内の点列とする。この点列が <math>X</math> の点 <math>x</math> に収束するとは、<math>x</math> の任意の近傍 <math>U</math> に対して、ある自然数 <math>N</math> が存在して、 <math>n \geq N</math> なるすべての <math>n</math> について <math>x_n \in U</math> となることである。 この収束の定義は、実数列の収束の拡張となっている。
なお、各点収束の位相を入れた関数空間など通常の点列では不十分な空間で有意義な収束の概念を定式化するために、点列の拡張である有向点列やフィルターといった考え方が用いられる。このような一般化された収束の概念によっても一般の位相空間のコンパクト性や写像の連続性などを特徴付けることができる。また、収束している有向点列やフィルターの情報から空間の位相構造が復元できる。
位相空間の構成
テンプレート:Main 集合には、部分集合をとる、直和をとる、直積をとる、商集合をとるといった操作がある。これに対応して、位相空間にも、部分空間をとる、直和をとる、直積をとる、商空間をとるといった操作が定義される。たとえば <math>X</math> が位相空間のとき、 <math>X</math> を集合と考えて部分集合 <math>A</math> をとれば、この <math>A</math> に自然な位相が決まり、こうしてできた位相空間 <math>A</math> を <math>X</math> の部分空間という。また <math>X</math> と <math>Y</math> が位相空間のとき、集合の直積 <math>X \times Y</math> には自然な位相が定まり、こうしてできた位相空間を <math>X</math> と <math>Y</math> との直積空間という。
閉包・内部
テンプレート:Main 以下に示す概念は、ユークリッド空間という特殊な場合に元々考えられていたものなので、その場合を想像することが理解の助けになると思われる。<math>X</math> を位相空間とし、<math>A</math> をその部分集合とする。
- <math>A</math> の閉包とは、次の条件を満たす <math>X</math> の点 x 全体の集合である：「<math>x</math> の任意の近傍 <math>V</math> に対して、<math>V</math> は <math>A</math> と交わる。」集合 <math>A</math> の閉包を <math>\operatorname{Cl} A</math> または <math>\overline{A}</math> で表す。<math>A</math> の閉包 <math>\operatorname{Cl} A</math> に属する点を <math>A</math> の触点と呼ぶ。
- <math>A</math> が <math>X</math> の稠密な部分集合であるとは、<math>A</math> の閉包が <math>X</math> に一致することである。つまり、<math>X</math> の任意の点の任意の近傍が、<math>A</math> と交わることである。可算な稠密部分集合をもつ位相空間は可分であるという。
- <math>A</math> の内部または開核とは、条件「<math>A</math> は <math>x</math> の近傍である」を満たす <math>X</math> の点 <math>x</math> 全体の集合である。このとき <math>x</math> は <math>A</math> の内点であるという。集合 <math>A</math> の内部を <math>\operatorname{Int} A</math> または <math>A^o</math> で表す。
- <math>A</math> の境界は、<math>A</math> の閉包に属するが <math>A</math> の内部には属していない点の全体である。集合 <math>A</math> の境界を <math>\operatorname{Bd} A</math>、<math>\operatorname{Fr} A</math> または <math>\partial A</math> と書く。境界に属する点を境界点という。
以上の概念について次が成立する。
- 閉包 <math>\operatorname{Cl} A</math> は <math>A</math> を含む最小の閉集合である。
- 内部 <math>\operatorname{Int} A</math> は <math>A</math> に含まれる最大の開集合である。
- 境界 <math>\operatorname{Bd} A</math> は閉集合であって <math>\operatorname{Cl} A</math> に含まれる。
- <math>\operatorname{Int} A \subset A \subset \operatorname{Cl} A</math>、<math>\operatorname{Int} A = X \smallsetminus \operatorname{Cl}\ (X \smallsetminus A)</math>、<math>\operatorname{Bd} A = \operatorname{Cl} A \cap \operatorname{Cl}\ (X \smallsetminus A)</math>
基本近傍系
ユークリッド平面 <math>R^2</math> を位相空間と考え、その上に任意に固定した点 <math>p</math> を考える。<math>p</math> の近傍であるような <math>R^2</math> の部分集合は多種多様であるが、どのような近傍 <math>V</math> についても、十分に大きな正の整数 <math>n</math> を選べば、<math>p</math> を中心とする半径 <math>1/n</math> の開円板 <math>B(p,1/n)</math> が <math>V</math> に含まれる。もちろんこの開円板は <math>p</math> の近傍である。以上から、開円板の族 <math>\{B(p,1/n)\ |\ n\in\mathbf{N}\}</math> がある意味で <math>p</math> の近傍たちを代表していると考えられるが、このような近傍の族を基本近傍系あるいは局所近傍基と呼ぶ。
正確な定義は以下の通り。<math>p</math> が位相空間 <math>X</math> の点であるとき、<math>p</math> の近傍からなる族 <math>\scriptstyle\mathcal{U}</math> が <math>p</math> の基本近傍系であるとは、<math>p</math> の任意の近傍 <math>V</math> に対して、<math>\scriptstyle\mathcal{U}</math> の要素 <math>U</math> が存在して、<math>U \subset V</math> が成立することである。
もちろん、<math>p</math> が決まってもその基本近傍系は一通りには決まらない。たとえば上の例では、「<math>p</math> を中心として軸に平行な辺をもった一辺 <math>1/n</math> の開正方形全体」も基本近傍系である。また、<math>p</math> の近傍すべてからなる族も基本近傍系である。
開基と準開基
テンプレート:Main 一般に位相空間の開集合は多種多様であって、容易に制御できない。これはユークリッド平面の開集合の様子からも想像されよう。しかし、ユークリッド平面のあらゆる開集合は、（一般には無限個の）開円板の和集合として表すことができる。実際、<math>U</math> を開集合とすると、 <math>U</math> の各点 <math>x</math> に対して、 <math>x</math> を中心とする半径の十分小さい開円板 <math>B_x</math> は <math>U</math> に含まれるから、このような <math>B_x</math> すべての和集合 <math>\bigcup_{x\in X}B_x</math> は <math>U</math> に等しい。この例での開円板たちのような役割を果たすものとして開基を定義しよう。
位相空間 <math>X</math> の部分集合の族 <math>\scriptstyle\mathcal{B}</math> が位相空間 <math>X</math> のテンプレート:ルビ[2]ないし <math>X</math> 上の位相の開基であるとは、次の二条件が満たされることである。
- <math>\scriptstyle\mathcal{B}</math> の要素はすべて開集合である。
- <math>X</math> の任意の開集合 <math>U</math> に対して、<math>\mathcal{B}</math> の適当な部分集合 <math>\mathcal{B}'</math> をとると <math>U = \bigcup\mathcal{B}'</math> が成立する。
これは次のように言い換えてもよい。開集合からなる族 <math>\mathcal{B}</math> が <math>X</math> の開基とは、<math>X</math> の任意の開集合 <math>U</math> の任意の点 <math>x</math> に対して、<math>x \in B \subset U</math> を満たす <math>\mathcal{B}</math> の要素 <math>B</math> が存在することである。
開基の満たすべき条件
基本近傍系が位相を定めるように、開基を指定することで位相を定めることができる。実際、「開基に属する集合の任意個の和集合」が、ちょうど開集合になっているから、開基は開集合系を復元することができる。そのとき開基 <math>\mathcal{B}</math> が満たさなければならない条件を述べる。
集合 <math>X</math> の部分集合族 <math>\mathcal{B}</math> が <math>X</math> 上のある位相の開基であるための必要十分条件は以下の通り。
- <math>\bigcup\mathcal{B}=X</math>
- 任意の <math>B_1, B_2 \in \mathcal{B}</math> および任意の <math>x \in B_1 \cap B_2</math> に対して、ある <math>B \in \mathcal{B}</math> が存在して、<math>x \in B \subset B_1 \cap B_2</math> となる。
準開基の満たすべき条件
開基の条件 2. を見る限り、「勝手に」部分集合族 <math>\mathcal{B}</math> を与えたところで、それが位相を定めるとは期待しがたい。しかし、準開基という概念によってその制約は緩和される。位相空間 <math>X</math> の部分集合族 <math>\mathcal{S}</math> が <math>X</math> のテンプレート:ルビ[3]であるとは、集合族
- <math>\mathcal{S}'=\left\{\bigcap_{i=1}^n S_i\,\bigg|\,n\in\mathbb{N},\,S_i\in \mathcal{S}\right\}</math>
が、つまり <math>\mathcal{S}</math> の要素の任意有限個の共通部分の全体が、位相空間 <math>X</math> の開基をなすことである。
一般に集合 <math>X</math> の部分集合の族 <math>\mathcal{S}</math> が <math>X</math> 上のある位相の準開基であるための必要十分条件は
- <math>\textstyle\bigcup\mathcal{S}=X</math>
が成立することである。要するに <math>X</math> の部分集合族がある位相の準開基であるためには、それが <math>X</math> を被覆していればよい。たとえば、実数直線 <math>\mathbf{R}</math> の例でいえば、片方に無限に伸びた半開区間 <math>(a, \infty)</math> および <math>(-\infty, b)</math>（但し <math>a</math>、<math>b</math> は実数）の全体は準開基をなす。
ある位相の開基は、同じ位相の準開基にもなっていることに注意する。位相空間 <math>X</math> が準開基（とくにそれは開基でもよい） <math>\mathcal{S}</math> をもっているとき、<math>X</math> の位相は <math>\mathcal{S}</math> によって生成されるという。
位相空間の分類
コンパクト性、連結性
コンパクト性とは、ユークリッド空間における有界閉集合の概念に相当するもので、一般に位相空間がコンパクトであることを定義できる。たとえば、 単位閉区間 <math>[0,1]</math> はコンパクトな位相空間であるが、実数直線 <math>\mathbf{R}</math> はコンパクトでない位相空間である。 また、連結性とは、直観的には位相空間が「ひとつながりである」 という性質である。閉区間 <math>[0,1]</math> は連結性をもつ（連結である）が、二つの交わらない閉区間を合併した <math>[0,1] \cup [2, 3]</math> という位相空間は連結ではない。
分離性
位相空間内に相異なる二点 <math>x</math>、<math>y</math> が与えられたとき、その二点を分離するような開集合をとりたいことが、位相空間の議論ではしばしば生ずる。「分離する」の意味には色々あるが、一例として、<math>x</math> を要素とする開集合 <math>U</math> と <math>y</math> を要素とする開集合 <math>V</math> とを、<math>U</math> と <math>V</math> とが交わらないように取りたい、という場合がある。（このようなことが常に可能な空間をハウスドルフ空間という。）より強く、位相空間内の交わらない二つの部分集合についても、一定の条件下で分離が可能であると便利なことがある。この類の「分離」が可能であると主張する性質を一般に分離公理と呼び、その強さにいくつかの段階がある。一般に、距離空間に近い位相空間であるほど強力な分離公理を満たす。なお、公理という名が付いているが、自明に成立する主張といった意味ではなくコンパクト性、連結性と同じく位相空間の一つの性質である。
| 位相空間 | 名前 |
|---|---|
| <math>T_0</math> | コルモゴロフ空間 |
| <math>T_1</math> | フレシェ空間（到達可能空間） |
| <math>T_2</math> | ハウスドルフ空間 |
| <math>T_{2\frac{1}{2}}</math> | 完備ハウスドルフ空間、ウリゾ－ン空間 |
| <math>T_3</math> | 正則空間、正則ハウスドルフ空間 |
| <math>T_{3\frac{1}{2}}</math> | チコノフ空間、完全正則空間 |
| <math>T_4</math> | 正規ハウスドルフ空間 |
| <math>T_5</math> | 全部分正規ハウスドルフ空間 |
| <math>T_6</math> | 完全正規ハウスドルフ空間 |
この他の諸性質
一般の位相空間についても、連続性や収束を大枠において論じることができる。しかし、当然のことながら、ユークリッド空間がもつような「都合のよい」性質がすべての位相空間で成り立つ訳ではない。個々の位相空間を取り扱うには、その位相空間がどのような点でユークリッド空間に類似し、どのような点が違うのかを明確に知っておくことが重要である。
位相空間についての性質は、上に挙げたコンパクト性、連結性などの他にも色々考えられるが、よく用いられるものの多くはユークリッド空間について成り立つ性質の一つを取り出してきたものである。このような性質の有無を知ることにより、どのような議論がユークリッド空間と並行してできるのかを識別できる。例えば局所コンパクト性とは、各点がコンパクトな近傍をもつという性質であるが、これはユークリッド空間について成り立つ性質の一つである。しかし、この性質は整数論で用いられる<math>p</math>-進数体 <math>Q_p</math> についても成立する。一方、有理数全体 <math>Q</math> は局所コンパクトではない。
ユークリッド空間については成立しない性質の中にも注目に値するものがあり、時として利用される。たとえば、連結な部分空間が一点に限られる空間を完全不連結というが、これはユークリッド空間にはない性質である。<math>Q</math> はこの性質を満たすし、また <math>p</math>-進数体 <math>Q_p</math> もこの性質を満たす。
付加構造を持つ位相空間
位相代数的構造
任意の代数系は、その代数演算が離散位相に関して必ず連続となるから、位相代数系と看做すことができる。さらに代数系が位数有限でない場合には、その代数演算が連続になるという意味で演算と両立する十分粗い位相が存在しうる（そのうちで「自然な」位相は必ずしも一通りでない）。
よく知られた位相代数系のクラスとして、位相群、位相環および位相体、あるいは位相線型空間などがある。
位相順序構造
- スペクトル空間: 位相空間がスペクトル的となるための必要十分条件は、それが何らかの環の素スペクトルとなっていることである。
- 標準順序: 位相空間の特殊化前順序または標準前順序は、<math>x \leq y \Leftrightarrow \operatorname{Cl} (\{x\}) \subseteq \operatorname{Cl}(\{y\})</math> で定義される。
歴史
集合論の創始者ゲオルク・カントールはユークリッド空間の開集合や閉集合などについても研究したが、これが位相空間の研究のはじまりである。カントールの行ったような位相空間の古典的な研究は、点集合論と呼ばれる。その後、モーリス・フレシェはユークリッド空間から離れて距離空間において極限の概念を考察し、さらにその後フェーリクス・ハウスドルフ、カジミェシュ・クラトフスキらによって、次第に現代のような一般の位相空間の形に整えられていった。
参考文献
- Armstrong, M. A.; Basic Topology, Springer; 1st edition (May 1, 1997). ISBN 0-387-90839-0.
- Bredon, Glen E., Topology and Geometry (Graduate Texts in Mathematics), Springer; 1st edition (October 17, 1997). ISBN 0-387-97926-3.
- Bourbaki, Nicolas; Elements of Mathematics: General Topology, Addison-Wesley (1966).
- Čech, Eduard; Point Sets, Academic Press (1969).
- Fulton, William, Algebraic Topology, (Graduate Texts in Mathematics), Springer; 1st edition (September 5, 1997). ISBN 0-387-94327-7.
- Lipschutz, Seymour; Schaum's Outline of General Topology, McGraw-Hill; 1st edition (June 1, 1968). ISBN 0-07-037988-2.
- Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
- Runde, Volker; A Taste of Topology (Universitext), Springer; 1st edition (July 6, 2005). ISBN 0-387-25790-X.
- Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
- テンプレート:Cite book
脚注
- ↑ テンプレート:Lang-en-short
- ↑ テンプレート:Lang-en-short、open basis
- ↑ テンプレート:Lang-en-short、open subbasis
関連項目
外部リンク
- テンプレート:MathWorld
- テンプレート:PlanetMath
- テンプレート:Cite web（2008年度 筑波大学 トポロジーI 講義用レジュメ）
