位相空間

テンプレート:Otheruses テンプレート:Pathnav テンプレート:Wikibooks 数学における位相空間（いそうくうかん、テンプレート:Lang-en）とは、集合テンプレート:Mvarに位相（テンプレート:Lang）と呼ばれる構造を付け加えたもので、この構造はテンプレート:Mvar上に収束性の概念を定義するのに必要十分なものである。

位相空間の諸性質を研究する数学の分野を位相空間論と呼ぶ。

概要

位相空間は、前述のように集合に「位相」という構造を付け加えたもので、この構造により、例えば以下の概念が定義可能となる

• 部分集合の内部、外部、境界
• 点の近傍
• 収束性
• 開集合、閉集合、閉包

実はこれらの概念はいわば「同値」で、これらの概念のうちいずれか一つを定式化すれば、残りの概念はそこから定義できる事が知られている。したがって集合上の位相構造は、これらのうちいずれか１つを定式化する事により定義できる。そこで学部レベルの多くの教科書では、数学的に扱いやすい開集合の概念をもとに位相構造を定義するものが多い。

その他にも

• 位相空間から位相空間への写像の連続性
• 連結性

といった概念も位相構造を用いて定義できる。

上述した概念はいずれも元々距離空間のような幾何学的な対象に対して定義されたものだが、距離が定義されていなくても位相構造さえ定義できれば定式化できる。これにより、位相空間の概念は、幾何学はもちろん解析学や代数学でも応用されており、位相空間論はこうした数学の諸分野の研究の基礎を与える。位相空間の概念の利点の一つは、解析学や代数学などの研究対象に幾何学的な直観を与えることにある。

このような観点からみたとき、位相空間論の目標の一つは、ユークリッド空間など幾何学の対象に対して成り立つ諸性質を解析学などにも一般化することにある。従って学部レベルで学ぶ位相空間論の性質の多くは、ユークリッド空間などの幾何学的な対象では自明に成り立つ(例えば各種分離公理や可算公理)。

位相空間論ではこうした幾何学的な性質をいかに一般の空間へと拡張するかが問われるので、位相空間の概念自身は非常に弱く、かつ抽象的に定義される。しかしその分個別の用途では必要な性質が満たされないこともあり、例えば位相空間上では収束の一意性は保証されない。そこで必要に応じて、位相空間にプラスアルファの性質を付け加えたものが研究対象になることも多い。前述した収束の一意性は、位相空間に「ハウスドルフ性」という性質を加えると成立する。学部レベルの位相空間論の目標の一つは、こうしたプラスアルファの性質の代表的なものを学ぶ事にある。

距離空間$({ℝ}^2,d_p)$の原点の1-近傍をテンプレート:Math（上の図）、テンプレート:Math（中央の図）、テンプレート:Math（下の図）に対して図示したもの。これらはそれぞれユークリッド距離、マンハッタン距離、チェビシェフ距離と呼ばれる。

位相空間と距離空間

位相空間となる代表的な空間としては、ユークリッド空間をはじめとした距離空間がある。距離空間は必ず位相空間になるが、逆は必ずしも正しくない。すなわち、距離構造は位相的構造よりも遥かに多くの情報を持った強い概念であり、距離空間としては異なっても位相空間としては同一の空間になることもある。

例えばテンプレート:Mathを固定して実数空間${ℝ}^n$上にℓ^p距離

$d_p(x,y)=\sqrt[p]{(x_1-y_1{)}^p+\cdots (x_n-y_n{)}^p}$

を入れた距離空間$({ℝ}^n,d_p)$を考えてみると、ε-N論法やε-δ論法による極限の議論で用いるε-近傍はテンプレート:Mvarに依存して異なるにもかかわらず、収束の有無や収束先の点はテンプレート:Mvarによらず一致する。

より一般に、ユークリッド空間をゴム膜のように連続変形したものは、元のユークリッド空間とは距離空間としては異なるが、位相空間としては同一であり、収束するか否かという性質も互いに保たれて不変である。

以上のように、連続性や収束性といった概念を考えたり、連続変形を対象とした研究を行ったりするときには、距離空間の概念は柔軟性に欠けるところがあり、位相空間というより弱い概念を考える積極的動機の一つとなる。

他にも例えば多様体を定義する際には複数の距離空間(ユークリッド空間の開集合)を連続写像で「張り合わせる」(商空間)が、張り合わせに際して元の空間の距離構造を壊してしまうので、元の空間を距離空間とみなすより、位相空間とみなす方が自然である。

応用分野

コーヒーカップからドーナツ（トーラス）への連続変形（同相写像の一種）とその逆

位相空間の概念の代表的な応用分野に位相幾何学がある。これは曲面をはじめとした幾何学的な空間（主に有限次元の多様体や単体的複体）の位相空間としての性質を探る分野である。前述のようにゴム膜のように連続変形しても位相空間としての構造は変わらないので、球面と楕円体は同じ空間であるが、トーラスは球面とは異なる位相空間である事が知られている。位相幾何学では、位相空間としての構造に着目して空間を分類したり、分類に必要な不変量(位相不変量)を定義したりする。

位相空間の概念は代数学や解析学でも有益である。例えば無限次元ベクトル空間を扱う関数解析学の理論を見通しよく展開するにはベクトル空間に位相を入れて位相空間の一般論を用いることが必須であるし（位相線型空間）、代数幾何学で用いられるザリスキ位相は、通常、距離から定めることのできないような位相である。

また、位相空間としての構造はその上で定義された様々な概念の制約条件として登場することがある。例えばリーマン面上の有理型関数のなす空間の次元は、リーマン面の位相構造によって制限を受ける(リーマン・ロッホの定理)。また三次元以上の二つの閉じた双曲多様体が距離空間として同型である必要十分条件は、位相空間として同型な事である(モストウの剛性定理)。 テンプレート:Clearleft

定義

位相空間にはいくつかの同値な定義があるが、本項ではまず、開集合を使った定義を述べる。

開集合を使った特徴づけ

位相空間を定式化する為に必要となる「開集合」という概念は、直観的には位相空間の「縁を含まない」、「開いた」部分集合である。

ただし上ではわかりやすさを優先して「縁を含まない」、「開いた」という言葉を使ったが、これらの言葉を厳密に定義しようとすると位相空間の概念が必要になるので、これらを使って開集合を定義するのは循環論法になってしまう。また、ここでいう「縁」(=境界)は通常の直観と乖離している場合もあり、例えば実数直線上の有理数の集合の境界は実数全体である。

