# Tagged Questions

40 views

51 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 ...
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 ...
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$.
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 ...
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$?
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?
168 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 ...
42 views

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 ...
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 ...
147 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 ...
75 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 ...
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, ...
178 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 ...
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 ...
106 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 ...
81 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 ...
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 ...