Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Are there continuous functions $f:I\to S^2$ such that $f^{-1}(\{x\})$ is infinite for every $x\in S^2$?

Here, $I=[0,1]$ and $S^2$ is the unit sphere.

I have no idea how to do this.

Note: This is not homework! The question came up when I was thinking about something else.

share|cite|improve this question
2  
Could the downvoter please explain what motivated him/her to downvote this question? – Stefan Hamcke Jan 3 at 20:05
2  
How about the composition of (i) a space-filling curve from $[0,1]$ to the unit ball, and (ii) a projection from the unit ball to its boundary $S^2$? – Rahul Jan 3 at 20:09
3  
The reason this came up is, I was wondering why my book had such a complicated proof that the sphere is simply connected (every loop can be retracted to a point). Then I realized, maybe it's hard to prove because some loops are very complicated. – Akiva Weinberger Jan 3 at 20:10
1  
@Rahul You will have problems with mapping the ball's center, unless you have an idea on how to avoid that. – Wojowu Jan 3 at 20:11
    
@AkivaWeinberger: Your realization is spot on. The complicated first step of the proof of simple connectivity is designed to reduce to the case that $f : I \to S^2$ is not surjective, by constructing a path homotopy from an arbitrary $f$ to a nonsurjective $f$. – Lee Mosher Jan 3 at 21:37
up vote 11 down vote accepted

Consider a space filling curve $\gamma: I \rightarrow I^2$, the projection $q: I^2 \rightarrow S^2$ given by the quotient topology on the square that furnishes the sphere, and the projection $\pi: I^2 \rightarrow I$ on the first coordinate.

The map $q \circ \gamma \circ \pi \circ \gamma$ satisfies what you want.

share|cite|improve this answer
    
So $\pi\circ\gamma$ is an infinity-to-one function from $I\to I$, and $q\circ\gamma$ is a surjective function from $I$ to $S^2$? – Akiva Weinberger Jan 3 at 20:14
    
@AkivaWeiberger Yes. Maybe the usual construction of a space-filling curve already gives a infinity-to-one function (I believe this is the case), but since I don't remember the details well enough, I prefered to make this workaround. – Aloizio Macedo Jan 3 at 20:16
    
I doubt the usual ones (ex: Hilbert and Peano curves) are infinity-to-one, though I encourage you to post it as a question. – Akiva Weinberger Jan 3 at 20:24
    
Check out this related question: Countable-infinity-to-one function – Akiva Weinberger Jan 4 at 18:38
    
If you use the usual construction, shown in many books, for a continuous surjection $g : I\to I^2$ then the composite $p= q g,$ where $q$ is projection to first co-ordinate, then for any nbhd $B$ of any $t\in I$, the cardinal of $ \{s\in B :p(s)=p(t)\}$ is the cardinal of the reals. And $p$ is nowhere differentiable – user254665 Jan 4 at 23:12

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.