2
votes
0answers
25 views

Good pair vs. cofibration

It can be shown that $i:A\hookrightarrow X$ is a closed cofibration if and only if there is a map $\varphi:X\to I=[0,1]$ and a homotopy $H:U\times I\to X$ on some neighborhood $U$ of $A$ such that ...
2
votes
1answer
49 views

Stability of the nonempty intersection of an open set $A$ with a set $S$ under homotopy?

To be more precise: let $F(x,t) : R^2 \times I \to R^2$ be a homotopy of open maps $F(_,t)(x)$ (the restriction of $F$ to some fixed $t$) (the homotopy is continuous in both variables). Suppose that ...
2
votes
2answers
73 views

What's the calculation formula of topological number for mappings of $\pi_{3}(S^2)=\mathbb{Z}$?

It is well-known that, when mapping $|\vec{n}(\vec{x})|=1$, we can use $N=\int{\mathrm{d}x_1\mathrm{d}x_2\vec{n}\cdot(\partial_1\vec{n}\times\partial_2\vec{n})}$ to calculate the topological winding ...
0
votes
1answer
37 views

The unit ball in $\mathbb{R}^{n}$ and a point are homotopically equivalent.

I will appreciate if someone could explain to me the solution of the following problem: The unit ball in $\mathbb{R}^{n}$ and a point are homotopically equivalent. Def 1: Two spaces $X$, $Y$ are ...
2
votes
0answers
30 views

How do I prove that $U(r) \to S(r,n) \to G(r,n)$ is a fibration?

$U(r)$ here is unitary group of $\mathbb{C}^n$, $S(r,n)$ is the Stiefel manifold of $r$-frames in $\mathbb{C}^n$ and $G(r,n)$ is the Grassmannian manifold of $r$-planes in $\mathbb{C}^n$. I've tried a ...
1
vote
0answers
63 views

Homeomorphic or Homotopic

Q1: Are the Fig (a) and (b), the equivalence "=" is Homeomorphic or Homotopic? ps. for details of the figures see Ref here. I learned that "The characterization of a homeomorphism often ...
4
votes
1answer
53 views

Topology of space of symmetric matrices with fixed number of positive and negative eigenvalues

Let $M$ be real non-singular symmetric $n \times n$ matrix with $p$ positive and $n-p$ negative eigenvalues. What is the topology of the space of such matrices? For a trivial case $n=1$ the matrix is ...
1
vote
1answer
32 views

homotopical equivalence of projective real space less a line

let $r$ a projective line of the projective real space. How can i prove that $\mathbb{P} ^3(\mathbb{R}) - r$ is homotopical equivalent to $S^1$?
2
votes
2answers
49 views

Foundamental group of $n+1$ spheres in $\mathbb{R}^{n+1}$ that touch two by two

How can i calculate the foundamental group of three $S^2$ in $\mathbb{R}^3$ that touches two by two in one point (if you take any two spheres, they touch only in one point) ? I know that is ...
-1
votes
1answer
27 views

Homotopic maps between spheres

I have read somewhere that two maps $f,g:S^n\rightarrow S^n$ satisfying $$ |f(x)-g(x)|<2 \qquad \forall \ x\in S^n $$ are homotopic. How can one show this (or does someone have a reference)? I ...
3
votes
2answers
33 views

the mapping class group of the disk is trivial proof

Proof : Identify $D^2$ with the closed unit disk in $\mathbb{R}^2$. Let $\phi : D^2 \rightarrow D^2$ be a homeomorphism with $\phi_{\partial D^2}$ equal to the identity. We define, $F(x,t) = ...
1
vote
1answer
50 views

Mapping $\mathbb R^n - \{0\}$ to $S^{n-1}$

How might one map $\mathbb R^n - \{0\}$ to $S^{n-1}$ ? I found this in a primer on homology where it is proved that the to spaces are homotopy equivalent, as an example of removing a single point ...
1
vote
0answers
15 views

Action of Homeomorphisms on Proper Arc system.

Let $S_{g,n}$ be a surface of genus $g$ and with $n$ punctures. By an essential arc we mean an embeded arc (end points are in punctures) which is: Homotopically non-trivial i.e. not homotopic to a ...
0
votes
3answers
80 views

Homotopy on the unit circle

I am trying understand why the identity function on the unit circle $X=\{(x,y): x^2+y^2=1\}$ is not homotopic to $f: X \to X$ where $f(z)=(1,0)$ for all $z\in X$.
0
votes
1answer
42 views

problems with proving that f and g are homotopic.

i need to give an example of 2 continuous functions $f,g: X \rightarrow Y$ which are not homotopic, with: $X = [0,1] \times [0,1]$ and $Y = [0,1] \cup [2,3]$ and i need to show how many homotopical ...
0
votes
1answer
59 views

Fundamental Group equaling 0

