"Yuzuru Hiraga" <hiraga@slis.tsukuba.ac.jp> wrote in message
news:40A9B2B3.2050008@slis.tsukuba.ac.jp...
> > # f''(a) が存在しながらも，点 a のいかなる近傍でも微分可能にならない
> > # f(x) なんてないですよね…。

>
> だけど Y.N. さんが言いたいのは「f''(a) の存在」から「x=a の近傍で微分可
能」
> が自動的にしたがう、といったことでしょう。だから冗長である、と。
>
> これについては１つには定義の問題がありそう。
> 　　f''(a) = lim (f'(a+h)-f'(a))/h
> として考える、つまり：

すいません。私そんなに深く考えて言った訳ではなく（だから，どうでもいい話と前
置きしたんですが），導関数の上の正規の定義においても
f''(a) が存在するが，その近傍（ある近傍の意味）で微分可能でない点が存在する
関数ってありますよね。
だから，「いかなる近傍」でも微分可能にならないことはないと。まあ，いかなるの
意味が私が捉えている意味においてですが。いかなるが，必ずその近傍で微分可能な
ある近傍がとれるという意味なら，Y.N. さんの言う通りだとは思いますが。

-- 
******************************
   keizi kounoike
******************************