18/08/09 12:50:56.13 sUCqByCF.net
>>784
(a)
||x|| をユークリッドノルム
|x| を sup ノルム
とする。
a, b ∈ B(c ; ε) とする。
0 ≦ t ≦ 1 とする。
||a + t * (b - a) - c|| = ||(1 - t)*(a - c) + t*(b - c)|| ≦ (1 - t)*||a - c|| + t*||b - c|| = (1 - t)*ε + t*ε = ε
よって、
a + t * (b - a) ∈ B(c ; ε)
a, b ∈ C(c ; ε) とする。
0 ≦ t ≦ 1 とする。
|a + t * (b - a) - c| = |(1 - t)*(a - c) + t*(b - c)| ≦ (1 - t)*|a - c| + t*|b - c| = (1 - t)*ε + t*ε = ε
よって、
a + t * (b - a) ∈ C(c ; ε)