0
$\begingroup$

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).

  • 0
    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.2011-08-30

1 Answers 1

1

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.

  • 0
    In fact all the separable metric spaces are continuous image of a closed subset of the Baire space.2011-08-30