一様連続であれば各点連続
一様連続であれば各点連続
距離空間\(\left(X,d_{X}\right),\left(Y,d_{Y}\right)\)と写像\(f:X\rightarrow Y\)があるとする。
このとき、\(f\)が一様連続であれば各点連続である。
逆は一般的に成り立たない。
距離空間\(\left(X,d_{X}\right),\left(Y,d_{Y}\right)\)と写像\(f:X\rightarrow Y\)があるとする。
このとき、\(f\)が一様連続であれば各点連続である。
逆は一般的に成り立たない。
一様連続の定義は、
\[ \forall\epsilon>0,\exists\delta>0,\forall x_{1},x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon \] であり、各点連続の定義は、
\[ \forall x_{1}\in X,\forall\epsilon>0,\exists\delta>0,\forall x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon \] である。
全称記号と存在記号は順番により、
\[ \exists a,\forall b,P\left(a,b\right)\Rightarrow\forall b,\exists a,P\left(a,b\right) \] となるが、逆は一般的に成り立たない。
これより、一様連続であれば各点連続であるが、逆は一般的に成り立たない。
\[ \forall\epsilon>0,\exists\delta>0,\forall x_{1},x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon \] であり、各点連続の定義は、
\[ \forall x_{1}\in X,\forall\epsilon>0,\exists\delta>0,\forall x_{2}\in X;d_{X}\left(x_{1},x_{2}\right)<\delta\rightarrow d_{Y}\left(f\left(x_{1}\right),f\left(x_{2}\right)\right)<\epsilon \] である。
全称記号と存在記号は順番により、
\[ \exists a,\forall b,P\left(a,b\right)\Rightarrow\forall b,\exists a,P\left(a,b\right) \] となるが、逆は一般的に成り立たない。
これより、一様連続であれば各点連続であるが、逆は一般的に成り立たない。
ページ情報
| タイトル | 一様連続であれば各点連続 |
| URL | https://www.nomuramath.com/bwn8rqfu/ |
| 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}
\]
単射により誘導された距離空間
\[
d_{f}\left(a,b\right)=d\left(f\left(a\right),f\left(b\right)\right)
\]
距離関数は連続関数
距離空間$\left(X,d\right)$の距離関数$d:X\times X\rightarrow\mathbb{R}$は直積距離空間$\left(X\times X,d'\right)$上の連続関数である。