- 378 名前：１３２人目の素数さん mailto:sage [2017/12/20(水) 17:24:41.06 ID:LeJ8GKPP.net]
- >>349
＞ふーん、自分独自の（>>303より）
＞「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」を
＞定義しましたか？
>>281-283 で丁寧に定義済み。しかも、>>281-283 に書かれていることは、
標準的なテキストに載っている標準的な定義であり、俺独自の定義ではない。
より具体的に言う。B_f を定義するのに必要なのは
limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞
という記号列の定義のみである。この記号列の中で、limsup という記号は >>281-283 で
標準的な方法によって定義済みである。残るは「 ＜＋∞ 」という記号の意味であるが、
これもまた、>>281-283 で標準的な方法によって定義済みである。
結局、B_f は標準的な方法で定義済みである。どこにも俺独自の要素は無い。
無論、B_f の定義は well-defined である。
＞そもそも、その定義が、現実にあるいろいろな関数（病的な関数も含め）のどういう性質を捉え
＞また、その定理の適用範囲の限界（どの関数に使え、どの関数に使えないかなど）を見極めることなしには、
＞その定理の証明を読んでも仕方ないだろう？
「わたくしスレ主は limsup という概念が理解できてないので、未だに例の証明を読めるレベルに達してません」
と言っているようにしか見えないな。まあ実際、そんなにレベルが低いなら、
きっと「読めない」だろうなとは思う。そして、そんなレベルの低い奴が
例の定理にイチャモンをつける権利は全くない、とも言っておく。
|
 |
