1
$\begingroup$

This is the problem:

Let $X=\{a,b\}$ be the topological space with trivial topology and $A=\{a\}$ the one point set (obviously not open). Prove using definition of cofibration that inclusion $A\to X$ is cofibration.

  • 0
    I'm trying to construct extended homotopy F' but I get stuck because I get that the extended homotopy F' is equal to F on A, and on X\A it can be any continuos function2012-10-09
  • 0
    Well, yes, and what's wrong with it? The simplest if you define the same for $b$ as what is given for $a$.2012-10-09
  • 0
    Isn't that too easy? Then I do nothing special, just define F'(x,t)=F(a,t) for every x in X and t in [0,1]. Shouldn't I prove something?2012-10-09
  • 0
    That it is *continuous*, and that the diagrams really commute.2012-10-09
  • 0
    But it's obvious, or not? F is homotopy, so it's continuous and then F' is also continuos, and another when I use that definiton for F' diagram really commute.2012-10-09
  • 2
    then you're done. I think, $b$ must be mapped the same as $a$ for continuity, but that's all. Go on to next exercise.2012-10-09

1 Answers 1