17/11/20 16:45:28.40 sVbA75bK.net
>>421のリンク先の証明は個人的には すんなり頭に入ってこないので、
微分可能な点の方から攻める方針でやってみたら、次の定理が得られた。
定理：f：R → R に対して、B_f＝{ x∈R｜limsup[y→x]｜(f(y)－f(x))/(y－x)｜＜＋∞ } と置く。
もし R－B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で
リプシッツ連続である。
この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しないことが即座に分かる。一応やってみると、そのような関数 f が存在したとすると、
R－Q ＝ 無理数全体 ＝ (fの微分可能点全体) ⊂ B_f
となるので、
R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
となる。(1)の右辺は疎な閉集合の可算和だから、上の定理が使えて、f はある開区間(a,b)の上で
リプシッツ連続になる。特に、(a,b)の上で連続になる。QはR上で稠密だから、x∈(a,b)∩Qが取れる。
仮定から、fは点xで不連続であるが、しかしx∈(a,b)より、fは点xで連続であり、矛盾する。