位相空間のソースを表示

{{otheruses||物理学における位相空間(Phase space)|位相空間 (物理学)}}
{{Pathnav|[[数学]]| [[空間 (数学)|空間]]・[[極限|収束]]|frame=1}}
{{wikibooks|位相空間論|位相空間論}}
[[数学]]における'''位相空間'''（いそうくうかん、{{lang-en|topological space}}）とは、[[集合]]{{Mvar|X}}に'''位相'''（{{lang|en|topology}}）と呼ばれる構造を付け加えたもので、この構造は{{Mvar|X}}上に収束性の概念を定義するのに[[同値|必要十分]]なものである<ref name=":0" group="注">ただしここで言う「収束性」は点列の収束性ではなくより一般的な[[有向点族]]の収束性である。</ref>。

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

==概要==

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

* 部分集合の内部、外部、境界
* 点の近傍
* 収束性<ref name=":0" group="注" />
* 開集合、閉集合、閉包

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

その他にも

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

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



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

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

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

[[ファイル:Unit disc metrics.svg|サムネイル|upright|左|
距離空間<math>(\mathbb{R}^2,d_p)</math>の原点の1-近傍を{{math|1=''p''=''2''}}（上の図）、{{math|1=''p''=''1''}}（中央の図）、{{math|1=''p''=''∞''}}（下の図）に対して図示したもの。これらはそれぞれ[[ユークリッド距離]]、[[マンハッタン距離]]、[[チェビシェフ距離]]と呼ばれる。]]
===位相空間と距離空間===
位相空間となる代表的な空間としては、[[ユークリッド空間]]をはじめとした[[距離空間]]がある。距離空間は必ず位相空間になるが、逆は必ずしも正しくない。すなわち、[[距離関数|距離構造]]は位相的構造よりも遥かに多くの情報を持った強い概念であり、距離空間としては異なっても位相空間としては同一の空間になることもある。

