位相的性質

数学の位相空間論関連分野における位相的性質（いそうてきせいしつ、）または位相不変量（いそうふへんりょう、）は、位相空間が持つ同相写像のもとで保たれる性質を言う。すなわち、位相空間が持つ何らかの性質が位相的性質であるとは、その性質を持つ任意の空間 を考えたとき、 に同相な位相空間は何れも必ずその性質を持っていることが言えるということを意味する。形式ばらずに言えば、位相的性質は、空間の開集合の言葉で書けるような位相空間の性質のことと思ってよい。

位相幾何学においてよくある問題の一つに、ふたつの空間が同相か否かを決定する問題がある。ふたつの空間が同相でないことを示すには、それらの間で一致しない位相的性質を一つ挙げることが十分である。

 主な位相的性質 

 濃度 

 濃度 : 空間 の濃度。
 位相濃度 : 空間 の位相の濃度。
 荷重 (Weight) : 空間 の開基の最小濃度。
 密度 (Density) : 閉包が に等しい部分集合（稠密部分集合）の最小濃度。

 分離性 

注: 以下に挙げる用語は古い文献では異なる定義を指す用語である場合がある（参照）

 T0、コルモゴロフ: 空間がコルモゴロフとは、その空間の任意の相異なる二点 に対し、 を含む開集合で を含まないものか を含む開集合で を含まないものが存在するときに言う。
 T1、フレシェ: 空間がフレシェとは、その空間の任意の相異なる二点 に対し、 を含む開集合で を含まないものが存在するときに言う（T0 の場合と比べれば、T ではどちらの点を含むのかを指定できる点が異なる）。同じことだが、空間が T1 とはそのすべての一点集合が閉であるときにいうと言ってもよい。T1 空間は常に T0 である。
 Sober: 空間がとは、その任意の既約閉集合 がただ一つの生成点 (generic point) を持つときに言う。すなわち、 がより小さなふたつの閉部分集合（これらは交わってもよい）の合併とならないならば、一点集合 の閉包が に一致するような点 が存在し、そのような点 がただ一つしかない。
 T2、ハウスドルフ: 空間がハウスドルフとは、その任意の相異なる二点がそれぞれの近傍で互いに交わらないものを持つときに言う。T2 空間は常に T1 である。
 T2½、ウリゾーン: 空間がとは、 任意の二点がそれぞれの閉近傍で互いに交わらないものを持つときに言う。T2½ 空間は常に T2 である。
 完全 T2、完全ハウスドルフ: 空間がとは、その任意の相異なる二点がときに言う。任意の完全ハウスドルフ空間はウリゾーンである。
 正則: 空間がとは、任意の閉集合 と に含まれない点 に対しそれぞれの近傍で互いに交わらないものを持つときに言う。
 T3、正則ハウスドルフ: 空間がとは、それは正則 T0 空間であるときに言う（正則空間がハウスドルフとなるためにはそれが T0 であることが必要十分であるから、用語法に齟齬はない）。
 完全正則: とは、任意の閉集合 と に含まれない点 が函数で分離されるときに言う。
 T3½、チホノフ、完全正則ハウスドルフ、完全 T3: とは完全正則 T0 空間を言う（完全正則空間がハウスドルフとなる必要十分条件はそれが T0 であることなので、用語法に齟齬はない）。チホノフ空間は常に正則ハウスドルフである。
 正規: 空間がとは、その任意の交わらないふたつの閉集合が、交わらない近傍を持つときに言う。正規空間では1の分解ができる。
 T4、正規ハウスドルフ: 正規空間がハウスドルフとなるための必要十分条件は、それが T1 となることである。正規ハウスドルフ空間は常にチホノフである。
 全部分正規: 空間がとは、任意の分離された集合の対が交わらない近傍を持つときにいう。
 T5、全部分正規ハウスドルフ: 全部分正規空間がハウスドルフとなる必要十分条件はそれが T1 であることである。完全正規ハウスドルフ空間は常に正規ハウスドルフである。
 完全正規: 空間がとは、任意の交わらない閉集合の対がときに言う。完全正規空間は必ず全部分正規である。
 T6、完全正規ハウスドルフ、完全 T4: 空間がとなるのは、完全正規かつ T1 のときである。完全正規ハウスドルフ空間は、必ず全部分正規ハウスドルフにもなる。
 離散空間: 空間が離散とは、そのすべての点が完全に孤立しているときに言う（言い換えれば、任意の部分集合が開となる空間である）。

 可算性条件 

 可分: 空間が可分とは、可算な稠密部分集合を持つときに言う。
 第一可算: 空間が第一可算とは、各点が可算な基本近傍系を持つときに言う。
 第二可算: 空間が第二可算とは、可算な開基を持つときに言う。第二可算空間は常に可分・第一可算かつリンデレーフになる。

 連結性 
 連結: 空間が連結とは、空でない開集合の非交和に表されないときに言う。連結であるための必要十分条件として、開かつ閉集合が空集合と全体集合以外にないことを挙げることができる。
 局所連結: 空間が局所連結とは、各点が連結集合からなる基本近傍系を持つときに言う。
 完全不連結: 空間が完全不連結とは、ひとつより多くの点を持つ連結部分集合を持たないときに言う。
 弧状連結: 空間 が弧状連結とは、 の任意の二点 に対し、 から へ結ぶ道—連続写像 で かつ を満たすもの—がとれるときに言う。弧状連結空間は常に連結である。
 局所弧状連結: 空間がとは、その各点が弧状連結集合からなる基本近傍系を持つときに言う。局所弧状連結空間が連結となるための必要十分条件はそれが弧状連結であることである。
 単連結: 空間 が単連結とは、それが弧状連結であって、かつ任意の連続写像 が定値写像にホモトピックであるときに言う。