Let $X$ be a space for which $\pi(X,x)=0$. If $f,g$ are two paths in $X$ with $f(0)=g(0)=x$ and $f(1)=g(1)$, why is $f$ equivalent to $g$?
0
votes
2answers
42 views

Proving homotopy of paths

Let $f$ be a path in $X$ and $h:[0,1] \mapsto [0,1]$ a continuous mapping with $h(0)=0$ and $h(1)=1$. How can I prove that $f$ and $fh$ are homotopic relative to the endpoints?
3
votes
2answers
167 views

Why is $\pi_1(X,x_0)$ a group?

I want to show that $\pi_1(X,x_0)$ is a group. I am told that $e(t) := x_0$ is the identity element. Now, I am struggling to show that it is an identity element, and also that the inverse of an ...
3
votes
0answers
42 views

Path-homotopic definition.

Given two paths $f,g: [0,1] \mapsto X $ Then their product is defined by $f\cdot g := \begin{cases} f(2t) , \space 0\leq t \leq \frac{1}{2}\\ g(2t-1) ,\space \frac{1}{2} \leq t \leq 1\\ \end{cases} ...
0
votes
1answer
34 views

Is there any standard terminology for the quotient of a topological group by the connected component of the identity?

If $G$ is any topological group, then the connected component of its identity is a closed normal subgroup $H$. It follows that $G/H$ is a totally disconnected topological group. Often, $G$ will be ...
2
votes
1answer
51 views

Example for a space that is contractible to precisely one of its points

Give an example for a space that is contractible to one of its points and is not contractible to another of its points. I am really curious about that space, I have thought about tree with $n$ ...
0
votes
2answers
80 views

Quasi circle is not contractible

I'm trying to show that the quasi circle (picture below) doesn't have the homotopy type of a CW complex. I proved that all homotopy groups are zero. Now I need to show that it is not contractible to ...
3
votes
3answers
148 views

how should I show that it is wedge of infinite circles?

