18/10/25 07:45:19.49 AJCjq/E6.net
>>552
つづき
これは、区間(a, b) でのリプシッツ連続の定義だ
ここで、点xを固定して、yだけを動かせば、点xにおけるリプシッツ連続の定義になる
（ここら、分らない人は URLﾘﾝｸ(izumi-math.jp) 高校生のための不動点定理 辺りを見て下さい）
さて
１）｜f(y) － f(x)｜ <= N｜y － x｜
↓
２）B_f＝{x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
が成り立つ
（証明はしないが、同意はするだろう）
そこで
”｜f(y) － f(x)｜ <= N｜y － x｜ ”が成り立つ点x（リプシッツ連続な点）を集めた、R中リプシッツ連続な点の集合を、B_fLとする
つづく