An involution of reals, discontinuous on rationals and whose derivative vanish almost everyhere
نویسندگان
چکیده
We study the involution of the real line, induced by Dyer’s outer automorphism of PGL(2,Z). It is continuous at irrationals with jump discontinuities at rationals. We prove that its derivative exists almost everywhere and vanishes almost everywhere.
منابع مشابه
Computable Approximations of Reals: An Information-Theoretic Analysis
How fast can one approximate a real by a computable sequence of rationals? We show that the answer to this question depends very much on the information content in the nite pre xes of the binary expansion of the real. Computable reals, whose binary expansions have a very low information content, can be approximated (very fast) with a computable convergence rate. Random reals, whose binary expan...
متن کاملTowards an arithmetic for partial computable functionals
• It is unlikely that there is an algorithm f that decides (1), i.e., returns tt if x = 0 and ff if x 6= 0: on input x = 0 it would run forever (think of the decimal representation of x); it would only semi-decide it, i.e., it would be a partial algorithm. • The algorithm as a mapping f : R→ B is discontinuous at 0. • Reals are Cauchy sequences of rationals; rationals are pairs of integers; int...
متن کاملOn the Involution of the Real Line Induced by Dyer’s Outer Automorphism of PGL(2,Z)
We study the involution of the real line induced by the outer automorphism of the extended modular group PGL(2,Z). This ‘modular’ involution is discontinuous at rationals but satisfies a surprising collection of functional equations. It preserves the set of real quadratic irrationals mapping them in a non-obvious way to each other. It commutes with the Galois action on real quadratic irrational...
متن کاملOn the Minkowski Measure
The Minkowski Question Mark function relates the continued-fraction representation of the real numbers, to their binary expansion. This function is peculiar in many ways; one is that its derivative is ’singular’. One can show by classical techniques that its derivative must vanish on all rationals. Since the Question Mark itself is continuous, one concludes that the derivative must be non-zero ...
متن کاملA Local Discontinuous Galerkin Method for KdV Type Equations
In this paper we develop a local discontinuous Galerkin method for solving KdV type equations containing third derivative terms in one and two space dimensions. The method is based on the framework of the discontinuous Galerkin method for conservation laws and the local discontinuous Galerkin method for viscous equations containing second derivatives, however the guiding principle for inter-cel...
متن کامل