High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^; また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ 旧スレが512KBオーバー(又は間近)で、新スレ立てる (スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。)
(>>40より) http://mathforum.org/kb/message.jspa?messageID=5432910 (>>35より) Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007 より The modefied ruler function f is defined by f(x) = 0 if x is irrational, f(0) = 1, and f(x) = 1/w(q) if x = p/q ∈Q where p and q are relatively prime integers with q > 0.
ここに w(q):an increasing function that eventually majorizes every power function. (w(q)は、どんなpの冪より早く増大する関数 https://kbeanland.files.wordpress.com/2010/01/beanlandrobstevensonmonthly.pdf Modifications of Thomae’s function and differentiability, (with James Roberts and Craig Stevenson) Amer. Math. Monthly, 116 (2009), no. 6, 531-535. などではP532で、” (e.g., ai = 1/i^(i^i) )”などと記されている。qで書けば、= 1/q^(q^q)だ)
The modefied ruler function f is defined by f(x) = 0 if x is irrational, f(0) = 1, and (さらに有理数で場合けして) f(x) = 0 if q> m, x = p/q ∈Q f(x) = 1/w(q) if q<=m, x = p/q ∈Q where p and q are relatively prime integers with q > 0. また、他の条件は、すべて上記に同じ