Search Results

This question takes place in the category $\mathrm{CGWH}$ of compactly generated weak Hausdorff spaces. Let $\lambda$ be a limit ordinal, and suppose we have a diagram $\Phi: \lambda \to \mathrm{CGWH} …

No. Take any finite simplicial complex $K$, find an $n$ for which $K$ embeds (piecewise linearly, even!) in $\mathbb{R}^n$. Then for sufficiently small $\varepsilon > 0$, the $\varepsilon$-neighborho …

The join of $A$ and $B$ is the pushout of the diagram $$ CA \times B \gets A\times B \to A\times CB, $$ which can be formulated in either the pointed or unpointed topological category. This pushout is …

It is natural to ask if it is possible for the mapping cone $X\cup_\alpha CA$ to be homeomorphic to the mapping cone $X\cup_\beta CB$ with $A$ and $B$ nonhomeomorphic. Is there a standard go-to examp …

Let $\mathcal{U} = \tau \cup \tau^\star$, and let $\tau'$ be the unique minimal topology on $X$ containing $\mathcal{U}$. Since $\tau$ and $\tau^\star$ are topologies, they are closed under finite i …

Write $CX$ for the (pointed, or reduced) cone on $X$, and $C^\circ X$ for the open cone inside of it. Let's say a cone map is a map $g:CX\to CY$ such that $g(C^\circ X) \subseteq C^\circ Y$ and $g(X) …

I am looking at the paper Covering homotopy properties of maps between CW complexes or ANRs by Mark Steinberger and James West and a claim is made in the proof of their first main theorem t …

Every finite simplicial complex is weakly homotopy equivalent to a finite space. Therefore there are finite spaces with nontrivial loops; and these are obviously not embedded.

There is an example of this in stable homotopy theory, related to the famous `Generating Hypothesis,' conjectured by Freyd (and still open as far as I know!). For finite complexes $X$ and $Y$, the m …

Take the disjoint union of any two nonhomeomorphic spaces with that property as long as they are perfect, e.g., $\mathbb{Q}\coprod(\mathbb{R}-\mathbb{Q})$.

How about $X=\{ a,b,x,y\}$ with nontrivial open sets $\{a,b\}$ and $\{ x,y\}$ and $G= Z/2$, discrete. The action exchanges $a$ with $ b$ and $x$ with $y$.

Let's say $C$ divides $S^2$ into two disks, $D$ and $E$. Then, choosing a homeomorphism (fixing $C$) $h:D\to E$, we get an involution $t: S^2\to S^2$, which has degree $-1$. On the other hand, sinc …

There is a theorem of Dold to this effect: Dold, Albrecht Die Homotopieerweiterungseigenschaft (=HEP) ist eine lokale Eigenschaft. (German) Invent. Math. 6 1968 185–189.

Since a retract of a Hausdorff space is closed, such a space must be discrete.

Here is the main theorem of "A Vietoris Mapping Theorem for Homotopy" by S. Smale: THEOREM: Let $f:X\to Y$ be proper and onto, where $Y$ and $X$ are $0$-connected separable locally c …