そこで位相空間の定義では、「縁を含まない」とか「開いた」といった概念に頼ることなく、非常に抽象的な方法で開集合の概念を定式化する。

位相空間を定式化するのに必要なのは、どれが開集合であるのかを弁別するために開集合全体の集合$𝒪$を指定する事と、$𝒪$が定められた性質を満たすことだけである。

位相空間の厳密な定義は下記のとおりである。

集合{1,2,3}における、開集合の公理を満たす部分集合の族や満たさない族の例。上二段の例はそれぞれ開集合の公理を満たしているが、最下段の例は、左側は{2}と{3}の和集合である{2,3}が入っていないため、右側は{1,2}と{2,3}の共通部分である{2}が入っていないため、どちらも開集合の公理を満たしていない。

上述の定義に登場する3つの条件の意味するところは下記のとおりである：

1. 空集合と全体集合は開集合である。
2. 2つの開集合の共通部分は開集合である。(よって有限個の開集合の共通部分は開集合となるが、無限個の共通部分は開集合とは限らない)
3. 任意の個数(有限でも無限でもよい)の開集合の和集合は開集合である。

本節では、これらの性質を天下り的に与えるにとどめ、後の章で距離空間で具体的な位相に関し、この定義について論ずる。

開集合系$𝒪$を一つ定める事で、集合 X が位相空間になるので、$𝒪$をX 上の位相(構造)と呼ぶ。

紛れがなければ開集合系$𝒪$を省略し、X の事を位相空間 と呼ぶ。

また位相空間X の元を点と呼ぶ。

なお、集合算に関する空積および空和はそれぞれ全体集合と空集合になるので、$𝒪\ne \mathrm{\varnothing }$を仮定しておけば、上述の定義における条件1を課さなくてもよい。

閉集合を使った特徴づけ

開集合のX における補集合の事を閉集合と呼び、閉集合全体の集合

$ℱ=\{F\subset X\mid F^c\in 𝒪\}$

の事を位相空間X の閉集合系と呼ぶ。

開集合が直観的には「縁を含まない」、「開いた」集合だったのに対し、その補集合である閉集合は直観的には「縁を含んだ」、「閉じた」集合である。 本項ではこれまで、開集合系を使って位相空間を定義し、開集合の補集合として閉集合を定義したが、閉集合系$ℱ$を使って下記のように位相空間を定義する事もできる。この場合、開集合は閉集合の補集合として定義する。

閉集合系による位相空間の定義における3つの条件は、開集合系による位相空間の定義における3つの条件にド・モルガンの法則を適用することにより得られる。

なお、X の開集合でも閉集合でもあるような部分集合は X の開かつ閉集合と呼ばれる（定義から明らかに $\mathrm{\varnothing }$ および X は必ず開かつ閉である）。X には、開でも閉でもないような部分集合が存在しうる。

位相同型

$(X,{𝒪}_X)$、$(Y,{𝒪}_Y)$を２つの位相空間とする。 テンプレート:Math theorem

位相空間論とは、位相同型で不変な性質（すなわち、$(X,{𝒪}_X)$がある性質を満たせば、それと位相同型な$(Y,{𝒪}_Y)$もその性質を満たすような性質）を議論する分野である。

距離空間の位相構造

すでに述べたように位相空間の概念を定義する主な動機の一つは、距離空間上で定義される諸概念をより一般の空間でも定義する事である。この意味において距離空間は最も基本的な位相空間の例であるので、本節では距離構造が位相構造を定める事を見る：

テンプレート:Mvarのテンプレート:Mvar-近傍の事を、テンプレート:Mvar-球（テンプレート:Mvar-ball）、テンプレート:Mvar-開球（テンプレート:Mvar-open ball）、あるいは単に開球（open ball）ともいう。

上記のように定義した${𝒪}_d$が位相の定義を満たす事を示すために、まず開集合を別の形で書き換える：

上述の命題の条件3から特に次の系が従う：テンプレート:Math theorem

上述の命題より、${𝒪}_d$が位相の定義を満たす事が従う： テンプレート:Math proof

なお、位相空間の定義より開集合の（有限または無限個の）和集合は開集合であり、開集合の有限個の共通部分も開集合であるが、開集合の無限個の共通部分は開集合になるとは限らない。実際、任意の自然数テンプレート:Mathに対し、テンプレート:Mvar-球$B_{1/n}(x)$は定義より開集合であるが、

$\bigcap _{n\in \mathbb{N}}{B}_{1/n}(x)=\{x\}$

は開集合ではない。

上述のように集合X 上の距離構造に１つの位相構造が対応するが、この対応関係は一般には「単射」ではなく、異なる距離構造が同一の位相構造を定める事も多い。実際、次の命題が成立する：

なお、上記の命題における「連続」の概念は距離空間における連続の事であるが、本稿では後で位相空間上の連続性を定義し、位相空間としての連続性の概念と距離空間としての連続性の概念が一致する事を見る。

上述の命題は、距離空間を連続変形しても位相構造が変わらない事を意味する。したがって連続変形に対して不変な性質を研究する位相幾何学にとって基礎的である。

ベクトル空間の場合

本節では（実または複素）ベクトル空間における距離と位相の関係を述べる。本節の内容はベクトル空間が有限次元の場合は幾何学、無限次元の場合は解析学に応用がある。

ベクトル空間では、ノルムの概念を定義する事ができ、ベクトル空間上の距離としてはノルムから定まるものを考える事が多い。本節ではまずノルムの定義を振り返り、ノルムから定まる距離を定義し、その距離から定まる位相の性質を見る。

ノルムの定義

まずノルムとは何かを簡単に説明する： テンプレート:Math theorem

${ℝ}^n$上の代表的なノルムとして、テンプレート:Mathに対するℓ^pノルム

$\Vert v{\Vert }_p=(|v_1{|}^p+\cdots +|v_n{|}^p{)}^{1/p}$

が知られている。ここでテンプレート:Mathである。

ノルムから定まる距離と位相

テンプレート:Mvar上にノルムテンプレート:Mathが1つ与えられると、

$d(x,y)=\Vert x-y\Vert$

により、テンプレート:Mvar上の距離が定まる。

このようにノルムから距離が定まり、距離から位相が定まるが、ノルムが「同値」であるとそこから定まる位相が同一になる事が知られている：

有限次元ベクトル空間の場合

