Skip to main content
Fixed wrong things; Post Made Community Wiki
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

This question was already answered in the comments, but I don't want it to linger forever on the unanswered queue, so I'm making a CW answer summarizing the comments and adding my own example.

Tyrone points out in the comments that the cofibrant objects in the Quillen model structure on $Top$ are compactly generated normal Hausdorff space with CW homotopy type. The OP wants a weakly contractible space that is not cofibrant. Tyler Lawson points out that the Sierpinski space is not cofibrant (because it's not Hausdorff for one reason) and is weakly equivalent to a contractible space. It's also contractible itself. The commentsTyrone also mentionpoints out that the Warsaw circle is weakly contractible, compact Hausdorff, but does not have the homotopy type of course that'sa CW complex and is not weakly contractible. 

Another example, that hasn't been mentioned yet, that might help the OP is the long line, which normal and Hausdorff, is weakly contractible but not contractible, and does not have the homotopy type of a CW complex (so, is not cofibrant in the Quillen model structure).

In fact, there are zillions of examples of weakly contractible spaces that are not cofibrant. Even if you shift from $Top$ to the category of compactly generated weak Hausdorff spaces, you don't avoid these examples, e.g., because of the extended long ray is compact Hausdorff, but still weakly contractibleWarsaw circle example. However, there is one option for modeling the homotopy theory of spaces that avoids these kinds of examples, namely the category of simplicial sets, where every object is cofibrant. I am guessing the OP is not yet an expert in algebraic topology, and might benefit from reading more about simplicial sets, e.g., in chapter 3 of Mark Hovey's book or this nice introduction by Greg Friedman.

Tyrone points out in the comments that the cofibrant objects in the Quillen model structure on $Top$ are compactly generated normal Hausdorff space with CW homotopy type. The OP wants a weakly contractible space that is not cofibrant. Tyler Lawson points out that the Sierpinski space is not cofibrant (because it's not Hausdorff for one reason) and is weakly equivalent to a contractible space. It's also contractible itself. The comments also mention the Warsaw circle, but of course that's not weakly contractible. Another example that might help the OP is the long line, which normal and Hausdorff, is weakly contractible but not contractible, and does not have the homotopy type of a CW complex.

In fact, there are zillions of examples of weakly contractible spaces that are not cofibrant. Even if you shift from $Top$ to the category of compactly generated weak Hausdorff spaces, you don't avoid these examples, because the extended long ray is compact Hausdorff, but still weakly contractible. However, there is one option for modeling the homotopy theory of spaces that avoids these kinds of examples, namely the category of simplicial sets, where every object is cofibrant. I am guessing the OP is not yet an expert in algebraic topology, and might benefit from reading more about simplicial sets, e.g., in chapter 3 of Mark Hovey's book or this nice introduction by Greg Friedman.

This question was already answered in the comments, but I don't want it to linger forever on the unanswered queue, so I'm making a CW answer summarizing the comments and adding my own example.

Tyrone points out in the comments that the cofibrant objects in the Quillen model structure on $Top$ are compactly generated normal Hausdorff space with CW homotopy type. The OP wants a weakly contractible space that is not cofibrant. Tyler Lawson points out that the Sierpinski space is not cofibrant (because it's not Hausdorff for one reason) and is weakly equivalent to a contractible space. It's also contractible itself. Tyrone also points out that the Warsaw circle is weakly contractible, compact Hausdorff, but does not have the homotopy type of a CW complex and is not contractible. 

Another example, that hasn't been mentioned yet, that might help the OP is the long line, which normal and Hausdorff, is weakly contractible but not contractible, and does not have the homotopy type of a CW complex (so, is not cofibrant in the Quillen model structure).

In fact, there are zillions of examples of weakly contractible spaces that are not cofibrant. Even if you shift from $Top$ to the category of compactly generated weak Hausdorff spaces, you don't avoid these examples, e.g., because of the Warsaw circle example. However, there is one option for modeling the homotopy theory of spaces that avoids these kinds of examples, namely the category of simplicial sets, where every object is cofibrant. I am guessing the OP is not yet an expert in algebraic topology, and might benefit from reading more about simplicial sets, e.g., in chapter 3 of Mark Hovey's book or this nice introduction by Greg Friedman.

Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

Tyrone points out in the comments that the cofibrant objects in the Quillen model structure on $Top$ are compactly generated normal Hausdorff space with CW homotopy type. The OP wants a weakly contractible space that is not cofibrant. Tyler Lawson points out that the Sierpinski space is not cofibrant (because it's not Hausdorff for one reason) and is weakly equivalent to a contractible space. It's also contractible itself. The comments also mention the Warsaw circle, but of course that's not weakly contractible. Another example that might help the OP is the long line, which normal and Hausdorff, is weakly contractible but not contractible, and does not have the homotopy type of a CW complex.

In fact, there are zillions of examples of weakly contractible spaces that are not cofibrant. Even if you shift from $Top$ to the category of compactly generated weak Hausdorff spaces, you don't avoid these examples, because the extended long ray is compact Hausdorff, but still weakly contractible. However, there is one option for modeling the homotopy theory of spaces that avoids these kinds of examples, namely the category of simplicial sets, where every object is cofibrant. I am guessing the OP is not yet an expert in algebraic topology, and might benefit from reading more about simplicial sets, e.g., in chapter 3 of Mark Hovey's book or this nice introduction by Greg Friedman.