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'm taking a course that uses the book "algebraic topology" by Allen Hatcher. In this book there are two different ways in which a pair $(X,A)$ of a topological space $X$ and a subspace $A$ can be nice: They can have the "homotopy extension property" (HEP) and they can be a "good pair". The definition of HEP can be found on Wikipedia, and we say that $(X,A)$ is a good pair if $A$ is closed and non-empty and is a deformation retract of a neightborhood in $X$.

Are there examples of good pairs that does not have the HEP? And are there pairs that have the HEP without being good pair? Are they equivalent under some assumption (e.g. $X$ being $\mathbb{R}^n$?)

share|cite|improve this question
There is a notion of neighborhood deformation retract pair, or NDR pair, ( You can also see May's "Concise Course in Algebraic Topology". This is equivalent to possessing the HEP. It also is a little stronger than good pair. So, having HEP means good pair, but not vice versa. Can't think of a counterexample right now. – Joe Johnson 126 Oct 21 '11 at 11:15

It seems to me the difference between the pair $(X,A)$ being a good pair and having the HEP is very slight, so this answer is meant as more of a comment to illustrate the differences.

Hatcher (in "Algebraic Topology", just after Theorem 2.13) defines $(X,A)$ to be a good pair if

$X$ is a space and $A$ is a nonempty closed subspace that is a deformation retract of some neighborhood in $X$.

In the same text, soon after Example 0.14, he defines the pair $(X,A)$ to have the homotopy extension property if, here for only $A$ a subspace of $X$ (no condition on $A$ being closed or non-empty),

$X\times \{0\}\cup A\times I$ is a retract of $X\times I$.

Most other sources do not use the phrase "good pair" and simply stick to HEP. One such source (in my opinion, the best source) is May. There (in "A Concise Course in Algebraic Topology", Chapter 6, Section 1), still only assuming $A$ is a subspace of $X$, the pair $(X,A)$ along with a map (not necessarily the inclusion) $i:A\to X$, is defined to have the homotopy extension property if

$i:A\to X$ is a cofibration.

In Section 4 of the same chapter, now assuming $A$ is closed in $X$, May shows that $(X,A)$ is a neighborhood deformation retract pair if and only if

  1. $X\times \{0\}\cup A\times I$ is a retract of $X\times I$, or
  2. the inclusion $i:A\hookrightarrow X$ is a cofibration.

In fact, now it seems Hatcher's definitions of good pair and having the HEP are equivalent from May's viewpoint. That's why, in my opinion, the phrase "good pair" is not the best approach to use, and instead we should talk about cofibrations that are or are not inclusions.

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.