Question

ケスト

C*はC(I)の閉部分集合であることの証明が分かりません。よろしくお願いします

I= {r€R||x - rol Se}上で定義された連続関数 4(x) で,
max |p(x) - 0|S Ke
TEI
を満たすもの全体の集合を C* とおく。

Answer 1

✨ คำตอบที่ดีที่สุด ✨

哲治

問題を全部見せてくれませんか？

ケスト

これが全てです

哲治

これはいわゆるリプシッツ連続と言われるものです。
C*はI上でリプシッツ連続な関数全体の集合です。
リプシッツ連続なら一様連続なので明らかに部分集合となります。
あとは閉集合であることを示せばいいだけ。
Aの閉包⊂Aを示せばAが閉集合を示せる。
これは点の時の証明を関数に書き換えればほとんど流用できます。
似たような証明をアップしておきます。

哲治

距離空間であることの証明についてもほぼそのままの類題あったのでそれをアップしておきます。
模範解答作る時間はないので。
ちなみにC[a,b]は区間[a,b]上で連続な実数値関数全体の集合のことです。