位相的性質のソースを表示

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

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

== 主な位相的性質 ==
=== 濃度 ===
{{Main|基数関数#位相空間論における基数関数}}
* '''濃度''' {{math|{{abs|''X''}}}}: 空間 {{mvar|X}} の[[濃度 (数学)|濃度]]。
* '''位相濃度''' {{math|''&tau;''(''X'')}}: 空間 {{mvar|X}} の位相の濃度。
* '''荷重''' (''Weight'') {{math|''w''(''X'')}}: 空間 {{mvar|X}} の[[基底 (位相空間論)|開基]]の最小濃度。
* '''密度''' (''Density'') {{math|''d''(''X'')}}: 閉包が {{mvar|X}} に等しい部分集合（[[稠密部分集合]]）の最小濃度。

=== 分離性 ===
{{Main|分離公理}}
注: 以下に挙げる用語は古い文献では異なる定義を指す用語である場合がある（{{ill2|分離公理の歴史|en|history of the separation axioms}}参照）

* '''T<sub>0</sub>'''、'''コルモゴロフ''': 空間が[[コルモゴロフ空間|コルモゴロフ]]とは、その空間の任意の相異なる二点 {{mvar|x, y}} に対し、{{mvar|x}} を含む開集合で {{mvar|y}} を含まないものか {{mvar|y}} を含む開集合で {{mvar|x}} を含まないものが存在するときに言う。
* '''T<sub>1</sub>'''、'''フレシェ''': 空間が[[T1空間|フレシェ]]とは、その空間の任意の相異なる二点 {{mvar|x, y}} に対し、{{mvar|x}} を含む開集合で {{mvar|y}} を含まないものが存在するときに言う（T<sub>0</sub> の場合と比べれば、T{{sub|1}} ではどちらの点を含むのかを指定できる点が異なる）。同じことだが、空間が T<sub>1</sub> とはそのすべての[[一点集合]]が閉であるときにいうと言ってもよい。T<sub>1</sub> 空間は常に T<sub>0</sub> である。
* '''Sober''':  空間が{{ill2|sober空間|en|sober space|label=sober}}とは、その任意の既約閉集合 {{mvar|C}} がただ一つの生成点 (generic point) {{mvar|p}} を持つときに言う。すなわち、{{mvar|C}} がより小さなふたつの閉部分集合（これらは交わってもよい）の合併とならないならば、一点集合 {{math|{{mset|''p''}}}} の閉包が {{mvar|C}} に一致するような点 {{mvar|p}} が存在し、そのような点 {{mvar|p}} がただ一つしかない。
* '''T<sub>2</sub>'''、'''ハウスドルフ''': 空間が[[ハウスドルフ空間|ハウスドルフ]]とは、その任意の相異なる二点がそれぞれの近傍で互いに交わらないものを持つときに言う。T<sub>2</sub> 空間は常に T<sub>1</sub> である。
* '''T<sub>2½</sub>'''、'''ウリゾーン''': 空間が{{ill2|ウリゾーン空間|en|Urysohn space|label=ウリゾーン}}とは、 任意の二点がそれぞれの'''閉'''近傍で互いに交わらないものを持つときに言う。T<sub>2½</sub> 空間は常に T<sub>2</sub> である。
* '''完全 T<sub>2</sub>'''、'''完全ハウスドルフ''': 空間が{{ill2|完全ハウスドルフ空間|en|Completely Hausdorff space|label=完全 T<sub>2</sub>}}とは、その任意の相異なる二点が{{ill2|分離集合|en|separated by a function|label=函数で分離される}}ときに言う。任意の完全ハウスドルフ空間はウリゾーンである。
* '''正則''': 空間が{{ill2|正則空間|en|regular space|label=正則|redirect=1}}とは、任意の閉集合 {{mvar|C}} と {{mvar|C}} に含まれない点 {{mvar|p}} に対しそれぞれの近傍で互いに交わらないものを持つときに言う。
* '''T<sub>3</sub>'''、'''正則ハウスドルフ''': 空間が{{ill2|正則ハウスドルフ空間|en|regular Hausdorff space|label=正則ハウスドルフ}}とは、それは正則 T<sub>0</sub> 空間であるときに言う（正則空間がハウスドルフとなるためにはそれが T<sub>0</sub> であることが必要十分であるから、用語法に齟齬はない）。
* '''完全正則''': {{ill2|完全正則空間|en|Tychonoff space|label=完全正則}}とは、任意の閉集合 {{mvar|C}} と {{mvar|C}} に含まれない点 {{mvar|p}} が函数で分離されるときに言う。
* '''T<sub>3½</sub>'''、'''チホノフ'''、'''完全正則ハウスドルフ'''、'''完全 T<sub>3</sub>''': {{ill2|チコノフ空間|en|Tychonoff space}}とは完全正則 T<sub>0</sub> 空間を言う（完全正則空間がハウスドルフとなる必要十分条件はそれが T<sub>0</sub> であることなので、用語法に齟齬はない）。チホノフ空間は常に正則ハウスドルフである。
* '''正規''': 空間が{{ill2|正規空間|en|normal space|label=正規|redirect=1}}とは、その任意の交わらないふたつの閉集合が、交わらない近傍を持つときに言う。正規空間では[[1の分解]]ができる。
* '''T<sub>4</sub>'''、'''正規ハウスドルフ''': 正規空間がハウスドルフとなるための必要十分条件は、それが T<sub>1</sub> となることである。正規ハウスドルフ空間は常にチホノフである。
* '''全部分正規''': 空間が{{ill2|全部分正規空間|en|completely normal|label=全部分正規}}とは、任意の分離された集合の対が交わらない近傍を持つときにいう。
* '''T<sub>5</sub>'''、'''全部分正規ハウスドルフ''': 全部分正規空間がハウスドルフとなる必要十分条件はそれが T<sub>1</sub> であることである。完全正規ハウスドルフ空間は常に正規ハウスドルフである。
* '''完全正規''': 空間が{{ill2|完全正規空間|en|perfectly normal space|label=完全正規}}とは、任意の交わらない閉集合の対が{{ill2|分離集合|en|separated by a function|label=函数でちょうど分離される}}ときに言う。完全正規空間は必ず全部分正規である。
* '''T<sub>6</sub>'''、'''完全正規ハウスドルフ'''、'''完全 T<sub>4</sub>''': 空間が{{ill2|完全正規ハウスドルフ空間|en|perfectly normal Hausdorff space|label=完全正規ハウスドルフ}}となるのは、完全正規かつ T<sub>1</sub> のときである。完全正規ハウスドルフ空間は、必ず全部分正規ハウスドルフにもなる。
* '''離散空間''': 空間が[[離散空間|離散]]とは、そのすべての点が完全に孤立しているときに言う（言い換えれば、任意の部分集合が開となる空間である）。

=== 可算性条件 ===
{{See also|{{ill2|可算公理|en|Axiom of countability}}}}
* '''可分''': 空間が[[可分空間|可分]]とは、[[可算]]な[[稠密部分集合]]を持つときに言う。
* '''第一可算''': 空間が[[第一可算空間|第一可算]]とは、各点が可算な基本近傍系を持つときに言う。
* '''第二可算''': 空間が[[第二可算空間|第二可算]]とは、可算な開基を持つときに言う。第二可算空間は常に可分・第一可算かつリンデレーフになる。

=== 連結性 ===
* '''連結''': 空間が[[連結空間|連結]]とは、空でない開集合の非交和に表されないときに言う。連結であるための必要十分条件として、[[開かつ閉集合]]が空集合と全体集合以外にないことを挙げることができる。
* '''局所連結''': 空間が[[局所連結空間|局所連結]]とは、各点が連結集合からなる基本近傍系を持つときに言う。
* '''完全不連結''': 空間が[[完全不連結空間|完全不連結]]とは、ひとつより多くの点を持つ連結部分集合を持たないときに言う。
* '''弧状連結''': 空間 {{mvar|X}} が[[弧状連結空間|弧状連結]]とは、{{mvar|X}} の任意の二点 {{mvar|x, y}} に対し、{{mvar|x}} から {{mvar|y}} へ結ぶ[[道 (位相幾何学)|道]]&mdash;連続写像 {{math|''p'': {{closed-closed|0, 1}} → ''X''}} で {{math|1=''p''(0) = ''x''}} かつ {{math|1=''p''(1) = ''y''}}を満たすもの&mdash;がとれるときに言う。弧状連結空間は常に連結である。
* '''局所弧状連結''': 空間が{{ill2|局所弧状連結空間|en|locally path-connected|label=局所弧状連結}}とは、その各点が弧状連結集合からなる基本近傍系を持つときに言う。局所弧状連結空間が連結となるための必要十分条件はそれが弧状連結であることである。
* '''単連結''': 空間 {{mvar|X}} が[[単連結空間|単連結]]とは、それが弧状連結であって、かつ任意の連続写像 {{math|''f'': S<sup>1</sup> → ''X''}} が定値写像に[[ホモトピック]]であるときに言う。
*'''局所単連結''': 空間 {{mvar|X}} が[[局所単連結空間|局所単連結]]とは、{{mvar|X}} の各点 {{mvar|x}} が単連結な近傍からなる基本近傍系を持つときに言う。
*'''半局所単連結''':  空間 {{mvar|X}} が{{ill2|半局所単連結空間|en|semi-locally simply connected|label=半局所単連結}} (semi-locally simply connected) とは、各点が {{mvar|U}} 内の任意のループが {{mvar|X}} において可縮となる近傍 {{mvar|U}} からなる基本近傍系を持つときに言う。半局所単連結性は、局所単連結性よりも真に弱い条件で、[[普遍被覆]]の存在には必要な条件である。
* '''可縮''': 空間 {{mvar|X}} が[[可縮空間|可縮]]とは、{{mvar|X}} 上の[[恒等写像]]が定値写像に同相となるときに言う。可縮空間は常に単連結である。
* '''Hyper-connected''': 空間が[[既約位相空間|hyper&shy;connected]]とは、交わりを持たない空でない開集合の対が存在しないときに言う。任意の hyper-connected 空間は連結である。
* '''Ultra-connected''': 空間が{{ill2|超連結空間|en|ultra-connected|label=ultra&shy;connected}}とは、交わりを持たない空でない閉集合の対が存在しないときに言う。任意の ultra-connected 空間は弧状連結である。
* '''密着空間'''、'''自明位相''': 空間が[[密着空間|密着]]とは、その開集合が空集合と全体集合に限るときに言う。密着空間は「自明な位相を持つ」という。

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

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

=== その他 ===
* '''ベール空間''': 空間 {{mvar|X}} が[[ベール空間]]とは、それが {{mvar|X}} 自身の中で{{ill2|瘦せた集合|en|Meagre set|label=痩せて}}いないときに言う。おなじことだが、{{mvar|X}} がベール空間となるのは、その稠密開集合からなる任意の可算交叉が稠密となるときに言う。
* '''位相的等質性''': 空間 {{mvar|X}} が（位相的に）[[等質空間|等質]]とは、{{mvar|X}} 内の任意の二点 {{mvar|x, y}} に対し、同相写像 {{math|''f'': ''X'' &rarr; ''X''}} で {{math|1=''f''(''x'') = ''y''}} を満たすものが存在するときに言う。直観的に述べれば、これはこの空間がどの点で見ても同じものに見えることを意味している。任意の[[位相群]]は位相的に等質である。
* '''有限生成'''、'''アレキサンドロフ''': 空間 {{mvar|X}} が{{ill2|アレキサンドロフ位相|en|Alexandrov topology|label=アレキサンドロフ}}とは、{{mvar|X}} の開集合からなる任意濃度の交叉がふたたび開集合となるときに言う。これは閉集合からなる任意濃度の合併がふたたび閉となるとしても同じである。これはちょうど、[[位相空間の圏|すべて位相空間と連続写像の圏]]に関する{{ill2|有限生成対象|en|Finitely generated object}}に一致する。
* '''零次元''': 空間が[[零次元]]とは、開かつ閉集合からなる基底を持つことを言う。これは小さい[[帰納次元]]が {{math|0}} の空間ということにほかならない。
* '''概離散''': 空間が{{ill2|概離散|en|almost discrete}}とは任意の開集合が閉（すなわち開かつ閉集合）となるときに言う。概離散空間は、有限生成零次元空間とちょうど同じ概念である。
* '''ブール''': 空間が[[ブール空間|ブール]]とは、零次元コンパクトハウスドルフ空間のことをいう（これは完全不連結コンパクトハウスドルフとしても同じ）。ブール空間はちょうど[[ブール代数]]に関する{{ill2|ストーン空間|en|Stone space}}に同相な空間になっている。
* '''[[ライデマイスター・トーション|ライデマイスターのねじれ]]'''
* '''{{mvar|κ}}-可解''': 空間が {{mvar|κ}}-可解 (κ-resolvable<ref>{{cite journal|last=Juhász|first=István|author2=Soukup, Lajos |author3=Szentmiklóssy, Zoltán |title=Resolvability and monotone normality|journal=Israel Journal of Mathematics|year=2008|volume=166|issue=1|pages=1–16|doi=10.1007/s11856-008-1017-y|issn=0021-2172|arxiv=math/0609092}}</ref>)) とは、それがどの二つも交わらない {{mvar|κ}}-稠密集合を持つときに言う。空間が概 {{mvar|κ}}-可解とは、それが至る所疎な部分集合からなるイデアル上でほとんど交わらない {{mvar|κ}}-稠密集合を持つときに言う。空間が {{mvar|κ}}-可解でないならば、{{mvar|κ}}-非可解であるという。
* '''極大可解''': 空間 {{mvar|X}} が極大可解 (maximally resolvable) とは、それが {{math|Δ(''X'')}}-可解であるときに言う。ただし、<math>\Delta(X) =
\min\{|G| : G\neq\emptyset, G\mbox{ is open}\}</math> とし、これを {{mvar|X}} の分散指標 (dispersion character) と呼ぶ。
* '''強離散''': 集合 {{mvar|D}} が空間 {{mvar|X}} の強離散 (strongly discrete) 部分集合とは、{{mvar|D}} の全ての点がどの二つも交わらない近傍によって分離できるときに言う。空間 {{mvar|X}} が強離散空間とは、{{mvar|X}} の任意の非孤立点が適当な強離散集合の[[集積点]]となるときに言う。

== 関連項目 ==
{{list|date=March 2017}}
* [[オイラー標数]]
* [[回転数 (数学)]]
* [[特性類]]
* {{ill2|特性数|en|Characteristic numbers}}
* [[チャーン類]]
* [[結び目不変量]]
* [[絡み数]]
* {{ill2|不動点性質|en|Fixed point property}}
* [[トポロジカル量子数]]
* [[ホモトピー群]]・{{ill2|コホモトピー群|en|Cohomotopy group}}
* [[ホモロジー (数学)]]・[[コホモロジー]]
* [[量子不変量]]

== 参考文献 ==
<references/>

== 関連文献 ==
* {{cite book|last=Willard|first=Stephen|title=General topology|year=1970|publisher=Addison-Wesley Pub. Co|location=Reading, Mass.|isbn=9780486434797|pages=369|url=https://books.google.com/books?id=-o8xJQ7Ag2cC}}

== 外部リンク ==
* {{nlab|urlname=topological+property|title=topological property}}
* {{PlanetMath|urlname=TopologicalInvariant|title=topological invariant}}
* {{ProofWiki|urlname=Definition:Topological_Property|title=Definition:Topological Property}}
* {{SpringerEOM|urlname=Absolute_topological_property|title=Absolute topological property|first= P.S. |last=Aleksandrov}}
* {{SpringerEOM|urlname=Topological_invariant|title=Topological invariant|first= P.S. |last=Aleksandrov}}

{{DEFAULTSORT:いそうてきせいしつ}}
[[Category:位相空間の性質|*]]
[[Category:同相写像]]
[[Category:数学に関する記事]]