テンプレート:Mvarが有限次元の場合は次の事実が知られている： テンプレート:Math theorem この事実から、有限次元ベクトル空間の場合は、ノルムのとり方によらず同一の位相構造が定まる事がわかる。この位相を有限次元ベクトル空間上の自然な位相、通常の位相等と呼ぶ。

無限次元ベクトル空間の場合

一方解析学で頻繁に使われる、無限次元のベクトル空間の場合は、同一のベクトル空間上に複数の同値でないノルムが存在し、それらのノルムがそれぞれ異なる位相構造を定める事になる。例えばテンプレート:Math区間から$𝐑$への連続写像全体の集合

$C([0,1],𝐑)=\{f:[0,1]\to 𝐑$, 連続$\}$

を写像の和と定数倍に関してベクトル空間とみなすと、各$p\ge 1$対し、L^pノルム

$\Vert f{\Vert }_p=\sqrt[p]{\underset{[0,1]}{\int }|f(x){|}^p\mathrm{d}x}$

が定義できるが、これらはテンプレート:Mvarが異なれば異なる位相を定め、実際L^pノルムでは収束するのに別のL^qノルムでは収束しない例を作る事ができる。

また無限回微分可能な写像の空間

$C^{\mathrm{\infty }}([0,1],𝐑)=\{f:[0,1]\to 𝐑$, 無限回微分可能$\}$

にはL^pノルムの一般化であるソボレフノルム

$\Vert f{\Vert }_{k,p}=\sqrt[p]{\sum _{\ell =0}^k\underset{[0,1]}{\int }|f^{(\ell )}(x){|}^p\mathrm{d}x}$

も定義可能であるが、これらもテンプレート:Mvar、テンプレート:Mvarが異なれば異なる位相を定める。なお、$\Vert \cdot {\Vert }_{k,\mathrm{\infty }}$の定める位相をテンプレート:Math-位相と呼び、この位相は位相幾何学で図形の連続変形を扱う際重要な役割を果たす。

その他の具体例

密着位相、離散位相、補有限位相、補可算位相

密着位相と離散位相はいわば「両極端」の人工的な位相構造に過ぎないが、これらの位相構造は、位相に関する命題の反例として用いられる事がある。またこれらの位相構造は、任意の集合上に位相構造を定義できる事を意味している。

離散位相はテンプレート:Mvar上に離散距離

