完全集合のソースを表示

[[位相空間論]]において、[[位相空間]]の部分集合が'''完全'''（かんぜん、{{lang-en-short|perfect}}）であるとは、それが[[閉集合]]であって[[孤立点]]を持たないことである。同値なことであるが、<math>S</math> が完全であるとは、<math>S=S'</math> が成り立つことである。ここで <math>S'</math> は <math>S</math> の[[極限点]]全体の集合であり、つまり <math>S</math> の[[導集合]]として知られているものである。

完全集合では、それに属する全ての点がその集合の他の点によって十分に近似できるものになっている: 与えられた <math>S</math> の点とその[[近傍]]について、その近傍内に <math>S</math> の別の点が存在する。さらにいうと、<math>S</math> の点で近似できる点は全て <math>S</math> に属している。

用語に関する注意がいくつかある。''perfect space'' という言葉もあり、これは [[Gδ空間]]を指す言葉であり、完全集合には関係ない。また、集合が [[perfect set property]] を持つことは、それが完全集合であることとは異なる。

==例==

[[実数直線]] <math>\mathbb{R}</math> の完全部分集合の例としては、[[空集合]]、全ての[[閉区間]]、実数直線それ自体、[[カントール集合]]などがある。特に、最後の例は、[[完全不連結]]でもある。

集合が完全か否か (そして閉か否か) は周りの空間に依存する。例えば、集合 <math>S=[0,1]\cap \Q</math> は空間 <math>\Q</math> の部分集合としては完全であるが、空間 <math>\mathbb{R}</math> の部分集合としては完全ではない。

== 他の位相的性質との関連 ==

全ての位相空間は一意的に完全集合と[[分散集合]]の非交和で表せる<ref>Engelking, problem 1.7.10, p. 59</ref><ref>{{cite web |url=https://math.stackexchange.com/questions/3856152 |title = Uniqueness of decomposition into perfect set and scattered set - Mathematics Stack Exchange|accessdate = 2023/02/22}}</ref>。

[[ゲオルク・カントール|カントール]]は実数直線の全ての閉部分集合が一意的に完全集合と[[可算集合]]の非交和で表せることを証明した。このことはもっと一般的に、[[ポーランド空間]]の閉部分集合でも成り立つ。このことは[[カントール-ベンディクソンの定理]]として知られている。

カントールは実数直線の空でない完全集合の濃度は全て[[連続体濃度]] <math>2^{\aleph_0}</math> であることも示している。これらの結果は[[記述集合論]]において以下のような発展をしている:
* ''X'' が孤立点を持たない[[完備距離空間]]であるとき、[[カントール空間]] 2<sup>&omega;</sup> は ''X'' に[[連続写像|連続]]に埋め込める。よって、''X'' の濃度は最小でも <math>2^{\aleph_0}</math> である。''X'' が [[可分空間|可分]]で孤立点を持たない完備距離空間である場合は、''X'' の濃度はちょうど <math>2^{\aleph_0}</math> である。
* ''X'' が孤立点を持たない[[局所コンパクト]][[ハウスドルフ空間]]であるとき、カントール空間から ''X'' への[[単射]] (連続とは限らない) が存在する。よって、''X'' の濃度は最小でも <math>2^{\aleph_0}</math> である。

==関連項目==
*[[自己稠密]]
*[[有限交叉性]]
*[[相対位相]]

== 脚注 ==
{{reflist}}

== 参考文献 ==
* Engelking, Ryszard, ''General Topology'', Heldermann Verlag Berlin, 1989. {{ISBN|3-88538-006-4}}
* {{Citation 
  | last1=Kechris 
  | first1=A. S. 
  | author1-link=Alexander S. Kechris
  | title=Classical Descriptive Set Theory 
  | publisher=[[Springer-Verlag]] 
  | location=Berlin, New York 
  | isbn=3540943749
  | year=1995
  }}
* {{Citation 
  | last1=Levy 
  | first1=A.
  | author1-link=Azriel Levy
  | title=Basic Set Theory 
  | publisher=[[Springer-Verlag]]
  | location=Berlin, New York 
  | year=1979
  }}
* {{Citation 
  | editor1-last=Pearl 
  | editor1-first=Elliott 
  | title=Open problems in topology. II 
  | publisher=[[Elsevier]] 
  | isbn=978-0-444-52208-5|mr=2367385 
  | year=2007 
  }}

{{デフォルトソート:かんせんしゆうこう}}
[[Category:位相幾何学]]
[[Category:位相空間の性質]]
[[Category:数学に関する記事]]