Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 want to show the following:

$X$ $n$-connected $\iff $ any continuous map $f:K \rightarrow X$ where $K$ is a cell complex of dimension $\leq n$ is homotopic to a constant map

For this I think I can use the following: $X$ $n$-connected $\iff $ every continuous map $f: S^n \rightarrow X$ is homotopic to a constant map.



If any continuous map $f:K \rightarrow X$ where $K$ is a cell complex of dimension $\leq n$ is homotopic to a constant map then any $f: S^n \rightarrow X$ is homotopic to a constant map. So $X$ is $n$-connected.


I'm not sure how to proceed in this direction. I know $X$ is $n$-connected and so $\pi_i (X) = 0$ for all $i \leq n$. I also know any $f: S^i \rightarrow X$ is null-homotopic.

How to proceed from here? Many thanks for your help!

share|cite|improve this question
Hint: If $X$ is (h.e. to) a CW-complex, then you can replace $f$ by a cellular map (cellular approximation). Then, since $K$ is a cell complex of dimension $\leq n$, it is built inductively by attaching one cell (of dim. $\leq n$) at a time. – Shaun Ault Sep 7 '11 at 12:03
I have to confess I sometimes find the way mathematicians write "any" when they mean "every" irritating. "If any continuous map is XXXXX then YYYYYYY" could be taken by perfectly reasonable readers to mean "If there is any continuous map that is XXXXX, then YYYYYYY." Or it could mean "If it is the case that any continuous map, no matter which one, is XXXXX, then YYYYYYY", and that's quite a different thing. "Every" admits no such ambiguity. – Michael Hardy Sep 7 '11 at 13:53
@Michael: See also John Milne's Mathlish page (scroll down to Be careful with your use of "any"). – t.b. Sep 7 '11 at 16:39
@Michael: I thought that too, several times even. But then I always thought I'm just not advanced enough yet... – Rudy the Reindeer Sep 8 '11 at 7:30
@Shaun Ault: But $X$ is not necessarily a CW complex. It's just a topological space. – Rudy the Reindeer Sep 8 '11 at 8:55

This is an application of the second theorem of chapter 10.3 in May: A Concise Course in Algebraic Topology, i.e. there you can find your proof.

share|cite|improve this answer

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.