I know that the shape that we see it below is homotopy equivalent of wedge of infinite circles,so the fundamental group of it is $\prod _{1}(\vee _{\alpha \in A}S^{1})=\ast _{\alpha \in A ...
1
vote
0answers
15 views

Terminology for homotopies which stay inside some finite stage of a union

Sometimes it happens that you have a sequence of topological spaces each contained in the next $$ X_1 \subset X_2 \subset X_3 \subset \ldots$$ and you want to talk about things like homotopy in the ...
4
votes
1answer
99 views

Topology of space of continuous functions

Let $X,Y$ be topological spaces and let $C^0(X,Y)$ be the set of continuous functions between them, endowed with the compact-open topology. I am interested in the following kind of questions: What ...
3
votes
1answer
141 views

Relation between the braid group and the mapping class group of the plane

According to the following link, page 248, the braid group modulo its center is isomorphic to the mapping class group of the $N$-times punctured plane, i.e. $B_N/Z(B_N)\cong M_N(\mathcal(R)^2)$. Could ...
3
votes
2answers
72 views

Continuity of homotopy from constant function to identity

According to the definition of homotopy between two maps $f,g : X \to Y$ we need a continuous map $F : X \times [0,1] \to Y$ such that $F(x,0) = f(x)$ and $F(x,1) = g(x)$. Most examples I've seen in ...
4
votes
2answers
69 views

Non-closed deformation retract

I am searching for a $T_1$ space $X$ which deformation retracts onto a non-closed subspace $A$. Such a space cannot be Hausdorff as any retract in a Hausdorff space is closed. I tried some spaces, ...
2
votes
1answer
164 views

Prove homotopic attaching maps give homotopy equivalent spaces by attaching a cell

Prove: If $f,g:S^{n-1} \to X$ are homotopic maps, then $X\sqcup_fD^n$ and $X\sqcup_gD^n$ are homotopy equivalent. I think it can be proved by showing they are both deformation retracts of ...
10
votes
1answer
89 views

Is a bijective homotopy equivalence with bijective homotopy inverse a homeomorphism?

I've been thinking about this for a while, but didn't get very far. Maybe someone here can say something about it. I know of an example of two spaces $X, Y$ with continuous bijections in both ...
2
votes
1answer
103 views

Union of 2-sphere with line segment in $\mathbb{R}^3$ removing one point homotopy equivalence.

I am working on a problem from Lee's Introduction to Topological Manifolds where one is asked to compute fundamental groups using Van Kampen's theorem. I know how to use Van-Kampen's theorem but I ...
2
votes
1answer
80 views

Understanding the inclusion of sets in the open category of X $Op_X$ and what \{pt\} denotes

What I am trying to understand is what is going on with the inclusion of sets, as if I understand correctly they are the morphisms of the category of open sets on X: $Op_X$ is the category of open ...
3
votes
2answers
83 views

Do pushouts of compactly generated Hausdorff spaces exist?

Let $A\to X$ and $A\to Y$ be maps of compactly generated Hausdorff spaces. Does the pushout $X\coprod_A Y$ in the category of compactly generated Hausdorff spaces exist? If necessary, one can assume ...
1
vote
1answer
46 views

How to show that homotopy is preserved after composition?

I have two homotopies: $f\simeq f'$ and $y\simeq y'$. How can I show that $fy\simeq f'y'$ is again a homotopy?
5
votes
3answers
172 views

mapping homotopic to the identity map

Please give me a hand with this problem, It was on my exam, and I just couldn't solve it. Suppose $\phi:\mathbb{S}^2\to\mathbb{S}^2$ is a mapping, homotopic to the identity map. Show that there is ...
2
votes
0answers
60 views

About the universal bundle $EG\rightarrow BG$

For a topological group $G$, we define $EG$ to be the infinite join of $G$, and $B$ to be the quotient of $EG$ by the left action of $G$. Explicitly $EG$ can be expressed, as a set, as ...
0
votes
2answers
50 views

Proof that two homotopy inverses are homotopic

Let $X$ and $Y$ be topological spaces. A continuous mapping $f : X \to Y$ is said to be a homotopy equivalence if there exists $g : Y \to X$ continuous such that $g\circ f$ is homotopic to $id_{X}$ ...
5
votes
3answers
226 views

Is there any example of space not having the homotopy type of a CW-complex?

What is an example of space not having the homotopy type of a CW-complex? Is there any general method that can prove that the given space does not have the homotopy type of a CW-complex? (added) It ...
2
votes
1answer
122 views

Intuition behind a retraction from the cylinder onto the mapping cylinder.

Please excuse me for including pictures, but I thought it was easier than trying to redraw them here. I am right now reading Strøm's book Modern Classical Homotopy Theory. I have encountered a ...
1
vote
2answers
89 views

Intuition behind definition of homotopic equivalence and distinction with homeomorphism

I am a physics student and have come across the definition of homotopic equivalence of two spaces as existence of two functions $f:X \to Y,g: Y \to X$ such that $g \circ f$ and $f \circ g$ are ...
11
votes
3answers
379 views

Showing continuity of partially defined map

There is a theorem in Note on Cofibrations by Arne Strøm. It says Let $A$ be a closed subspace of a topological space $X$. Then $(X,A)$ has the HEP if and only if there are (i) a neighborhood ...
1
vote
1answer
49 views

Is the continuous map between CW-complexes a cofibration?

If $f:A \rightarrow X$ is a continuous map between CW-complexes, then is $f$ necessarily a cofibration? I know that when $A$ is a subcomplex of $X$ and $f$ is the inclusion, the conclusion is true. ...
3
votes
1answer
52 views

Path homotopy in the plane

Let $C$ be a closed and simply connected subspace of the Euclidean plane $\mathbb{R}^2$. Suppose we have two simple paths in $C$, continuous functions $\alpha, \beta : [0,1] \to \partial C$, and ...
2
votes
1answer
75 views

Show that two different embeddings of the figure-eight in the torus are not homotopic

Note, we can express the torus $|X.| \cong T$ as a square with edges denoted by $e$ and $f$, the diagonal by $g$, and faces $T_1$ and $T_2$, and a single vertex $v$, with appropriate identifications. ...
5
votes
2answers
207 views

Who proved that existence of a retraction $r:X\times\mathbb{I}\rightarrow X\times\left\{ 0\right\} \cup A\times\mathbb{I}$ was sufficient for HEP?

It is well known that the existence of a retraction $r:X\times\mathbb{I}\rightarrow X\times\left\{ 0\right\} \cup A\times\mathbb{I}$ is necessary to make $\left(X,A\right)$ a pair having the homotopy ...
7
votes
3answers
369 views

Statement about Homotopy in Brown's “Topology & Groupoids”

I am trying to understand a statement in Brown's Topology and Groupoids, 7.2.5 (Corollary 1), page 270. Let's first have some preliminary remarks Let $X,Y$ be topological spaces. The track groupoid ...
0
votes
2answers
472 views

Deformation retract and homotopy equivalence

If $A\subset X$ is a deformation retract of $X$. Are $X$ and $A$ homotopy equivalent?
3
votes
1answer
147 views

Homotopy problem for infinite dimensional topological space III

This post here is a specification of this post. Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying : $X_{n}$ is a $n$-dimensional regular CW complex. ...
0
votes
1answer
37 views

Deformation retract needs to be smooth?

So I am not quite sure that why none of these three is a deformation retract - is that because of the corners? But I don't remember deformation retract rely on smooth criteria, instead, on continuous ...
0
votes
1answer
104 views

Equivalence of path-connected CW-complexes and CW-complexes with one 0-cell

Proposition Any path-connected CW-complex is homotopy equivalent to a CW-complex with precisely one 0-cell. Proof (Sketch) Let $X$ be a path-connected CW-complex, so $sk_1(X)$ is a connected graph. ...