このページでは、位相空間に関する基本的な一般論を解説する。集合論と解析学の初歩知識は仮定するので、おぼつかない読者は集合論や解析学基礎などを参照のこと。位相空間に関するより進んだ内容は、例えば位相幾何学などにいずれ書かれるだろう。
命題にはなるべく証明を付したが、まだ書きかけの教科書なので、証明のついていない命題もある。証明は一段下げて書いたので、事実だけをすばやく知りたいときは読み飛ばすこともできるが、はじめはなるべく証明を追うべきである。また、証明のまだついていない命題に対しては、読者は積極的に自分で証明を作りながら読み進めるべきである。
位相空間とは、集合に対して、「位相」というある種の構造を付加したもののことである。
解析学においては、点列の収束や関数の連続性といった概念はとても重要な概念であった。これらの概念はEuclid空間でしか定義されていないが、もし他の集合でも同様の概念を定義できれば、その集合上でも解析学や幾何学が展開できるだろう。位相という概念を考える動機はここにある。すなわち、Euclid空間が持っているある種の構造を抜き出して特徴づけることで、他の集合にも同様の構造を与え、同じような理論を展開しようというものである。
それでは、具体的にはどのような構造を与えることが必要十分なのであろうか。それを考える上で、次の命題が重要な手がかりとなる。
命題実数上の関数 f \colon \mathbb{R} \to \mathbb{R} について、次は同値である:
1⇒2: ''f'' を連続関数、''U'' を開集合とする。x_0 \in f^{-1}[U]を任意にとり、y_0=f(x_0)とする。y_0 \in Uであり、''U''は開集合なので、ある \varepsilon>0が存在して、|y-y_0|<\varepsilon \Rightarrow y \in Uである。''f''は連続なので、この \varepsilonに対してある \deltaが存在して、|x-x_0|<\delta \Rightarrow |f(x)-y_0|<\varepsilonである。すなわち、|x-x_0|<\delta \Rightarrow x \in f^{-1}[U]である。したがって、f^{-1}[U]は開集合である。
この命題からわかることは、これまで関数の連続性は「近くが近くに移る」という概念だと理解してきたが、実は「開集合の逆像が開集合である」という概念だと言い換えることができる、ということである。すなわち、「開集合」という概念さえ定義できれば、「近く」という概念を定義せずとも連続性を扱えるということである。
前節では、集合に対して「開集合」という概念を与えると、集合の間の写像に対して「連続」という概念を考えることができそうだということを見た。しかし、「開集合」という概念の与え方が滅茶苦茶であったら、純粋に論理的に見るだけならば整合性はあったとしても、実際上の意味は皆無だろう。「開集合」という概念の与え方にある程度の制限をつけておく必要がある。もちろん、その制限を与える根拠は、既に知っているEuclid空間の開集合に求められるだろう。そのように考え、次のような制限を与えることにする。
公理集合Xのある部分集合族 \mathcal{O}が次の3条件を満たすとき、\mathcal{O}はXに位相を与える、あるいは単にXの位相であるといい、集合 S \in \mathcal{O}を ''X'' の開集合という。開集合の補集合を閉集合という。集合 ''X'' と位相\mathcal{O}の組(X,\mathcal{O})を位相空間という。
Euclid空間における通常の意味での開集合がこの公理を満たしていることを確認されたい。Euclid空間に通常の意味での開集合を定義することで与えられる位相を、Euclid位相と呼ぶ。
注意すべきことは、同じ集合に対して異なる位相を与えることも可能であり、その場合、異なる位相を与えれば異なる位相空間とみなされるということである。例えば実数全体の集合にEuclid位相以外の位相を入れることも可能である。特に集合が有限集合の場合はその集合に何種類の位相を与えることができるかまで調べることが可能である（それを数えてもあまり意味はないが）。
この定義から直ちにわかる次の事実を示そう:
定理(X,\mathcal{O}) を位相空間とするとき, \emptyset \in \mathcal{O} が成り立つ.
証明\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=\mathbb{R}^nにおいて、
また、一般に、任意の集合''X''に対して次のような2つの位相を与えることができることがすぐわかる。
例（離散位相）
\mathcal{O} = \mathcal{P}(X):=\{ S;\ S \subset X \} 
例（密着位相）
\mathcal{O} = \{ X , \emptyset \} （これを密着位相という）
これらの位相はもっとも極端な位相の一例である。これから先「位相空間であって、さらに～～という条件を満たすもの」といって幾種類かの位相空間を特別に扱うが、しばしばEuclid位相はその性質を満たしてしまうので、その条件がいったい何を要求しているのかがわかりづらい。離散位相や密着位相はしばしばその条件を満たさないので、理解の役に立つだろう。
例（補有限位相）
\mathcal{O}=\{\emptyset\} \cup \{S \subset X | \#(X \setminus S)<\infty \}
すなわち、有限集合（と''X''自身）を閉集合とするのである。これも位相空間の公理を満たすことが容易に確かめられる。なお、補有限位相は''X''自身が有限集合の場合は離散位相と一致するので、普通は''X''が無限集合の場合に考える。
位相空間と開集合を定義することができたので、これによって、位相空間の間の写像の連続性を定義できることになる。
定義(X,\mathcal{O}_X),(Y,\mathcal{O}_Y)を位相空間とする。写像f \colon X \to Yが連続であるとは、U \in \mathcal{O}_Y \Rightarrow f^{-1}[U] \in \mathcal{O}_Xが成り立つことである。特に、写像が連続かつ全単射で、逆写像も連続なとき、同相写像という。
2つの位相空間の間に同相写像があるとき、この2つの位相空間は同相であるという。
群同型などの定義を知っている読者は、同相写像の定義に「逆写像も連続なとき」という条件がわざわざついていることに違和感を感じるかもしれない。だが群などの場合は、全単射な準同型は逆写像も必ず準同型になることが保証されるので、たまたまこのような条件が不要なるというだけである。位相空間の間の連続な全単射の逆写像は必ずしも連続になるとは限らないので、この条件がなければ2つの位相空間が同相という関係が（対称律を満たさないので）同値関係ではなくなってしまう。
例元が2つ以上ある集合''X''に離散位相を入れた空間をX_dとし、密着位相を入れた空間をX_tとする。このとき、恒等写像 \text{id} \colon X_d \to X_t は連続であるが、逆写像 \text{id}^{-1} \colon X_t \to X_dは連続でない。
位相空間Xとその部分集合Aについて、Aに含まれるXの開集合で（包含関係について）最大のものをAの開核または内部といい、A^\circであらわす。また、Aを含む閉集合で最小のものをAの閉包といい、\overline{A}であらわす。また \partial A:=\overline{A} \setminus A^\circをAの境界という。また、さらに X=\overline{A}が成り立つとき、AはXで稠密であるという。
開核と閉包を用いて、開集合と閉集合を特徴づけることができる。
命題位相空間Xの部分集合Aについて次が成り立つ。
集合Xと位相空間(Y,\mathcal{O}_Y)の間に写像f \colon X \to Y があるとする。この状況においてXに新たに位相を与えるとすれば、どのような位相を与えるのが自然だろうか？当然、写像fが連続になるように与えるのが自然であろう。すなわち、
\mathcal{O}_X:=\{f^{-1}[U];\ U \in \mathcal{O}_Y\}
とすればよさそうである。実際、このように定めると位相空間の公理を満たす。このようにして与えられるXの位相を、写像fによって誘導される位相という。
(X,\mathcal{O}_X)を位相空間とする。Xの部分集合Sに位相を与えるには、包含写像が誘導する位相を与えるのが一般的である。すなわち、
\mathcal{O}_S:= \{ U \cap S;\ U \in \mathcal{O}_X \}.
このようにして定める位相を、部分位相ないしは相対位相という。以下、特に断りがなければ位相空間の部分集合には部分位相を与える。部分位相を与えられた部分空間を部分空間という。
例 整数の集合\mathbb{Z}はEuclid空間\mathbb{R}の部分集合なので、部分位相を入れることができる。この位相は離散位相と一致する。
問 これを示せ。
(X,\mathcal{O}_X)を位相空間とする。Xを同値関係で割った商集合X/～に位相を与えるには、次のように与えるのが一般的である。
\mathcal{O}_{X/\sim} := \{ U;\  \pi ^{-1} [U] \in \mathcal{O}_X \}
ただし\piは商集合への自然な全射である。自然な全射が連続となるように位相を定めたと理解できる。このようにして定める位相を、商位相ないし等化位相という。以下、特に断りがなければ位相空間の商集合には商位相を与える。商位相を与えられた位相空間を商空間という。
例 Euclid空間\mathbb{R}上の同値関係～を x \sim y :\Leftrightarrow x-y \in \mathbb{Z}で定める。このとき、商空間\mathbb{R}/{\sim}は、\mathbb{R}^2の部分空間 S^1:=\{(x,y)\in\mathbb{R}^2;\ x^2+y^2=1\}と同相である。
問 これを示せ。
位相空間 (X,\mathcal{O}_X) において、''X''の部分集合族 \mathcal{B} の部分集合 \mathcal{U} を用いて任意の開集合''U''が U=\bigcup \mathcal{U} と表されるとき、\mathcal{B}はこの開集合系の基であるという。位相空間が高々可算の濃度からなる基を持つとき、この空間は第二可算公理を満たすという。
逆に、部分集合族を任意に与えたとき、その部分集合族を基とする開集合系が存在するだろうか。一般には存在しないが、部分集合族\mathcal{B}が次の条件を満たせばよい。
命題集合''X''の部分集合族 \mathcal{B} が次の条件を満たすとき、\mathcal{O}:=\left\{ \bigcup \mathcal{U};\  \mathcal{U}\subset\mathcal{B} \right\}は開集合系の公理を満たし、\mathcal{B}を基とする開集合系となる。
では、この条件を満たさない部分集合族から位相を構成するにはどうすればよいだろうか。そのためには、次のように修正すればよい。
命題集合''X''の部分集合族\mathcal{B}'が\bigcup\mathcal{B}'=Xを満たすとき、\mathcal{B}:=\left\{\bigcap_{i=1}^{n}S_i;\ S_i \in \mathcal{B}' \right\}は開集合の基となる条件を満たす。
すなわち、族に属する集合たちの有限個の交わりを追加するのである。このようにして作った\mathcal{B}を基とする位相を\mathcal{B}'が生成する位相といい、\mathcal{B}'をこの位相の準基という。
なお、\mathcal{B}が基となる条件を満たす場合、\mathcal{B}が生成する位相は\mathcal{B}を基とする位相に他ならない。
位相空間(X_i,\mathcal{O}_{X_i}) \ (i=1,2,...)の直積に位相を入れることを考える。部分位相や商位相の場合と同じように、直積の場合は第i成分への射影p_i \colon X_1 \times X_2 \times \cdots \to X_iが連続になるような位相を入れることを目標にしたい。
最も安直な発想をするならば、\mathcal{S} := \bigcup_{i=1}^\infty \{ p_i^{-1}[U];\ U \in \mathcal{O}_{X_i} \}という集合族が考えられる。しかし、この集合族は位相空間の公理を満たさず、開集合系ではない。だが、前節で見た開集合基となるための条件は満たしている。そこで、直積集合には、\mathcal{S}によって生成される開集合系によって位相を与えることにする。このようにして与えられる位相を積位相という。以下、特に断りがなければ位相空間の直積には積位相を与える。
この項では、位相空間の中で特別なよい性質を満たすものに特別な名前を与えていく。これらの性質がどのようなものであるかをよく理解するために、本文中で与える例のほかにも、それぞれの性質を満たす位相空間と満たさない位相空間の例を作りながら読むとよいだろう。
位相空間が連結であるとは、直感的にはその空間が「繋がっている」ということである。より厳密には下のように定義される。
定義位相空間Xが連結であるとは、Xの開かつ閉な部分集合はX自身と空集合に限ることである。
この定義が何を言わんとしているかを少し直感的に解説する。数直線\mathbb{R}の部分空間[0,1] ∪ [2,3]を考える。この集合は、直感的には「繋がっていない」。ところで、この集合の部分集合[0,1]は開集合であり、また[2,3]も開集合である（よくわからなければ部分位相の定義を確認せよ）。したがって、[0,1]と[2,3]は開集合であり、また閉集合でもある。ところが、直感的に見て「繋がっている」部分空間[0,1]を考えると、そのような開かつ閉な部分集合はありそうにない。以上の例から、この定義の妥当性が少しは納得できただろうか。
命題連結集合の連続写像による像は連結である。
命題連結集合の直積は連結である。
一方、連結集合の部分集合は連結とは限らない。\mathbb{R}は連結なので、先ほど挙げた例が反例になっている。
連結性とよく似た概念に、弧状連結性がある。
定義位相空間Xが弧状連結であるとは、任意の a,b \in Xに対して、ある連続写像 \gamma \colon [0,1] \to Xであって\gamma(0)=a,\ \gamma(1)=bを満たすものが存在すること。
つまり、位相空間Xの任意の2点を結ぶ「弧」がある、ということである。
命題弧状連結な位相空間は連結である。
ところが、連結であっても弧状連結であるとは限らない。反例を作ってみよ。（少し難しい）
位相空間Xの開集合の族であって、\bigcup \mathcal{U} = Xを満たすものを開被覆という。Xの任意の開被覆が、そのうちの有限個だけをとってもやはり開被覆となっているとき、Xはコンパクトであるという。
コンパクトな集合の例と、コンパクトでない集合の例を挙げる。
例集合''X''に密着位相を入れた空間はコンパクトである。
（証明）開被覆は\{X\}だけであり、これ自身有限部分被覆である。
例有限集合はコンパクトである。
例集合''X''に補有限位相を入れた空間はコンパクトである。
開被覆\mathcal{U}を任意にとり、空でない開集合U_0 \in \mathcal{U}をひとつとる。X \setminus U_0は有限集合なので、X \setminus U_0=\{x_1,x_2,\cdots,x_n\}とする。\mathcal{U}は開被覆なので、各x_iに対してその元を含む開集合U_i \in \mathcal{U}が存在する。このとき、\{U_i\}_{i=0,1,2,\cdots,n}は\mathcal{U}の有限部分被覆である。
例無限集合''X''に離散位相を入れた空間はコンパクトではない。
（証明） \mathcal{U}=\{\ \{x\};\ x \in X\ \}は''X''の開被覆だが、有限の部分被覆を持たない。
例\mathbb{R}の部分集合(0,1)はコンパクトではない。
また、一般に次が成り立つ。
命題コンパクト集合の連続写像による像はコンパクト。
命題コンパクト集合の直積はコンパクト。
命題コンパクト集合の有限個の和集合はコンパクト。
命題位相空間のコンパクト部分集合と閉集合の交わりはコンパクトである。
コンパクトという性質を特徴づける条件をいくつか紹介する。Euclid空間の部分集合については、次の事実（Heine-Borelの定理）がよく知られている。
定理Euclid空間の部分集合がコンパクトであることは、有界かつ閉集合であることと同値。
この定理の証明のために、先に次の補題を示しておく。
補題有界閉区間I=[a,b] \subset \mathbb{R}はコンパクト
S \subset \mathbb{R}^nがコンパクトであるとする。このとき、''S''はHausdorff空間のコンパクト部分集合なので、閉集合である（次節参照）。また正の実数''r''に対してB_r=\{x \in \mathbb{R}^n|||x||とすると、\{B_r\}_{r>0}は''S''の開被覆なので、有限部分被覆\{B_{r_i}\}_{i=1,2,\cdots,m}を持つ。このとき、''S''の任意の元''x''について||x||<\max_{i=1,2,\cdots,m}r_iなので、''S''は有界である。
特に実数上の有界閉集合は最大値と最小値を持つので、ここからコンパクト集合上の実数値連続関数は最大値・最小値を持つことが従う。
一般の位相空間については、次のことが成り立つ。
定理位相空間''X''がコンパクトならば、任意の位相空間''Y''に対して直積空間''X''×''Y''からの射影pr_2:X \times Y \to Yは閉集合を閉集合に写す。
この定理は逆も成り立つ（この事実はKuratowski-Mrowkaの定理と呼ばれる）。よって、「任意の位相空間''Y''に対して直積空間''X''×''Y''からの射影pr_2:X \times Y \to Yは閉集合を閉集合に写す」という条件は、''X''がコンパクトであることを特徴づける条件になっている。
位相空間XがHausdorffであるとは、Xの任意の2点が開集合で分離されることである。より正確に述べると、
定義位相空間XがHausdorffであるとは、a \neq bなる任意のa,b \in Xに対し、a \in U,\ b \in V,\ U \cap V = \emptysetを満たす開集合U,Vが存在することである。
Euclid空間はHausdorffであり、またHausdorff空間の部分集合、直積はHausdorffであるので、初学者がすぐに思いつくような空間でHausdorffでないものは少ないが、たとえば以下のような空間は明らかにHausdorffではない。
例（密着位相）元が2つ以上ある集合''X''に密着位相を入れた空間は、任意の元に対してその元を含む開集合は''X''自身しかないので、Hausdorffではない。
例（補有限位相）無限集合に補有限位相を入れた空間は、任意の開集合の組が交わりを持つので、Hausdorffではない。
例（有限集合）有限集合に離散位相でない位相を入れると、ある点aに対して\{a\}は開集合ではない。このaを元として持つような開集合は有限個なのでそのすべての交わりUは開集合であり、ところで\{a\}は開集合ではないので、Uはa以外の元をもつ。この元はaと開集合で分離できないので、この空間はHausdorffではない。
応用上扱う空間はHausdorffであることが多いので、次の2つの定理とその系は見た目以上に使い道の広い命題である。
定理Hausdorff空間のコンパクト集合は閉集合である。
定理コンパクト空間からHausdorff空間への連続写像は閉集合を閉集合に写す。
系コンパクト空間からHausdorff空間への連続な全単射は同相写像である。
なおこの定理は、写像のグラフという概念を用いて次のように示すこともできる。
定義写像f:X \to Yについて、直積集合''X''×''Y''の部分集合G:=\{(x,y) \in X \times Y|y=f(x)\}を写像''f''のグラフという。
補題写像f:X \to Yのグラフを''G''とする。''Y''がHausdorffならば、''G''は''X''×''Y''の閉集合である。
なおHausdorffは人名である。伝記はフェリックス・ハウスドルフを参照。
Euclid位相の開集合の定義は、次のようなものであった。
ここで、点と点の距離というものが重要な役割を果たしていることに注目してもらいたい。実は、Euclid空間に限らず、点と点の距離というものが考えられる空間であれば、Euclid空間と同様に距離を用いて位相を入れることができる。
まず、距離という概念が満たすべき公理を考えよう。
公理d \colon X \times X \to \mathbb{R}が距離関数（あるいは単に距離）であるとは、任意の x,y,z \in Xについて、次の4条件が成り立つことをいう:
このとき、集合と距離関数の組(X,d)を距離空間という。
Euclid空間の通常の距離はこの公理を当然に満たしていることを確認してほしい。他にも距離の公理を満たす例は無数にある。いくつか例を挙げる。
例（離散距離）
任意の空でない集合Xに対して、d \colon X \times X \to \mathbb{R}を次のように定めると、距離の公理を満たしている。これを離散距離という。
\begin{cases}
1, & x \ne y, \\
0, & x = y.
\end{cases}
注意（宮島[1]）この距離を使えば, いかなる集合も距離空間とみなすことができるが, 実用的とはいいがたい. このことは, 距離の定義の緩やかさを示しているに過ぎないのである.
参考文献[1] 宮島静雄 著, 『関数解析』, 横浜図書.
例（マンハッタン距離）
d \colon \mathbb{R}^2 \times \mathbb{R}^2 \to \mathbb{R}を次のように定めると、これは距離の公理を満たしている。
イメージとしては、マンハッタンや札幌のような、碁盤の目上に道路が配置されている街で、交差点から交差点へ移動するために通過する道路の長さのイメージである。
最初に書いたように、距離空間には距離をもとにした位相を入れることができる。これを距離位相という。念のため、距離位相の定義を再掲しておく。
これが位相空間の公理を満たすことを、距離の公理を用いて確認してほしい。読者自ら確認することで、距離の公理に対する理解が深まるだろう。
距離空間は、比較的よい性質を持った位相空間である。それは、距離空間について、一般に次の命題が成り立つことからもわかるだろう。
命題距離空間はHausdorff
命題距離空間の部分集合はコンパクトならば有界
Hausdorff空間のコンパクト部分集合は閉集合なので、距離空間のコンパクト部分集合は有界閉集合であることがわかる。しかし、逆は一般には成り立たない。Heine-Borelの定理は、この逆がEuclid空間の場合は成り立つ、ということを主張している。
距離空間上の点列に対しては、Euclid空間の場合とまったく同様にして「収束」や「Cauchy列」といった概念を定義することができる。
定義距離空間(X,d)上の点列(a_n)と点 ''a'' が
を満たすとき、この点列は点 ''a'' に収束するといい、
と書く。
定義距離空間(X,d)上の点列(a_n)が次の性質を満たすとき、この点列はCauchy列であるという。
距離空間上の収束する点列は必ずCauchy列であることは容易に（Euclid空間の場合とまったく同様に）確かめられる。しかし、逆は必ずしも成り立たないことが次のようにわかる。よく知られているように、任意の実数に対してその数に収束する有理数列が存在するので、適当な無理数に対してこの数列を考える。この数列は、有理数の集合に通常の距離を入れた距離空間上の点列で、しかもCauchy列であるが、有理数上には収束しない。
そこで、逆の成り立つ距離空間には特別な名前を与えることにする。
定義距離空間(X,d)上の任意のCauchy列が収束するとき、(X,d)は完備であるという。
Euclid距離を与えられた実数の集合が完備であることはよく知られている。この性質は歴史的経緯から「実数の連続性」と呼ばれるが、近代的な位相空間の用語法では「連続性」は写像に対して考えられる概念であるから、「実数の完備性」と言ったほうがより正確だろう。
既に述べたように、位相空間''X''がハウスドルフ空間であるとは、次の命題を満たすことであった。
(T2)：a \neq bなる任意のa,b \in Xに対し、a \in U,\ b \in V,\ U \cap V = \emptysetを満たす開集合''U'',''V''が存在する。
この節では、この命題と類似の以下の命題たちの強弱について考察する。これらの命題は分離公理と呼ばれる。分離公理は他にも様々なものがあるが、ここでは(T2)の他に以下の3つの命題を考えることにする。
(T1)：a \neq bなる任意のa,b \in Xに対し、a \in U,b \notin Uを満たす開集合''U''が存在する。
(T3)：任意の閉集合''F''とa \notin Fなる任意のa \in Xに対して、F \subset U, a \in V, U \cap V=\emptysetを満たす開集合''U'',''V''が存在する。
(T4)：F \cap G=\emptysetなる任意の閉集合''F'',''G''に対して、F\subset U,G \subset V,U \cap V=\emptysetを満たす開集合''U'',''V''が存在する。
(T2)を満たす位相空間をハウスドルフ空間という。(T1)と(T3)を満たす位相空間を正則空間という。(T1)と(T4)を満たす位相空間を正規空間という。
まず、公理(T1)について考える。(T2)を満たす空間が(T1)を満たすことは明らかである。すなわち、次が成り立つ。
定理ハウスドルフ空間は公理(T1)を満たす。
ここで(T1)は次に挙げる命題(T1)'と同値であることに注意する。
定理位相空間''X''が公理(T1)を満たすことは、次の命題を満たすことと同値
(T1)'：任意の点x \in Xについて、\{x\} \subset Xは''X''の閉集合である。
（証明）
''X''が(T1)を満たすとき、y \ne xとすると、y \in U_y,x \notin U_yなる開集合U_yが存在する。\{x\}=X \setminus \bigcup_{y \ne x} U_yなので、これは閉集合である。よって''X''は公理(T1)'を満たす。
この定理を認めると、次のことがただちにわかる。
系正規空間は正則空間である。
系正則空間はハウスドルフ空間である。
つまり、正規⇒正則⇒ハウスドルフ⇒(T1)という強弱の関係があることがわかった。
前節では、正規であるという条件が比較的強い条件であることがわかった。この節では、位相空間が正規であるための十分条件をいくつか挙げる。
定理コンパクトハウスドルフ空間は正規空間である。
''X''をコンパクトハウスドルフ空間とする。ハウスドルフ空間は公理(T1)を満たすので、(T4)について確認すればよい。''F'',''G''をF \cap G=\emptysetを満たす''X''の閉集合とする。''F'',''G''はコンパクト空間の閉集合なのでコンパクトである。
x \in F,y \in Gを任意にとると、''X''はハウスドルフなので、x \in U_{x,y},y \in V_{x,y},U_{x,y} \cap V_{x,y}=\emptysetを満たす開集合U_{x,y},V_{x,y}が取れる。\{V_{x,y}|y \in G \}は''G''の開被覆で、''G''はコンパクトなので、有限部分被覆\{V_{x,y_i}|i=1,2,\cdots,n\}が取れる。このとき、U_x=\bigcap_{i=1}^n U_{x,y_i},V_x=\bigcup_{i=1}^n V_{x,y_i}は開集合である。
定理距離空間は正規空間である。
この定理の証明のために、次のような写像を準備する。距離空間''X''の元''x''と部分集合''A''に対し、d(x,A)=\inf_{y \in A} d(x,y)とする。
補題A \subset Xとするとき、写像d(-,A):X \to \mathbb{R}^+ \cup \{0\}をx \mapsto d(x,A)で定めると、この写像は連続である。また、特に''A''が閉集合ならば、x \in A \Leftrightarrow d(x,A)=0である。
である。よって、d(-,A)は連続である。
x \in Aのとき、\inf_{y \in A} d(x,y)=d(x,x)=0である。
これを用いて、距離空間の正規性を証明する。
''X''を距離空間とする。距離空間はハウスドルフなので公理(T1)を満たす。よって公理(T4)について確認すればよい。''F'',''G''をF \cap G=\emptysetなる''X''の閉集合とする。
次に本節では、弱い公理を満たすが強い公理を満たさない反例となる位相空間を挙げてみよう。
命題無限集合に補有限位相を入れた空間を''X''とすると、''X''は公理(T1)を満たすがハウスドルフ空間ではない。
異なる2点a,b \in Xを任意にとる。U=\{x \in X|x \ne b\}とすると''U''は開集合であり、a \in U,b \notin Uを満たす。よって''X''は公理(T1)を満たす。
命題実数の集合\mathbb{R}に次のように通常とは異なる位相を入れた空間''X''を考える。U \subset \mathbb{R}が開集合であるとは、\mathbb{R}の通常の位相における開集合''V''と、自然数の集合のある部分集合K \subset \mathbb{N}を用いて、U=V \setminus \left\{\frac{1}{n}|n \in K\right\}と書けることであるとする。この空間''X''はハウスドルフ空間だが正則空間ではない。
通常の位相における開集合は''X''でも開集合であり、\mathbb{R}の異なる2点は通常の位相における開集合によって分離できるので、''X''はハウスドルフである。
これらの他に、ゾルゲンフライ平面と呼ばれる位相空間が、正則空間だが正規空間ではない位相空間の例として知られているが、ここでは詳しく触れない。