18/02/23 00:08:59.81 AxycX5uE.net
>>328
１）
(引用開始)
問：ある点 x で A_f(x)＜＋∞ なら、x を含むある開区間の上で A_f は必ず有限値になるか？
→ 必ずしもならない。f(x)＝ x^2 (xは有理数), －x^2 (xは無理数)
と置くと、A_f(0)＝0 だが、A_f(x)＝＋∞ (x≠0) である。
(引用終り)
意味わからん。何を言いたいのかな？
２）
(引用開始)
問：ある点 x で A_f(x)＜＋∞ なら、x を含むある開区間の上で f はリプシッツ連続になるか？
→ 必ずしもならない。上と同じ関数 f に対して、A_f(0)＝0 であるが、
f はどの開区間の上でもリプシッツ連続ではない。
(引用終り)
意味わからん。「A_f(x)＜＋∞ なら」と書いておきながら、「A_f(x)＝＋∞ (x≠0) である」だと？ 「リプシッツ連続ではない」と
何を言いたいのかな？
３）
(引用開始)
問：ある開区間 (a,b) の中の各点 x で A_f(x)＜＋∞ なら、(a,b) 全体で f はリプシッツ連続になるか？
→ 必ずしもならない。f(x)＝ 0 (x＝0), x^{3/2}sin(1/x) (x≠0)
と置くと、(－1, 1) 上の各点 x で A_f(x)＜＋∞ である(A_f(0)＝0に注意)。
しかし、f は(－1, 1)全体ではリプシッツ連続ではない。
(引用終り)
A_f(x)の定義がないが・・、A_f(x)＝｜f(y)－f(x)｜/｜y－x｜でいいかな？
下記より、その例は下記wikipediaと同じ例だ。「その導函数は有界でない」とあるから、”lim y→0 A_f(x)＜＋∞”ではないよ
あと、重箱の隅だが、下記で”閉区間 [0,1] へ制限”とあるよ。
分るかな？ 分数べきの分母が偶数のとき、ｘ<0はまずい。
ｘ<0の例を考えるなら、分母は偶数でないと。
（>>282より）URLﾘﾝｸ(ja.wikipedia.org)
リプシッツ連続
(抜粋)
例
可微分だが（大域）リプシッツ連続でない
・函数 f(x) = x^3/2sin(1/x) (x ≠ 0) かつ f(0) = 0 を閉区間 [0,1] へ制限したものは、コンパクト集合上微分可能だが局所リプシッツでない函数の例を与える。実際、その導函数は有界でない。
(引用終り)