位相空間論
このページでは、位相空間に関する基本的な一般論を解説する。集合論と解析学の初歩知識は仮定するので、おぼつかない読者は集合論や解析学基礎などを参照のこと。位相空間に関するより進んだ内容は、例えば位相幾何学などにいずれ書かれるだろう。
命題にはなるべく証明を付したが、まだ書きかけの教科書なので、証明のついていない命題もある。証明は一段下げて書いたので、事実だけをすばやく知りたいときは読み飛ばすこともできるが、はじめはなるべく証明を追うべきである。また、証明のまだついていない命題に対しては、読者は積極的に自分で証明を作りながら読み進めるべきである。
位相空間とはなにか

位相空間とは、集合に対して、「位相」というある種の構造を付加したもののことである。
位相空間とはなにか

解析学においては、点列の収束や関数の連続性といった概念はとても重要な概念であった。これらの概念はEuclid空間でしか定義されていないが、もし他の集合でも同様の概念を定義できれば、その集合上でも解析学や幾何学が展開できるだろう。位相という概念を考える動機はここにある。すなわち、Euclid空間が持っているある種の構造を抜き出して特徴づけることで、他の集合にも同様の構造を与え、同じような理論を展開しようというものである。
位相空間とはなにか

それでは、具体的にはどのような構造を与えることが必要十分なのであろうか。それを考える上で、次の命題が重要な手がかりとなる。
位相空間とはなにか

命題 実数上の関数 f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } について、次は同値である:
位相空間とはなにか

この命題からわかることは、これまで関数の連続性は「近くが近くに移る」という概念だと理解してきたが、実は「開集合の逆像が開集合である」という概念だと言い換えることができる、ということである。すなわち、「開集合」という概念さえ定義できれば、「近く」という概念を定義せずとも連続性を扱えるということである。
位相空間の定義

前節では、集合に対して「開集合」という概念を与えると、集合の間の写像に対して「連続」という概念を考えることができそうだということを見た。しかし、「開集合」という概念の与え方が滅茶苦茶であったら、純粋に論理的に見るだけならば整合性はあったとしても、実際上の意味は皆無だろう。「開集合」という概念の与え方にある程度の制限をつけておく必要がある。もちろん、その制限を与える根拠は、既に知っているEuclid空間の開集合に求められるだろう。そのように考え、次のような制限を与えることにする。
位相空間の定義

公理 集合Xのある部分集合族 O {\displaystyle {\mathcal {O}}} が次の3条件を満たすとき、 O {\displaystyle {\mathcal {O}}} はXに位相を与える、あるいは単にXの位相であるといい、集合 S ∈ O {\displaystyle S\in {\mathcal {O}}} を X の開集合という。開集合の補集合を閉集合という。集合 X と位相 O {\displaystyle {\mathcal {O}}} の組 ( X , O ) {\displaystyle (X,{\mathcal {O}})} を位相空間という。
位相空間の定義

Euclid空間における通常の意味での開集合がこの公理を満たしていることを確認されたい。Euclid空間に通常の意味での開集合を定義することで与えられる位相を、Euclid位相と呼ぶ。
位相空間の定義

注意すべきことは、同じ集合に対して異なる位相を与えることも可能であり、その場合、異なる位相を与えれば異なる位相空間とみなされるということである。例えば実数全体の集合にEuclid位相以外の位相を入れることも可能である。特に集合が有限集合の場合はその集合に何種類の位相を与えることができるかまで調べることが可能である(それを数えてもあまり意味はないが)。
位相空間の定義

この定義から直ちにわかる次の事実を示そう:
位相空間の定義

定理 ( X , O ) {\displaystyle (X,{\mathcal {O}})} を位相空間とするとき, ∅ ∈ O {\displaystyle \emptyset \in {\mathcal {O}}} が成り立つ.
位相空間の定義

