\[\forall \epsilon >0 \exists \delta >0[d^{\prime\prime}(x,y) \Longrightarrow d(x,y)<\epsilon]\]を示せ．ただし，\(d^{\prime\prime}(x,y):=\min\{1,d(x,y)\}\)
証明
与えられた\(\epsilon\)が\(\epsilon < 1\)であれば\(\delta = \epsilon\)と定め，\(\epsilon \geq 1\)であれば\(\delta = \delta^{\prime} < 1 (\leq \epsilon)\)と定めればよい．以下，それを確かめる．
\(\epsilon < 1\)のとき：
\(d^{\prime\prime}(x,y):=\min\{1,d(x,y)\}<\epsilon \)．\(1 \leq d(x,y)\)とすれば\(\min\{1,d(x,y)\}=1<\epsilon\)となり矛盾．したがって\(1>d(x,y)\)である．このとき，\(\min\{1,d(x,y)\}=d(x,y)<\epsilon\)
\(\epsilon \geq 1\)のとき：
\(d^{\prime\prime}(x,y):=\min\{1,d(x,y)\}<\delta^{\prime}(<1)\)．\(1 \leq d(x,y)\)とすれば\(\min\{1,d(x,y)\}=1<\delta^{\prime}<1\)となり矛盾．したがって\(1>d(x,y)\)である．このとき\(\min\{1,d(x,y)\}=d(x,y)<\delta^{\prime}<1\leq \epsilon\)より\(d(x,y)<\epsilon\)
証明終
多分簡単な問題だと思うんですけど任意に与えられた正数\(\epsilon\)をそのままで\(\delta\)探しして結構時間がかかってしまった…
これ記法や表現を適当に変えれば高校生向けの論理の問題に出来る気がします。