「集積点」の版間の差分

削除された内容追加された内容

インライン

2011年9月16日 (金) 20:14時点における版

数学における集積点（しゅうせきてん、英: accumulation point）あるいは極限点（きょくげんてん、英: limit point）は、位相空間 X の部分集合 S に対して定義される概念で、（X の位相に関する x の任意の近傍が x 自身を除く S の点を含むという意味で）S によって「近似」することができるような X の点 x を S の集積点と呼ぶ。このとき、集積点 x は必ずしも S の点でなくともよいということには留意すべきである。集積点の概念は極限の概念を適切に一般化するものであり、閉集合や閉包といった概念を下支えするものになっている。実際、集合が閉であることとそれが自身の集積点をすべて含むこととは同値であり、また集合に対する閉包作用はもとの集合にその集積点を付け加えることによる拡大操作として捉えることができる。

任意の有限区間または無限個の点を含む有界区間は少なくとも一つの集積点を含まなければならないが、さらに有界区間が無限個の点とただ一つの集積点を含むならば、区間内の任意の無限列がその唯一の集積点に収斂する。

定義

位相空間 X の部分集合t S に対し、X の点 x が S の集積点であるとは、x を含む任意の開集合が少なくとも一つの x と異なる S の点を含むときにいう。

この条件は T₁-空間においては、x の任意の近傍が S の点を無限に含むという条件に同値である（この条件は、もとの定義が「開近傍」を用いて集積点の判定を行うところを、開に限らない「一般の近傍」を使って行うことができるので、しばしば有用である）。

あるいは空間 X が列収斂空間（英語版）の場合には、x ∈ X が S の集積点であるための必要十分条件は、x を極限に持つような S ∖ {x} の可算列が存在することである。それゆえ x は極限点と呼ばれる。

極限点の種類

x を含む任意の開集合が無限に多くの S の点を含むとき、集積点 x を特に S の ω-集積点 (ω-accumulation point) という。
x を含む任意の開集合が非可算無限個の S の点を含むとき、集積点 x を特に S の凝集点 (condensation point) という。
x を含む任意の開集合 U について |U ∩ S| = |S| が満たされるとき、集積点 x を特に S の完全集積点 (complete accumulation point) という。

X の点 x が点列 (x_n)_n∈N の密集点 (cluster point) であるとは、x の任意の近傍 V に対し x_n ∈ V なる自然数が無限に存在するときにいう。空間が列収斂ならば、これは点列 (x_n)_n∈N の部分列で x を極限とするものがあることと同値である。

ネットの概念は点列の概念を一般化したもので、ネットに関する密集点の概念は凝集点と ω-集積点の概念をともに一般化するものになっている。集積および集積点の概念は同じようにフィルターに対しても定義することができる。

点列の密集点全体の成す集合は、しばしば極限集合と呼ばれる。

いくつかの事実について

集積点の特徴づけとして

「x が S の集積点となる必要十分条件は、x が S ∖ {x} の閉包に含まれることである」

を挙げることができる。実際、ある点 y がある集合 T の閉包に属することと y の任意の近傍が T と交わりを持つことが同値であるから、x の任意の近傍が x と異なる S の元を含む（⇔ x の任意の近傍が S ∖ {x} と交わる）という条件は、すなわち x が S ∖ {x} の閉包に属すると言う条件に他ならない。L(S) を S の集積点全体の成す集合とすると、S の閉包について

「S の閉包 cl(S) は S と L(S) との和集合に等しい」

という特徴づけが得られる。実際（cl(S) ⊂ S ∪ L(S) について）、x が S の閉包に属するとすると、x が S に属する場合は何もすることは無いが、そうでない場合は x の任意の近傍が S の点を含み、それは x と異なる（すなわち、x は S の集積点で L(S) に属す）。逆に（cl(S) ⊃ S ∪ L(S) について）、S は明らかに S の閉包に属し、L(S) の元 x についてはx の任意の近傍が（x と異なる）S の点を含むから、やはり x は S の閉包に属する。また、この結果の系として、閉集合の特徴づけ

