under construction
topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
We discuss in detail the realization of the abstract concept of cofiber sequences in its explicit incarnation in point-set topology, the way it is traditionally presented in topology textbooks.
Hence we use the concepts of homotopy equivalence instead of weak homotopy equivalence. For discussion using the latter in the context of the classical model structure on topological spaces see instead at Introduction to Homotopy Theory the section Homotopy fiber sequences.
Throughout, write $I \coloneqq [0,1] \subset \mathbb{R}$ for the closed interval equipped with its Euclidean metric topology.
For $f,g\colon X \longrightarrow Y$ two continuous functions between topological spaces $X,Y$, then a homotopy
is a continuous function
out of the standard cylinder object over $X$: the product space of $X$ with the Euclidean closed interval, such that this fits into a commuting diagram of the form
(graphics grabbed from J. Tauber here)
A continuous function $f \colon X \to Y$ is called a homotopy equivalence if there exist
(contractible topological space)
A topological space $X$ is called contractible if the unique map to the point space $X \to \ast$ is a homotopy equivalence (def. ).
A continuous function $i \colon A \longrightarrow X$ is called a Hurewicz cofibration or just cofibration if it satisfies the homotopy extension property in that:
for any topological space $Y$,
for all continuous functions $f \colon A\to Y$, $\tilde{f}:X\to Y$ such that $\tilde{f}\circ i=f$
and any left homotopy $F \colon A\times I\to Y$ such that $F(-,0)=f$
there is a homotopy $\tilde{F} \colon X\times I\to Y$ such that
$\tilde{F}\circ(i\times id_I)=F$
and $\tilde{F}(-,0)=\tilde{f}$
If the image $i(A) \subset X$ is a closed subset, then $i$ is called a closed Hurewicz cofibration.
(retracts of relative cell complex inclusions are closed Hurewicz cofibrations)
If $A$ is a topological space and $i \colon A \hookrightarrow X$ is a relative cell complex inclusion, then $i$ is a closed Hurewicz cofibration (def. ).
Also every retract of such $i$ (this sense) is a closed Hurewicz cofibration.
Cofiber sequences (below) are constructed by iterated pushouts in the category Top of topological spaces with continuous functions between them (space attachments), see at Top – Universal constructions.
(quotient space by a subspace)
Let $X$ be a topological space and $A \subset X$ a non-empty subset. Consider the equivalence relation on $X$ which identifies all points in $A$ with each other. The resulting quotient space is denoted $X/A$.
Notice that $X/A$ is canonically a pointed topological space, with base point the equivalence class $A/A \subset X/A$ of $A$.
If $A = \emptyset$ is the empty space, then one defines
to be the disjoint union space of $X$ with the point space. This is no longer a quotient space, but both constructions are unified by the pushout $i \colon A \to X$ along the map $A \to \ast$, equivalently the cokernel of the inclusion:
(union of two open or two closed subspaces is pushout)
Let $X$ be a topological space and let $A,B \subset X$ be subspaces such that
$A,B \subset X$ are both open subsets or are both closed subsets;
they constitute a cover: $X = A \cup B$
Write $i_A \colon A \to X$ and $i_B \colon B \to X$ for the corresponding inclusion continuous functions.
Then the commuting square
is a pushout square in Top (see there).
By the universal property of the pushout this means in particular that for $Y$ any topological space then a function of underlying sets
is a continuous function as soon as its two restrictions
are continuous.
Clearly the underlying diagram of underlying sets is a pushout in Set. Therefore (by this prop.) we need to show that the topology on $X$ is the final topology induced by the set of functions $\{i_A, i_B\}$, hence that a subset $S \subset X$ is an open subset precisely if the pre-images (restrictions)
are open subsets of $A$ and $B$, respectively.
Now by definition of the subspace topology, if $S \subset X$ is open, then the intersections $A \cap S \subset A$ and $B \cap S \subset B$ are open in these subspaces.
Conversely, assume that $A \cap S \subset A$ and $B \cap S \subset B$ are open. We need to show that then $S \subset X$ is open.
Consider now first the case that $A;B \subset X$ are both open open. Then by the nature of the subspace topology, that $A \cap S$ is open in $A$ means that there is an open subset $S_A \subset X$ such that $A \cap S = A \cap S_A$. Since the intersection of two open subsets is open, this implies that $A \cap S_A$ and hence $A \cap S$ is open. Similarly $B \cap S$. Therefore
is the union of two open subsets and therefore open.
Now consider the case that $A,B \subset X$ are both closed subsets.
Again by the nature of the subspace topology, that $A \cap S \subset A$ and $B \cap S \subset B$ are open means that there exist open subsets $S_A, S_B \subset X$ such that $A \cap S = A \cap S_A$ and $B \cap S = B \cap S_B$. Since $A,B \subset X$ are closed by assumption, this means that $A \setminus S, B \setminus S \subset X$ are still closed, hence that $X \setminus (A \setminus S), X \setminus (B \setminus S) \subset X$ are open.
Now observe that (by de Morgan duality)
This exhibits $S$ as the intersection of two open subsets, hence as open.
A general abstract fact about pushouts which we will use repeatedly in the proofs below is the following:
Consider a diagram in Top (or in any other category) of the following form:
where the left square is a pushout.
Then: The total rectangle is a pushout precisely if the right square is.
We need the following two facts (prop. prop. ) regarding the stability of cofibrations under pushout.
(pushout of cofibrations)
Let $A$ be a topological space and let $A \hookrightarrow X$ be a closed Hurewicz cofibration.
Then for every continuous function $f \colon A \to Y$, the pushout $f_\ast i$ in
is also a closed Hurewicz cofibration. Moreover, if in addition
$i$ is a retract of a relative cell complex inclusion, then so is $f_\ast i$,
$i$ is a homotopy equivalence, then so is $f_\ast i$.
Prop. is a consequence of the existence of the Strøm model structure $Top_{Strom}$ and the classical model structure on topological spaces $Top_{Quillen}$ and of the fact that the identity functors $Top_{Strom} \underoverset{\underset{id}{\longrightarrow}}{\overset{id}{\longleftarrow}}{\bot} Top_{Quillen}$ constitute a Quillen adjunction.
(quotient by contractible closed subspace)
Let $i \colon A \longrightarrow X$ be a closed Hurewicz cofibration.
If $f \colon A \to Y$ is a homotopy equivalence (def. ) then its pushout $i_\ast f$ in
is also a homotopy equivalence.
In particular if $A$ is a contractible topological space (example ), then the coprojection
to the quotient space (example ) is a homotopy equivalence.
Prop. is again a consequence of the existence of the Strøm model structure $Top_{Strom}$: It is the statement that $Top_{Strom}$ is a left proper model category which follows (this cor.) since all its objects are evidently cofibrant. An elementary proof in point-set topology is offered in (Hatcher, prop. 0.17)
(topological cylinder and cone)
Let $X$ be a topological space. Then
the standard cylinder on $X$ is the product topological space
the standard cone on $X$ is the quotient space (example )
of the standard cylinder by the subspace $X \times \{0\} \subset X \times [0,1]$.
Equivalently this is the following pushout in Top
Let $X$ be a topological space. Then the canonical inclusions
are homotopy equivalences. Hence every cone is a [contractible topological space]] (example ).
(mapping cylinder and mapping cone)
Let $f \colon X \to Y$ be a continuous function between topological spaces. Then
the mapping cylinder of $f$ is the space attachment
of $Y$ with the cylinder on $X$, according to def. , hence the following pushout in Top
the mapping cone of $f$ is the space attachment
hence the following pushout in Top:
In summary, def. and def. say that for $f \colon X \to Y$ a continuous function then we have a pasting of pushout diagrams in Top of the following form:
Since $X \to Cone(X)$ is a closed Hurewicz cofibration , the pasting law together with prop. therefore implies that also $Y \to Cone(f)$ is a closed Hurwicz cofibration.
For $X$ a topological space, then the mapping cone (def. ) of the unique function $X \to \ast$ to the point space is
This is called the suspension of $X$.
The mapping cone of a map $X \to Y$ is to be thought of as the homotopy-quotient of the $Y$ by $X$, as opposed to be the naive quotient. This is made precise by the following two statements, lemma and lemma :
If $f \colon X \to Y$ is a closed Hurewicz cofibration (def. ), then the coprojection
from its mapping cone (def. ) to the naive quotient space (example ) is a homotopy equivalence.
Consider the diagram
Since $f$ is a closed Hurewicz cofibration, so is $Cone(X) \to Cone(f)$, by prop. . Since $Cone(X) \to \ast$ is a homotopy equivalence (lemma ), so is $Cone(f) \to Cone(f)/Cone(X)$, by prop. . But by lemma there is also a homeomorphism $Cone(f)/Cone(X) \simeq Y/f(X)$.
Let $f \colon X \to Y$ be a continuous function such that the image $f(X) \subset Y$ is a closed subset.
Then there is a homeomorphism
between the quotient space (example ) of the mapping cone of $f$ (def. ) by the cone of $X$ (def. ) and the quotient space of $Y$ be the image of $X$.
Consider the following diagram in Top:
Here the top square is a pushout by example , while the bottom square is a pushout by def. . Hence the total rectangle is also a pushout, by the pasting law (prop. ). But that total rectangle is the defining pushout for $Y/f(X)$ (by example ). Hence the statement follows by the universal property of the pushout.
Let $f \colon X \to Y$ be a continuous function with closed image $f(X) \subset Y$. Write $Cone(g)$ in
for the mapping cone (spring) of the inclusion $g$ of $Y$ into the mapping cone of $f$.
Then the canonical quotient coprojection
to the suspension of $X$ (example ) is a homotopy equivalence (def. ).
Since $g \colon Y \to Cone(f)$ is a closed Hurewicz cofibration (by remark ), lemma gives that
is a homotopy equivalence. But then there is the following evident homeomorphism
(graphics taken from Muro 10)
Hence from every $f \colon X \to Y$ with closed image, we get long sequences
(…)
Last revised on July 4, 2017 at 18:22:39. See the history of this page for a list of all contributions to it.