距離空間での連続を開近傍を使って表現
距離空間での連続を開近傍を使って表現
距離空間\(\left(X,d_{X}\right),\left(Y,d_{Y}\right)\)と写像\(f:X\rightarrow Y\)があるとき、\(f\)が\(a\in X\)で連続であることと、
\[ \forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right) \] または、
\[ \forall\epsilon>0,\exists\delta>0,U_{\delta}\left(a\right)\subseteq f^{\bullet}\left(U_{\epsilon}\left(f\left(a\right)\right)\right) \] であることは同値である。
距離空間\(\left(X,d_{X}\right),\left(Y,d_{Y}\right)\)と写像\(f:X\rightarrow Y\)があるとき、\(f\)が\(a\in X\)で連続であることと、
\[ \forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right) \] または、
\[ \forall\epsilon>0,\exists\delta>0,U_{\delta}\left(a\right)\subseteq f^{\bullet}\left(U_{\epsilon}\left(f\left(a\right)\right)\right) \] であることは同値である。
連続であるので
\[ \forall x\in X,\forall\epsilon>0,\delta>0,d_{X}\left(x,a\right)<\delta\rightarrow d_{Y}\left(f\left(x\right),f\left(a\right)\right)<\epsilon \] となり、
\(\left(d_{X}\left(x,a\right)<\delta\leftrightarrow x\in U_{\delta}\left(a\right)\right)\land\left(d_{Y}\left(f\left(x\right),f\left(a\right)\right)<\epsilon\leftrightarrow f\left(x\right)\in U_{\epsilon}\left(f\left(a\right)\right)\right)\)なので、
\begin{align*} & \forall x\in X,\forall\epsilon>0,\exists\delta>0,d_{X}\left(x,a\right)<\delta\rightarrow d_{Y}\left(f\left(x\right),f\left(a\right)\right)<\epsilon\\ \Leftrightarrow & \forall x\in X,\forall\epsilon>0,\exists\delta>0,x\in U_{\delta}\left(a\right)\rightarrow f\left(x\right)\in U_{\epsilon}\left(f\left(a\right)\right)\\ \Leftrightarrow & \forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right) \end{align*} となる。
また、
\[ f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)\Leftrightarrow U_{\delta}\left(a\right)\subseteq f^{\bullet}\left(U_{\epsilon}\left(f\left(a\right)\right)\right) \] であるので、
\[ \forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)\Leftrightarrow\forall\epsilon>0,\exists\delta>0,U_{\delta}\left(a\right)\subseteq f^{\bullet}\left(U_{\epsilon}\left(f\left(a\right)\right)\right) \] となる。
これらより題意は成り立つ。
\[ \forall x\in X,\forall\epsilon>0,\delta>0,d_{X}\left(x,a\right)<\delta\rightarrow d_{Y}\left(f\left(x\right),f\left(a\right)\right)<\epsilon \] となり、
\(\left(d_{X}\left(x,a\right)<\delta\leftrightarrow x\in U_{\delta}\left(a\right)\right)\land\left(d_{Y}\left(f\left(x\right),f\left(a\right)\right)<\epsilon\leftrightarrow f\left(x\right)\in U_{\epsilon}\left(f\left(a\right)\right)\right)\)なので、
\begin{align*} & \forall x\in X,\forall\epsilon>0,\exists\delta>0,d_{X}\left(x,a\right)<\delta\rightarrow d_{Y}\left(f\left(x\right),f\left(a\right)\right)<\epsilon\\ \Leftrightarrow & \forall x\in X,\forall\epsilon>0,\exists\delta>0,x\in U_{\delta}\left(a\right)\rightarrow f\left(x\right)\in U_{\epsilon}\left(f\left(a\right)\right)\\ \Leftrightarrow & \forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right) \end{align*} となる。
また、
\[ f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)\Leftrightarrow U_{\delta}\left(a\right)\subseteq f^{\bullet}\left(U_{\epsilon}\left(f\left(a\right)\right)\right) \] であるので、
\[ \forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)\Leftrightarrow\forall\epsilon>0,\exists\delta>0,U_{\delta}\left(a\right)\subseteq f^{\bullet}\left(U_{\epsilon}\left(f\left(a\right)\right)\right) \] となる。
これらより題意は成り立つ。
ページ情報
| タイトル | 距離空間での連続を開近傍を使って表現 |
| URL | https://www.nomuramath.com/x4qosqzk/ |
| SNSボタン |
距離空間ならばハウスドルフ空間
距離空間$\left(X,d\right)$ならばハウスドルフ空間となる。
距離空間での内点(内部)・外点(外部)・境界(境界点)・触点(閉包)・集積点(導集合)・孤立点の定義
\[
\exists\epsilon>0,U_{\epsilon}\left(x\right)\subseteq A
\]
閉集合と収束列との関係
閉集合であることと、収束列の収束先がその集合に入ることは同値である。
連続と開集合の逆像が開集合は同値
連続と開集合の逆像が開集合は同値