閉包 (位相空間論)のソースを表示

{{Unreferenced|date=March 2007}}
{{multiple image
 | align     = right
 | direction = vertical
 | header    = 閉包の例
 | width     = 200
 | image1    = Open region.png
 | alt1      = 開円環域
 | caption1  = 部分集合 {{math|''A''}}
 | image2    = Closed region.png
 | alt2      = 閉円環域
 | caption2  = 閉包 {{math|{{overline|''A''}}}}
}}
[[数学]]において、[[位相空間]]の部分集合の'''閉包'''（へいほう、{{lang-en-short|''closure''}}）は、その部分集合の'''触点'''（部分集合の点とそれらの[[集積点]]）を全て集めて得られる集合である。直観的には、部分集合の触点とはその部分集合の「いくらでも近く」にある点と考えられる。閉包の概念は様々な意味で[[開核]]の概念の双対になっている。

== 定義 ==
=== 触点 ===
[[ユークリッド空間]]の部分集合 ''S'' に対して、点 ''x'' が ''S'' の触点（閉包点）({{lang-en|adherent point, closure point, point of closure}})であるとは、''x'' を中心とする任意の[[開球体]]が必ず ''S'' の点を少なくとも一つ含むときにいう（''x'' が ''S'' に属するときは、所期の点として ''x'' 自身を選んでよい）。

この定義は「ユークリッド空間」の部分を「任意の[[距離空間]] ''X''」に書き換えて直ちに一般化することができる。きちんと述べれば、距離 ''d'' を持つ距離空間 ''X'' に対して、''X'' の点 ''x'' が ''X'' の部分集合 ''S'' の触点であるとは、各 ''r'' &gt; 0 に対して ''S'' の適当な点 ''y'' を選べば ''d''(''x'', ''y'') &lt; ''r'' とできるときにいう（やはり ''y'' = ''x'' ととり得る）。これは、式で書けば ''x'' が
: ''d''(''x'', ''S'') := [[下限|inf]]{''d''(''x'', ''s'') : ''s'' &isin; ''S''} = 0
を満たすことに他ならない。これをさらに「開球体」の代わりに「[[近傍 (位相空間論)|近傍]]」を考えて、一般の[[位相空間]]に対するものに一般化することができる。すなわち、位相空間 ''X'' の部分集合 ''S'' に対して、''X'' の点 ''x'' が ''S'' の触点であるとは、''x'' の任意の近傍が必ず ''S'' の点を少なくとも一つ含むときに言う（この定義は、近傍の定義にそれが開であることを含むか否かに依らない）。

=== 集合の閉包 ===
集合 ''S'' の'''閉包'''とは、''S'' の触点全体の成す集合を言い、cl(''S'') や Cl(''S'') あるいは <span style="text-decoration: overline;">''S''</span> や ''S''<sup>&minus;</sup> などで表す。集合の閉包は以下のような性質を持つ。
* cl(''S'') は ''S'' を含む[[閉集合]]（閉拡大集合）である。
* cl(''S'') は ''S'' を含む[[閉集合]]全ての交わりに一致する。
* cl(''S'') は ''S'' を含む最小の閉集合である。
* 集合 ''S'' が閉であるための必要十分条件は ''S'' = cl(''S'') を満たすことである。
* ''S'' が ''T'' の部分集合ならば cl(''S'') は cl(''T'') の部分集合である。
* ''A'' が閉集合であるならば、''A'' が ''S'' を含むことと ''A'' が cl(''S'') を含むこととは同値である。

二番目と三番目の性質はしばしば位相的な閉包（作用素）の定義として用いられるもので、また他の種類の閉包作用に対しても意味を持つ（後述）。

（[[距離空間]]などの）[[第一可算空間]]では、cl(''S'') は ''S'' 内のあらゆる収斂点列の極限全体の成す集合に一致する。一般の位相空間に対しては、「点列」を「[[有向点族]]」または「[[フィルター (数学)|フィルター]]」に置き換えたものが成り立つ。

