0
votes
2answers
28 views

Showing that two maps are homotopic

Let $X$ be a topological space and let $S^2 \subset \mathbb{R^3}$ be the unit sphere with the metric $d$ inherited from $\mathbb{R^3}$. Show that if $f,g:X\to S^2$ are continuous maps such that ...
4
votes
1answer
43 views

Homotopy classes of maps from the projective plane to $S^1 \times S^3$

I have a past qual question here: characterize the space $[(\mathbb{RP}^2,x),(S^1 \times S^3,y)]$ of homotopy classes of maps from $(\mathbb{RP}^2,x)$ to $(S^1 \times S^3,y)$, where here $x \in ...
2
votes
1answer
31 views

The cone minus its apex deformation retracts onto its basis

Let $X$ be a topological space and $$C(X)=X\times [0,1]/X\times \{0\}$$ be the cone on $X$. Call $P$ the apex of the cone. I want to show that $C(X)-P$ deformation retracts onto $X\times \{1\}$. My ...
2
votes
0answers
26 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
52 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
74 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
39 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
64 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
55 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
120 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
52 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
16 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
82 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
43 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
169 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
35 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
86 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
153 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
152 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
76 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, ...
3
votes
2answers
179 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
94 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
108 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
82 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
85 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 ...
2
votes
3answers
82 views

Symmetry of “is homotopic to” detail in the proof

Let $f,g:X\rightarrow Y$. If $f$ is homotopic to $g$ then $g$ is homotopic to $f$. Let $F:X\times I\rightarrow Y$ be a homotopy from $f$ to $g$ so $F(x,0)=f(x)$ and $F(x,1)=g(x)$ for all $x \in ...
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
176 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
62 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
230 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
125 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
91 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
209 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
371 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 ...