26
$\begingroup$

I want to find a function $f:[0,1] \to [0,1]$ such that $f$ takes on each value in $[0,1]$ exactly twice. I think this means there are an infinite number of discontinuities. Can anyone help me figure this one out?

Anyone have any pointers?

$\endgroup$
8
  • 7
    $\begingroup$ That is actually a pretty cool problem. $\endgroup$ Nov 1, 2012 at 23:17
  • 11
    $\begingroup$ See Jo Heath, "Every exactly 2-to-1 function on the reals has an infinite number of discontinuities", Proceedings of the AMS, 98 (1986), 369-373 ams.org/journals/proc/1986-098-02/S0002-9939-1986-0854049-8/… $\endgroup$ Nov 1, 2012 at 23:23
  • 5
    $\begingroup$ Wouldn't a rather natural solution be to split the unit interval into a closed and a half-open interval and to construct bijections for each? $\endgroup$
    – EuYu
    Nov 1, 2012 at 23:28
  • $\begingroup$ @wj32 I am not sure exactly what function that could be though $\endgroup$ Nov 2, 2012 at 2:30
  • 7
    $\begingroup$ Let $[0,1]$ be partitioned into the set of reciprocals of integers $A=1,1/2,1/3,...$ and the complement $B$ of $A$. Now map $A$ by a shift of the sequence (take 1 to 1/2, take 1/2 to 1/3, etc), and map $B$ by the identity. Then this will map $[0,1]$ bijectively to $[0,1)$. $\endgroup$
    – coffeemath
    Nov 2, 2012 at 4:07

1 Answer 1

5
$\begingroup$

Let $x_\alpha$ be a well-ordering of $[0,1]$.

For any ordinal $\alpha = \theta + n < \frak{c}$ where $\theta$ is a limit ordinal or $0$ and $n$ is a finite ordinal, let $F(\theta + n \cdot 2) = F(\theta + n \cdot 2 + 1) = x_\alpha$.

Now define $f(x_\alpha) = F(\alpha)$ for all $\alpha \lt \frak{c}$ and it is clear that $f$ has the required property.

$\endgroup$
1
  • 4
    $\begingroup$ This is a overblown considering @EuYu's comment. I do need practice with this kind of proof but it's not appropriate for this problem. $\endgroup$ Nov 2, 2012 at 5:53

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .