>>600
ああ、そんな名前でしたね 知らんけど

ディリクレの関数の一般化

f(x)
=n^r x∈Q で nはxを既約分数で表した場合の分母 rは実数
=0  x∈R/Q

Q1.xが無理数の点で連続  ⇔r<0  を示せ
Q2.xが無理数の点で微分可能⇔r<-1 を示せ