局所単連結: 空間 が局所単連結とは、 の各点 が単連結な近傍からなる基本近傍系を持つときに言う。
半局所単連結: 空間 が (semi-locally simply connected) とは、各点が 内の任意のループが において可縮となる近傍 からなる基本近傍系を持つときに言う。半局所単連結性は、局所単連結性よりも真に弱い条件で、普遍被覆の存在には必要な条件である。
 可縮: 空間 が可縮とは、 上の恒等写像が定値写像に同相となるときに言う。可縮空間は常に単連結である。
 Hyper-connected: 空間がhyper­connectedとは、交わりを持たない空でない開集合の対が存在しないときに言う。任意の hyper-connected 空間は連結である。
 Ultra-connected: 空間がとは、交わりを持たない空でない閉集合の対が存在しないときに言う。任意の ultra-connected 空間は弧状連結である。
 密着空間、自明位相: 空間が密着とは、その開集合が空集合と全体集合に限るときに言う。密着空間は「自明な位相を持つ」という。

 コンパクト性 
 コンパクト: 空間がコンパクトとは、任意の開被覆が有限部分被覆を持つときに言う。文献によってはこの条件で決まる空間は準コンパクトであるとし、準コンパクトかつハウスドルフな空間だけをコンパクトと呼ぶものがある。コンパクト空間は常にリンデレーフかつパラコンパクトである。したがってコンパクトハウスドルフ空間は正規になる。
 点列コンパクト: 空間が点列コンパクトとは、その任意の点列が収束する部分列を持つときに言う。
 可算コンパクト: 空間がとは任意の可算開被覆が有限部分被覆を持つときに言う。
 擬コンパクト: 空間がとは、その上の任意の実数値連続函数が有界となるときに言う。
 σ-コンパクト: 空間がσ-コンパクトとは、それが可算個のコンパクト部分集合の合併となっているときに言う。
 リンデレーフ: 空間がリンデレーフとは任意の開被覆が可算部分被覆を持つときに言う。
 パラコンパクト: 空間がパラコンパクトとは、任意の開被覆が局所有限な開細分を持つときに言う。パラコンパクトハウスドルフ空間は正規になる。
 局所コンパクト: 空間が局所コンパクトとは、各点がコンパクト近傍からなる基本近傍系を持つときに言う。これとはやや違う定義もいくつか用いられる。局所コンパクトハウスドルフ空間は常にチホノフである。
 超連結コンパクト: 超連結コンパクト (ultra-connected compact) 空間 において、任意の開被覆は全体集合 を含まなければならない。空でない超連結コンパクト空間はモノリスと呼ばれる最大の開な真部分集合を持つ。

 距離付け可能性 
 距離化可能: 空間が距離付け可能とは、それが適当な距離空間に同相となるときに言う。距離付け可能空間は常にハウスドルフかつパラコンパクト（したがって、正規かつチホノフ）であり、かつ第一可算である。より明確に、位相空間 が距離化可能であるとは、 上の適当な距離函数 が存在して の誘導する位相（距離位相） がもとの位相 に一致するときに言う。
 ポーランド: 空間がポーランドとは、それが可分かつ完備な距離函数で距離化可能であるときに言う。
 局所距離化可能: 空間が局所距離化可能とは、各点が距離化可能な近傍を持つときに言う。