証明 ⋃ ∅ = ⋃ A ∈ ∅ A = { x ∈ X ; ∃ A ∈ ∅ s.t. x ∈ A } = { x ∈ X ; ∃ A s.t. [ A ∈ ∅ ∧ x ∈ A ] } = { x ∈ X ; false } = ∅ {\displaystyle \bigcup \emptyset =\bigcup _{A\in \emptyset }A=\{\ x\in X;\ \exists \ A\in \emptyset {\text{ s.t. }}x\in A\ \}=\{\ x\in X;\ \exists \ A{\text{ s.t. }}[A\in \emptyset \wedge x\in A]\ \}=\{\ x\in X;\ {\text{false}}\ \}=\emptyset } と公理の2から明らか. ■
位相空間の定義

注意 上記の公理は, 次のものに替えることもできる:
位相空間の定義

位相空間の具体例を挙げる。先ほどから述べているように、Euclid空間に通常の意味での開集合を定義することで位相空間とみなすことができる。
位相空間の定義

例(Euclid位相) X = R n {\displaystyle X=\mathbb {R} ^{n}} において、
位相空間の定義

また、一般に、任意の集合Xに対して次のような2つの位相を与えることができることがすぐわかる。
位相空間の定義

例(離散位相) O = P ( X ) := { S ; S ⊂ X } {\displaystyle {\mathcal {O}}={\mathcal {P}}(X):=\{S;\ S\subset X\}}
位相空間の定義

例(密着位相) O = { X , ∅ } {\displaystyle {\mathcal {O}}=\{X,\emptyset \}} (これを密着位相という)
位相空間の定義

これらの位相はもっとも極端な位相の一例である。これから先「位相空間であって、さらに~~という条件を満たすもの」といって幾種類かの位相空間を特別に扱うが、しばしばEuclid位相はその性質を満たしてしまうので、その条件がいったい何を要求しているのかがわかりづらい。離散位相や密着位相はしばしばその条件を満たさないので、理解の役に立つだろう。
位相空間の定義

