- 161 名前：１３２人目の素数さん mailto:sage [2018/11/03(土) 18:32:30.26 ID:q46wxfwe.net]
- >>61のpdfの50頁でも，
>例えば \overline{lim} x->x0 f(x) := lim δ↓0 sup{f(x)|0＜|x-x0|＜δ}.
>sup は実数値または ∞ の意味で確定する. sup{f(x)|0＜|x-x0|＜δ} はδに関して単調増加なのでδ↓0
>とともに減少し，右辺の極限はR ∪ {±∞} の意味で確定する
このように，sup{f(x)|0＜|x-x0|＜δ} が
途中のδでいきなり ∞ の値になることを許していますし，
その設定で lim δ↓0 や inf δ>0 を考えてます
