Questions tagged [homotopy-extension-property]
In the area of algebraic topology, the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space.
13
questions
2
votes
0answers
72 views
When does a homotopy exist?
Let $X\coprod X$ be the disjoint union of $X$ with itself and let there be a commutative square
$$\require{AMScd}
\begin{CD}
X \coprod X @>{f,g}>> A \\
@V{(i_0, i_1)}VV @VV{p}V \\
X \times ...
0
votes
1answer
25 views
If a homotopy can be extended to a neighborhood of a closed subspace of a normal space $X$, then it can be extended to all of $X$.
During some self-study, I came across the following problem in Spanier's Algebraic Topology:
Statement: Suppose $X$ is a normal space, and $A$ is a closed subspace of $X$. Let $f\colon X \to Y$ be a ...
0
votes
1answer
71 views
any cofibration $i:A \to B$ is a homeomorphism onto its image (question regarding the inverse map)
I was recently working on a problem that introduced the homotopy extension property as a cofibration $i:A \to B$. Let's say we are given the commutative diagram:
Now, if $i:A \to B$ is the inclusion ...
1
vote
1answer
27 views
Prove that it is NOT $F_{0} \simeq_{S_{1} \cup 2 S_{1}} F_{1}$ for $F(x, t)= e^{2\pi t i (|x|-1)} x$
Let $X= \{ x\in R^{2} : 1\leq |x| \leq 2 \}$ be a topological space on $R^{2}$
$A= \partial X$
or
$A= S^{1} \cup 2S^{1}$
and Let function $F(x, t) $ be:
I=[0,1]
$F: X\times I \rightarrow X$
$F(...
2
votes
1answer
102 views
Hatcher Algebraic Topology 0.28
Exercise 0.28 in Hatcher's Algebraic Topology states
Show that if $(X_1,A)$ satisfies the homotopy extension property, then so does every pair $(X_0 \sqcup_f X_1, X_0)$ obtained by attaching $X_1$ ...
4
votes
1answer
103 views
Show that either $X$ or $Z$ is homotopy equivalent to a point.
Prove or disprove the following statement:
Suppose $X,Y,$ and $Z$ are simply connected $CW$ complexes and that $X \rightarrow Y \rightarrow Z$ is simultaneously a cofiber sequence and a fiber ...
1
vote
1answer
50 views
Proving that two formulations of the Homotopy Extension Property via diagrams, are equivalent.
Suppose we are working with a collection of topological spaces for which there are a product functor $F:Set\to Set:X\to X\times I$ and an exponential functor $G:Set\to Set: X\to X^I$ such that $F\...
2
votes
1answer
89 views
$(M_f, X \cup Y)$ has the homotopy extension property
Let $X,Y$ be spaces and $f:X \to Y$ a continuous map. I want to show that $(M_f, X \cup Y)$ has the homotopy extension property.
In the proof of Whitehead's theorem (Theorem 4.5 in Hatcher's ...
1
vote
2answers
137 views
All finite path connected CW complexes are homotopy equivalent to a CW complex with only one 0-cell.
Statement: if $X$ is a finite path connected CW-complex, then $X$ is homotopy equivalent to a CW-complex with only one $0$-cell.
Thoughts: we can use the theorem that for a contractable subspace $A \...
1
vote
0answers
30 views
Proof that higher homotopy groups of kan complexes are abelian using Eckmann-Hilton
I try to prove that higher homotopy groups of kan complexes are abelian using an Eckmann-Hilton argument. For the definitions I followed the book "Simplicial objects in algebraic Topology" by Peter ...
3
votes
1answer
259 views
Question in Hatcher's Algebraic Topology Exercise 0.27
Hatcher's Exercise 0.27 is :
$\mathbf{27.}$ Given a pair $(X,A)$ (this just means that $A$ is a subspace of a space $X$) and a homotopy equivalence $f:A \to B$, show that the natural map $X \to B \...
2
votes
0answers
65 views
Homotopy Extension and Deformation Retracts
I am trying to solve Exercise 0.26 from Hatcher's Algebraic Topology in a manner different from the hint in the book. It says that if $(X,A)$ satisfies the homotopy extension property, then $X \times \...
1
vote
2answers
49 views
Properties of covering spaces replacing base points by contractible subspaces
Let $(X,A)$ and $(Y,B)$ pairs satisfying the homotopy extension property (or a CW-pairs if necessary) with $A$ and $B$ contractible. Let $f:(X,A)\to (Y,B)$ a map of pairs and let $p_X:\widetilde{X}\to ...
