閉集合と収束列との関係
閉集合と収束列との関係
距離空間\(\left(X,d\right)\)の部分集合\(A\subseteq X\)が閉集合であることと、\(A\)の任意の収束列\(\left(a_{n}\right)_{n\in\mathbb{N}}\)の収束先\(a\)が\(a\in A\)になることは同値である。
全体集合を\(X=\left(0,2\right)\)とすると、点列\(\left(a_{n}=\frac{1}{n}\right)_{n\in\mathbb{N}}\)の収束先0は\(0\notin X\)なので収束列ではなく全体集合\(X\)は閉集合となる。
全体集合を\(X=\mathbb{R}\)として部分集合\(A=\left(0,2\right)\)とすると、点列\(\left(a_{n}=\frac{1}{n}\right)_{n\in\mathbb{N}}\)の収束先0は\(0\notin A\)であるが\(0\in X\)なので収束列となり部分集合\(A\)は閉集合ではない。
(0)
\(\Rightarrow\)
\(A\)を閉集合とする。
\(A=X\)のときは\(a\in A\)となる。
\(A\ne X\)のときは\(a\notin A\)と仮定すると、\(a\in A^{c}\)であるので、任意の\(\epsilon>0\)に対し、ある\(N\in\mathbb{N}\)が存在し\(N\leq n\rightarrow a_{n}\in U_{\epsilon}\left(a\right)\)となる。
しかし、\(A^{c}\)は開集合であるので、ある\(\delta>0\)が存在し\(U_{\delta}\left(a\right)\subseteq A^{c}\)となるので、\(N\leq n\rightarrow a_{n}\in U_{\delta}\left(a\right)\subseteq A^{c}\)となり矛盾。
故に背理法より\(a\in A\)となる。
\(\Leftarrow\)
\(a\in A\)とする。
\(A=X\)のときは\(A\)は全体集合なので閉集合となる。
\(A\ne X\)のときは\(A^{c}\)から任意の元\(x\)をとると\(x\ne a\)である。
このとき\(x\)は収束列\(\left(a_{n}\right)_{n\in\mathbb{N}}\)の収束先にはならないのである\(\delta>0\)が存在して\(U_{\delta}\left(x\right)\subseteq A^{c}\)となる。
これより、\(A^{c}\)は開集合であるので、\(A\)は閉集合となる。
-
故に\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)となる。
(0)-2
集積点を使った証明
\(\Rightarrow\)
\(A\)が閉集合のとき、
\[
\forall a\in X,\forall\left(a_{n}\right)_{n=1}^{\infty}\subseteq A,\lim_{n\rightarrow\infty}a_{n}=a\rightarrow a\in A
\]
であればいい。
背理法により示すため、
\[
\exists a\in X,\exists\left(a_{n}\right)_{n=1}^{\infty}\subseteq A,\lim_{n\rightarrow\infty}a_{n}=a\land a\notin A
\]
と仮定する。
このとき、
\begin{align*}
& \exists a\in X,\exists\left(a_{n}\right)_{n=1}^{\infty}\subseteq A,\lim_{n\rightarrow\infty}a_{n}=a\land a\notin A\\
\Leftrightarrow & \exists a\in X\setminus A,\exists\left(a_{n}\right)_{n=1}^{\infty}\subseteq A,\lim_{n\rightarrow\infty}a_{n}=a\\
\Leftrightarrow & \exists a\in X\setminus A,\exists\left(a_{n}\right)_{n=1}^{\infty}\subseteq A\setminus\left\{ a\right\} ,\lim_{n\rightarrow\infty}a_{n}=a
\end{align*}
となり、\(a\)は\(A\)の集積点となるので\(a\in A^{d}\)となり、\(A\)は閉集合であるので\(A^{d}\subseteq A\)となるが、\(a\in A^{d}\subseteq A\)より、\(a\in A\)となりこれは矛盾。
従って、背理法より、
\[
\forall a\in X,\forall\left(a_{n}\right)_{n=1}^{\infty}\subseteq A,\lim_{n\rightarrow\infty}a_{n}=a\rightarrow a\in A
\]
となるので題意は成り立つ。
\(\Leftarrow\)
\(A=\emptyset\)のとき明らかに\(\Leftarrow\)は成り立つ。
\(A\ne\emptyset\)のときで考える。
背理法により、\(A^{d}\subseteq A\)を示すため、\(A^{d}\nsubseteq A\)と仮定する。
そうすると\(A\)のある集積点\(a\in A^{d}\)が存在し、\(a\in A\)となるが、条件より\(a\in A\)であるので矛盾。
従って背理法より、\(A^{d}\subseteq A\)となり、これより、\(A\)は閉集合となる。
故に\(A\ne\emptyset\)のとき、\(\Leftarrow\)が成り立つ。
これらより、\(A=\emptyset\)のときも\(A\ne\emptyset\)のときも\(\Leftarrow\)が成り立つ。
ページ情報
タイトル | 閉集合と収束列との関係 |
URL | https://www.nomuramath.com/lpsrmu9s/ |
SNSボタン |