例えば{{math|''p''≧1}}を固定して[[実数空間]]<math>\mathbb{R}^n</math>上に'''[[Lp空間|&#8467;<sup>p</sup>距離]]'''
: <math>d_p(x,y)=\sqrt[p]{(x_1-y_1)^p+\cdots (x_n-y_n)^p}</math>
を入れた距離空間<math>(\mathbb{R}^n,d_p)</math>を考えてみると、[[イプシロン-エヌ論法|ε-N論法]]や[[ε-δ論法]]による極限の議論で用いる[[近傍 (位相空間論)#距離空間における近傍|ε-近傍]]は{{mvar|p}}に依存して異なるにもかかわらず、収束の有無や収束先の点は{{mvar|p}}によらず一致する。<!--概要に書くには少し詳しすぎる気がするので、コメントアウト。

実は、位相の一つの側面である[[近傍系]]はこのε-近傍をより柔軟にした概念であり、これを用いることで距離構造によらずに極限を議論できる。そしてこの3つの距離空間において近傍系は常に一致するから、どれを用いても極限は同じなのである。-->

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

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


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

===応用分野===
[[File:Mug and Torus morph.gif|thumb|upright|right|240px|コーヒーカップからドーナツ（[[トーラス]]）への連続変形（[[同相写像]]の一種）とその逆]]
位相空間の概念の代表的な応用分野に[[位相幾何学]]がある。これは曲面をはじめとした幾何学的な空間（主に有限次元の[[多様体]]や[[単体的複体]]）の位相空間としての性質を探る分野である。前述のようにゴム膜のように連続変形しても位相空間としての構造は変わらないので、[[球面]]と[[楕円体]]は同じ空間であるが、[[トーラス]]は[[球面]]とは異なる位相空間である事が知られている。位相幾何学では、位相空間としての構造に着目して空間を分類したり、分類に必要な[[不変量]](位相不変量)を定義したりする。

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

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

== 定義 ==

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

===開集合を使った特徴づけ===

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

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

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

位相空間を定式化するのに必要なのは、どれが開集合であるのかを弁別するために開集合全体の集合<math>\mathcal{O}</math>を指定する事と、<math>\mathcal{O}</math>が定められた性質を満たすことだけである。

位相空間の厳密な定義は下記のとおりである。[[Image:Topological space examples.svg|thumb|right|300px|集合{1,2,3}における、開集合の公理を満たす部分集合の族や満たさない族の例。上二段の例はそれぞれ開集合の公理を満たしているが、最下段の例は、左側は{2}と{3}の和集合である{2,3}が入っていないため、右側は{1,2}と{2,3}の共通部分である{2}が入っていないため、どちらも開集合の公理を満たしていない。]]{{math theorem|定義|
''X''を集合とし、<math>\mathcal{O}</math>を''X''の[[べき集合]]<math>\mathfrak{P}(X)</math>の部分集合とする。

<math>\mathcal{O}</math>が以下の性質を満たすとき、組 <math>(X,\mathcal{O})</math> を ''X'' を台集合とし<math>\mathcal{O}</math>を'''開集合系'''とする'''位相空間'''と呼び、<math>\mathcal{O}</math>の元を ''X'' の'''開集合'''と呼ぶ。

# <math>\emptyset,\,X\in\mathcal{O}</math>
# <math>\forall O_1, \forall O_2\in\mathcal{O}~:~O_1\cap O_2\in\mathcal{O}</math>
# <math>\forall \{O_{\lambda}\}_{\lambda\in\Lambda}\subset\mathcal{O}~:~\bigcup_{\lambda\in\Lambda}O_{\lambda} \in \mathcal{O}</math>
|note=開集合系による位相空間の定義}}

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

# [[空集合]]と全体集合は開集合である。
# 2つの開集合の[[共通部分 (数学)|共通部分]]は開集合である。(よって有限個の開集合の共通部分は開集合となるが、'''無限個の共通部分は開集合とは限らない''')
# 任意の個数('''有限でも無限でもよい''')の開集合の[[合併 (集合論)|和集合]]は開集合である。

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

開集合系<math>\mathcal{O}</math>を一つ定める事で、集合 ''X'' が位相空間になるので、<math>\mathcal{O}</math>を''X'' 上の'''位相(構造)'''と呼ぶ。

紛れがなければ開集合系<math>\mathcal{O}</math>を省略し、''X'' の事を'''位相空間''' と呼ぶ。

また位相空間''X'' の元を'''[[点 (数学)|点]]'''と呼ぶ。

なお、集合算に関する[[空積]]および[[空和]]はそれぞれ[[全体集合]]と[[空集合]]になるので、<math>\mathcal{O}\neq \emptyset</math>を仮定しておけば、上述の定義における条件1を課さなくてもよい。

===閉集合を使った特徴づけ===

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

:<math>\mathcal{F}=\{F\subset X\mid F^c\in\mathcal{O}\}</math>

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

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

{{math theorem|定義|
''X''を集合とし、<math>\mathcal{F}</math>を''X''の[[べき集合]]<math>\mathfrak{P}(X)</math>の部分集合とする。

<math>\mathcal{F}</math>が以下の性質を満たすとき、組 <math>(X,\mathcal{F})</math> を ''X'' を台集合とし<math>\mathcal{F}</math>を'''閉集合系'''とする'''位相空間'''と呼び、<math>\mathcal{F}</math>の元を ''X'' の'''閉集合'''と呼ぶ。
# <math>\emptyset,X\in\mathcal{F}</math>
# <math>\forall F_1,\forall F_2\in\mathcal{F}~~:~~ F_1\cup F_2\in\mathcal{F}</math>
# <math>\forall \{F_{\lambda}\}_{\lambda\in\Lambda}\subset\mathcal{F}~~:~~ \bigcap_{\lambda\in\Lambda}F_{\lambda}\in\mathcal{F}</math>
|note=閉集合系による位相空間の定義}}

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

なお、''X'' の開集合でも閉集合でもあるような部分集合は ''X'' の[[開かつ閉集合]]と呼ばれる（定義から明らかに <math>\emptyset</math> および ''X'' は必ず開かつ閉である）。''X'' には、開でも閉でもないような部分集合が存在しうる。

===その他の特徴づけ===
{{seealso|位相の特徴付け}}

===位相同型===

<math>(X,\mathcal{O}_X)</math>、<math>(Y,\mathcal{O}_Y)</math>を２つの位相空間とする。
{{math theorem|定義|
ある全単射
: <math>f~:~X \to Y</math>
が存在して、
: <math>O \in \mathcal{O}_X \iff f(O) \in \mathcal{O}_Y</math>
を満たすとき、<math>(X,\mathcal{O}_X)</math>と<math>(Y,\mathcal{O}_Y)</math>は'''位相同型'''であるという。
|note=位相同型}}

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

==距離空間の位相構造==

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

{{math theorem|定理・定義|
{{math|(''X'' ,''d'' )}}を[[距離空間]]とし、実数 {{math|''ε'' > ''0''}} と  {{math|''x'' ∈ ''X''}} に対し、{{mvar|x}}の'''{{mvar|ε}}-近傍（{{mvar|ε}}-neighborhood）'''<math>B_\varepsilon(x)</math>を
: <math>B_\varepsilon(x) := \{y\in X \mid d(x,y) < \varepsilon\}</math>
と定義するとき、
:<math>\mathcal{O}_d=\{O\subset X\mid \forall x\in O \exists \varepsilon>0 ~~:~~B_\varepsilon(x)\subset O\}</math>
は開集合系の公理を満たす。 
<math>\mathcal{O}_d</math>を'''距離''' ''d'' '''により定まる''' ''X'' の'''開集合系'''、もしくは''d'' '''により定まる''' ''X'' の'''位相構造'''といい、
<math>(X,\mathcal{O}_d)</math>を{{math|(''X'' ,''d'' )}}'''により定まる位相空間'''という。
|note=距離から定まる位相}}

{{mvar|x}}の{{mvar|ε}}-近傍の事を、'''{{mvar|ε}}-球'''（{{mvar|ε}}-ball）、'''{{mvar|ε}}-開球'''（{{mvar|ε}}-open ball）、あるいは単に'''開球'''（open ball）ともいう。

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

{{math theorem|命題|距離空間{{math|(''X'' ,''d'' )}}が定める位相を<math>\mathcal{O}_d</math>とし、{{mvar|''O''}}を{{mvar|''X''}}の部分集合とする。このとき、以下の３条件は同値である：
# {{mvar|O}}は<math>\mathcal{O}_d</math>の開集合である
# 任意の{{math|''x'' ∈ ''O''}}に対し、ある<math>\varepsilon_x>0</math>が存在し、<math>O=\bigcup_{x\in O}B_{\varepsilon_x}(x)</math>が成立する。
# {{mvar|O}}は（有限または無限個の）開球の和集合として書ける。すなわち族<math>\{B_{\varepsilon_\lambda}(x_{\lambda})\}_{\lambda\in\Lambda}\subset X</math>が存在し、<math>O=\bigcup_{x_{\lambda}\in \Lambda}B_{\varepsilon_\lambda}(x_{\lambda})</math>が成立する。
|note=距離から定まる開集合の特徴づけ}}

{{math proof|
(1⇒2)：任意の開集合{{Mvar|O}}に対し、開集合の定義より開集合{{Mvar|O}}の各点{{Mvar|x}}に対し、<math>B_{\varepsilon_x}(x)\subset O</math>を満たす<math>\varepsilon_x>0</math>が存在するので、

:<math>O=\bigcup_{x\in O}B_{\varepsilon_x}(x)</math>

と書ける。

（2⇒3）：自明

（3⇒1）：<math>O=\bigcup_{x_{\lambda}\in \Lambda}B_{\varepsilon_\lambda}(x_{\lambda})</math>と書ければ、任意の{{Math|''x'' ∈ ''O''}}に対し、<math>x\in O \iff \exists x_{\lambda}\in \Lambda ~:~x\in B_{\varepsilon_\lambda}(x_{\lambda})  </math>なので、<math>\delta_x := \varepsilon_{\lambda} - d(x,x_{\lambda})</math>とすれば、<math>\delta_x > 0</math>であり、<math>B_{\delta_x}(x) \subset B_{\varepsilon_\lambda}(x_{\lambda}) \subset \bigcup_{x_{\lambda}\in \Lambda}B_{\varepsilon_\lambda}(x_{\lambda}) =O </math>である。{{math|''x'' ∈ ''OI''}}の任意性から、{{mvar|O}}は<math>\mathcal{O}_d</math>の開集合である。
|drop=yes|title=証明（距離から定まる開集合の特徴づけ）}}

上述の命題の条件3から特に次の系が従う：{{math theorem|系|開球は<math>\mathcal{O}_d</math>の開集合である。}}


上述の命題より、<math>\mathcal{O}_d</math>が位相の定義を満たす事が従う：
{{math proof|
# <math>\emptyset, X\in \mathcal{O}_d</math>は自明に従う。
# 上述の命題より開集合である必要十分条件は（有限または無限個の）{{mvar|ε}}-球の和集合として書けることだったので、開集合の（有限または無限個の）和集合も当然（有限または無限個の）{{mvar|ε}}-球の和集合でかけるため、開集合である。
# <math>O_1=\bigcup_{x\in O_1}B_{\varepsilon_x}(x)</math>、<math>O_2=\bigcup_{x\in O_2}B_{\delta_x}(x)</math>を開集合とするとき、<math>O_1\cap O_2=\bigcup_{x\in O_1\cap O_2}B_{\min\{\varepsilon_x,\delta_x\}}(x)</math>も開球の和集合でかけるので開集合である。
|drop=yes|title=証明（<math>\mathcal{O}_d</math>が位相の定義を満たす事）}}

なお、位相空間の定義より開集合の（有限または無限個の）和集合は開集合であり、開集合の有限個の共通部分も開集合であるが、'''開集合の無限個の共通部分は開集合になるとは限らない'''。実際、任意の自然数{{Math|''n'' > ''0''}}に対し、{{mvar|1/n}}-球<math>B_{1/n}(x)</math>は定義より開集合であるが、

:<math>\bigcap_{n\in\mathbb{N}}B_{1/n}(x)=\{x\}</math>

は開集合ではない。

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

{{math theorem|命題|
{{math|(''X'' ,''d'' )}}を[[距離空間]]とし、{{math|''f'' : ''X'' → ''X''}}を連続な全単射で逆写像も連続なものとする。このとき、
: <math>d'(x,y)=d(f(x),f(y))</math>
と定義すると、{{mvar|d}}と{{mvar|d'}}は{{mvar|X}}上に同一の位相構造を定める。
|}}

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

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

===ベクトル空間の場合===

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

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

==== ノルムの定義 ====
まずノルムとは何かを簡単に説明する：
{{math theorem|定義|
{{mvar|K}}を<math>\mathbb{R}</math>もしくは<math>\mathbb{C}</math>とするとき、{{mvar|K}}上ベクトル空間{{mvar|V}}の'''ノルム'''とは写像
: <math>\|\cdot\|~:~V\to K</math>
で以下の3性質を満たすものの事である。ここで{{mvar|x}}、{{mvar|y}}は{{mvar|V}}の元で{{mvar|α}}は{{mvar|K}}の元である：
# {{math2|1={{norm|'''x'''}} = 0 ⇔ '''x''' = '''0'''}}
# {{math2|1={{norm|''a'''''x'''}} = {{abs|''a''}}{{norm|'''x'''}}}} 
# {{math2|1={{norm|'''x''' + '''y'''}} ≤ {{norm|'''x'''}} + {{norm|'''y'''}}}}
|note=ノルム}}

<math>\mathbb{R}^n</math>上の代表的なノルムとして、{{math|''p''≧1}}に対する'''[[Lp空間|&#8467;<sup>p</sup>ノルム]]'''
:<math>\|v\|_p=(|v_1|^p+\cdots+|v_n|^p)^{1/p}</math>
が知られている。ここで{{math|''v''{{=}}(''v''{{sub|1}},...,''v''{{sub|n}})}}である<ref name=":1" group="注">[[Lp空間|&#x2113;<sup>p</sup>ノルム<math>\|v\|_p</math>]]、[[Lp空間|L<sup>p</sup>ノルム<math>\|f\|_p</math>]]、に関連するノルムとして、[[Lp空間|&#x2113;<sup>p</sup>ノルム]]

[[Lp空間|<math>\|v\|_p=\max_i |v_i|</math>]]、

'''[[Lp空間|L<sup>∞</sup>ノルム]]'''、

<math>\|f\|_{\infty}=\sup_{x\in[0,1]}|f(x)|</math>

があり、これらは[[Lp空間|<math>\|v\|_p</math>]]、[[Lp空間|<math>\|f\|_p</math>]]で{{Math|''p''→∞}}としたものに一致する。同様にソボレフノルム[[Lp空間|<math>\|f\|_{k,p}</math>]]で{{Math|''p''→∞}}としたノルム

<math>\|f\|_{k,\infty}=\max_{\ell<k}\sup_{x\in[0,1]}|f^{(\ell)}(x)|</math>

も定義可能である。</ref>。

==== ノルムから定まる距離と位相 ====
{{mvar|V}}上にノルム{{math|{{norm|・}}}}が1つ与えられると、
:<math>d(x,y)=\|x-y\|</math>
により、{{mvar|V}}上の距離が定まる。


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

{{math theorem|定義・定理|
{{mvar|V}}を（実もしくは複素）[[ベクトル空間]]とし、<math>\|\cdot\|</math>と<math>\|\cdot\|'</math>を{{mvar|V}}上定義された2つの[[ノルム]]とする。<math>\|\cdot\|</math>、<math>\|\cdot\|'</math>が
: <math>\exists C_1, C_2 > 0 \forall x \in V ~:~C_1 \|x\|'\le \|x\| \le C_2 \|x\|'</math>
を満たすとき、<math>\|\cdot\|</math>、<math>\|\cdot\|'</math>は'''同値'''なノルムであるという。

<math>\|\cdot\|</math>、<math>\|\cdot\|'</math>が同値であれば、これらのノルムが定める距離
: <math>d(x,y)=\|x-y\|</math>、<math>d'(x,y)=\|x-y\|'</math>
は {{mvar|V}}上に同一の位相を定める。
|note=ノルムの同値性と位相}}

==== 有限次元ベクトル空間の場合 ====
{{mvar|V}}が有限次元の場合は次の事実が知られている<ref>{{Cite web|和書|url=https://www.ma.noda.tus.ac.jp/u/sh/pdfdvi/13fa-s.pdf|title=解析学III 関数解析|accessdate=2021-02-05|publisher=[[東京理科大学]]|page=6|author=平場誠示}}</ref>：
{{math theorem|命題|
有限次元の（実もしくは複素）ベクトル空間上定義されるノルムは全て同値である。
|}}
この事実から、有限次元ベクトル空間の場合は、ノルムのとり方によらず同一の位相構造が定まる事がわかる。この位相を有限次元ベクトル空間上の'''自然な位相'''、'''通常の位相'''等と呼ぶ。

==== 無限次元ベクトル空間の場合 ====
一方解析学で頻繁に使われる、無限次元のベクトル空間の場合は、同一のベクトル空間上に複数の同値でないノルムが存在し、それらのノルムがそれぞれ異なる位相構造を定める事になる。例えば{{math|[0,1]}}区間から<math>\mathbf{R}</math>への連続写像全体の集合
:  <math>C([0,1],\mathbf{R})=\{f~:~[0,1]\to \mathbf{R}</math>, 連続<math>\}</math>
を写像の和と定数倍に関してベクトル空間とみなすと、各<math>p\ge 1</math>対し、'''[[Lp空間|L<sup>p</sup>ノルム]]'''
: <math>\|f\|_{p}=\sqrt[p]{\int_{[0,1]}|f(x)|^{p}\mathrm{d}x}</math>
が定義できるが、これらは{{mvar|p}}が異なれば異なる位相を定め、実際L<sup>p</sup>ノルムでは収束するのに別のL<sup>q</sup>ノルムでは収束しない例を作る事ができる<ref name=":1" group="注" />。

また無限回微分可能な写像の空間
:  <math>C^{\infty}([0,1],\mathbf{R})=\{f~:~[0,1]\to \mathbf{R}</math>, 無限回微分可能<math>\}</math>
にはL<sup>p</sup>ノルムの一般化である'''[[ソボレフ空間|ソボレフノルム]]'''
: <math>\|f\|_{k,p}=\sqrt[p]{\sum_{\ell=0}^k\int_{[0,1]}|f^{(\ell)}(x)|^{p}\mathrm{d}x}</math>
:
も定義可能であるが<ref name=":1" group="注" />、これらも{{mvar|k}}、{{mvar|p}}が異なれば異なる位相を定める。なお、<math>\|\cdot\|_{k,\infty}</math>の定める位相を'''{{math|C{{sup|''k''}}}}-位相'''と呼び、この位相は[[位相幾何学]]で図形の連続変形を扱う際重要な役割を果たす。

==その他の具体例==

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

{{math theorem|定義・定理|{{mvar|X}}を集合とする。このとき以下は位相の公理を満たす。
* 空集合<math>\emptyset</math>と全体集合{{mvar|X}}のみを開集合とする位相を'''[[密着位相]]'''という。
* {{mvar|X}}の任意の部分集合を開集合とする位相を{{mvar|X}}の'''[[離散位相]]'''という。
* {{mvar|X}}の任意の有限部分集合と全体集合を閉集合とする位相を{{mvar|X}}の'''[[補有限|補有限位相]]'''という。
* {{mvar|X}}の任意の可算部分集合と全体集合を閉集合とする位相を{{mvar|X}}の'''{{仮リンク |補可算位相|en|cocountable topology}}'''という。
|note=}}

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

離散位相は{{mvar|X}}上に'''離散距離'''
: <math>
d(x,y)=
\begin{cases}
0 & x= y\\
1 & \text{otherwise}
\end{cases}
</math>
をいれたときに距離から定まる位相と一致する。

{{mvar|X}}が1元集合、有限集合、可算集合の場合は明らかに密着位相、補有限位相、補可算位相はいずれも離散位相に一致する。
それ以外の場合、すなわち{{mvar|X}}が2元以上ある集合、無限集合、非可算集合の場合は、密着位相、補有限位相、補可算位相は{{mvar|X}}上のいかなる距離から定まる位相とも一致しない<ref group="注">距離から定まる位相は[[ハウスドルフ空間|ハウスドルフ性]]と[[正規空間|正規性]]を満たすが、密着位相はハウスドルフ性を満たさない。また補有限位相や補可算位相においては空でない任意の開集合の閉包は全体集合であるため、任意{{math|''x'', ''y'' ∈ ''X''}}の任意の閉近傍は全体集合になってしまう為正規性を満たさない。</ref>。

===ザリスキー位相===

<math>P = \{2, 3, 5, 7, \ldots\} </math>を[[素数]]の集合とする。各整数<math>n\in\mathbb{Z}</math>に対し、
:<math>V(n)=\{p\in P \mid n</math>は{{mvar|p}}の倍数<math>\}</math>
と定義し、{{math|''V''(''n'')}}全体の集合を閉集合系とする{{mvar|P}}上の位相を{{mvar|P}}上の'''[[ザリスキー位相]]'''という。
ザリスキー位相は{{mvar|P}}上のいかなる距離から定まる位相とも一致しないことが知られており<ref group="注">ザリスキー位相はハウスドルフ性を満たさないから。</ref>、距離から定まらない位相でなおかつ数学の重要な研究対象となっているものの代表例である。
ザリスキー位相の概念は一般の[[環 (数学)|可換環]]{{mvar|R}}の[[素イデアル]]全体の集合に対しても定義する事ができる事が知られている。

一方、これとは全く異なる角度からザリスキー位相を定義する事ができる。{{mvar|K}}を複素数体（もしくはより一般に[[代数的閉体]]）とし、{{mvar|K{{sup|n}}}}を考える。そして{{mvar|K}}上の多項式の任意の集合{{mvar|S}}に対し、
:<math>V(S)=\{x\in K^n \mid \forall f\in S~:~f(x)=0\}</math>
と定義し、{{math|''V''(''S'')}}全体の集合を閉集合系とする位相を{{mvar|K{{sup|n}}}}上の'''ザリスキー位相'''という。

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

===加工により得られた位相空間===
{{Main|位相空間#位相空間の導出}}
数学で使われる多くの位相空間は、距離空間（から定まる位相空間）のような既知の位相空間を加工して作られている。
例えば既知の２つの位相空間の和集合や積集合に対して、位相を定めてこれらを位相空間とみなしたり、位相空間上で同値関係を考えてその同値関係による[[商集合]]に対して位相を定めて位相空間とみなしたりする。

こうした加工の結果として得られる位相空間の例として、非常に重要なものの一つが'''[[多様体]]'''である。多様体とは、直観的には{{mvar|n}}次元曲面のことであるが、これは<math>\mathbb{R}^n</math>の部分集合を何枚も張り合わせる事で実現されている。

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

==位相空間に関する諸概念==
{{main|内部 (位相空間論)|外部 (位相空間論)|境界 (位相空間論)|閉包 (位相空間論)}}

=== 定義 ===

==== 内部、外部、境界====

位相空間{{mvar|X}}の部分集合{{mvar|A}}に対し、{{mvar|A}}の「内部」、「外部」、「境界」の概念を定義できる：

[[Image:Interior illustration.svg|right|thumb|''x'' は、それを含むある開集合もまた ''S'' に含まれるため''S'' の内点である。一方''y'' は ''S'' の境界上にある。]]
{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とし、{{mvar|A}}を''X'' の部分集合とする。このとき、
* {{math|''x'' ∈ ''X''}} が{{mvar|A}}の'''内点'''であるとは、ある開集合{{math|''O'' ⊂ ''X''}}が存在し、{{math|''x'' ∈ ''O'' ⊂ ''A''}}が成立する事をいう。
* {{mvar|A{{sup|c}}}}の内点を{{mvar|A}}の'''外点'''と呼ぶ。
* {{mvar|A}}の内点でも外点でもない 点{{math|''x'' ∈ ''X''}}を{{mvar|A}}の'''境界点'''という。
|note=内点、外点、境界点<ref name="内田68">[[位相空間#内田|#内田]] pp.68-73.</ref>}}
{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とし、{{mvar|A}}を''X'' の部分集合とする。このとき、
* {{mvar|A}}の内点全体の集合を{{mvar|A}}の'''[[内部 (位相空間論)|内部]]'''（ないぶ, {{lang-en-short|interior}}）または'''開核'''といい、<math>A^{\circ},  \operatorname{Int} A</math>などと表す。 
* {{mvar|A}}の外点全体の集合をの'''外部'''（がいぶ, {{lang-en-short|exterior}}）といい、<math>A^e,\ \ \operatorname{Ext}A</math>などと表す。
* 境界点全体の集合を{{mvar|A}}の'''境界'''（きょうかい, {{lang-en-short|frontier}}）とい、<math>\operatorname{Fr} A,\ \operatorname{Bd} A,\ \partial A</math> などと表す。
|note=内部、外部、境界<ref name="内田68" />}}
なお、境界を表す記号「<math>\partial A</math>」は[[多様体]]の縁（ふち, {{lang-en-short|boundary}}）を表す記号としても使われるが、両者は似て非なる概念なので注意が必要である。

====閉包====

さらに閉包を次のように定義する：
{{math theorem|定理・定義|
<math>(X,\mathcal{O})</math>を位相空間とし、''A'' を''X'' の部分集合とする。このとき、
* <math>A^{\circ}\cup\operatorname{Fr}(A)</math>を''A'' の'''[[閉包 (位相空間論)|閉包]]'''（へいほう, {{lang-en-short|closure}}）と呼び、<math>\bar{A},~\operatorname{Cl}(A),~A^-</math>などと表す。
* {{mvar|A}}の閉包の元を{{mvar|A}}の'''触点'''という。
|note=閉包、触点}}

定義から明らかに次が成立する：
{{math theorem|命題|　
*<math>\overline{A^c}=(A^{\circ})^c</math>
|note=内部と閉包の関係}}
よって内部と閉包は双対的な関係にあり、内部に関する性質に[[ド・モルガンの法則]]を適用する事で閉包の性質を導く事ができる。

=== 基本的な性質 ===

定義より明らかに次が成立する。
{{math theorem|命題|　
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の外点 ⇔ {{math|''x'' ∈ ''O''}}を満たすある開集合{{math|''O'' ⊂ ''X''}}が存在し、{{math|''O'' ⊂ ''A''{{sup|c}}}}
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の境界点 ⇔ {{math|''x'' ∈ ''O''}}を満たす任意の開集合{{math|''O'' ⊂ ''X''}}に対し、<math>A\cup O \neq \emptyset</math> かつ <math>A^c\cup O \neq \emptyset</math>
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の触点 ⇔ {{math|''x'' ∈ ''O''}}を満たす任意の開集合{{math|''O'' ⊂ ''X''}}に対し、<math>A\cap O\neq \emptyset</math>
|}}

{{mvar|X}}が距離空間であれば、上では「{{math|''x'' ∈ ''O''}}を満たすある開集合{{math|''O'' ⊂ ''X''}}」、「{{math|''x'' ∈ ''O''}}を満たす任意の開集合{{math|''O'' ⊂ ''X''}}」となっているところを、「{{mvar|x}}のある{{mvar|ε}}-近傍<math>B_{\varepsilon}(x)</math>」「{{mvar|x}}の任意の{{mvar|ε}}-近傍<math>B_{\varepsilon}(x)</math>」に変えてもよい。これについては[[位相空間#基本近傍系|基本近傍系]]について記述する際、より詳しく述べる。

さらに次が成立する。
{{math theorem|命題|　
位相空間<math>(X,\mathcal{O})</math>の任意の部分集合{{mvar|A}}に対し次が成立する：
*内部、境界、外部は、全空間''X'' を排他的に分割する。すなわち、<math>A^{\circ}\sqcup\operatorname{Fr}(A)\sqcup A^e=X</math>
*<math>A^{\circ}\subset A \subset \bar{A}</math>
*{{mvar|A}}の内部、外部は開集合で、境界、閉包は閉集合である。
|}}

===内部、閉包の性質===

内部および閉包は以下のようにも特徴づけられる事が知られている：
{{math theorem|命題|　
位相空間<math>(X,\mathcal{O})</math>の任意の部分集合{{mvar|A}}に対し次が成立する：
* <math>A^{\circ}</math>は{{mvar|A}}に含まれる最大の開集合<math>\bigcup_{O\in\mathcal{O}, O\subset A}O</math>に一致する<ref name="内田68" />。
* <math>\bar{A}</math>は{{mvar|A}}を含む最小の閉集合<math>\bigcap_{F\in\mathcal{F}, A\subset F}F</math>に一致する<ref name="内田68" />。
|note=内部および閉包の特徴づけ}}

内部の概念は以下を満たす：
{{math theorem|定理|
位相空間''X''の任意の部分集合''A''、''B''に対し、以下が成立する<ref name="内田68" />：
:#<math>A^{\circ}\subset A</math> 
:# <math> (A^{\circ})^{\circ}=A^{\circ}</math> 
:# <math>(A\cap B)^{\circ} =A^{\circ}\cap B^{\circ}</math> 
:#<math>X^{\circ}=X</math>
|note=内部の性質{{Anchors|内核作用素の性質}}}}

<math>\bar{A}=((A^c)^{\circ})^c</math>である事を用いて、以上で述べた内部に関する結果をド・モルガンの法則により閉包の結果に翻訳できる：
{{math theorem|定理|
位相空間''X''の任意の部分集合''A''、''B''に対し、以下が成立する：
:#<math>A\subset \overline{A}</math> 
:# <math> \overline{\overline{A}}=\overline{A}</math> 
:# <math>\overline{A\cup B} =\overline{A}\cup\overline{B}</math> 
:#<math>\overline{\emptyset}=\emptyset</math>
|note='''クラトウスキイの公理系'''{{Anchors|クラトウスキイの公理系}}<ref name="内田71">[[位相空間#内田|#内田]] p.71.</ref><ref name="Kelly43">[[位相空間#Kelly]] p.43.</ref>}}


====内核作用素・閉包作用素による位相の特徴づけ====
<math>(X,\mathcal{O})</math>を位相空間とするとき、
* 写像<math>A\subset X \mapsto A^{\circ}</math>を'''内核作用素'''という<ref name="内田68" />。
* 写像<math>A\subset X \mapsto \bar{A}</math>を'''閉包作用素'''という<ref name="内田68" />。

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

{{math theorem|定理|
{{mvar|X}}を集合とし、{{mvar|X}}の冪集合からそれ自身への写像
:<math>\mathrm{Int}~:~\mathfrak{P}(X)\to\mathfrak{P}(X)</math>
で、<math>A^{\circ}:=\mathrm{Int}(A)</math>が「[[位相空間#内核作用素の性質|定理（内核作用素の性質）]]」で述べた4性質を満たすものとする。

このとき{{mvar|X}}上の位相構造<math>\mathcal{O}</math>で位相空間<math>(X,\mathcal{O})</math>の内核作用素が<math>\mathrm{Int}</math>に一致するものがただ一つ存在する
<math>\mathcal{O}</math>の開集合系<math>\mathcal{O}</math>は具体的には以下のように書ける：
: <math>\mathcal{O}=\{O\subset X \mid O = \mathrm{Int}(O) \}</math>
|note=内核作用素による位相の特徴づけ<ref name="内田68" />}}

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

{{math theorem|定理|
{{mvar|X}}を集合とし、{{mvar|X}}の冪集合からそれ自身への写像
:<math>\mathrm{Cl}~:~\mathfrak{P}(X)\to\mathfrak{P}(X)</math>
で、<math>\bar{A}:=\mathrm{Cl}(A)</math>が[[位相空間#クラトウスキイの公理系|クラトウスキイの公理系]]を満たすものとする。

このとき{{mvar|X}}上の位相構造<math>\mathcal{O}</math>で位相空間<math>(X,\mathcal{O})</math>の閉包作用素が<math>\bar{A}=\mathrm{Cl}(A)</math>に一致するものがただ一つ存在する<ref name="内田71" /><ref name="Kelly43" />。
<math>\mathcal{O}</math>の閉集合系<math>\mathcal{F}</math>は具体的には以下のように書ける：
: <math>\mathcal{F}=\{F\subset X \mid F = \bar{F} \}</math>
|note=閉包作用素による位相の特徴づけ}}

===その他の関連概念===
====集積点、導集合====

{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とし、{{mvar|A}}を{{mvar|X}}の部分集合とする。このとき、
* {{math|''x''∈''X''}}が<math>A\setminus\{x\}</math>の触点であるとき、{{mvar|x}}を{{mvar|A}}の'''集積点'''という<ref name="内田68" />。
* {{mvar|A}}の集積点全体の集合を'''導集合'''といい、{{mvar|A{{sup|d}}}}と表す<ref name="内田68" />。
* <math>A\setminus A^d</math>の元を{{mvar|A}}の'''孤立点'''という<ref name="内田68" />。
|note=集積点、導集合、孤立点}}

定義より明らかに次が成立する。
{{math theorem|命題|　
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の集積点 ⇔ {{math|''x'' ∈ ''O''}}を満たす任意の開集合{{math|''O'' ⊂ ''X''}}に対し、{{mvar|O}}は{{mvar|x}}以外に{{mvar|A}}の元を含む。
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の孤立点 ⇔ {{math|''x'' ∈ ''A''}}であり、しかも{{math|''x'' ∈ ''O''}}を満たすある開集合{{math|''O'' ⊂ ''X''}}があって、{{mvar|O}}は{{mvar|x}}以外に{{mvar|A}}の元を含まない。
|}}


====稠密====

{{math theorem|定義|
{{mvar|A}}が位相空間<math>(X,\mathcal{O})</math>の'''[[稠密集合|稠密な部分集合]]'''であるとは、''A'' の閉包が ''X'' に一致することである。
|note=稠密}}

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

可算な稠密部分集合をもつ位相空間は[[可分位相空間|可分]]であるといい、例えば<math>\mathbb{R}</math>においては<math>\mathbb{Q}</math>が可算な稠密部分集合なので、<math>\mathbb{R}</math>は可分である。

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

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

{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とし、{{mvar|x}}を{{mvar|X}}の点とする。このとき、
:{{math|''x'' ∈ ''O'' }}
を満たす開集合を{{mvar|x}}の'''開近傍'''（かいきんぼう, {{lang-en-short|open neighborhood}}）という。
また{{mvar|X}} の部分集合{{mvar|N}}が以下を満たすとき、{{mvar|N}}は{{mvar|x}}の '''[[近傍 (位相空間論)|近傍]]'''（きんぼう, {{lang-en-short|neighborhood}}）であるという<ref name="内田73">[[位相空間#内田|#内田]] pp.73-74.</ref>
:ある開集合{{math|''O'' ⊂ ''X''}}が存在し、{{math|''x'' ∈ ''O'' ⊂ ''N''}}
点{{mvar|x}}の近傍全体の集合を{{mvar|x}}の'''近傍系'''といい<ref name="内田73" />、{{mvar|x}}の開近傍全体の集合を{{mvar|x}}の'''開近傍系'''という。
|note=近傍系、開近傍系}}近傍系のことを近傍[[フィルター (数学)|フィルター]]（[[英語|英]]: neighborhood filter）ともいう。

なお、「近傍」という名称であるが、上述の定義から分かるように、全空間{{mvar|X}}も点{{mvar|x}}の近傍であり、{{mvar|x}}の「近く」の点だけを含むわけではない。（そもそも距離が定義されていないので「近く」という概念を定義できない）。



=== 基本近傍系 ===

点{{mvar|x}}の近傍{{mvar|N}}は{{math|''x'' ∈ ''O'' ⊂ ''N''}}を満たし、距離空間における開集合{{mvar|O}}は<math>B_{\varepsilon}(x)\subset O</math>を満たす。したがって以下のように'''基本近傍系'''の概念を定義すると、距離空間においては<math>\{B_{\varepsilon}(x)\mid \varepsilon>0\}</math>が基本近傍系になっている事がわかる。また一般の位相空間でも開近傍全体の集合が基本近傍系になる事がわかる。

{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とし、{{mvar|x}}を{{mvar|X}}の点とし、<math>\mathcal{N}_x</math>を{{mvar|x}}の近傍系とする。<math>\mathcal{N}_x</math>の部分集合<math>\mathcal{B}_x</math>が以下を満たすとき、<math>\mathcal{B}_x</math>を{{mvar|x}}における'''基本近傍系'''という<ref name="内田79" />：
:任意の近傍<math>N\in\mathcal{N}_x</math>に対し、ある<math>B\in\mathcal{B}_x</math>が存在し、{{math|''x'' ∈ ''B'' ⊂ ''N''}}
|note=基本近傍系}}

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

{{math theorem|命題|　
<math>\mathcal{B}_x</math>を位相空間<math>(X,\mathcal{O})</math>の点{{mvar|x}}における基本近傍系とする。このとき、
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の内点 ⇔ <math>\exists N\in\mathcal{B}_x~:~N\subset A</math>
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の外点 ⇔ <math>\exists N\in\mathcal{B}_x~:~N\subset A^c</math>
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の境界点 ⇔ <math>\forall N\in\mathcal{B}_x~:~A\cup N \neq \emptyset</math> かつ <math>A^c\cup N \neq \emptyset</math>
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の触点 ⇔ <math>\forall N\in\mathcal{B}_x~:~A\cap N\neq \emptyset</math>
* {{math|''x'' ∈ ''X''}}が{{mvar|A}}の集積点 ⇔ <math>\forall N\in\mathcal{B}_x~:~</math>{{mvar|N}}は{{mvar|x}}以外に{{mvar|A}}の元を含む。
|}}

距離空間においては点{{mvar|x}}の{{mvar|ε}}-近傍全体が基本近傍系をなすので、上記の定理より、距離空間においては内点、外点といった概念は{{mvar|ε}}-近傍を用いて定義可能である。教科書によっては、この{{mvar|ε}}-近傍を用いた定義を距離空間における内点、外点等の定義として採用しているものもある。

=== 近傍系の性質 ===
近傍系は以下の性質を満たす：
{{math theorem|定義|
点{{mvar|x}}の近傍系を<math>\mathcal{N}_x</math>で表すとき、{{mvar|X}}の任意の部分集合{{mvar|N}}、{{mvar|N'}}、{{mvar|M}}に対して以下が成立する。
* <math>N,N'\in\mathcal{N}_x\Rightarrow N\cap N' \in \mathcal{N}_x</math>
* <math>N\in\mathcal{N}_x,~M\supset N\Rightarrow M \in \mathcal{N}_x</math>
* <math>N\in\mathcal{N}_x</math>であれば、ある<math>L\in\mathcal{N}_x</math>が存在し全ての<math>y\in L</math>に対して<math>N\in\mathcal{N}_y</math>
|note='''ハウスドルフの公理系'''<ref name="内田73" />}}

ハウスドルフの公理系を満たす近傍系は位相を特徴づける：
{{math theorem|定理|
{{mvar|X}}を集合とし、{{mvar|X}}の元に{{mvar|X}}の冪集合の冪集合の元を対応させる写像
:<math>\mathcal{N} \colon X \to \mathfrak{P}(\mathfrak{P}(X)),~x\mapsto \mathcal{N}_x</math>
がハウスドルフの公理系を満たしたとする。このとき{{mvar|X}}上の位相構造<math>\mathcal{O}</math>で位相空間<math>(X,\mathcal{O})</math>の各点{{mvar|x}}の近傍が<math>\mathcal{N}_x</math>に一致するものがただ一つ存在する<ref name="内田73" />。
<math>\mathcal{O}</math>は具体的には以下のように書ける：
: <math>\mathcal{O}=\{O\subset X \mid \forall x\in O ~:~ O\in \mathcal{N}_x \}</math>
|note=近傍系による位相の特徴づけ}}

==収束==
本節の目標は、位相空間上での収束概念を定義し、収束概念によってこれまで述べてきた様々な概念を捉え直す事にある。
位相空間における収束概念は、距離空間における点列の収束概念を適切に修正する事により得られる：
{{math theorem|定義|
<math>(X,d)</math>を距離空間とする。{{mvar|X}}の点列<math>(x_n)_{n\in\mathbb{N}}</math>が{{mvar|X}}の点{{mvar|x}}に'''収束する'''とは以下が成立する事を言う：
: <math>\forall \varepsilon>0 \exists n_0\in\mathbb{N} \forall n>n_0 ~:~x_n\in B_{\varepsilon}(x)</math>
ここで、<math>B_{\varepsilon}(x)=\{y\in X |d(y,x)<\varepsilon\}</math>である。
|note=距離空間における点列の収束}}

位相空間における収束を定義するにあたり、上述の距離空間における収束の定義に２つの変更を行う：
# {{mvar|ε}}-近傍<math>B_{\varepsilon}(x)</math>の代わりに一般の近傍を用いる。
# 点列の概念を一般化した'''有向点族'''の概念を導入し、有向点族の収束を定義する。

1番目の変更を行うのは、位相空間には距離の概念がないので、そもそも{{mvar|ε}}-近傍を定義できないからである。一方2番目の変更を行うのは、点列の収束概念だけでは位相空間の諸概念を定式化するのに不十分だからである。たとえば距離空間の場合には連続性の概念は
: <math>
\lim_{n\to \infty}f(x_n)=f(\lim_{n\to \infty}x_n)
</math>
が収束する任意の点列に対して成り立つ事により定式化できるが、一般の位相空間の場合は「任意の点列」ではなく「任意の有向点族」に対してこれと類似の性質が成り立つ事により連続性を定義する必要がある。

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

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

=== 有向点族 ===
{{main|有向点族}}
すでに述べたように位相空間では点列の概念を一般化した有向点族の概念を定義した上でその収束を定義する。本節では有向点族の定義を与える。その為にまず[[有向集合]]の概念を定義する
{{math theorem|定義|
空でない[[集合]]{{mvar|Λ}}と{{mvar|Λ}}上の[[二項関係]]「&#x2264; 」の組 {{math|(Λ, &#x2264;)}}が'''有向集合'''（ゆうこうしゅうごう、{{lang-en-short|directed set}}）であるとは、「&#x2264; 」が以下の性質を全て満たす事を言う<ref name="Kelly65">[[#Kelly]] pp.65-66.</ref>:
*（[[反射関係|反射律]]）{{math|∀λ∈Λ : λ &#x2264;λ}}
*（[[推移関係|推移律]]）{{math|∀λ,μ,ν∈Λ : λ &#x2264; μ, μ &#x2264;ν ⇒ λ &#x2264; ν}}
* {{mvar|Λ}}の任意の二元が[[順序集合#上界|上界]]を持つ。すなわち{{math|∀λ,μ∈Λ∃ν∈Λ : λ &#x2264; ν, μ &#x2264;ν}}
|note=有向集合}}

なお、有向集合の二項関係「&#x2264; 」は、反射律と推移律を満たすのものの反対称律は満たす必要がないので、前順序ではあるものの[[順序集合|順序]]の定義は満たしていない。
{{math theorem|定義|集合{{mvar|X}}上の'''有向点族'''とは、{{mvar|X}}上の族{{math|(''x''{{sub|''λ''}}){{sub|''λ''∈''Λ''}}}}で添字集合{{mvar|Λ}}が有向集合であるものを指す<ref name="Kelly65" /><ref group="注">より厳密に言うと、有向集合{{math|(''Λ'',&#x2264;)}}と、{{mvar|Λ}}から{{mvar|X}}への写像{{math|''x'' : ''Λ''→''X''}}の組の事を{{mvar|Λ}}を添字集合とする有向点族と呼ぶ</ref>。有向点族は'''ネット''' ({{lang-en-short|net}})、 '''Moore-Smith 列'''({{lang-en-short|Moore-Smith sequence}}<ref name="Schechter7.6">[[位相空間#Schechter|#Schechter]] 7.6</ref>)、'''generalized sequence'''<ref name="Schechter7.6" />などとも呼ばれる。 |note=有向点族}}



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

しかしより重要なのは、以下に述べる'''開近傍系を添字集合に取る有向点族'''である
{{math theorem|命題|
{{mvar|a}}を位相空間{{mvar|X}}の点とし、<math>\mathcal{V}_a</math>を{{mvar|a}}の開近傍系とする。このとき<math>\mathcal{V}_a</math>上の二項関係
:<math>U\le V ~:\!\iff V \supset U~~~~\text{for } U,V\in\mathcal{V}_a</math>
を入れると、<math>(\mathcal{V}_a,\le)</math>は有向集合である。よって<math>\mathcal{V}_a</math>を添え字に取る{{mvar|X}}上の任意の族<math>(x_U)_{U\in\mathcal{V}_a} </math>はこの二項関係に関して有向点族である。
|note=開近傍系を添字集合に取る有向点族}}

上の例で特に
: <math>x_U\in U</math>
を満たす有向点族<math>(x_U)_{U\in\mathcal{V}_a} </math>を考えれば、{{mvar|U}}が小さくなればなるほど<math>x_U\in U</math>が{{mvar|a}}に「近づく」ので、この有向点族が収束概念を考える際に重要な役割を果たす事が了解されるであろう。

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

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

==== 部分有向点族 ====

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

{{math theorem|定義|
{{mvar|X}}を集合とし、{{mvar|X}}上の有向点族<math>(y_{\gamma})_{\gamma\in\Gamma}</math>、<math>(x_{\lambda})_{\lambda\in\Lambda}</math>に対し、以下の性質を満たす{{math|''h'' : ''Γ''→''Λ''}}が存在するとき、<math>(y_{\gamma})_{\gamma\in\Gamma}</math>は<math>(x_{\lambda})_{\lambda\in\Lambda}</math>の'''部分有向点族'''という<ref>[[#Kelly]] p.70.</ref>：
# <math>\forall \gamma\in \Gamma~:~y_{\gamma}=x_{h(\gamma)}</math><!--{{math|}}テンプレートでも書いてみたがさすがにフォントが汚く見づらかったので、latexを使った-->
# <math>\forall \lambda\in\Lambda \exists \gamma_0\in\Gamma \forall \gamma\in\Gamma~:~\gamma\ge \gamma_0 \Rightarrow h(\gamma) \ge \lambda</math>
（2を'''強共終性'''({{lang-en-short|strong cofinality}}<ref name="nLab" />)という）
|note=部分有向点族}}

上の定義で{{mvar|h}}が[[単射]]である事を要求して'''ない'''事に注意されたい。これはもし''h'' に単射性を要求すると病的な例（[[:en:Tychonoff plank|Tychonoff plank]]）のせいでいくつかの当然と思われる定理が成り立たなくなってしまうからである。

これが原因で、点列<math>(x_n)_{n\in\mathbb{N}}</math>を有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、<math>(x_{h(\gamma)})_{\gamma\in\Gamma}</math>を<math>(x_n)_{n\in\mathbb{N}}</math>の部分有向点族とすると、''h'' が単射でない事から同じ{{math|''x'' {{sub|''n''}}}}が部分有向点族に複数回（場合によっては非可算無限回）登場するかもしれないし、&#x393;も全順序ではないかもしれない。

なお本項に載せた部分有向点族の定義は[[位相空間#Kelly|(Kelly 1975)]]による。書籍によってはこれとは異なる定義を採用している場合もあるが<ref name="nLab">{{Cite web|url=https://ncatlab.org/nlab/show/net|title=net|accessdate=2021/02/08|publisher=nLab}}</ref><ref name="Schechter7.14">[[位相空間#Schechter|#Schechter]] 7.14</ref>、こうした別定義とも何らかの意味で同値である事が示されている<ref name="nLab" /><ref name="Schechter7.14" />。

=== 収束の定義 ===
{{Main|極限#位相空間}}

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

{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とする。{{mvar|X}}上の有向点族<math>x=(x_{\lambda})_{\lambda\in\Lambda}</math>が{{math|''a''∈''X''}}に'''収束'''するとは、
: {{math|∀''U''}} ({{mvar|a}} の近傍) <math>\exists \lambda_0\in\Lambda \forall \lambda>\lambda_0~~:~~x_\lambda\in U</math>
が成立する事をいう<ref name="Kelly65" />。<math>x=(x_{\lambda})_{\lambda\in\Lambda}</math>の収束先{{mvar|a}}が一意であれば、
:<math>\lim_{\lambda\to\infty}x_{\lambda}=a</math>、<math>\lim_{\Lambda}x=a</math>
等と表す。
|note=有向点族の収束}}

<math>\mathcal{B}_x</math>を{{mvar|x}}の基本近傍系とするとき、以上の定義における「{{mvar|x}}の任意の近傍{{mvar|U}}」を「<math>\mathcal{B}_x</math>の任意の元{{mvar|U}}」に変えたとしても定義としては同値になる。

よって特に、距離空間から定義される位相空間の場合は、「{{mvar|x}}の任意の{{mvar|ε}}ｰ近傍」としてもよい。従って点列の収束に関しては位相空間におけら収束と本章の冒頭にあげた距離空間における収束の定義は一致する。

===収束の一意性===

一般の位相空間において有向点族の収束の一意性は必ずしも成立しないものの、収束の一意性が保証される必要十分条件は下記のように記述できる事が知られている：
[[Image:Hausdorff_space.svg|thumb|right|相異なる2点を分離するそれぞれの開近傍]]
{{math theorem|定理・定義|
位相空間<math>(X,\mathcal{O})</math>において、下記の２つの性質は同値である。これらの性質の１つ（したがって両方を満たす事）を'''ハウスドルフ性'''もしくは'''ハウスドルフの分離公理'''といい、ハウスドルフ性が成り立つ位相空間を'''ハウスドルフ空間'''もしくは'''T<sub>2</sub>-空間'''という<ref>[[#Kelly]] p.67.</ref>。
* {{mvar|X}}上の任意の有向点族<math>(x_{\lambda})_{\lambda\in\Lambda}</math>に対し、 <math>(x_{\lambda})_{\lambda\in\Lambda}</math>が収束すればその収束先は一意である。
* {{mvar|X}}上の任意の2点{{mvar|x}}、{{mvar|y}}に対し、{{mvar|x}}の開近傍{{mvar|U}}と、{{mvar|y}}の開近傍{{mvar|V}}が存在し{{math|''U''∩''V'''{{=}}∅}}
|note=[[ハウスドルフ空間|ハウスドルフ性]]}}

なお、ハウスドルフ性は数ある「分離公理」の一つであり、「T<sub>2</sub>-空間」という名称も「T<sub>1</sub>-空間」や「T<sub>3</sub>-空間」といった他の分離公理と区別するための名称である。詳細は[[位相空間#分離公理|本項の分離公理の説明]]や[[分離公理]]の項目を参照されたい。

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

有向点族の収束概念を用いると、閉包の概念を収束によって捉え直す事ができるようになる：
{{math theorem|定理|
{{mvar|A}}を位相空間{{mvar|X}}の任意の部分集合とき、以下が成立する：
* {{mvar|A}}は閉集合である⇔{{mvar|A}}上の有向点族{{math|(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>}}で{{math|''a''∈''X''}}に収束するものがあれば、{{math|''a''∈''A''}}である<ref name="Kelly66" />。
* 点{{mvar|a}}が{{mvar|A}}の閉包に含まれる⇔{{mvar|A}}上のある有向点族{{math|(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>}}が存在し、{{math|(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>}}は{{mvar|a}}に収束する<ref name="Kelly66">[[位相空間#Kelly|Kelly]] p66</ref>。  
* 点{{mvar|a}}が{{mvar|A}}の集積点である⇔<math>A\setminus \{a\}</math>上のある有向点族{{math|(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>}}が存在し、{{math|(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>}}は{{mvar|a}}に収束する<ref name="Kelly66" />。  
|note=有向点族による特徴づけ}}

上の定理の閉集合に関する部分は以下のように非常に簡単に示せる。他のものの証明も同様である：
{{math proof|
（⇒）<math>a\in \bar{A}</math>である事は以下と同値である：

: ''a'' の任意の近傍''U'' に対し、<math>U\cap A\neq \emptyset</math> ...(1)

これは''U'' ∩ ''A'' に少なくとも一つ元が存在する事を意味するので、そのような元を''x'' <sub>U</sub> とすると <math>x_U\in U\cap A \subset A</math>である事から<math>(x_U)_{U\in \mathcal{V}_a}</math> は''A'' 上にある。しかも前節で述べたように <math>(x_U)_{U\in \mathcal{V}_a}</math>は有向点族でありしかも''a'' に収束する。

（<math>\Leftarrow</math>）逆に''a'' に収束する''A'' 上の有向点族(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>があったとすれば、収束性の定義から''a'' の任意の近傍''U'' 内に有向点族の点''x''<sub>&lambda;</sub>が存在する。しかも仮定から''x''<sub>&lambda;</sub> ∈ ''A'' でもあったので、これは(1)が成立する事を意味し、したがって<math>a\in \bar{A}</math>である。
|drop=yes}}

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

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

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

{{math theorem|命題・定義|
{{math|(''Γ''{{sub|''λ''}}){{sub|''λ''∈''Γ''}}}}を有向集合の族とするとき、{{math|(''Γ''{{sub|''λ''}}){{sub|''λ''∈''Γ''}}}}の集合としての直積
<math>\underset{\lambda\in\Lambda}{\times}\Gamma_{\lambda}</math>に
: <math>(\gamma_{\lambda})_{\lambda\in\Lambda}\ge(\xi_{\lambda})_{\lambda\in\Lambda}~:\iff \forall \lambda\in\Lambda~:~ \gamma_{\lambda}\ge \xi_{\lambda}</math>
という順序を入れると、<math>\underset{\lambda\in\Lambda}{\times}\Gamma_{\lambda}</math>は有向集合になる。この順序をいれた<math>\underset{\lambda\in\Lambda}{\times}\Gamma_{\lambda}</math>を
{{math|(''Γ''{{sub|''λ''}}){{sub|''λ''∈''Γ''}}}}の有向集合としての'''直積'''という。
|note=有向集合の直積}}

{{math theorem|定理|
{{mvar|Λ}}を有向集合とし、各{{math|''λ''∈''Λ''}}に対し、{{mvar|Γ{{sub|λ}}}}を有向集合とし、<math>(X,\mathcal{O})</math>を位相空間とする。
各{{math|''λ''∈''Λ''}}に対し、有向集合{{mvar|Γ{{sub|λ}}}}を添え字とする{{mvar|X}}上の有向点族<math>x_{\lambda}=(x_{\lambda,\gamma})_{\gamma\in\Gamma_{\lambda}}</math>が、{{mvar|y{{sub|λ}}}}に収束するとし、さらに有向点族<math>(y_{\lambda})_{\lambda\in\Lambda}</math>が{{mvar|z}}に収束するものとする。

{{math|(''Γ''{{sub|''λ''}}){{sub|''λ''∈''Λ''}}}}の直積を<math>\Gamma=\underset{\lambda\in\Lambda}{\times}\Gamma_{\lambda}</math>とし、有向点族<math>(w_{\lambda,\xi})_{(\lambda,\xi)\in\Lambda\times\Gamma}=(x_{\lambda,\xi_{\lambda}})_{(\lambda,\xi)\in\Lambda\times\Gamma}</math>を考える（ただし<math>\xi=(\xi_{\lambda})_{\lambda\in\Lambda}\in\Gamma=\underset{\lambda\in\Lambda}{\times}\Gamma_{\lambda}</math>と定める）。

このとき<math>(w_{\lambda,\xi})_{(\lambda,\xi)\in\Lambda\times\Gamma}</math>は{{mvar|z}}に収束する<ref name="Kely69" /><ref name="Schechter413">[[位相空間#Schechter|#Schechter]] 15.10.節 pp.413-414.</ref>。
|note=二重極限の定理（{{lang-en-short|Theorem on Iterated limit}}<ref name="Kely69">[[位相空間#Kelly|#Kelly]] p.69.</ref>）{{Anchors|二重極限の定理}}}}

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

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

{{math theorem|定理|
{{mvar|X}}を集合とし、<math>\mathcal{C}</math>を{{mvar|X}}上の有向点族と{{mvar|X}}の点の組からなる[[クラス (集合論)|クラス]]とする。

<math>((x_{\lambda})_{\lambda\in\Lambda},y)\in\mathcal{C}</math>であるとき<math>(x_{\lambda})_{\lambda\in\Lambda}</math>が{{mvar|y}}に<math>\mathcal{C}</math>-収束するという事にするとき、以下が成立するとする：
* {{math|''x''{{sub|''λ''}}}}が恒等的に{{mvar|y}}に等しければ、<math>(x_{\lambda})_{\lambda\in\Lambda}</math>は{{mvar|y}}に<math>\mathcal{C}</math>-収束する
* <math>(x_{\lambda})_{\lambda\in\Lambda}</math>が{{mvar|y}}に<math>\mathcal{C}</math>-収束するとき、<math>(x_{\lambda})_{\lambda\in\Lambda}</math>の任意の部分有向点族も{{mvar|y}}に<math>\mathcal{C}</math>-収束する
* <math>(x_{\lambda})_{\lambda\in\Lambda}</math>が{{mvar|y}}に<math>\mathcal{C}</math>-収束しないとき、<math>(x_{\lambda})_{\lambda\in\Lambda}</math>の部分有向点族<math>(x_{\lambda_{\gamma}})_{\gamma\in\Gamma}</math>で<math>(x_{\lambda_{\gamma}})_{\gamma\in\Gamma}</math>のいかなる部分有向点族も{{mvar|y}}に<math>\mathcal{C}</math>-収束しないものが存在する。
* [[位相空間#二重極限の定理|二重極限の定理]]で「収束」を「<math>\mathcal{C}</math>-収束」に置き換えたものを満たす。
 
このとき{{mvar|X}}上の位相構造<math>\mathcal{O}</math>で<math>(X,\mathcal{O})</math>における有向点族の収束が<math>\mathcal{C}</math>-収束に一致するものが唯一存在する。<math>\mathcal{O}</math>における閉包作用素は具体的には以下のように書ける：
:<math>\bar{A}=\Bigg\{y\in X ~\Bigg|~ \exists (x_{\lambda})_{\lambda\in\Lambda}\subset A~:~(x_{\lambda})_{\lambda\in\Lambda}</math>は{{mvar|y}}に<math>\mathcal{C}</math>-収束する<math>\Bigg\}</math>
|note=極限による位相の特徴づけ<ref>[[位相空間#Kelly|#Kelly]] pp.73-75.</ref><ref name="Schechter413" />}}

== 連続性と位相同型 ==
本節では位相空間<math>(X,\mathcal{O}_X)</math>から別の位相空間<math>(Y,\mathcal{O}_Y)</math>に向かって定義された関数{{math|''f'': ''X'' → ''Y''}}の連続性の概念を定義する。後述するように位相空間における連続性の概念は、距離空間における連続性の定義で「点列」を「有向点族」に置き換える事で定義可能であるが、近傍や開集合といった、位相空間の概念を使った別定義も可能であり、両者の定義は同値となる。

なお、紛れがなければ、{{mvar|f}}が2つの位相空間の間の写像である事を強調して、「{{math|''f'': ''X'' → ''Y''}}」ではなく
: <math>f~:~(X,\mathcal{O}_X)\to(Y,\mathcal{O}_Y)</math>
という表記を用いる事もある。

===一点での連続性===

位相空間{{mvar|X}}上で定義された関数{{mvar|f}}の点{{math|''x''∈''X''}}における連続性を以下のように定義する。

{{math theorem|定義・定理|
<math>(X,\mathcal{O}_X)</math>、<math>(Y,\mathcal{O}_Y)</math>を位相空間とし、{{math|''f'': ''X'' → ''Y''}}を写像とし、{{mvar|x}}を{{mvar|X}}の点とする。このとき以下の２条件は同値であり、この２条件の一方（したがって両方）を満たすとき、{{mvar|f}}は{{math|''x''∈''X''}}で'''連続'''({{lang-en-short|continuous}})であるという。以下で<math>\mathcal{N}_x</math>は{{mvar|x}}の(開とは限らない)近傍全体を表す：
* {{mvar|x}}に収束する任意の有向点族<math>(x_{\lambda})_{\lambda\in\Lambda}</math>に対し、<math>(f(x_{\lambda}))_{\lambda\in\Lambda}</math>は<math>f(x)</math>に収束する。
* {{math|''f''(''x'')}}の近傍の{{mvar|f}}による逆像は{{mvar|x}}の近傍である。すなわち、<br>　　<math>\forall N\in \mathcal{N}_{f(x)}~:~ f^{-1}(N)\in \mathcal{N}_x</math>
|note=一点における連続性}}

我々は{{mvar|X}}にハウスドルフ性を仮定していないので、以上の定理で有向点族の収束の一意性が保証されていない事に注意されたい。

{{math proof|
(⇒)背理法で示す。<math>N\in \mathcal{N}_{f(x)}</math>で<math>f^{-1}(N)\notin \mathcal{N}_x</math>となるものがあったとすると、近傍の定義より{{mvar|x}}を含む任意の開集合{{mvar|U}}に対し、<math>U\setminus f^{-1}(N)</math>の点{{math|''x''{{sub|''U''}}}}が存在する。{{mvar|x}}の開近傍系を<math>\mathcal{V}_x</math>とすると、収束の定義より有向点族<math>(x_U)_{U\in \mathcal{V}_x}</math>は{{mvar|x}}に収束する。よって仮定より<math>(f(x_U))_{U\in \mathcal{V}_x}</math>は{{math|''f''(''x'')}}に収束する。

{{mvar|N}}は{{math|''f''(''x'')}}の近傍であったので、ある{{math|''f''(''x'')}}の開近傍{{mvar|V}}が存在し、{{math|''V''⊂''N''}}である。<math>(f(x_U))_{U\in \mathcal{V}_x}</math>は{{math|''f''(''x'')}}に収束するので、{{math|''x''{{sub|''U''}}⊂''V''}}を満たす{{math|''x''{{sub|''U''}}}}が存在する。

しかし{{math|''x''{{sub|''U''}}}}の取り方より<math>x_U\notin f^{-1}(N)</math>であったので、<math>f(x_U)\notin N</math>であり、よって特に<math>f(x_U)\notin V</math>であるのでこれは矛盾である。

(<math>\Leftarrow</math>)有向点族<math>(x_{\lambda})_{\lambda\in\Lambda}</math>が{{mvar|x}}に収束するとする。
<math>N\in\mathcal{N}_{f(x)}</math>を任意に取ると、仮定より{{math|''f''{{sup|-1}}(''N'')}}は{{mvar|x}}の近傍であるので、有向点族<math>(x_{\lambda})_{\lambda\in\Lambda}</math>が{{mvar|x}}に収束するから、ある{{math|''λ''{{sub|0}}∈''Λ''}}が存在し、<math>\lambda\ge \lambda_0</math>を満たす任意の{{math|''λ''∈''Λ''}}に対し、{{math|''x''{{sub|λ}}∈''f''{{sup|-1}}(''N'')}}であり、よって{{math|''f''(''x''{{sub|λ}})∈''N''}}である。これは有向点族<math>(f(x_{\lambda}))_{\lambda\in\Lambda}</math>が{{math|''f''(''x'')}}に収束する事を意味する。
|drop=yes}}

===全点での連続性===
{{main|連続写像}}

関数<math>f~:~(X,\mathcal{O}_X)\to(Y,\mathcal{O}_Y)</math>が定義域上の任意の点{{math|''x''∈''X''}}で連続であるとき、{{mvar|f}}は'''定義域の全点で連続'''、あるいは単に'''連続'''であるという。{{mvar|f}}の連続性は以下のようにも特徴づける事ができる。

{{math theorem|定理|
<math>f~:~(X,\mathcal{O}_X)\to(Y,\mathcal{O}_Y)</math>を位相空間から位相空間への関数とするとき、以下は同値である。
* {{mvar|f}}は連続である。
* 開集合の逆像は開集合である。すなわち<math>\forall O\in\mathcal{O}_Y~:~f^{-1}(O)\in \mathcal{O}_X</math>である<ref name="Kelly86">[[位相空間#Kelly|Kelly]] p86</ref>。
* 閉集合の逆像は閉集合である。すなわち<math>\forall F\in\mathcal{F}_Y~:~f^{-1}(F)\in \mathcal{F}_X</math>である<ref name="Kelly86" />。
* 任意の{{math|''A''⊂''X''}}に対し<math>f(\bar{A})\subset \overline{f(A)}</math><ref name="Kelly86" />。
|note=連続性の特徴づけ}}

===一様連続と一様収束===

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

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

=== 位相同型 ===
{{main|同相}}
{{math theorem|定義|
<math>(X,\mathcal{O}_X)</math>、<math>(Y,\mathcal{O}_Y)</math>を位相空間とし、''f'' : ''X'' → ''Y'' を写像とするとき、''f'' が'''同相写像'''であるとは、''f'' が[[全単射]]で、しかも''f'' と ''f''<sup>−1</sup> が両方とも連続であることをいう。

また、''X''、''Y'' 間に同相写像が存在するとき、<math>(X,\mathcal{O}_X)</math>、<math>(Y,\mathcal{O}_Y)</math>は'''[[位相同型]]'''もしくは'''同相'''であるという。
|note=位相同型}}

位相同型性は、位相空間の[[クラス (集合論)|クラス]]における同値関係であることを簡単に確認できる。

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

===位相不変量===

位相不変な性質の中には'''位相[[不変量]]'''と呼ばれる、位相空間の性質によって決まる「量」がある。
χが「位相不変量」であるとは、以下の性質を満たすことを言う
:''X'' と ''Y'' が位相同型⇒χ(''X'' )=χ(''Y'' )

これの対偶をとると、

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

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

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

: ''X'' = <nowiki>[</nowiki>0,1<nowiki>]</nowiki>
: ''Y'' = <nowiki>[</nowiki>0,1<nowiki>]</nowiki>∪<nowiki>[</nowiki>2,3<nowiki>]</nowiki>
: （ただし、ここで<nowiki>[</nowiki><math>a</math>,<math>b</math>]とは実数の[[ユークリッド距離]]による位相の、部分位相をもつ閉区間である）

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

== 位相の比較、生成 ==

=== 位相同士の比較 ===
{{math theorem|定義|
集合''X'' 上で定義された2つの位相空間<math>(X,\mathcal{O}_1)</math>、<math>(X,\mathcal{O}_2)</math>を考える。
: <math>\mathcal{O}_1\subset\mathcal{O}_2</math>
が満たされるとき、<math>\mathcal{O}_1</math>は<math>\mathcal{O}_2</math>よりも'''弱い'''（{{lang-en-short|weak}}）といい、
<math>\mathcal{O}_2</math>は<math>\mathcal{O}_1</math>より'''強い'''（{{lang-en-short|strong}}）という。

これはすなわち、<math>(X,\mathcal{O}_1)</math>の開集合は必ず<math>(X,\mathcal{O}_2)</math>の開集合である事を意味する。
弱い/強いのかわりに'''粗い'''/'''細かい'''({{lang-en-short|coarse/fine}})、'''小さい'''/'''大きい'''({{lang-en-short|small/large}})という言葉を使うこともある。
|note=位相の比較}}

<math>\mathcal{O}_1</math>が<math>\mathcal{O}_2</math>よりも粗い必要十分条件は、恒等写像

:<math>\operatorname{id}~:~ (X,\mathcal{O}_2)\to(X,\mathcal{O}_1),\ \ x\mapsto x</math>

が連続な事である。したがって<math>\mathcal{O}_1</math>で収束する有向点族は<math>\mathcal{O}_2</math>でも収束するが、逆は必ずしも成立しない。

=== 位相の生成 ===
{{see also|開基 (位相空間論)}}

本節では{{Mvar|X}}のべき集合<math>\mathfrak{P}(X)</math>の任意の部分集合<math>\mathcal{S}</math>から作る方法を述べる。
{{math theorem|定義・定理|
{{Mvar|X}}を集合とし、<math>\mathcal{S}\subset\mathfrak{P}(X)</math>を任意の集合族とする。このとき、{{Mvar|X}}上の位相<math>\mathcal{O}</math>
: <math>\mathcal{S}\subset\mathcal{O}</math>
を満たすものの中で最も弱いもの<math>\mathcal{O}_{\mathcal{S}}</math>が存在する。この<math>\mathcal{O}_{\mathcal{S}}</math>を、<math>\mathcal{S}</math>を含む'''最弱の位相'''（{{lang-en-short|weakest topology}}）といい、<math>\mathcal{S}</math>は<math>\mathcal{O}_{\mathcal{S}}</math>を'''生成する'''（{{lang-en-short|generate}}）という<ref name="内田79">[[位相空間#内田|#内田]] pp.79-83.</ref>。

また位相空間<math>(X,\mathcal{O})</math>において、<math>\mathcal{S}\subset\mathfrak{P}(X)</math>が<math>\mathcal{O}</math>を生成するとき、<math>\mathcal{S}</math>を<math>\mathcal{O}</math>の'''準開基'''（じゅんかいき, {{lang-en-short|open subbase}}）という。
|note=位相の生成、準開基}}

以上で我々は、準開基の抽象的な定義を与えたが、準開基の概念をより具体的な形で与えることもできる。そのための準備として、まず準開基の関連概念である開基について述べる。
{{math theorem|定義|
<math>(X,\mathcal{O})</math>を位相空間とし、<math>\mathcal{B}\subset\mathcal{O}</math>とする。

以下が満たされるとき、<math>\mathcal{B}</math>は<math>\mathcal{O}</math>の'''開基'''（かいき, {{lang-en-short|open base}}、{{lang|en|open basis}}）であるという<ref name="内田79" />。

: 任意の開集合(≠<math>\emptyset</math>)は<math>\mathcal{B}</math>の元の(有限個または無限個の)和集合として書き表せる。すなわち<br><math>\forall O\in \mathcal{O}\exists \mathcal{T}\subset\mathcal{B}~:O=~\cup_{B\in\mathcal{T}}B</math>
|note=開基}}

開基の概念を用いると準開基を具体的に書き表す事ができ、<math>\mathcal{S}</math> が <math>(X,\mathcal{O})</math>の準開基である必要十分条件は、<math>\mathcal{S}</math> の元の有限個の共通部分の全体の集合
:<math>\mathcal{B}=\left\{\bigcap_{i=1}^n S_i\,\bigg|\,n\in\mathbb{N},\,S_i\in \mathcal{S}\right\}</math>
が、<math>\mathcal{O}</math>の開基をなすことである<ref name="内田79" />。
<math>\mathcal{O}</math>の開集合は開基の和集合で書き表せるので、以上の事から<math>\mathcal{O}</math>の開集合は準開基の有限積集合の（有限または無限）和集合として書き表せる。

開基の概念は、基本近傍系の概念と以下のような関係がある：
{{math theorem|命題|
位相空間<math>(X,\mathcal{O})</math>の各点{{mvar|x}}に対し、開集合からなる基本近傍系<math>\mathcal{N}_x</math>が定義されているとき、
: <math>\bigcup_{x\in X}\mathcal{N}_x</math>
は<math>\mathcal{O}</math>の開基である。また<math>\mathcal{B}</math>を<math>\mathcal{O}</math>の開基とすると、
:<math>\mathcal{N}_x=\{B \in \mathcal{B} \mid x\in B \}</math>
は{{mvar|x}}の基本近傍系である。
|note=開基と基本近傍系の関係}}

{{mvar|X}}が距離空間の場合は{{mvar|x}}の{{mvar|ε}}-近傍<math>B_{\varepsilon}(x)=\{y\in X\mid d(x,y)<\varepsilon\}</math>が{{mvar|x}}の基本近傍系をなしていたので、<math>\{B_{\varepsilon}(x)\mid x\in X, \varepsilon >0\}</math>は開基をなす。


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

{{math theorem|定理|
{{mvar|X}}を集合とする。このとき、<math>\mathcal{B}\subset\mathcal{P}(X)</math>が何らかの位相の開集合系の開基である必要十分条件は、以下の条件を満たすことである<ref name="内田79" />：
: <math>\forall B_1, B_2 \in \mathcal{B},\forall x\in B_1 \cap B_2\exists B\in \mathcal{B}~:~x\in B\subset B_1 \cap B_2</math>
|note=開基による位相の特徴づけ}}

=== 位相全体のなす順序 ===

弱い/強いを位相の間の順序関係とみなすと、{{mvar|X}}上の位相の集合
:<math>\{\mathcal{O}\mid(X,\mathcal{O})</math>は位相空間<math>\}</math>
は[[順序集合]]になる。
この順序集合は[[完備束]]であり、
:<math>\sup_{\lambda\in\Lambda}(\mathcal{O}_{\lambda})=(\bigcup_{\lambda\in\Lambda}\mathcal{O}_{\lambda}</math>が生成する位相)
:<math>\inf_{\lambda\in\Lambda}(\mathcal{O}_{\lambda})=\bigcap_{\lambda\in\Lambda}\mathcal{O}_{\lambda}</math>
である。最も弱い位相は密着位相、最も強い位相は離散位相である。

== 位相空間の導出{{Anchors|位相区間の導出}} ==
{{main|直和 (位相空間論)|直積空間|部分位相空間|商位相空間}}

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

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

逆像位相と像位相、始位相と終位相は互いに双対の関係にあり、写像の向きを逆にすることでもう片方の概念を定式化できる。なお始位相と終位相はそれぞれ[[圏論]]における{{訳語疑問点範囲|{{仮リンク|リフト (圏論)|en|Lift (mathematics)|label=始リフト}}|initial lift|date=2021年5月|cand_prefix=原文}}、{{訳語疑問点範囲|{{仮リンク|リフト (圏論)|en|Lift (mathematics)|label=終リフト}}|final lift|date=2021年5月|cand_prefix=原文}}の例のになっている。

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

まず始位相の概念を以下のように定義する：
{{math theorem|定義|
{{mvar|X}}を集合とし、<math>\{(Y_{\lambda},\mathcal{O}_{\lambda})\}_{\lambda\in\Lambda}</math>を位相空間の族とし、写像
:<math>f_{\lambda}~:~X\to Y_{\lambda}</math>
の族<math>(f_{\lambda})_{\lambda\in\Lambda}</math>を考える。

このとき、全ての<math>f_{\lambda}</math>を連続にする最弱の位相を{{mvar|X}}の<math>(f_{\lambda})_{\lambda\in\Lambda}</math>'''{{仮リンク|始位相|en|initial topology}}'''という。
|note=始位相}}

始位相の特殊な場合として、以下のものが重要である。以下で{{Mvar|X}}は集合である。
{| class="wikitable"
|+
!名称
!定義
|-
|'''[[逆像位相]]'''
|位相空間<math>(Y,\mathcal{O})</math>と写像<math>f~:~X\to Y</math>が{{Mvar|X}}に定める始位相の事
|-
|[[相対位相|'''部分位相''']]
|位相空間<math>(Y,\mathcal{O})</math>の部分集合{{mvar|X}}に対し、[[包含写像]]<math>\iota~:~X \hookrightarrow Y,\ x\mapsto x</math>による逆像位相''の''事''。X'' に部分位相を入れたものを<math>(Y,\mathcal{O})</math>の'''[[部分位相空間|部分空間]]'''という。
|-
|[[積位相|'''直積位相''']]'''（チコノフ位相とも）'''
|<math>\{(X_{\lambda},\mathcal{O}_{\lambda})\}_{\lambda\in\Lambda}</math>を位相空間の族とするとき、[[射影 (集合論)|射影]]<math>\pi_{\lambda}~:~Y=\prod_{\tau\in\Lambda}X_{\tau}\to X_{\lambda}</math>の族<math>\{\pi_{\lambda}\}_{\lambda\in\Lambda}</math>によって{{mvar|Y}}に定義される始位相の事。直積{{mvar|Y}}に直積位相を入れた位相空間を'''[[直積空間]]'''という。
|}
これらはより具体的に書き表す事が可能である：{{math theorem|定理|上の定義と同様に記号を定義するとき、
* 逆像位相の開集合系は<math>f^*(\mathcal{O}):=\{f^{-1}(O)\mid O\in\mathcal{O}\}</math>に一致する。
* 部分位相の開集合系は、<math>\{O\cap X\mid O\in \mathcal{O}\}</math>に一致する。
* 直積位相は<math>\Bigg\{\prod_{\lambda\in\Lambda}O_{\lambda}\ \Bigg|\ O_{\lambda}\in \mathcal{O}_{\lambda}</math>, 有限個のλを除いて<math>O_{\lambda}= X_{\lambda}\Bigg\}</math>を開基とする。
}}

上述の定理の直積位相の箇所に関して、Λが有限集合のときは、「有限個のλを除いて…」という条件がいらなくなるので簡単であるが、Λが無限集合のときは注意が必要である。例えば<math>\mathbb{R}_1,\mathbb{R}_2,\ldots</math>を<math>\mathbb{R}</math>の(可算)無限個のコピーとし、<math>U_1,U_2,\ldots</math>を<math>U=(0,1)</math>の無限個のコピーとするとき、直積
:<math>\prod_{i\in\mathbb{N}}U_i</math>
は直積位相に関して
:<math>\prod_{i\in\mathbb{N}}\mathbb{R}_i</math>
の開集合'''ではない'''。実際、前述の「有限個を除いて…」という条件を満たしておらず、条件をみたすものの和集合としても書けないからである。これに対し直積空間には<math>\prod_{i\in\mathbb{N}}U_i</math>をも開集合とする位相も定義可能である：
{{math theorem|定義|位相空間の族<math>(X_{\lambda},\mathcal{O}_{\lambda})_{\lambda\in\Lambda}</math>に対し、
:<math>\{\prod_{\lambda\in\Lambda}O_{\lambda}\mid \forall \lambda\in\Lambda~:~O_{\lambda}\in\mathcal{O}_{\lambda}\}</math>
を開基とする<math>\prod_{\lambda\in\Lambda}X_{\lambda}</math>の位相を'''{{仮リンク|箱型積位相|en|box topology}}'''という<ref>[[位相空間#内田|#内田]] p.95</ref>。
}}

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

=== 終位相、像位相、商位相、直和位相 ===
まず始位相と双対的に終位相を定義する：
{{math theorem|定義|
{{mvar|X}}を集合とし、<math>\{(Y_{\lambda},\mathcal{O}_{\lambda})\}_{\lambda\in\Lambda}</math>を位相空間の族とし、写像
:<math>f_{\lambda}~:~Y_{\lambda}\to X</math>
の族<math>(f_{\lambda})_{\lambda\in\Lambda}</math>を考える。

このとき、全ての<math>(f_{\lambda})_{\lambda\in\Lambda}</math>を連続にする最強の位相を{{mvar|X}}の<math>(f_{\lambda})_{\lambda\in\Lambda}</math>'''{{仮リンク|終位相|en|final topology}}'''という。
|note=終位相}}

終位相の特殊な場合として下記のものを定義できる。これらは逆像位相、部分位相、始位相、直積位相と[[双対]]的に定義したものである。以下で{{Mvar|X}}は集合である：
{| class="wikitable"
|+
!名称
!定義
|-
|'''[[像位相]]'''
|位相空間<math>(Y,\mathcal{O})</math>と写像<math>f~:~Y\to X</math>が{{Mvar|X}}に定める終位相の事。
|-
|[[商位相空間|'''商位相''']]
|<math>(Y,\mathcal{O})</math> を位相空間とし、「<math>\sim</math>」を{{mvar|Y}}上の同値関係とし、{{math|<nowiki>[</nowiki>''x''<nowiki>]</nowiki>}}でこの同値関係における{{math|''x'' ∈ ''Y''}}の同値類を表すとき、商写像<math>\pi \colon Y \to Y/{\sim}, \; x \mapsto [x]</math>が商集合 <math>X=Y/{\sim}</math> に定義する像位相の事。
|-
|[[直和 (位相空間論)|'''直和位相''']]
|<math>\{(X_{\lambda},\mathcal{O}_{\lambda})\}_{\lambda\in\Lambda}</math> を位相空間の族とするとき、<math>X_{\lambda}</math> から集合族 <math>\{X_{\tau}\}_{\tau\in\Lambda}</math> の[[直和位相|直和]]への[[包含写像]]<math>\iota_{\lambda} \colon X_{\lambda} \hookrightarrow \coprod_{\tau\in\Lambda}X_{\tau}</math>の族 <math>\{\iota_{\lambda}\}_{\lambda\in\Lambda}</math> によって直和 <math>\coprod_{\lambda\in\Lambda}X_{\lambda}</math> に定義される終位相の事。
|}
これらはより具体的に書き表す事が可能である：{{math theorem|定理|上の定義と同様に記号を定義するとき、
* 像位相の開集合系は<math>f_*(\mathcal{O}):=\{U\subset Y\mid f^{-1}(U)\in\mathcal{O}\}</math>に一致する。
* 商位相の開集合系は、<math>\pi_*(\mathcal{O}):=\{U\subset Y\mid \pi^{-1}(U)\in\mathcal{O}\}</math>に一致する。
* 直和位相の開集合系は、<math>\Bigg\{\bigcup_{\lambda\in\Lambda}O_{\lambda} \Bigg| \forall \lambda\in\Lambda~:~ O_{\lambda}\in\mathcal{O}_{\lambda}\Bigg\}</math>に一致する。
}}

== 位相的性質 ==
{{main|[[位相的性質]]}}

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

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

=== 分離公理 ===
{{main|分離公理}}

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

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

:''X'' 上の相異なる2点 ''x''、''y'' に対し、''x''、''y'' の開近傍 ''U''、''V'' があり、<math>U\cap V=\emptyset</math>である。

[[Image:Hausdorff_space.svg|thumb|right|相異なる2点を分離するそれぞれの開近傍]]

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

他にも下記のような分離公理がある：
{| class="wikitable"
!位相空間!!名前
|-
|{{math|''T''{{sub|0}}}}||[[コルモゴロフ空間]]
|-
|{{math|''T''{{sub|1}}}}||[[フレシェ空間]]（到達可能空間）
|-
|{{math|''T''{{sub|2}}}}||[[ハウスドルフ空間]]
|-
|<math>T_{2\frac{1}{2}}</math>||[[完備ハウスドルフ空間]]、ウリゾーン空間
|-
|{{math|''T''{{sub|3}}}}||[[正則空間]]、正則ハウスドルフ空間
|-
|<math>T_{3\frac{1}{2}}</math>||[[チコノフ空間]]、完全正則空間
|-
|{{math|''T''{{sub|4}}}}||[[正規ハウスドルフ空間]]
|-
|{{math|''T''{{sub|5}}}}||[[全部分正規ハウスドルフ空間]]
|-
|{{math|''T''{{sub|6}}}}||[[完全正規ハウスドルフ空間]]
|}

===連結性===
{{main|連結空間}}

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

===コンパクト性===
{{main|コンパクト空間}}

<math>\mathbb{R}^n</math>の有界閉集合は位相空間論的に「性質の良い」空間で{{Mvar|X}}を<math>\mathbb{R}^n</math>の有界閉集合とすると、例えば以下が成立する事が知られている：

* {{Mvar|X}}から<math>\mathbb{R}</math>への連続写像は必ず最大値・最小値を持つ
* {{Mvar|X}}から<math>\mathbb{R}</math>への連続写像は必ず[[一様連続]]である
* {{Mvar|X}}から<math>\mathbb{R}^n</math>への[[単射]]{{Mvar|f}}が連続なら、逆写像<math>f^{-1}~:~f(X) \to X</math>も連続である。

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


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


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

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

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


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

===可算公理と可分===

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

厳密な定義は以下の通りである
{| class="wikitable"
|+
|[[第一可算空間|第一可算公理]]
|''X'' の任意の点 ''x'' に対し、''x'' の近傍系は可算な基本近傍系を持つ
|-
|[[第二可算空間|第二可算公理]]
|''X'' の開集合系は可算な開基を持つ
|-
|[[可分]]
|''X'' は稠密な可算部分集合を持つ
|}

====性質と例====

以下が成立する：
* 第二可算公理を満たす⇒ 第一可算公理を満たし、かつ可分
* 距離空間⇒ 第一可算公理を満たす

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

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

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

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

===距離化可能性===

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

すなわち、位相空間 <math>(X,\mathcal{O})</math>が'''[[距離化定理|距離化可能]]'''であるとは、''X'' 上の距離'' d'' が(少なくとも一つ)存在し、''d'' が''X'' 上に定める位相が<math>\mathcal{O}</math>と一致する事を言う。

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

==発展的なトピック==
===コンパクト開位相===
{{main|コンパクト開位相}}
<math>(X,\mathcal{O}_X)</math>、<math>(Y,\mathcal{O}_Y)</math> を位相空間、 <math>C(X,Y)</math> を <math>(X,\mathcal{O}_X)</math> から <math>(Y,\mathcal{O}_Y)</math> への連続写像全体とする。このとき <math>K \subset X , O\subset Y</math>に対し、<math>W(K,O)</math> を
: <math>W(K,O)=\{f\in C(X,Y) \mid f(K) \subset O\}</math>
とより定義する。

このとき {''W''(''K'', ''O'') : ''K'' は ''X'' のコンパクト部分集合、{{nowrap|<math>O\in \mathcal{O}_Y</math>}|}} を準開基とする位相を <math>C(X,Y)</math> の'''[[コンパクト開位相]]'''（{{lang-en-short|compact-open topology}}）という。

===連続体論===

'''[[連続体 (位相空間論)|連続体]]'''（れんぞくたい、{{lang-en-short|''continuum''}}）とは、空でない[[コンパクト空間|コンパクト]][[連結空間|連結]][[距離空間]]、あるいはより一般にコンパクト連結[[ハウスドルフ空間]]のことを言う。

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

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

:<math>\prod_{n\in\mathbb{N}}[0,1/n]</math>、
[[フラクタル図形]]の'''[[シェルピンスキーのカーペット]]'''、[[ホモトピー群]]は自明となるが[[可縮空間]]ではない'''ワルシャワの円'''などが研究対象となる。

[[File:Warsaw Circle.png|thumbnail|ワルシャワの円]]

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

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

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

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

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

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

実はカントール集合はこのような空間の典型例の一つであり、以下の性質を満たす空間('''[[カントール空間]]''')は必ずカントール集合と位相同型になることが知られている('''ブラウワーの定理''')：
:孤立点を持たない非空の完全不連結コンパクト距離化可能空間

===ベール空間===
   
位相空間''X'' が'''[[ベール空間]]'''であるとは、''X'' 上の[[稠密集合|稠密]]開集合の可算個の共通部分が必ず稠密になることを言う。
      
完備疑距離空間の開集合はベール空間になる('''[[ベールの範疇定理|ベールの第一範疇定理]]''')。
また局所コンパクトハウスドルフ空間もベール空間になる('''[[ベールの範疇定理|ベールの第二範疇定理]]''')。
   
ベールの範疇定理は[[関数解析学]]において、[[開写像定理 (関数解析)|開写像定理]]や[[閉グラフ定理]]を証明するのに用いられる。

=== ヴィートリス位相 ===
<math>(X,\mathcal{O})</math> を位相空間とする。このとき有限個の開集合 <math>U_1\cdots U_n</math> に対し、集合族 <math>\langle U_1\cdots U_n\rangle</math> を
: <math>\langle U_1\cdots U_n\rangle :=\{A\in\mathfrak{F} : A\cap U_i\neq\varnothing (i=1\cdots n), A\subseteq \bigcup_{i=1}^n U_i\}</math>
と定義する（ただし <math>\mathfrak{F}</math> は <math>X</math> の閉集合全体）。このとき <math>\{\langle U_1\cdots U_n\rangle\ : U_i\in\mathcal{O}(i=0\cdots n)\}</math> を[[開基 (位相空間論)|開基]]とする <math>\mathfrak{F}</math> 上の位相を'''ヴィートリス位相'''（{{lang-en-short|Vietoris topology}}）と呼び、ヴィートリス位相の入った <math>\mathfrak{F}</math> 及びその部分空間を'''冪空間'''（{{lang-en-short|powerspace}}）または'''超空間'''（{{lang-en-short|hyperspace}}）という。

===集合論的位相空間論===

'''{{仮リンク|集合論的位相空間論|en|set-theoretic topology}}'''とは、位相空間上の性質がZFCと独立かどうかを主題する分野である。

===位相ゲーム===

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

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

===位相代数的構造===

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

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

===位相順序構造===
*[[スペクトル空間]]: 位相空間がスペクトル的となるための必要十分条件は、それが何らかの[[環スペクトル|環の素スペクトル]]となっていることである。
*標準順序: 位相空間の[[特殊化前順序]]または標準前順序は、<math>x \leq y \Leftrightarrow \operatorname{Cl} (\{x\}) \subseteq \operatorname{Cl}(\{y\})</math> で定義される。

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

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{reflist|group="注"}}
=== 出典===
{{reflist|30em}}

== 参考文献 ==
* {{Cite book|洋書|title=General Topology|date=1975/6/27|publisher=Springer-Verlag|author=John L. Kelly|ref=Kelly|isbn=978-0387901251|year=|pages=|series=Graduate Texts in Mathematics (27)}}
** Kindle版：ASIN : B06XGRCCJ3
** 翻訳版：{{Cite book|和書|title=位相空間論|date=1979/7/1|year=|publisher=吉岡書店|pages=|author=ジョン・L.ケリー|translator=児玉之宏|isbn=978-4842701318|series=数学叢書}}
*{{Cite book|和書|title=集合と位相|date=1986/11/5|year=|publisher=[[裳華房]]|pages=|ref=内田|series=数学シリーズ|author=内田伏一|isbn=978-4785314019}}
*{{Cite book|title=Handbook of Analysis and its Foundations|date=1997/1/15|year=|publisher=Academic Press|isbn=978-0126227604|author=Eric Schechter|ref=Schechter}}

== さらなる学習のために ==
{{Refbegin}}
* 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|221789308}}
* [[Eduard Čech|&#268;ech, Eduard]]; ''Point Sets'', Academic Press (1969). {{OCLC|10256}}
* {{仮リンク|ウィリアム・フルトン|en|William Fulton (mathematician)|label=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.
* {{仮リンク|ジェームス・マンクリズ|en|James Munkres|label=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.
* {{仮リンク|リン・スティーン|en|Lynn Arthur Steen|label=Steen, Lynn A.}} and [[J. Arthur Seebach, Jr.|Seebach, J. Arthur Jr.]]; ''[[Counterexamples in Topology]]'', Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
*{{cite book | author=Willard, Stephen | title=General Topology | publisher=Dover Publications | year=2004 | isbn=0-486-43479-6}}
* {{Cite book
 | 和書
 | last1 = 松坂
 | first1 = 和夫
 | year = 1968
 | title = 集合・位相入門
 | publisher = 岩波書店
 | isbn = 4-00-005424-4
 | ref = harv
}}
{{Refend}}

==関連項目==
*[[ストーン双対性|ポイントレス位相空間論]]
*[[位相幾何学]]
*[[関数解析学]]
*[[距離空間]]
*[[位相空間の圏]]
*[[ホモロジー (数学)]]

== 外部リンク ==
* {{MathWorld|urlname=TopologicalSpace|title=topological space}}
* {{PlanetMath|urlname=TopologicalSpace|title=topological space}}
* {{Cite web|和書|title=位相空間の基礎概念|author=酒井克郎|url=http://ocw.tsukuba.ac.jp/25a0-v-1-65705b66985e/30c830ed30fc-i/8b1b7fa930ce30fc30c8|format=PDF|accessdate=2011年11月}}（2008年度 筑波大学 トポロジーI 講義用レジュメ）
* {{JGLOBAL ID|200906096366399295}}
* {{Kotobank|2=日本大百科全書(ニッポニカ)}}

{{Topology}}
{{Normdaten}}
{{DEFAULTSORT:いそうくうかん}}
[[Category:位相幾何学]]
[[Category:位相空間|*]]
[[Category:位相空間論|*]]
[[Category:位相的構造]]
[[Category:数学に関する記事]]