例(補有限位相) O = { ∅ } ∪ { S ⊂ X | # ( X ∖ S ) < ∞ } {\displaystyle {\mathcal {O}}=\{\emptyset \}\cup \{S\subset X|\#(X\setminus S)<\infty \}}
位相空間の定義

すなわち、有限集合(とX自身)を閉集合とするのである。これも位相空間の公理を満たすことが容易に確かめられる。なお、補有限位相はX自身が有限集合の場合は離散位相と一致するので、普通はXが無限集合の場合に考える。
位相空間の定義

位相空間と開集合を定義することができたので、これによって、位相空間の間の写像の連続性を定義できることになる。
位相空間の定義

定義 ( X , O X ) , ( Y , O Y ) {\displaystyle (X,{\mathcal {O}}_{X}),(Y,{\mathcal {O}}_{Y})} を位相空間とする。写像 f : X → Y {\displaystyle f\colon X\to Y} が連続であるとは、 U ∈ O Y ⇒ f − 1 [ U ] ∈ O X {\displaystyle U\in {\mathcal {O}}_{Y}\Rightarrow f^{-1}[U]\in {\mathcal {O}}_{X}} が成り立つことである。特に、写像が連続かつ全単射で、逆写像も連続なとき、同相写像という。
位相空間の定義

2つの位相空間の間に同相写像があるとき、この2つの位相空間は同相であるという。
位相空間の定義

群同型などの定義を知っている読者は、同相写像の定義に「逆写像も連続なとき」という条件がわざわざついていることに違和感を感じるかもしれない。だが群などの場合は、全単射な準同型は逆写像も必ず準同型になることが保証されるので、たまたまこのような条件が不要なるというだけである。位相空間の間の連続な全単射の逆写像は必ずしも連続になるとは限らないので、この条件がなければ2つの位相空間が同相という関係が(対称律を満たさないので)同値関係ではなくなってしまう。
位相空間の定義

例 元が2つ以上ある集合Xに離散位相を入れた空間を X d {\displaystyle X_{d}} とし、密着位相を入れた空間を X t {\displaystyle X_{t}} とする。このとき、恒等写像 id : X d → X t {\displaystyle {\text{id}}\colon X_{d}\to X_{t}} は連続であるが、逆写像 id − 1 : X t → X d {\displaystyle {\text{id}}^{-1}\colon X_{t}\to X_{d}} は連続でない。
位相空間の定義

位相空間Xとその部分集合Aについて、Aに含まれるXの開集合で(包含関係について)最大のものをAの開核または内部といい、 A ∘ {\displaystyle A^{\circ }} であらわす。また、Aを含む閉集合で最小のものをAの閉包といい、 A ̄ {\displaystyle {\overline {A}}} であらわす。また ∂ A := A ̄ ∖ A ∘ {\displaystyle \partial A:={\overline {A}}\setminus A^{\circ }} をAの境界という。また、さらに X = A ̄ {\displaystyle X={\overline {A}}} が成り立つとき、AはXで稠密であるという。
位相空間の定義

開核と閉包を用いて、開集合と閉集合を特徴づけることができる。
位相空間の定義

命題 位相空間Xの部分集合Aについて次が成り立つ。
誘導位相・部分位相・商位相

集合 X {\displaystyle X} と位相空間 ( Y , O Y ) {\displaystyle (Y,{\mathcal {O}}_{Y})} の間に写像 f : X → Y {\displaystyle f\colon X\to Y} があるとする。この状況において X {\displaystyle X} に新たに位相を与えるとすれば、どのような位相を与えるのが自然だろうか?当然、写像 f {\displaystyle f} が連続になるように与えるのが自然であろう。すなわち、
誘導位相・部分位相・商位相

O X := { f − 1 [ U ] ; U ∈ O Y } {\displaystyle {\mathcal {O}}_{X}:=\{f^{-1}[U];\ U\in {\mathcal {O}}_{Y}\}}
誘導位相・部分位相・商位相

とすればよさそうである。実際、このように定めると位相空間の公理を満たす。このようにして与えられる X {\displaystyle X} の位相を、写像 f {\displaystyle f} によって誘導される位相という。
誘導位相・部分位相・商位相

( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} を位相空間とする。Xの部分集合Sに位相を与えるには、包含写像が誘導する位相を与えるのが一般的である。すなわち、
誘導位相・部分位相・商位相

O S := { U ∩ S ; U ∈ O X } . {\displaystyle {\mathcal {O}}_{S}:=\{U\cap S;\ U\in {\mathcal {O}}_{X}\}.}
誘導位相・部分位相・商位相

このようにして定める位相を、部分位相ないしは相対位相という。以下、特に断りがなければ位相空間の部分集合には部分位相を与える。部分位相を与えられた部分空間を部分空間という。
誘導位相・部分位相・商位相

例 整数の集合 Z {\displaystyle \mathbb {Z} } はEuclid空間 R {\displaystyle \mathbb {R} } の部分集合なので、部分位相を入れることができる。この位相は離散位相と一致する。
誘導位相・部分位相・商位相

問 これを示せ。
誘導位相・部分位相・商位相

( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} を位相空間とする。Xを同値関係で割った商集合X/~に位相を与えるには、次のように与えるのが一般的である。
誘導位相・部分位相・商位相

O X / ∼ := { U ; π − 1 [ U ] ∈ O X } {\displaystyle {\mathcal {O}}_{X/\sim }:=\{U;\ \pi ^{-1}[U]\in {\mathcal {O}}_{X}\}}
誘導位相・部分位相・商位相

ただし π {\displaystyle \pi } は商集合への自然な全射である。自然な全射が連続となるように位相を定めたと理解できる。このようにして定める位相を、商位相ないし等化位相という。以下、特に断りがなければ位相空間の商集合には商位相を与える。商位相を与えられた位相空間を商空間という。
誘導位相・部分位相・商位相

例 Euclid空間 R {\displaystyle \mathbb {R} } 上の同値関係~を x ∼ y :⇔ x − y ∈ Z {\displaystyle x\sim y:\Leftrightarrow x-y\in \mathbb {Z} } で定める。このとき、商空間 R / ∼ {\displaystyle \mathbb {R} /{\sim }} は、 R 2 {\displaystyle \mathbb {R} ^{2}} の部分空間 S 1 := { ( x , y ) ∈ R 2 ; x 2 + y 2 = 1 } {\displaystyle S^{1}:=\{(x,y)\in \mathbb {R} ^{2};\ x^{2}+y^{2}=1\}} と同相である。
誘導位相・部分位相・商位相

問 これを示せ。
開集合の基と積位相

位相空間 ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})} において、Xの部分集合族 B {\displaystyle {\mathcal {B}}} の部分集合 U {\displaystyle {\mathcal {U}}} を用いて任意の開集合Uが U = ⋃ U {\displaystyle U=\bigcup {\mathcal {U}}} と表されるとき、 B {\displaystyle {\mathcal {B}}} はこの開集合系の基であるという。位相空間が高々可算の濃度からなる基を持つとき、この空間は第二可算公理を満たすという。
開集合の基と積位相

