- 236 名前：１３２人目の素数さん mailto:sage [2017/12/18(月) 11:58:56.37 ID:K+J68Na/.net]
- >>220
おっちゃんです。
>１．（>>97より）
>”定理1.7 (422 に書いた定理)
>f : R → R とする．
>Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
>と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
>上でリプシッツ連続である．
>（以下証明の文言から）
>よって、 f は(a, b) 上でリプシッツ連続である．”
>２．さて、結論から言えば、”R−Bf が内点を持たない閉集合の高々可算和で被覆できる”がおかしいと思う
私はここに投下された pdf を読んでいないので何ともいえず、スレ主はその pdf の内容について
いっているのだろうが、2の「""」の中の文は仮定だから問題ない(であろう)。
