I’ve been looking into reducing the volume of my paper files by scanning some of what’s there, or just downloading stuff that’s available online. I found this, though, which I wrote up ages ago, and rather than scanning it, I thought I’d write it up here. And then I can download it…
Hofstadter [I think this must have been in one of his Metamagical Themas columns] poses the problem: Find a real-valued function operating on the real numbers such that . (If could be complex, this would be trivial: (or ).)
We stalk by learning some of its properties…
(i) Suppose . Then and so :
— is an odd function.
(i) and (ii) together imply:
(iii) Suppose for all . Then . But — contradiction. So for some , . Similarly, for some , :
has positive and negative values for positive x.
But since ,
has at least one discontinuity for positive .
(iv) Split the positive reals into two sets, and , such that
If , ; . Similarly, :
So (sort of) maps half the real numbers into the other half, and the other half back into the first half. (Sort of because of that minus sign. Zero is the exception; it maps to itself.)
The task is to find a and an such that one can be mapped onto the other.
One solution is:
The function fully specified is