17/12/03 12:00:59.46 rPUpBQUT.net
>>245 戻る
(ピエロ)
>さらにいえば、1/q^nを1/e^(-q)に置き換えても
>リュービル数では微分不可能
URLﾘﾝｸ(kbeanland.files.wordpress.com)
(抜粋)
Proposition 3.1. Let f be a function on R that is positive on the rationals and 0 on
the irrationals. Then there is an uncountable dense set of irrationals on which f is not
differentiable.
Proof. Let (ri ) be an enumeration of the rationals. We recursively define a convergent sequence of rationals.
Proposition 4.2. 略
We finish by remarking on some obvious consequences of the previous propositions.
First, for k <= 2, T(1/n^k ) is nowhere differentiable.
By Roth’s Theorem, if α(an) > 2, T(ai ) is differentiable on the set of algebraic irrational numbers.
T(1/n^9) is differentiable at all the algebraic irrationals, e, π, π^2, ln(2), and ζ(3), and not differentiable on the set of Liouville numbers.
Finally, if α(ai ) = ∞, T(ai ) is differentiable on the set of all non-Liouville numbers.
Since the set of Liouville numbers has measure zero, T(ai ) is differentiable almost everywhere.
(引用終り)
ここ、Proposition 3.1. では、リュービル数は証明には使っていない。（”recursively define a convergent sequence of rationals”を使用）
で、あとのProposition 4.2.の後で、Liouville numbersが、出てくるが、記載は上記の通り。
なので、正確には、1/q^nを1/e^(-q)などもっと早く減衰（q→∞のとき早く→0に収束）する関数を取ると、リュービル数の集合のある部分は可微分にできるが、
一方、どんなに早く減衰する関数を作っても、それに対して、リュービル数の集合内で類似の微分不可の超越数を作ることができるというのが、正確な理解じゃないかな？
つづく