双対性により、上記の性質において、「閉包」・「拡大集合」・「交叉」・「含む」・「最小」・「閉」をそれぞれ「内部」・「部分集合」・「合併」・「含まれる」・「最大の」・「開」に置き換えたものもやはり成立する。詳細は[[#閉包作用素|後述]]。

== 例 ==
* ''X'' が[[実数]]全体の成す一次元ユークリッド空間 '''R''' のとき、cl((0,&thinsp;1)) = [0,&thinsp;1] が成り立つ。
* ''X'' = '''R''' のとき、[[有理数]]全体の成す部分集合 '''Q''' の閉包は '''R''' 全体に一致する。これを以って '''Q''' は '''R''' において[[稠密部分集合|稠密]]であるという。
* ''X'' を[[ガウス平面]] '''C''' = '''R'''<sup>2</sup> とすれば cl(&#x7b;''z'' &isin; '''C''' : &#x7c;''z''&#x7c; &gt; 1&#x7d;) = &#x7b;''z'' &isin; '''C''' : &#x7c;''z''&#x7c; ≥ 1&#x7d; が成り立つ。
* ''S'' がユークリッド空間の[[有限集合|有限部分集合]]ならば cl(''S'') = ''S'' が成り立つ。一般の位相空間においてこの性質は[[フレシェ空間| T<sub>1</sub>-分離公理]]と同値である。

実数全体の成す集合 '''R''' に通常の位相とは異なる位相を入れる場合には、先の例とは結果が異なりうる。

* ''X'' = '''R''' で '''R''' に[[下極限位相]]を入れるとき、cl((0,&thinsp;1)) = &#x5b;0,&thinsp;1) が成り立つ。
* '''R''' の全ての部分集合が（開かつ）閉であるような位相を考えれば、cl((0,&thinsp;1)) = (0,&thinsp;1) が成り立つ。
* '''R''' 上の位相で、空集合と '''R''' 自身のみが（開かつ）閉となるものを考えれば、cl((0,&thinsp;1)) = '''R''' が成り立つ。

これらの例から、与えられた部分集合の閉包というのが、その台となる空間のうえの位相に依存していることが諒解される。後二者の例はもっと一般に
* 任意の[[離散空間]]では、任意の部分集合が（開かつ）閉であるから、任意の部分集合はその閉包に一致する。
* 任意の[[密着空間]] ''X'' では、（開かつ）閉集合は空集合と ''X'' 自身のみであるから、空集合の閉包は空集合であり、空でない任意の部分集合 ''A'' に対しては cl(''A'') = ''X'' が成り立つ。すなわち、密着空間の任意の空でない部分集合は稠密部分集合である。
という形で述べることができる。

集合の閉包は、どの空間で閉包にとるかによっても変わってくる。例えば、''X'' を有理数全体の成す集合 '''Q''' に（ユークリッド空間 '''R''' から誘導される[[部分位相空間|部分空間]]としての）通常の位相を入れたものとし、''S'' = &#x7b;''q'' &isin; '''Q''' : ''q''<sup>2</sup> &gt; 2&#x7d; とすれば、''S'' は '''Q''' において閉であり ''S'' の '''Q''' における閉包は ''S'' 自身に一致するが、''S'' のユークリッド空間 '''R''' における閉包は <math>\sqrt{2}</math> 以上の'''実数'''全体の成す集合になる。

== 性質 ==
集合 ''S'' が[[閉集合]]であるための必要十分条件は Cl(''S'') = ''S'' を満たすことである。特に、[[空集合]]の閉包は空集合（Cl(&empty;) = &empty;）であり、全体集合 ''X'' の閉包は ''X'' に一致する（Cl(''X'') = ''X''）。

集合族の[[共通部分 (数学)|交わり]]の閉包は、各集合の閉包の族の交わりに必ず含まれる（が、必ずしも一致しない）。また、有限個の集合の合併については、合併の閉包と（各集合の）閉包の合併とは一致する。零個の集合の合併は空集合とする規約の下で、最初の空集合の閉包についての主張はこれに含まれると考えることができる。無限個の合併では、等号が必ずしも成り立つわけではないが、合併の閉包は必ず閉包の合併を含む。式で書けば
: <math>\begin{align}
 \overline{A\cap B} &\subset \bar{A}\cap\bar{B}, & \overline{\bigcap_{\lambda\in\Lambda} S_\lambda} &\subset \bigcap_{\lambda\in\Lambda} \bar{S}_\lambda,\\
 \overline{A\cup B} &= \bar{A}\cup\bar{B}, & \overline{\bigcup_{\lambda\in\Lambda} S_\lambda} &\supset \bigcup_{\lambda\in\Lambda} \bar{S}_\lambda
\end{align}</math>
などのように表せる。

''A'' を位相空間 ''X'' の ''S'' を含む[[部分位相空間|部分空間]]とするとき、''S'' の ''A'' における閉包は、''S'' の ''X'' における閉包と ''A'' との交わりに等しい。すなわち
: <math>\text{Cl}_A(S) = A\cap \text{Cl}_X(S)</math>
が成り立つ。特に ''S'' が ''A'' において稠密となるための必要十分条件は、''A'' が Cl<sub>''X''</sub>(''S'') の部分集合となることである。

== 閉包作用素 ==
{{main|閉包作用素}}
'''閉包作用素''' <sup>&minus;</sup> は
: <math>\bar{S} = X\smallsetminus (X\smallsetminus S)^\circ</math>
および
: <math>S^\circ = X\smallsetminus \overline{X\smallsetminus S}</math>
が成り立つという意味で、[[開核作用素]] <sup>o</sup> の[[双対]]である。ただし、''X'' は ''S'' を含む[[位相空間]]とし、逆斜線は[[差集合|集合論的差]]を表すものとする。

従って、閉包作用その抽象論および[[クラトフスキーの閉包公理]]は、集合とその[[補集合]]とを入れ替える操作で、直ちに開核作用素についてのものに翻訳することができる。

== 圏論的な解釈 ==
閉包作用素は、以下のように普遍射を用いるとすっきりと定義することができる。

集合 ''X'' の[[冪集合]]は[[半順序集合]]として、''X'' の部分集合を対象とし、包含写像を射とする[[圏 (数学)|圏]] ''P'' と看做すことができる。さらに ''X'' 上の位相 ''T'' は ''P'' の部分圏であり、包含函手 ''I'': ''T'' &rarr; ''P'' を考えることができる。''X'' の部分集合 ''A'' を固定して、''A'' を含む ''X'' の閉集合全体のなす集合族を[[コンマ圏]] (''A'' &darr; ''I'') と同一視すれば、この（半順序集合でもある）圏は[[始対象]]として Cl(''A'') を持つ。ゆえに、''A'' から ''I'' への普遍射が存在し、それは包含射 ''A'' &rarr; Cl(''A'') で与えられる。

同様に、''X'' &#x2216; ''A'' を含む任意の閉集合は ''A'' に含まれる開集合と対応するから、コンマ圏 (''I'' &darr; ''X'' &#x2216; ''A'') を ''A'' に含まれる開集合全体のなす集合と解釈することができて、''A'' の[[内部 (位相空間論)|内部]] Int(''A'') がその[[終対象]]を与える。

閉包作用素の持つ性質は全てこの定義（と上記の圏のいくつかの性質）から導くことができる。さらにこの定義が普遍射として述べられていることにより、やはり普遍射として記述される他の種類の閉包（たとえば[[代数閉包]]）などと位相的な閉包との間の類似対応が明確になるという利点がある。

== 関連する概念 ==
{{main|集積点|孤立点}}
触点の概念は[[集積点]]（極限点）の概念に近しい関係を持つ。これらの定義の差異はわずかだがその違いが重要であって、集積点の場合にはその定義において点 ''x'' の近傍は所期の集合の「''x'' 以外の」点を含むのでなければならない。

したがって、任意の集積点は触点となるが、逆は必ずしも成り立たない。触点であって集積点でないような点は[[孤立点]]という。すなわち、点 ''x'' が ''S'' の孤立点であるとは、それが ''S'' の点であって、かつ ''x'' の近傍で ''S'' の点を含むものは ''x'' のみからなる近傍以外に存在しないときにいう。

集合 ''S'' と点 ''x'' が与えられたとき、''x'' が ''S'' の触点であるための必要十分条件は ''x'' が ''S'' の元であるか、さもなくば ''S'' の集積点となることである。

== 参考文献 ==
* [[ジョン・リロイ・ケリー|John L. Kelley]]; <cite>General Topology</cite>; ISBN 0-387-90125-6, 日本語訳: {{cite book|和書|translator=児玉之宏|title=位相空間論|series=数学叢書|publisher=吉岡書店|year=1968}}
*{{cite book|和書|author=松坂和夫|title=集合・位相入門|publisher=岩波書店|year=1968|ISBN=4-00-005424-4}}

== 関連項目 ==
* [[生成 (数学)]]
* [[内部 (位相空間論)]]
* [[閉包代数]] (Closure algebra)

== 外部リンク ==
* {{MathWorld|urlname=TopologicalClosure|title=Topological Closure|author=Rowland, Todd.}}
* {{PlanetMath|urlname=Closure|title=closure}}

{{DEFAULTSORT:へいほう}}
[[Category:位相空間論]]
[[Category:閉包作用素]]
[[Category:数学に関する記事]]