There are no such functions. Indeed, assume by contradiction that such a
function exists. Observe that it must be one-to-one since if
,
,
i.e.
.
On the other hand the
range
of f is a set of isolated points since for each
f(x) the only point in
within
from f(x) is
f(x) itself. Therefore
is a countable set. This is a
contradiction because it means that f is a bijective transform of
onto the countable set
,
and
is
known to be uncountable.
Back to the Problem of
the Week Page