18/02/09 20:29:40.55 cRIUi70d.net
>>32 補足
まあ、言いたかったことは・・
>>26で１）の場合については、補集合が「R中稠密でない」から、
ディリクレ関数の変形で、基本は無理数点でｆ＝０で、有理数の適当に好きな数を選んで、稠密にならないようにｆ＝１にして、他の有理数をｆ＝０にしておく。
選んだ数と数の隙間が、性質G“Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }”を満たす
（∵その隙間ではｆ≡０だから、lim sup y→x ｜（f(y) － f(x)）/（y － x）｜≡０ < +∞ は、明白で証明の必要もない ）
逆に、「証明しました」というのも、おかしな話ということになる
上記の様に、人為的に任意の区間に不連続点を選べるから、言えるのは「不連続点と不連続点の隙間の区間が連続だ！」ということだけだし、それで尽くされている
と