An involution of reals, discontinuous on rationals, and whose derivative vanishes a.e.

Abstract

We study the involution of the real line, induced by Dyer’s outer automorphism of PGL(2,Z). It is continuousat irrationals with jump discontinuities at rationals. We prove that its derivative exists almost everywhere and vanishesalmost everywhere.