距離空間での連続を開近傍を使って表現
距離空間での連続を開近傍を使って表現
距離空間\(\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ボタン |
チェビシェフ距離は距離空間
\[
d_{\infty}\left(\boldsymbol{x},\boldsymbol{y}\right)=\max\left(\left|x_{1}-y_{1}\right|,\cdots,\left|x_{n}-y_{n}\right|\right)
\]
閉集合と収束列との関係
閉集合であることと、収束列の収束先がその集合に入ることは同値である。
コーシー列と部分列の収束
コーシー列と部分列の収束
pノルム(一般化ユークリッド空間距離)は距離空間
\[
d_{m}\left(\boldsymbol{x},\boldsymbol{y}\right)=\left(\sum_{k=1}^{n}\left|x_{k}-y_{k}\right|^{m}\right)^{\frac{1}{m}}=\left\Vert \boldsymbol{x}-\boldsymbol{y}\right\Vert _{m}
\]