距離空間での開集合と閉集合の定義
距離空間での開集合と閉集合の定義
距離空間\(\left(X,d\right)\)とその部分集合\(A\subseteq X\)が与えられているとする。
\(x\in X\)での\(\epsilon\)-近傍を\(U_{\epsilon}\left(x\right)\)で表す。
すなわち、
\[ \forall x\in A,\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A \] である。
これは、\(A\)の内部が\(A\)に等しい、すなわち\(A=A^{i}\)となるのと同じである。
また\(A\)の閉包が\(A\)に等しい、すなわち\(A=A^{a}\)となるとき\(A\)を閉集合でもよい。
これは
\[ \forall x\in A^{c},\exists\epsilon>0,U_{\epsilon}\left(x\right)\cap A=\emptyset \] または、
\[ \forall x\in X,\left(\forall\epsilon>0,U_{\epsilon}\left(x\right)\cap A\ne\emptyset\rightarrow x\in A\right) \] と同じである。
距離空間\(\left(X,d\right)\)とその部分集合\(A\subseteq X\)が与えられているとする。
\(x\in X\)での\(\epsilon\)-近傍を\(U_{\epsilon}\left(x\right)\)で表す。
(1)開集合
任意の\(A\)の元\(x\)に対しある\(\epsilon>0\)が存在し\(U_{\epsilon}\left(x\right)\subseteq A\)となるとき\(A\)を開集合という。すなわち、
\[ \forall x\in A,\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A \] である。
これは、\(A\)の内部が\(A\)に等しい、すなわち\(A=A^{i}\)となるのと同じである。
(2)閉集合
\(A\)の補集合\(A^{c}\)が開集合であるとき\(A\)を閉集合という。また\(A\)の閉包が\(A\)に等しい、すなわち\(A=A^{a}\)となるとき\(A\)を閉集合でもよい。
これは
\[ \forall x\in A^{c},\exists\epsilon>0,U_{\epsilon}\left(x\right)\cap A=\emptyset \] または、
\[ \forall x\in X,\left(\forall\epsilon>0,U_{\epsilon}\left(x\right)\cap A\ne\emptyset\rightarrow x\in A\right) \] と同じである。
空集合\(\emptyset\)と全体集合\(X\)は開集合かつ閉集合となる。
ページ情報
| タイトル | 距離空間での開集合と閉集合の定義 |
| URL | https://www.nomuramath.com/d9yw2fna/ |
| SNSボタン |
距離空間の有界・直径と全有界の定義
\[
\diam\left(A\right):=\sup\left\{ d\left(a,b\right);a,b\in A\right\}
\]
距離空間での内点(内部)・外点(外部)・境界(境界点)・触点(閉包)・集積点(導集合)・孤立点の定義
\[
\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A
\]
チェビシェフ距離は距離空間
\[
d_{\infty}\left(\boldsymbol{x},\boldsymbol{y}\right)=\max\left(\left|x_{1}-y_{1}\right|,\cdots,\left|x_{n}-y_{n}\right|\right)
\]
単射により誘導された距離空間
\[
d_{f}\left(a,b\right)=d\left(f\left(a\right),f\left(b\right)\right)
\]