「S が閉集合であるための必要十分条件は、S がその集積点を全て含むことである」

が得られる。実際、S が閉 ⇔ S = cl(S) ⇔ S = S ∪ L(S) となるが、これは L(S) は S に含まれるという条件に他ならない。あるいは次のようにしても分かる。S が閉で x が S の集積点であるとき、もし x が S に属さないとすると S の開近傍で S の補集合に包まれるものがあることになるが、それは S の点を含まないので x が S の集積点であったことに反する。逆に S が全ての集積点を含むとすると、S の補集合が開であることを示せる。実際、x を S の補集合の元とすると仮定により x は集積点でないから、x の開近傍 U で S と交わらないものが取れて、U は S の補集合に包まれる。これは S の補集合の各点で成り立つから、S の補集合は各点の開近傍の和として書けることになり、S の補集合は開となる。

孤立点はいかなる集合の集積点にもならない。実際、x が孤立点ならば {x} は x の近傍となるが、これは x 以外の点を含まない。空間 X が離散的ならば任意の点が孤立点ゆえ、集積点を持つような X の部分集合は存在しない。X が離散的でないとき、単元集合 {x} が開でないような点 x が存在するから、x の任意の開近傍は x と異なる点を含み、x は X の集積点となる。したがって、位相空間 X が離散であるための必要十分条件は、X が集積点を持つ部分集合を持たないことである。

空間 X が密着位相を持ち、S が X の二元以上を含む部分集合とすると X の全ての元が S の集積点である。また S が単元集合の場合も、X ∖ S の各点は S の集積点である。実際、S ∖ {x} が空でない限りその閉包は自動的に X しかありえない。一方、S ∖ {x} が空となるのは S が空であるか x が S の唯一の元であるときに限る。

定義により、任意の集積点は触点である。

参考文献

John L. Kelley (1975) [1955]. General topology. Graduate Texts in Mathematics, No. 27. Springer-Verlag, New York-Berlin. ISBN 978-0387901251 児玉之宏訳『位相空間論』吉岡書店〈数学叢書〉、1968年。

外部リンク

limit point - PlanetMath.（英語）
Weisstein, Eric W. "Limit Point". mathworld.wolfram.com (英語).
Weisstein, Eric W. "Accumulation Point". mathworld.wolfram.com (英語).

