- 289 名前：１３２人目の素数さん mailto:sage [2017/12/19(火) 11:26:47.63 ID:F1UbN7QE.net]
- >>264
> >>257
> >「 f が点xにおいて limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞ を満たすとき、f は一点xにおいてリプシッツ連続であ>る」
> >という定義を採用するのが自然だと思われる。
>
> その定義なら、補集合は開集合にならないか？
あるx∈RのみがB_fの要素の場合を考えてるってこと？
そのときR-B_fが開集合で『疎な閉集合の可算和で覆えない』として、いったい何が問題なの？
定理1.7の仮定にmatchしないんだから反例にならないでしょ。