逆に、部分集合族を任意に与えたとき、その部分集合族を基とする開集合系が存在するだろうか。一般には存在しないが、部分集合族 B {\displaystyle {\mathcal {B}}} が次の条件を満たせばよい。
開集合の基と積位相

命題 集合Xの部分集合族 B {\displaystyle {\mathcal {B}}} が次の条件を満たすとき、 O := { ⋃ U ; U ⊂ B } {\displaystyle {\mathcal {O}}:=\left\{\bigcup {\mathcal {U}};\ {\mathcal {U}}\subset {\mathcal {B}}\right\}} は開集合系の公理を満たし、 B {\displaystyle {\mathcal {B}}} を基とする開集合系となる。
開集合の基と積位相

では、この条件を満たさない部分集合族から位相を構成するにはどうすればよいだろうか。そのためには、次のように修正すればよい。
開集合の基と積位相

命題 集合Xの部分集合族 B ′ {\displaystyle {\mathcal {B}}'} が ⋃ B ′ = X {\displaystyle \bigcup {\mathcal {B}}'=X} を満たすとき、 B := { ⋂ i = 1 n S i ; S i ∈ B ′ } {\displaystyle {\mathcal {B}}:=\left\{\bigcap _{i=1}^{n}S_{i};\ S_{i}\in {\mathcal {B}}'\right\}} は開集合の基となる条件を満たす。
開集合の基と積位相

すなわち、族に属する集合たちの有限個の交わりを追加するのである。このようにして作った B {\displaystyle {\mathcal {B}}} を基とする位相を B ′ {\displaystyle {\mathcal {B}}'} が生成する位相といい、 B ′ {\displaystyle {\mathcal {B}}'} をこの位相の準基という。
開集合の基と積位相

なお、 B {\displaystyle {\mathcal {B}}} が基となる条件を満たす場合、 B {\displaystyle {\mathcal {B}}} が生成する位相は B {\displaystyle {\mathcal {B}}} を基とする位相に他ならない。
開集合の基と積位相

位相空間 ( X i , O X i ) ( i = 1 , 2 , . . . ) {\displaystyle (X_{i},{\mathcal {O}}_{X_{i}})\ (i=1,2,...)} の直積に位相を入れることを考える。部分位相や商位相の場合と同じように、直積の場合は第i成分への射影 p i : X 1 × X 2 × ⋯ → X i {\displaystyle p_{i}\colon X_{1}\times X_{2}\times \cdots \to X_{i}} が連続になるような位相を入れることを目標にしたい。
開集合の基と積位相

最も安直な発想をするならば、 S := ⋃ i = 1 ∞ { p i − 1 [ U ] ; U ∈ O X i } {\displaystyle {\mathcal {S}}:=\bigcup _{i=1}^{\infty }\{p_{i}^{-1}[U];\ U\in {\mathcal {O}}_{X_{i}}\}} という集合族が考えられる。しかし、この集合族は位相空間の公理を満たさず、開集合系ではない。だが、前節で見た開集合基となるための条件は満たしている。そこで、直積集合には、 S {\displaystyle {\mathcal {S}}} によって生成される開集合系によって位相を与えることにする。このようにして与えられる位相を積位相という。以下、特に断りがなければ位相空間の直積には積位相を与える。
連結・コンパクト・Hausdorff

この項では、位相空間の中で特別なよい性質を満たすものに特別な名前を与えていく。これらの性質がどのようなものであるかをよく理解するために、本文中で与える例のほかにも、それぞれの性質を満たす位相空間と満たさない位相空間の例を作りながら読むとよいだろう。
連結・コンパクト・Hausdorff

位相空間が連結であるとは、直感的にはその空間が「繋がっている」ということである。より厳密には下のように定義される。
連結・コンパクト・Hausdorff

定義 位相空間Xが連結であるとは、Xの開かつ閉な部分集合はX自身と空集合に限ることである。
連結・コンパクト・Hausdorff

この定義が何を言わんとしているかを少し直感的に解説する。数直線 R {\displaystyle \mathbb {R} } の部分空間[0,1] ∪ [2,3]を考える。この集合は、直感的には「繋がっていない」。ところで、この集合の部分集合[0,1]は開集合であり、また[2,3]も開集合である(よくわからなければ部分位相の定義を確認せよ)。したがって、[0,1]と[2,3]は開集合であり、また閉集合でもある。ところが、直感的に見て「繋がっている」部分空間[0,1]を考えると、そのような開かつ閉な部分集合はありそうにない。以上の例から、この定義の妥当性が少しは納得できただろうか。
連結・コンパクト・Hausdorff

命題 連結集合の連続写像による像は連結である。
連結・コンパクト・Hausdorff

命題 連結集合の直積は連結である。
連結・コンパクト・Hausdorff

一方、連結集合の部分集合は連結とは限らない。 R {\displaystyle \mathbb {R} } は連結なので、先ほど挙げた例が反例になっている。
連結・コンパクト・Hausdorff

連結性とよく似た概念に、弧状連結性がある。
連結・コンパクト・Hausdorff

定義 位相空間Xが弧状連結であるとは、任意の a , b ∈ X {\displaystyle a,b\in X} に対して、ある連続写像 γ : [ 0 , 1 ] → X {\displaystyle \gamma \colon [0,1]\to X} であって γ ( 0 ) = a , γ ( 1 ) = b {\displaystyle \gamma (0)=a,\ \gamma (1)=b} を満たすものが存在すること。
連結・コンパクト・Hausdorff

つまり、位相空間Xの任意の2点を結ぶ「弧」がある、ということである。
連結・コンパクト・Hausdorff

命題 弧状連結な位相空間は連結である。
連結・コンパクト・Hausdorff

ところが、連結であっても弧状連結であるとは限らない。反例を作ってみよ。(少し難しい)
連結・コンパクト・Hausdorff

位相空間Xの開集合の族であって、 ⋃ U = X {\displaystyle \bigcup {\mathcal {U}}=X} を満たすものを開被覆という。Xの任意の開被覆が、そのうちの有限個だけをとってもやはり開被覆となっているとき、Xはコンパクトであるという。
連結・コンパクト・Hausdorff

コンパクトな集合の例と、コンパクトでない集合の例を挙げる。
連結・コンパクト・Hausdorff

例 集合Xに密着位相を入れた空間はコンパクトである。
連結・コンパクト・Hausdorff

例 有限集合はコンパクトである。
連結・コンパクト・Hausdorff

例 集合Xに補有限位相を入れた空間はコンパクトである。
連結・コンパクト・Hausdorff

例 無限集合Xに離散位相を入れた空間はコンパクトではない。
連結・コンパクト・Hausdorff

例 R {\displaystyle \mathbb {R} } の部分集合(0,1)はコンパクトではない。
連結・コンパクト・Hausdorff

また、一般に次が成り立つ。
連結・コンパクト・Hausdorff

命題 コンパクト集合の連続写像による像はコンパクト。
連結・コンパクト・Hausdorff

命題 コンパクト集合の直積はコンパクト。
連結・コンパクト・Hausdorff

命題 コンパクト集合の有限個の和集合はコンパクト。
連結・コンパクト・Hausdorff

命題 位相空間のコンパクト部分集合と閉集合の交わりはコンパクトである。
連結・コンパクト・Hausdorff

コンパクトという性質を特徴づける条件をいくつか紹介する。Euclid空間の部分集合については、次の事実(Heine-Borelの定理)がよく知られている。
連結・コンパクト・Hausdorff

定理 Euclid空間の部分集合がコンパクトであることは、有界かつ閉集合であることと同値。
連結・コンパクト・Hausdorff

この定理の証明のために、先に次の補題を示しておく。
連結・コンパクト・Hausdorff

補題 有界閉区間 I = [ a , b ] ⊂ R {\displaystyle I=[a,b]\subset \mathbb {R} } はコンパクト
連結・コンパクト・Hausdorff

特に実数上の有界閉集合は最大値と最小値を持つので、ここからコンパクト集合上の実数値連続関数は最大値・最小値を持つことが従う。
連結・コンパクト・Hausdorff

一般の位相空間については、次のことが成り立つ。
連結・コンパクト・Hausdorff

定理 位相空間Xがコンパクトならば、任意の位相空間Yに対して直積空間X×Yからの射影 p r 2 : X × Y → Y {\displaystyle pr_{2}:X\times Y\to Y} は閉集合を閉集合に写す。
連結・コンパクト・Hausdorff

この定理は逆も成り立つ(この事実はKuratowski-Mrowkaの定理と呼ばれる)。よって、「任意の位相空間Yに対して直積空間X×Yからの射影 p r 2 : X × Y → Y {\displaystyle pr_{2}:X\times Y\to Y} は閉集合を閉集合に写す」という条件は、Xがコンパクトであることを特徴づける条件になっている。
連結・コンパクト・Hausdorff

位相空間XがHausdorffであるとは、Xの任意の2点が開集合で分離されることである。より正確に述べると、
連結・コンパクト・Hausdorff

定義 位相空間XがHausdorffであるとは、 a ≠ b {\displaystyle a\neq b} なる任意の a , b ∈ X {\displaystyle a,b\in X} に対し、 a ∈ U , b ∈ V , U ∩ V = ∅ {\displaystyle a\in U,\ b\in V,\ U\cap V=\emptyset } を満たす開集合U,Vが存在することである。
連結・コンパクト・Hausdorff

Euclid空間はHausdorffであり、またHausdorff空間の部分集合、直積はHausdorffであるので、初学者がすぐに思いつくような空間でHausdorffでないものは少ないが、たとえば以下のような空間は明らかにHausdorffではない。
連結・コンパクト・Hausdorff

例 (密着位相)元が2つ以上ある集合Xに密着位相を入れた空間は、任意の元に対してその元を含む開集合はX自身しかないので、Hausdorffではない。
連結・コンパクト・Hausdorff

例 (補有限位相)無限集合に補有限位相を入れた空間は、任意の開集合の組が交わりを持つので、Hausdorffではない。
連結・コンパクト・Hausdorff

例 (有限集合)有限集合に離散位相でない位相を入れると、ある点 a {\displaystyle a} に対して { a } {\displaystyle \{a\}} は開集合ではない。この a {\displaystyle a} を元として持つような開集合は有限個なのでそのすべての交わり U {\displaystyle U} は開集合であり、ところで { a } {\displaystyle \{a\}} は開集合ではないので、 U {\displaystyle U} は a {\displaystyle a} 以外の元をもつ。この元は a {\displaystyle a} と開集合で分離できないので、この空間はHausdorffではない。
連結・コンパクト・Hausdorff

応用上扱う空間はHausdorffであることが多いので、次の2つの定理とその系は見た目以上に使い道の広い命題である。
連結・コンパクト・Hausdorff

定理 Hausdorff空間のコンパクト集合は閉集合である。
連結・コンパクト・Hausdorff

定理 コンパクト空間からHausdorff空間への連続写像は閉集合を閉集合に写す。
連結・コンパクト・Hausdorff

系 コンパクト空間からHausdorff空間への連続な全単射は同相写像である。
連結・コンパクト・Hausdorff

なおこの定理は、写像のグラフという概念を用いて次のように示すこともできる。
連結・コンパクト・Hausdorff

定義 写像 f : X → Y {\displaystyle f:X\to Y} について、直積集合X×Yの部分集合 G := { ( x , y ) ∈ X × Y | y = f ( x ) } {\displaystyle G:=\{(x,y)\in X\times Y|y=f(x)\}} を写像fのグラフという。
連結・コンパクト・Hausdorff

補題 写像 f : X → Y {\displaystyle f:X\to Y} のグラフをGとする。YがHausdorffならば、GはX×Yの閉集合である。
連結・コンパクト・Hausdorff

なおHausdorffは人名である。伝記はw:フェリックス・ハウスドルフを参照。
距離空間

Euclid位相の開集合の定義は、次のようなものであった。
距離空間

ここで、点と点の距離というものが重要な役割を果たしていることに注目してもらいたい。実は、Euclid空間に限らず、点と点の距離というものが考えられる空間であれば、Euclid空間と同様に距離を用いて位相を入れることができる。
距離空間

まず、距離という概念が満たすべき公理を考えよう。
距離空間

公理 d : X × X → R {\displaystyle d\colon X\times X\to \mathbb {R} } が距離関数(あるいは単に距離)であるとは、任意の x , y , z ∈ X {\displaystyle x,y,z\in X} について、次の4条件が成り立つことをいう:
距離空間

このとき、集合と距離関数の組(X,d)を距離空間という。
距離空間

Euclid空間の通常の距離はこの公理を当然に満たしていることを確認してほしい。他にも距離の公理を満たす例は無数にある。いくつか例を挙げる。
距離空間

例(離散距離) 任意の空でない集合Xに対して、 d : X × X → R {\displaystyle d\colon X\times X\to \mathbb {R} } を次のように定めると、距離の公理を満たしている。これを離散距離という。
距離空間

注意(宮島[1])この距離を使えば, いかなる集合も距離空間とみなすことができるが, 実用的とはいいがたい. このことは, 距離の定義の緩やかさを示しているに過ぎないのである.
距離空間

参考文献 [1] 宮島静雄 著, 『関数解析』, 横浜図書.
距離空間

例(マンハッタン距離) d : R 2 × R 2 → R {\displaystyle d\colon \mathbb {R} ^{2}\times \mathbb {R} ^{2}\to \mathbb {R} } を次のように定めると、これは距離の公理を満たしている。
距離空間

イメージとしては、マンハッタンや札幌のような、碁盤の目上に道路が配置されている街で、交差点から交差点へ移動するために通過する道路の長さのイメージである。
距離空間

最初に書いたように、距離空間には距離をもとにした位相を入れることができる。これを距離位相という。念のため、距離位相の定義を再掲しておく。
距離空間

これが位相空間の公理を満たすことを、距離の公理を用いて確認してほしい。読者自ら確認することで、距離の公理に対する理解が深まるだろう。
距離空間

距離空間は、比較的よい性質を持った位相空間である。それは、距離空間について、一般に次の命題が成り立つことからもわかるだろう。
距離空間

命題 距離空間はHausdorff
距離空間

命題 距離空間の部分集合はコンパクトならば有界
距離空間

Hausdorff空間のコンパクト部分集合は閉集合なので、距離空間のコンパクト部分集合は有界閉集合であることがわかる。しかし、逆は一般には成り立たない。Heine-Borelの定理は、この逆がEuclid空間の場合は成り立つ、ということを主張している。
距離空間

距離空間上の点列に対しては、Euclid空間の場合とまったく同様にして「収束」や「Cauchy列」といった概念を定義することができる。
距離空間

定義 距離空間 ( X , d ) {\displaystyle (X,d)} 上の点列 ( a n ) {\displaystyle (a_{n})} と点 a が
距離空間

を満たすとき、この点列は点 a に収束するといい、
距離空間

と書く。
距離空間

定義 距離空間 ( X , d ) {\displaystyle (X,d)} 上の点列 ( a n ) {\displaystyle (a_{n})} が次の性質を満たすとき、この点列はCauchy列であるという。
距離空間

距離空間上の収束する点列は必ずCauchy列であることは容易に(Euclid空間の場合とまったく同様に)確かめられる。しかし、逆は必ずしも成り立たないことが次のようにわかる。よく知られているように、任意の実数に対してその数に収束する有理数列が存在するので、適当な無理数に対してこの数列を考える。この数列は、有理数の集合に通常の距離を入れた距離空間上の点列で、しかもCauchy列であるが、有理数上には収束しない。
距離空間

そこで、逆の成り立つ距離空間には特別な名前を与えることにする。
距離空間

定義 距離空間 ( X , d ) {\displaystyle (X,d)} 上の任意のCauchy列が収束するとき、 ( X , d ) {\displaystyle (X,d)} は完備であるという。
距離空間

Euclid距離を与えられた実数の集合が完備であることはよく知られている。この性質は歴史的経緯から「実数の連続性」と呼ばれるが、近代的な位相空間の用語法では「連続性」は写像に対して考えられる概念であるから、「実数の完備性」と言ったほうがより正確だろう。
分離公理

既に述べたように、位相空間Xがハウスドルフ空間であるとは、次の命題を満たすことであった。
分離公理

この節では、この命題と類似の以下の命題たちの強弱について考察する。これらの命題は分離公理と呼ばれる。分離公理は他にも様々なものがあるが、ここでは(T2)の他に以下の3つの命題を考えることにする。
分離公理

(T2)を満たす位相空間をハウスドルフ空間という。(T1)と(T3)を満たす位相空間を正則空間という。(T1)と(T4)を満たす位相空間を正規空間という。
分離公理

まず、公理(T1)について考える。(T2)を満たす空間が(T1)を満たすことは明らかである。すなわち、次が成り立つ。
分離公理

定理 ハウスドルフ空間は公理(T1)を満たす。
分離公理

ここで(T1)は次に挙げる命題(T1)'と同値であることに注意する。
分離公理

定理 位相空間Xが公理(T1)を満たすことは、次の命題を満たすことと同値
分離公理

(証明)
分離公理

この定理を認めると、次のことがただちにわかる。
分離公理

系 正規空間は正則空間である。
分離公理

系 正則空間はハウスドルフ空間である。
分離公理

つまり、正規⇒正則⇒ハウスドルフ⇒(T1)という強弱の関係があることがわかった。
分離公理

前節では、正規であるという条件が比較的強い条件であることがわかった。この節では、位相空間が正規であるための十分条件をいくつか挙げる。
分離公理

定理 コンパクトハウスドルフ空間は正規空間である。
分離公理

定理 距離空間は正規空間である。
分離公理

この定理の証明のために、次のような写像を準備する。距離空間Xの元xと部分集合Aに対し、 d ( x , A ) = inf y ∈ A d ( x , y ) {\displaystyle d(x,A)=\inf _{y\in A}d(x,y)} とする。
分離公理

補題 A ⊂ X {\displaystyle A\subset X} とするとき、写像 d ( − , A ) : X → R + ∪ { 0 } {\displaystyle d(-,A):X\to \mathbb {R} ^{+}\cup \{0\}} を x ↦ d ( x , A ) {\displaystyle x\mapsto d(x,A)} で定めると、この写像は連続である。また、特にAが閉集合ならば、 x ∈ A ⇔ d ( x , A ) = 0 {\displaystyle x\in A\Leftrightarrow d(x,A)=0} である。
分離公理

である。よって、 d ( − , A ) {\displaystyle d(-,A)} は連続である。
分離公理

これを用いて、距離空間の正規性を証明する。
分離公理

次に本節では、弱い公理を満たすが強い公理を満たさない反例となる位相空間を挙げてみよう。
分離公理

命題 無限集合に補有限位相を入れた空間をXとすると、Xは公理(T1)を満たすがハウスドルフ空間ではない。
分離公理

命題 実数の集合 R {\displaystyle \mathbb {R} } に次のように通常とは異なる位相を入れた空間Xを考える。 U ⊂ R {\displaystyle U\subset \mathbb {R} } が開集合であるとは、 R {\displaystyle \mathbb {R} } の通常の位相における開集合Vと、自然数の集合のある部分集合 K ⊂ N {\displaystyle K\subset \mathbb {N} } を用いて、 U = V ∖ { 1 n | n ∈ K } {\displaystyle U=V\setminus \left\{{\frac {1}{n}}|n\in K\right\}} と書けることであるとする。この空間Xはハウスドルフ空間だが正則空間ではない。
分離公理

これらの他に、ゾルゲンフライ平面と呼ばれる位相空間が、正則空間だが正規空間ではない位相空間の例として知られているが、ここでは詳しく触れない。