@@ 1行目: / 1行目: @@
+[[数学]]における'''集積点'''（しゅうせきてん、{{lang-en-short|''accumulation point''}}）あるいは'''極限点'''（きょくげんてん、{{lang-en-short|''limit point''}}）は、[[位相空間]] ''X'' の[[部分集合]] ''S'' に対して定義される概念で、（''X'' の位相に関する ''x'' の任意の[[近傍 (位相空間論)|近傍]]が ''x'' 自身を除く ''S'' の点を含むという意味で）''S'' によって「近似」することができるような ''X'' の点 ''x'' を ''S'' の集積点と呼ぶ。このとき、集積点 ''x'' は必ずしも ''S'' の点でなくともよいということには留意すべきである。集積点の概念は極限の概念を適切に一般化するものであり、[[閉集合]]や[[閉包 (位相空間論)|閉包]]といった概念を下支えするものになっている。実際、集合が閉であることとそれが自身の集積点をすべて含むこととは同値であり、また集合に対する閉包作用はもとの集合にその集積点を付け加えることによる拡大操作として捉えることができる。
-#REDIRECT [[実解析#集積点]]
+任意の有限区間または無限個の点を含む有界区間は少なくとも一つの集積点を含まなければならないが、さらに有界区間が無限個の点とただ一つの集積点を含むならば、区間内の任意の無限列がその唯一の集積点に収斂する。
+== 定義 ==
+[[位相空間]] ''X'' の部分集合t ''S'' に対し、''X'' の点 ''x'' が ''S'' の'''集積点'''であるとは、''x'' を含む任意の[[開集合]]が少なくとも一つの ''x'' と異なる ''S'' の点を含むときにいう。
+この条件は[[T1空間| ''T''<sub>1</sub>-空間]]においては、''x'' の任意の[[近傍 (位相空間論)|近傍]]が ''S'' の点を無限に含むという条件に同値である（この条件は、もとの定義が「開近傍」を用いて集積点の判定を行うところを、開に限らない「一般の近傍」を使って行うことができるので、しばしば有用である）。
+あるいは空間 ''X'' が{{仮リンク|列収斂空間|en|sequential space}}の場合には、''x'' &isin; ''X'' が ''S'' の集積点であるための必要十分条件は、''x'' を極限に持つような ''S'' &#x2216; {''x''} の可算列が存在することである。それゆえ ''x'' は'''極限点'''と呼ばれる。
+== 極限点の種類 ==
+* ''x'' を含む任意の開集合が無限に多くの ''S'' の点を含むとき、集積点 ''x'' を特に ''S'' の '''&omega;-集積点''' {{lang|en|(''ω-accumulation point'')}} という。
+* ''x'' を含む任意の開集合が非可算無限個の ''S'' の点を含むとき、集積点 ''x'' を特に ''S'' の'''[[凝集点]]''' {{lang|en|(''condensation point'')}} という。
+* ''x'' を含む任意の開集合 ''U'' について |''U'' &cap; ''S''| = |''S''| が満たされるとき、集積点 ''x'' を特に ''S'' の'''完全集積点''' {{lang|en|(''complete accumulation point'')}} という。
+''X'' の点 ''x'' が[[点列]] (''x''<sub>''n''</sub>)<sub>''n''∈'''N'''</sub> の'''密集点''' {{lang|en|(''cluster point'')}} であるとは、''x'' の任意の近傍 ''V'' に対し ''x''<sub>''n''</sub> ∈ ''V'' なる自然数が無限に存在するときにいう。空間が列収斂ならば、これは点列 (''x''<sub>''n''</sub>)<sub>''n''∈'''N'''</sub> の部分列で ''x'' を極限とするものがあることと同値である。
+[[有向点族|ネット]]の概念は[[点列]]の概念を一般化したもので、ネットに関する密集点の概念は凝集点と &omega;-集積点の概念をともに一般化するものになっている。集積および集積点の概念は同じように[[フィルター (数学)|フィルター]]に対しても定義することができる。
+点列の密集点全体の成す集合は、しばしば[[極限集合]]と呼ばれる。
+== いくつかの事実について ==
+集積点の特徴づけとして
+: 「''x'' が ''S'' の集積点となる必要十分条件は、''x'' が ''S'' ∖ {''x''} の[[閉包 (位相空間論)|閉包]]に含まれることである」
+を挙げることができる。実際、ある点 ''y'' がある集合 ''T'' の閉包に属することと ''y'' の任意の近傍が ''T'' と交わりを持つことが同値であるから、''x'' の任意の近傍が ''x'' と異なる ''S'' の元を含む（&hArr; ''x'' の任意の近傍が ''S'' ∖ {''x''} と交わる）という条件は、すなわち ''x'' が ''S'' ∖ {''x''} の閉包に属すると言う条件に他ならない。L(''S'') を ''S'' の集積点全体の成す集合とすると、''S'' の閉包について
+:「''S'' の閉包 cl(''S'') は ''S'' と L(''S'') との和集合に等しい」
+という特徴づけが得られる。実際（cl(''S'') &sub; ''S'' &cup; L(''S'') について）、''x'' が ''S'' の閉包に属するとすると、''x'' が ''S'' に属する場合は何もすることは無いが、そうでない場合は ''x'' の任意の近傍が ''S'' の点を含み、それは ''x'' と異なる（すなわち、''x'' は ''S'' の集積点で L(''S'') に属す）。逆に（cl(''S'') &sup; ''S'' &cup; L(''S'') について）、''S'' は明らかに ''S'' の閉包に属し、L(''S'') の元 ''x'' については''x'' の任意の近傍が（''x'' と異なる）''S'' の点を含むから、やはり ''x'' は ''S'' の閉包に属する。また、この結果の系として、閉集合の特徴づけ
+:「''S'' が閉集合であるための必要十分条件は、''S'' がその集積点を全て含むことである」
+が得られる。実際、''S'' が閉 &hArr; ''S'' = cl(''S'') &hArr; ''S'' = ''S'' ∪ L(''S'') となるが、これは L(''S'') は ''S'' に含まれるという条件に他ならない。あるいは次のようにしても分かる。''S'' が閉で ''x'' が ''S'' の集積点であるとき、もし ''x'' が ''S'' に属さないとすると ''S'' の開近傍で ''S'' の補集合に包まれるものがあることになるが、それは ''S'' の点を含まないので ''x'' が ''S'' の集積点であったことに反する。逆に ''S'' が全ての集積点を含むとすると、''S'' の補集合が開であることを示せる。実際、''x'' を ''S'' の補集合の元とすると仮定により ''x'' は集積点でないから、''x'' の開近傍 ''U'' で ''S'' と交わらないものが取れて、''U'' は ''S'' の補集合に包まれる。これは ''S'' の補集合の各点で成り立つから、''S'' の補集合は各点の開近傍の和として書けることになり、''S'' の補集合は開となる。
+[[孤立点]]はいかなる集合の集積点にもならない。実際、''x'' が孤立点ならば {''x''} は ''x'' の近傍となるが、これは ''x'' 以外の点を含まない。空間 ''X'' が[[離散空間|離散的]]ならば任意の点が孤立点ゆえ、集積点を持つような ''X'' の部分集合は存在しない。''X'' が離散的でないとき、単元集合 {''x''} が開でないような点 ''x'' が存在するから、''x'' の任意の開近傍は ''x'' と異なる点を含み、''x'' は ''X'' の集積点となる。したがって、位相空間 ''X'' が離散であるための必要十分条件は、''X'' が集積点を持つ部分集合を持たないことである。
+空間 ''X'' が[[密着位相]]を持ち、''S'' が ''X'' の二元以上を含む部分集合とすると ''X'' の全ての元が ''S'' の集積点である。また ''S'' が単元集合の場合も、''X'' &#x2216; ''S'' の各点は ''S'' の集積点である。実際、''S'' &#x2216; {''x''} が空でない限りその閉包は自動的に ''X'' しかありえない。一方、''S'' &#x2216; {''x''} が空となるのは ''S'' が空であるか ''x'' が ''S'' の唯一の元であるときに限る。
+定義により、任意の集積点は[[触点]]である。
+== 参考文献 ==
+* {{cite book|author=John L. Kelley|authorlink=ジョン・リロイ・ケリー|title=General topology|series=Graduate Texts in Mathematics, No. 27|publisher=Springer-Verlag, New York-Berlin|year=1975|origyear=1955|isbn=978-0387901251}}{{cite book|和書|translator=児玉之宏|title=位相空間論|series=数学叢書|publisher=吉岡書店|year=1968}}
+== 外部リンク ==
+* {{PlanetMath|urlname=LimitPoint|title=limit point}}
+* {{MathWorld|urlname=LimitPoint|title=Limit Point}}
+* {{MathWorld|urlname=AccumulationPoint|title=Accumulation Point}}
+{{DEFAULTSORT:しゆうせきてん}}
+[[Category:解析学]]
+[[Category:位相空間論]]
+[[Category:数学に関する記事]]
+[[ca:Punt d'acumulació]]
+[[de:Häufungspunkt]]
+[[en:Limit point]]
+[[es:Punto de acumulación]]
+[[fi:Kasautumispiste]]
+[[fr:Point adhérent]]
+[[he:נקודת הצטברות]]
+[[is:Þéttipunktur]]
+[[it:Punto di accumulazione]]
+[[ko:극한점]]
+[[nl:Ophopingspunt]]
+[[no:Opphopningspunkt]]
+[[pl:Punkt skupienia]]
+[[pt:Ponto limite]]
+[[ro:Punct de acumulare (matematică)]]
+[[ru:Предельная точка]]
+[[sk:Hromadný bod]]
+[[sv:Gränspunkt]]
+[[uk:Гранична точка множини]]
+[[vi:Điểm giới hạn]]
+[[zh:极限点]]