$d(x,y)=\{\begin{array}{cc}0& x=y\\ 1& \text{otherwise}\end{array}$

をいれたときに距離から定まる位相と一致する。

テンプレート:Mvarが1元集合、有限集合、可算集合の場合は明らかに密着位相、補有限位相、補可算位相はいずれも離散位相に一致する。 それ以外の場合、すなわちテンプレート:Mvarが2元以上ある集合、無限集合、非可算集合の場合は、密着位相、補有限位相、補可算位相はテンプレート:Mvar上のいかなる距離から定まる位相とも一致しない。

ザリスキー位相

$P=\{2,3,5,7,\dots \}$を素数の集合とする。各整数$n\in \mathbb{Z}$に対し、

$V(n)=\{p\in P\mid n$はテンプレート:Mvarの倍数$\}$

と定義し、テンプレート:Math全体の集合を閉集合系とするテンプレート:Mvar上の位相をテンプレート:Mvar上のザリスキー位相という。 ザリスキー位相はテンプレート:Mvar上のいかなる距離から定まる位相とも一致しないことが知られており、距離から定まらない位相でなおかつ数学の重要な研究対象となっているものの代表例である。 ザリスキー位相の概念は一般の可換環テンプレート:Mvarの素イデアル全体の集合に対しても定義する事ができる事が知られている。

一方、これとは全く異なる角度からザリスキー位相を定義する事ができる。テンプレート:Mvarを複素数体（もしくはより一般に代数的閉体）とし、テンプレート:Mvarを考える。そしてテンプレート:Mvar上の多項式の任意の集合テンプレート:Mvarに対し、

$V(S)=\{x\in K^n\mid \mathrm{\forall }f\in S:f(x)=0\}$

と定義し、テンプレート:Math全体の集合を閉集合系とする位相をテンプレート:Mvar上のザリスキー位相という。

以上で述べた２種類のザリスキー位相は一見全く異なるように見えるが、実は同種の概念を別の角度から見たものである事が知られている。これら２つが同種である事は代数幾何学の最も基本的な定理の一つとなっている。

加工により得られた位相空間

テンプレート:Main 数学で使われる多くの位相空間は、距離空間（から定まる位相空間）のような既知の位相空間を加工して作られている。 例えば既知の２つの位相空間の和集合や積集合に対して、位相を定めてこれらを位相空間とみなしたり、位相空間上で同値関係を考えてその同値関係による商集合に対して位相を定めて位相空間とみなしたりする。

こうした加工の結果として得られる位相空間の例として、非常に重要なものの一つが多様体である。多様体とは、直観的にはテンプレート:Mvar次元曲面のことであるが、これは${ℝ}^n$の部分集合を何枚も張り合わせる事で実現されている。

既知の位相空間の和集合、積集合、商集合といったものにどのような位相を定めるべきかに関しては一般的な導出方法が知られており、これについては「#位相空間の導出」の節で説明する。

位相空間に関する諸概念

定義

内部、外部、境界

位相空間テンプレート:Mvarの部分集合テンプレート:Mvarに対し、テンプレート:Mvarの「内部」、「外部」、「境界」の概念を定義できる：

x は、それを含むある開集合もまた S に含まれるためS の内点である。一方y は S の境界上にある。

テンプレート:Math theorem テンプレート:Math theorem なお、境界を表す記号「$\partial A$」は多様体の縁（ふち, テンプレート:Lang-en-short）を表す記号としても使われるが、両者は似て非なる概念なので注意が必要である。

閉包

さらに閉包を次のように定義する： テンプレート:Math theorem

定義から明らかに次が成立する： テンプレート:Math theorem よって内部と閉包は双対的な関係にあり、内部に関する性質にド・モルガンの法則を適用する事で閉包の性質を導く事ができる。

基本的な性質

定義より明らかに次が成立する。 テンプレート:Math theorem

テンプレート:Mvarが距離空間であれば、上では「テンプレート:Mathを満たすある開集合テンプレート:Math」、「テンプレート:Mathを満たす任意の開集合テンプレート:Math」となっているところを、「テンプレート:Mvarのあるテンプレート:Mvar-近傍$B_{\epsilon }(x)$」「テンプレート:Mvarの任意のテンプレート:Mvar-近傍$B_{\epsilon }(x)$」に変えてもよい。これについては基本近傍系について記述する際、より詳しく述べる。

さらに次が成立する。 テンプレート:Math theorem

内部、閉包の性質

内部および閉包は以下のようにも特徴づけられる事が知られている： テンプレート:Math theorem

内部の概念は以下を満たす： テンプレート:Math theorem

$\overline{A}=((A^c{)}^{\circ }{)}^c$である事を用いて、以上で述べた内部に関する結果をド・モルガンの法則により閉包の結果に翻訳できる： テンプレート:Math theorem

内核作用素・閉包作用素による位相の特徴づけ

$(X,𝒪)$を位相空間とするとき、

• 写像$A\subset X\mapsto A^{\circ }$を内核作用素という。
• 写像$A\subset X\mapsto \overline{A}$を閉包作用素という。

本項ではこれまで、開集合系を使って位相空間を定義し、これをベースに内核作用素を定義したが、逆に上述の性質を満たす内核作用素の概念を使って位相空間を定義し、これを使って開集合と定義する事も可能である。すなわち以下が成立する：

$\overline{A}=((A^c{)}^{\circ }{)}^c$である事を用いて、以上の結果を閉包作用素の結果に翻訳できる：

その他の関連概念

集積点、導集合

定義より明らかに次が成立する。 テンプレート:Math theorem

稠密

これは言い換えるとX の任意の点の任意の近傍が、A と交わることを意味する。

可算な稠密部分集合をもつ位相空間は可分であるといい、例えば$ℝ$においては$\mathbb{Q}$が可算な稠密部分集合なので、$ℝ$は可分である。

近傍

本節では近傍の定義を述べ、その基本的な性質を述べる。後述するように近傍は位相空間における収束の概念を定義するのに用いられるが、それ以外にもある点テンプレート:Mvarの周りの局所的な性質を記述する際に広く使われている。

定義

近傍の定義は以下のとおりである：

テンプレート:Math theorem近傍系のことを近傍フィルター（英: neighborhood filter）ともいう。

なお、「近傍」という名称であるが、上述の定義から分かるように、全空間テンプレート:Mvarも点テンプレート:Mvarの近傍であり、テンプレート:Mvarの「近く」の点だけを含むわけではない。（そもそも距離が定義されていないので「近く」という概念を定義できない）。

基本近傍系

点テンプレート:Mvarの近傍テンプレート:Mvarはテンプレート:Mathを満たし、距離空間における開集合テンプレート:Mvarは$B_{\epsilon }(x)\subset O$を満たす。したがって以下のように基本近傍系の概念を定義すると、距離空間においては$\{B_{\epsilon }(x)\mid \epsilon >0\}$が基本近傍系になっている事がわかる。また一般の位相空間でも開近傍全体の集合が基本近傍系になる事がわかる。

近傍概念は収束などテンプレート:Mvarの局所的な振る舞いを記述する際に用いられるので、多くの場合全ての近傍を考える代わりに、基本近傍系のみを考えれば十分である。例えば次が成立する：

距離空間においては点テンプレート:Mvarのテンプレート:Mvar-近傍全体が基本近傍系をなすので、上記の定理より、距離空間においては内点、外点といった概念はテンプレート:Mvar-近傍を用いて定義可能である。教科書によっては、このテンプレート:Mvar-近傍を用いた定義を距離空間における内点、外点等の定義として採用しているものもある。

近傍系の性質

近傍系は以下の性質を満たす： テンプレート:Math theorem

ハウスドルフの公理系を満たす近傍系は位相を特徴づける： テンプレート:Math theorem

収束

本節の目標は、位相空間上での収束概念を定義し、収束概念によってこれまで述べてきた様々な概念を捉え直す事にある。 位相空間における収束概念は、距離空間における点列の収束概念を適切に修正する事により得られる： テンプレート:Math theorem

位相空間における収束を定義するにあたり、上述の距離空間における収束の定義に２つの変更を行う：

1. テンプレート:Mvar-近傍$B_{\epsilon }(x)$の代わりに一般の近傍を用いる。
2. 点列の概念を一般化した有向点族の概念を導入し、有向点族の収束を定義する。

1番目の変更を行うのは、位相空間には距離の概念がないので、そもそもテンプレート:Mvar-近傍を定義できないからである。一方2番目の変更を行うのは、点列の収束概念だけでは位相空間の諸概念を定式化するのに不十分だからである。たとえば距離空間の場合には連続性の概念は

$\underset{n\to \mathrm{\infty }}{\lim }f(x_n)=f(\underset{n\to \mathrm{\infty }}{\lim }{x}_n)$

が収束する任意の点列に対して成り立つ事により定式化できるが、一般の位相空間の場合は「任意の点列」ではなく「任意の有向点族」に対してこれと類似の性質が成り立つ事により連続性を定義する必要がある。

なぜなら点列の場合は添字集合が可算なので、点列の概念で連続性を捉え切るには位相空間の方にも何らかの可算性を要求する必要があり（列型空間を参照）、一般の位相空間の連続性の概念を適切に定義するには点列の概念では不足だからである。

なお、位相空間上ではフィルターの収束という、もう一つの収束概念を定式化できる事が知られているものの、収束する有向点族と収束するフィルターとにはある種の対応関係がある事が知られている。詳細は有向点族#フィルターとの関係を参照。

有向点族

テンプレート:Main すでに述べたように位相空間では点列の概念を一般化した有向点族の概念を定義した上でその収束を定義する。本節では有向点族の定義を与える。その為にまず有向集合の概念を定義する テンプレート:Math theorem

なお、有向集合の二項関係「≤ 」は、反射律と推移律を満たすのものの反対称律は満たす必要がないので、前順序ではあるものの順序の定義は満たしていない。 テンプレート:Math theorem

具体的にはテンプレート:Mvarに値を取る点列$(x_n{)}_{n\in \mathbb{N}}$や、実数を定義域に持つテンプレート:Mvar値関数テンプレート:Mvarから定義される族$(f(x){)}_{x\in ℝ}$が$\mathbb{N}$や$ℝ$上に自然な順序を入れた場合に有向点族になるので、これらの収束概念は有向点族の収束概念により定式化できる。

しかしより重要なのは、以下に述べる開近傍系を添字集合に取る有向点族である テンプレート:Math theorem

上の例で特に

$x_U\in U$

を満たす有向点族$(x_U{)}_{U\in {𝒱}_a}$を考えれば、テンプレート:Mvarが小さくなればなるほど$x_U\in U$がテンプレート:Mvarに「近づく」ので、この有向点族が収束概念を考える際に重要な役割を果たす事が了解されるであろう。

また開近傍系は開集合の集まりなので、この有向点族$(x_U{)}_{U\in {𝒱}_a}$は、これまで開集合の概念を通して定義してきた位相空間の概念と有向点族の収束性の概念との、いわば架け橋として機能し、開集合の概念から収束を定式化したり、逆に収束の概念から開集合を逆に定式化したりする際に役に立つ。

なお上では開近傍系を添字集合とする有向点族について記したが、（開とは限らない）近傍系を添字集合とする有向点族も同様に定義できる。

部分有向点族

先に進む前に部分有向点族の概念を定義する。この概念は収束概念を定義する上では使わないが、収束概念を使って位相空間上の他の概念を定式化する際に用いる。

上の定義でテンプレート:Mvarが単射である事を要求してない事に注意されたい。これはもしh に単射性を要求すると病的な例（Tychonoff plank）のせいでいくつかの当然と思われる定理が成り立たなくなってしまうからである。

これが原因で、点列$(x_n{)}_{n\in \mathbb{N}}$を有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、$(x_{h(\gamma )}{)}_{\gamma \in \mathrm{\Gamma }}$を$(x_n{)}_{n\in \mathbb{N}}$の部分有向点族とすると、h が単射でない事から同じテンプレート:Mathが部分有向点族に複数回（場合によっては非可算無限回）登場するかもしれないし、Γも全順序ではないかもしれない。

なお本項に載せた部分有向点族の定義は(Kelly 1975)による。書籍によってはこれとは異なる定義を採用している場合もあるが、こうした別定義とも何らかの意味で同値である事が示されている。

収束の定義

以上の準備のもと、有向点族の収束の概念を定義する。

${ℬ}_x$をテンプレート:Mvarの基本近傍系とするとき、以上の定義における「テンプレート:Mvarの任意の近傍テンプレート:Mvar」を「${ℬ}_x$の任意の元テンプレート:Mvar」に変えたとしても定義としては同値になる。

よって特に、距離空間から定義される位相空間の場合は、「テンプレート:Mvarの任意のテンプレート:Mvarｰ近傍」としてもよい。従って点列の収束に関しては位相空間におけら収束と本章の冒頭にあげた距離空間における収束の定義は一致する。

収束の一意性

一般の位相空間において有向点族の収束の一意性は必ずしも成立しないものの、収束の一意性が保証される必要十分条件は下記のように記述できる事が知られている：

相異なる2点を分離するそれぞれの開近傍

なお、ハウスドルフ性は数ある「分離公理」の一つであり、「T₂-空間」という名称も「T₁-空間」や「T₃-空間」といった他の分離公理と区別するための名称である。詳細は本項の分離公理の説明や分離公理の項目を参照されたい。

収束による諸概念の再定式化

有向点族の収束概念を用いると、閉包の概念を収束によって捉え直す事ができるようになる： テンプレート:Math theorem

上の定理の閉集合に関する部分は以下のように非常に簡単に示せる。他のものの証明も同様である： テンプレート:Math proof

距離空間では、点列の収束概念を用いて閉包や閉集合を同様にして特徴づけができる事が知られており、上記の２つの定理はこの特徴づけを一般の位相空間に拡張したものである。しかし一般の位相空間の場合、上記2定理で述べられているように、距離空間と違い「点列」ではなく「有向点族」で特徴づける必要がある。

なぜなら点列の添字が全順序な可算集合であるという制約が原因で、一般の位相空間の性質を記述するには不足であり、点列の概念で閉集合や開集合を特徴づけるには位相空間の方にも可算性に関する条件を満たす必要があるからである。詳細は列型空間を参照されたい。

二重極限の定理

次に有向点族の二重極限に関する定理を紹介する。後述するように、この定理は有向点族の極限で位相を特徴づける際に役立つ。定理を記述するため、まず有向集合の直積に有向集合構造が入る事を見る：

極限による位相の特徴づけ

最後に有向点族による極限概念によって位相が特徴づけられる事を見る：

連続性と位相同型

本節では位相空間$(X,{𝒪}_X)$から別の位相空間$(Y,{𝒪}_Y)$に向かって定義された関数テンプレート:Mathの連続性の概念を定義する。後述するように位相空間における連続性の概念は、距離空間における連続性の定義で「点列」を「有向点族」に置き換える事で定義可能であるが、近傍や開集合といった、位相空間の概念を使った別定義も可能であり、両者の定義は同値となる。

なお、紛れがなければ、テンプレート:Mvarが2つの位相空間の間の写像である事を強調して、「テンプレート:Math」ではなく

$f:(X,{𝒪}_X)\to (Y,{𝒪}_Y)$

という表記を用いる事もある。

一点での連続性

位相空間テンプレート:Mvar上で定義された関数テンプレート:Mvarの点テンプレート:Mathにおける連続性を以下のように定義する。

我々はテンプレート:Mvarにハウスドルフ性を仮定していないので、以上の定理で有向点族の収束の一意性が保証されていない事に注意されたい。

全点での連続性

関数$f:(X,{𝒪}_X)\to (Y,{𝒪}_Y)$が定義域上の任意の点テンプレート:Mathで連続であるとき、テンプレート:Mvarは定義域の全点で連続、あるいは単に連続であるという。テンプレート:Mvarの連続性は以下のようにも特徴づける事ができる。

一様連続と一様収束

これまで説明してきたように、連続性と収束性は、位相空間で定義可能な代表的な性質である。しかしこれらを強めた概念である一様連続性と一様収束性は、位相のみをベースにして定義する事はできない。

これらの概念は、距離空間と位相空間の中間の強さを持つ概念である一様空間で定義可能である。

位相同型

位相同型性は、位相空間のクラスにおける同値関係であることを簡単に確認できる。

位相空間論や、その応用分野である位相幾何学では、「位相同型で不変」(位相不変性)な性質(位相的性質)を探ったり、そうした性質により、空間を分類する。

位相不変量

位相不変な性質の中には位相不変量と呼ばれる、位相空間の性質によって決まる「量」がある。 χが「位相不変量」であるとは、以下の性質を満たすことを言う

X と Y が位相同型⇒χ(X )=χ(Y )

これの対偶をとると、

χ(X )≠χ(Y )⇒ X と Y が位相同型でない

したがって位相不変量に着目することで、二つの空間を位相的に分類することができる。

簡単な位相不変量として、位相空間の「連結成分数」がある。本項では、連結成分数の厳密な定義は割愛するが、直観的にはその名の通り、「繋がっている部分の数」である。以下のX では連結成分数が1なのに対し、Y では連結成分数が2である。従ってX と Y は位相同型ではない。

X = [0,1]

Y = [0,1]∪[2,3]

（ただし、ここで[$a$,$b$]とは実数のユークリッド距離による位相の、部分位相をもつ閉区間である）

位相不変量は、位相空間論の応用分野である位相幾何学で主要な役割を果たし、特にホモロジー群やホモトピー群のような代数的な不変量は代数的位相幾何学の研究対象である。

位相の比較、生成

位相同士の比較

${𝒪}_1$が${𝒪}_2$よりも粗い必要十分条件は、恒等写像

$\mathrm{id}:(X,{𝒪}_2)\to (X,{𝒪}_1),x\mapsto x$

が連続な事である。したがって${𝒪}_1$で収束する有向点族は${𝒪}_2$でも収束するが、逆は必ずしも成立しない。

位相の生成

本節ではテンプレート:Mvarのべき集合$𝔓(X)$の任意の部分集合$𝒮$から作る方法を述べる。 テンプレート:Math theorem

以上で我々は、準開基の抽象的な定義を与えたが、準開基の概念をより具体的な形で与えることもできる。そのための準備として、まず準開基の関連概念である開基について述べる。 テンプレート:Math theorem

開基の概念を用いると準開基を具体的に書き表す事ができ、$𝒮$ が $(X,𝒪)$の準開基である必要十分条件は、$𝒮$ の元の有限個の共通部分の全体の集合

$ℬ=\left\{\bigcap _{i=1}^n{S}_i\right|n\in \mathbb{N},S_i\in 𝒮\}$

が、$𝒪$の開基をなすことである。 $𝒪$の開集合は開基の和集合で書き表せるので、以上の事から$𝒪$の開集合は準開基の有限積集合の（有限または無限）和集合として書き表せる。

開基の概念は、基本近傍系の概念と以下のような関係がある： テンプレート:Math theorem

テンプレート:Mvarが距離空間の場合はテンプレート:Mvarのテンプレート:Mvar-近傍$B_{\epsilon }(x)=\{y\in X\mid d(x,y)<\epsilon \}$がテンプレート:Mvarの基本近傍系をなしていたので、$\{B_{\epsilon }(x)\mid x\in X,\epsilon >0\}$は開基をなす。

最後に、開基の概念で位相空間を特徴づける方法を述べる：

位相全体のなす順序

弱い/強いを位相の間の順序関係とみなすと、テンプレート:Mvar上の位相の集合

$\{𝒪\mid (X,𝒪)$は位相空間$\}$

は順序集合になる。 この順序集合は完備束であり、

$\underset{\lambda \in \mathrm{\Lambda }}{\sup }({𝒪}_{\lambda })=(\bigcup _{\lambda \in \mathrm{\Lambda }}{𝒪}_{\lambda }$が生成する位相)

$\underset{\lambda \in \mathrm{\Lambda }}{\inf }({𝒪}_{\lambda })=\bigcap _{\lambda \in \mathrm{\Lambda }}{𝒪}_{\lambda }$

である。最も弱い位相は密着位相、最も強い位相は離散位相である。

位相空間の導出テンプレート:Anchors

すでにある位相空間を加工して、別の位相空間を作る方法を述べる。

位相空間を加工する上で基本となるのは、「逆像位相」と「像位相」の概念、おそびそれらの拡張概念である「始位相」と「終位相」である。

逆像位相と像位相、始位相と終位相は互いに双対の関係にあり、写像の向きを逆にすることでもう片方の概念を定式化できる。なお始位相と終位相はそれぞれ圏論におけるテンプレート:訳語疑問点範囲、テンプレート:訳語疑問点範囲の例のになっている。

始位相、逆像位相、部分位相、直積位相

まず始位相の概念を以下のように定義する： テンプレート:Math theorem

始位相の特殊な場合として、以下のものが重要である。以下でテンプレート:Mvarは集合である。

名称	定義
逆像位相	位相空間$(Y,𝒪)$と写像$f:X\to Y$がテンプレート:Mvarに定める始位相の事
部分位相	位相空間$(Y,𝒪)$の部分集合テンプレート:Mvarに対し、包含写像$\iota :X\hookrightarrow Y,x\mapsto x$による逆像位相の事。X に部分位相を入れたものを$(Y,𝒪)$の部分空間という。
直積位相（チコノフ位相とも）	$\{(X_{\lambda },{𝒪}_{\lambda }){\}}_{\lambda \in \mathrm{\Lambda }}$を位相空間の族とするとき、射影${\pi }_{\lambda }:Y=\prod _{\tau \in \mathrm{\Lambda }}{X}_{\tau }\to X_{\lambda }$の族$\{{\pi }_{\lambda }{\}}_{\lambda \in \mathrm{\Lambda }}$によってテンプレート:Mvarに定義される始位相の事。直積テンプレート:Mvarに直積位相を入れた位相空間を直積空間という。

これらはより具体的に書き表す事が可能である：テンプレート:Math theorem

上述の定理の直積位相の箇所に関して、Λが有限集合のときは、「有限個のλを除いて…」という条件がいらなくなるので簡単であるが、Λが無限集合のときは注意が必要である。例えば${ℝ}_1,{ℝ}_2,\dots$を$ℝ$の(可算)無限個のコピーとし、$U_1,U_2,\dots$を$U=(0,1)$の無限個のコピーとするとき、直積

$\prod _{i\in \mathbb{N}}{U}_i$

は直積位相に関して

$\prod _{i\in \mathbb{N}}{ℝ}_i$

の開集合ではない。実際、前述の「有限個を除いて…」という条件を満たしておらず、条件をみたすものの和集合としても書けないからである。これに対し直積空間には$\prod _{i\in \mathbb{N}}{U}_i$をも開集合とする位相も定義可能である： テンプレート:Math theorem

箱型積位相は直積位相より強い（弱くない）位相である。

終位相、像位相、商位相、直和位相

まず始位相と双対的に終位相を定義する： テンプレート:Math theorem

終位相の特殊な場合として下記のものを定義できる。これらは逆像位相、部分位相、始位相、直積位相と双対的に定義したものである。以下でテンプレート:Mvarは集合である：

名称	定義
像位相	位相空間$(Y,𝒪)$と写像$f:Y\to X$がテンプレート:Mvarに定める終位相の事。
商位相	$(Y,𝒪)$ を位相空間とし、「$\sim$」をテンプレート:Mvar上の同値関係とし、テンプレート:Mathでこの同値関係におけるテンプレート:Mathの同値類を表すとき、商写像$\pi :Y\to Y/\sim ,x\mapsto [x]$が商集合 $X=Y/\sim$ に定義する像位相の事。
直和位相	$\{(X_{\lambda },{𝒪}_{\lambda }){\}}_{\lambda \in \mathrm{\Lambda }}$ を位相空間の族とするとき、$X_{\lambda }$ から集合族 $\{X_{\tau }{\}}_{\tau \in \mathrm{\Lambda }}$ の直和への包含写像${\iota }_{\lambda }:X_{\lambda }\hookrightarrow \coprod _{\tau \in \mathrm{\Lambda }}{X}_{\tau }$の族 $\{{\iota }_{\lambda }{\}}_{\lambda \in \mathrm{\Lambda }}$ によって直和 $\coprod _{\lambda \in \mathrm{\Lambda }}{X}_{\lambda }$ に定義される終位相の事。

これらはより具体的に書き表す事が可能である：テンプレート:Math theorem

位相的性質

位相空間の定義それ自身は可能な限り一般的に定義されているため、個々の応用では位相空間にプラスアルファの性質を付け加えたものを考えることが多い。

本節では、そうしたプラスアルファの性質のうち代表的なものを紹介する。

分離公理

分離公理とは、位相空間 X 上の2つの対象(点や閉集合)を開集合により「分離」(separate)する事を示す一連の公理、もしくはそこから派生した公理である。

代表的な分離公理としてハウスドルフの分離公理があり、これは以下のような公理であり、前述のようにこれは有向点族の収束の一意性と同値である。

X 上の相異なる2点 x、y に対し、x、y の開近傍 U、V があり、$U\cap V=\mathrm{\varnothing }$である。

相異なる2点を分離するそれぞれの開近傍

ハウスドルフの分離公理は、直観的には点 x と y が開近傍という位相的な性質を利用して「区別」(separate) できる事を意味している。すなわちX の位相は点の区別が可能なほど細かい事をこの公理は要請している。

他にも下記のような分離公理がある：

位相空間	名前
テンプレート:Math	コルモゴロフ空間
テンプレート:Math	フレシェ空間（到達可能空間）
テンプレート:Math	ハウスドルフ空間
$T_{2\frac{1}{2}}$	完備ハウスドルフ空間、ウリゾーン空間
テンプレート:Math	正則空間、正則ハウスドルフ空間
$T_{3\frac{1}{2}}$	チコノフ空間、完全正則空間
テンプレート:Math	正規ハウスドルフ空間
テンプレート:Math	全部分正規ハウスドルフ空間
テンプレート:Math	完全正規ハウスドルフ空間

連結性

連結性とは、直観的には位相空間が「ひとつながりである」 という性質である。閉区間 [0,1] は連結性をもつ（連結である）が、二つの交わらない閉区間を合併した $[0,1]\cup [2,3]$ という位相空間は連結ではない。

コンパクト性

${ℝ}^n$の有界閉集合は位相空間論的に「性質の良い」空間でテンプレート:Mvarを${ℝ}^n$の有界閉集合とすると、例えば以下が成立する事が知られている：

• テンプレート:Mvarから$ℝ$への連続写像は必ず最大値・最小値を持つ
• テンプレート:Mvarから$ℝ$への連続写像は必ず一様連続である
• テンプレート:Mvarから${ℝ}^n$への単射テンプレート:Mvarが連続なら、逆写像$f^{-1}:f(X)\to X$も連続である。

このような「性質の良い」空間を一般の位相空間に拡張して定義したものがコンパクトの概念である。

ただし、「${ℝ}^n$の有界閉集合」という概念自身は、「有界」という距離に依存した概念に基づいているため、一般の位相空間では定義できず、別の角度からコンパクトの概念を定義する必要がある。

そのために用いるのがボルツァーノ・ワイエルシュトラスの定理とハイネ・ボレルの被覆定理である。これらの定理はいずれも「${ℝ}^n$の有界閉集合であれば◯◯」という形の定理であるが、実は逆も成立する事が知られており、${ℝ}^n$においては

1. 有界閉集合である事
2. ボルツァーノ・ワイエルシュトラスの定理の結論部分
3. ハイネ・ボレルの定理の結論部分

の３つは同値となる。しかも上記の２，３はいずれも位相構造のみを使って記述可能である。

したがって２もしくは３の一方を満たす（同値なので実は２，３の両方を満たす）事をもってコンパクト性を定義する。ただしテクニカルな理由により、上記の２に関しては若干の補正が必要になり、ボルツァーノ・ワイエルシュトラスの定理の結論部分における「点列」を「有向点族」に置き換える必要がある。詳細はコンパクト空間を参照。

可算公理と可分

位相空間X において可算公理は、X の位相的な対象(近傍系、開集合)が可算なものから生成されることを意味し、可算公理が成立する空間では、非可算特有の難しさを回避できる場合がある。 可分もこれと類似したモチベーションのもと定義される。

厳密な定義は以下の通りである

第一可算公理	X の任意の点 x に対し、x の近傍系は可算な基本近傍系を持つ
第二可算公理	X の開集合系は可算な開基を持つ
可分	X は稠密な可算部分集合を持つ

性質と例

以下が成立する：

• 第二可算公理を満たす⇒ 第一可算公理を満たし、かつ可分
• 距離空間⇒ 第一可算公理を満たす

しかし距離空間は第二可算公理を満たすとは限らない。 距離空間においては第二可算公理を満たす事と可分な事は同値である。

有限次元のユークリッド空間(あるいはより一般に多様体)は第二可算公理を満たす。(距離化可能なので可分でもある)。

一方、ユークリッド空間の「無限次元版」であるヒルベルト空間は距離空間であるが第二可算公理を満たすとは限らない。

しかし通常は第二可算公理を満たすヒルベルト空間のみを考えることが多く、そのようなヒルベルト空間は全て同型で、しかもそのようなヒルベルト空間にはベクトル空間としての可算基底が存在する事が知られている。

距離化可能性

距離空間は自然に位相空間になるが、では逆に位相空間がどのような条件を満たせば距離空間になるであろうか。

すなわち、位相空間 $(X,𝒪)$が距離化可能であるとは、X 上の距離 d が(少なくとも一つ)存在し、d がX 上に定める位相が$𝒪$と一致する事を言う。

学部レベルの教科書には距離化可能性の十分条件であるウリゾーンの距離化可能定理が載っていることが多いが、現在は距離化可能性の必要十分条件である長田＝スミルノフの距離化定理やビングの距離化定理が知られている。

発展的なトピック

コンパクト開位相

テンプレート:Main $(X,{𝒪}_X)$、$(Y,{𝒪}_Y)$ を位相空間、 $C(X,Y)$ を $(X,{𝒪}_X)$ から $(Y,{𝒪}_Y)$ への連続写像全体とする。このとき $K\subset X,O\subset Y$に対し、$W(K,O)$ を

$W(K,O)=\{f\in C(X,Y)\mid f(K)\subset O\}$

とより定義する。

このとき {W(K, O) : K は X のコンパクト部分集合、テンプレート:Nowrap を準開基とする位相を $C(X,Y)$ のコンパクト開位相（テンプレート:Lang-en-short）という。

連続体論

連続体（れんぞくたい、テンプレート:Lang-en-short）とは、空でないコンパクト連結距離空間、あるいはより一般にコンパクト連結ハウスドルフ空間のことを言う。

ユークリッド空間上の閉曲面は連続体となるが、連続体論ではこのような「常識的な」空間に留まらず幅広く連続体一般を研究する。

具体的にはヒルベルト空間の無限次元部分集合であるにもかかわらずコンパクトな ヒルベルト立方体

$\prod _{n\in \mathbb{N}}[0,1/n]$、

フラクタル図形のシェルピンスキーのカーペット、ホモトピー群は自明となるが可縮空間ではないワルシャワの円などが研究対象となる。

ワルシャワの円

完全不連結性とカントール空間

学部レベルの位相空間論で登場する概念の多くは、曲面のような「常識的な」空間における性質を抽象したものである。

しかし完全不連結性はこうした範疇から外れた性質で、位相空間 X 上の連結部分集合は空集合、全体集合、および一点集合に限られる事を意味する。

完全不連結な空間の例としては有理数の集合$\mathbb{Q}$がある。

しかし完全不連結な空間は$\mathbb{Q}$のように距離空間として完備ではないものに限らない。

カントール集合(に実数体から誘導される距離をいれたもの)は、完備距離空間でありながら完全不連結な空間の例となっている。

実はカントール集合はこのような空間の典型例の一つであり、以下の性質を満たす空間(カントール空間)は必ずカントール集合と位相同型になることが知られている(ブラウワーの定理)：

孤立点を持たない非空の完全不連結コンパクト距離化可能空間

ベール空間

位相空間X がベール空間であるとは、X 上の稠密開集合の可算個の共通部分が必ず稠密になることを言う。

完備疑距離空間の開集合はベール空間になる(ベールの第一範疇定理)。 また局所コンパクトハウスドルフ空間もベール空間になる(ベールの第二範疇定理)。

ベールの範疇定理は関数解析学において、開写像定理や閉グラフ定理を証明するのに用いられる。

ヴィートリス位相

$(X,𝒪)$ を位相空間とする。このとき有限個の開集合 $U_1\cdots U_n$ に対し、集合族 $⟨U_1\cdots U_n⟩$ を

$⟨U_1\cdots U_n⟩:=\{A\in 𝔉:A\cap U_i\ne \varnothing (i=1\cdots n),A\subseteq \bigcup _{i=1}^n{U}_i\}$

と定義する（ただし $𝔉$ は $X$ の閉集合全体）。このとき $\{⟨U_1\cdots U_n⟩:U_i\in 𝒪(i=0\cdots n)\}$ を開基とする $𝔉$ 上の位相をヴィートリス位相（テンプレート:Lang-en-short）と呼び、ヴィートリス位相の入った $𝔉$ 及びその部分空間を冪空間（テンプレート:Lang-en-short）または超空間（テンプレート:Lang-en-short）という。

集合論的位相空間論

テンプレート:仮リンクとは、位相空間上の性質がZFCと独立かどうかを主題する分野である。

位相ゲーム

テンプレート:仮リンクとは、2人のプレイヤーにより位相空間上で行われるゲームで、プレイヤー達が自分の手番のとき、何らかの位相的な対象(開集合や閉集合など)を指定する事でゲームが進んでいく。

位相空間上の様々な性質、例えばベールの性質が位相ゲームのゲーム理論的な性質と関連する(バナッハ・マズール・ゲーム)。他にも完備性、収束性、分離公理といったものもゲーム理論的な性質と関連する。

位相代数的構造

代数的な演算が定義された位相空間X は、その演算の作用がX 上連続になるとき、演算と位相は両立するという。

そのような例として代表的なものには位相群、位相環および位相体、位相線型空間などがある。

位相順序構造

• スペクトル空間: 位相空間がスペクトル的となるための必要十分条件は、それが何らかの環の素スペクトルとなっていることである。
• 標準順序: 位相空間の特殊化前順序または標準前順序は、$x\le y\iff \mathrm{Cl}(\{x\})\subseteq \mathrm{Cl}(\{y\})$ で定義される。

歴史

集合論の創始者ゲオルク・カントールはユークリッド空間の開集合や閉集合などについても研究したが、これが位相空間の研究のはじまりである。カントールの行ったような位相空間の古典的な研究は、点集合論と呼ばれる。その後、モーリス・フレシェはユークリッド空間から離れて距離空間において極限の概念を考察し、さらにその後フェーリクス・ハウスドルフ、カジミェシュ・クラトフスキらによって、次第に現代のような一般の位相空間の形に整えられていった。

参考文献

• テンプレート:Cite book
  • Kindle版：ASIN : B06XGRCCJ3
  • 翻訳版：テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

さらなる学習のために

• 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).テンプレート:OCLC
• Čech, Eduard; Point Sets, Academic Press (1969). テンプレート:OCLC
• テンプレート:仮リンク, 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.
• テンプレート:仮リンク; 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.
• テンプレート:仮リンク and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• ポイントレス位相空間論
• 位相幾何学
• 関数解析学
• 距離空間
• 位相空間の圏
• ホモロジー (数学)

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:Cite web（2008年度 筑波大学 トポロジーI 講義用レジュメ）
• テンプレート:JGLOBAL ID
• テンプレート:Kotobank