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

I was trying to prove that there exists a continuous function from a space to many others, and to see in what cases there exists such a function.

Clearly, the first things to note are properties preserved by continuous functions, like compactness and connectivity. Are there more general criteria?

I tried to prove or disprove the existence of a continuous function from the sphere (the boundary) to the circle (also the boundary).

share|cite|improve this question
It's easy to see that there is a surjective continuous map from $[0,1]$ to $\mathbb S^1$. Can you see how to make a continuous surjection from $\mathbb S^2$ to $[0,1]$? – JSchlather Aug 30 '11 at 18:00
the construction of such function ( S^2 to [0,1] ) it´s geometrically? or it´s only a non special function? Dx? – Daniel Aug 30 '11 at 18:54
@Daniel: e.g. $(x,y,z) \mapsto |z|$. Quite geometrical I'd say :) – t.b. Aug 30 '11 at 19:03
If you want the most general answer, it will have to be "A surjective continuous mapping exists from $X$ onto $Y$ if and only if there is a function from $X$ which is onto $Y$ and the preimage of every open set in $Y$ is open in $X$". Of course if you have some limitations to pose the answer can be less tautological and with more content in it. – Asaf Karagila Aug 30 '11 at 22:20
up vote 1 down vote accepted

That depends a great deal on the kind of spaces you're interested in. For manifolds, some of the main obstructions are invariants from algebraic topology (homology and homotopy groups) which in a sense generalize the "connectivity" property you already observed is useful.

For more general topological or even metric spaces, the tools (and the answers) are quite different. For example, every compact metric space is a quotient of the Cantor set; in other words you can map the Cantor set surjectively onto pretty much any (compact) thing, just because it's so disconnected it imposes virtually no restrictions on maps from it.

share|cite|improve this answer
In fact all the separable metric spaces are continuous image of a closed subset of the Baire space. – Asaf Karagila Aug 30 '11 at 22:41

Your Answer


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.