III. 7ー [0O.1| を表の閉区間. ご(7) を了上の連続関数の全体ご(7) 上の距離関数 d.d.。 を
1
第人た9) コリ げ() - g(r)|dr。 9こげ-9) 王 sup げば) - gr)|
o 0<=<+
で定める. 了 EC(7) を中心とする半径 > 0の d』 に関する開球体を 0は()。 9っ。 に関する開球体を り誠(/) とする.
(0り記(7) この(げ) となる8 > 0 が存在する事を示せ-
(i) 任意のぉ>0に対し びま() こり記(7) とならない事を示せ-