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
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
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
The classical model structure on topological spaces or Quillen-Serre model structure $Top_{Quillen}$ (Quillen 67, II.3) is a model category structure on the category Top of topological spaces (also on many convenient categories of topological spaces) which represents the standard homotopy theory of CW-complexes (topological homotopy theory), in that its homotopy category of a model category is the classical homotopy category on cell complexes/CW-complexes.
Its weak equivalences are the weak homotopy equivalences, its fibrations are the Serre fibrations and its cofibrations are the retracts of relative cell complexes.
The singular simplicial complex/geometric realization adjunction constitutes a Quillen equivalence between $Top_{Quillen}$ and $sSet_{Quillen}$, the classical model structure on simplicial sets. This is sometimes called part of the statement of the homotopy hypothesis for Kan complexes. In the language of (∞,1)-category theory this means that $Top_{Quillen}$ and $sSet_{Quillen}$ both are presentations of the (∞,1)-category ∞Grpd of ∞-groupoids.
There are also other model structures on Top itself, see at model structure on topological spaces for more. This entry here focuses on just the classical model structure on topological spaces.
This section recalls basic relevant concepts from topology (“point-set topology”) and highlights some basic facts that may serve to motivate the Quillen model structure below.
The fundamental concept of homotopy theory is that of homotopy. In the context of topological spaces this is about contiunous deformations of continuous functions parameterized by the standard topological interval:
Write
for the standard topological interval, a compact connected topological subspace of the real line.
Equipped with the canonical inclusion of its two endpoints
this is the standard interval object in Top.
For $X \in Top$, the product topological space $X\times I$ is called the standard cylinder object over $X$. The endpoint inclusions of the interval make it factor the codiagonal on $X$
For $f,g\colon X \longrightarrow Y$ two continuous functions between topological spaces $X,Y$, then a left homotopy $f \Rightarrow_L g$ is a continuous function
out of the product topological space of $X$ with the standard interval of def. , such that this fits into a commuting diagram of the form
A continuous function $f \;\colon\; X \longrightarrow Y$ is called a homotopy equivalence if there exists a continuous function $X \longleftarrow Y \;\colon\; g$ and left homotopies, def.
and
If here $\eta_2$ is constant along $I$, $f$ is is said to exhibit $X$ as a deformation retract of $Y$.
Another key application of the concept of left homotopy is to the definition of homotopy groups.
For $X$ a topological space, then its set $\pi_0(X)$ of connected components, also called the 0-th homotopy set, is the set of left homotopy-equivalence classes of points $\ast \to X$, def.. By composition this extends to a functor
For $n \in \mathbb{N}$, $n \geq 1$ and for $x \colon \ast \to X$ any point, then the $n$th homotopy group $\pi_n(X)$ of $X$ at $x$ is the group
whose underlying set is the set of left homotopy-equivalence classes of maps $I^n \longrightarrow X$ that take the boundary of $I^n$ to $x$ and where the left homotopies $\eta$ are constrained to be constant on the boundary;
whose group product operation takes $[\alpha \colon I^n \to X]$ and $[\beta \colon I^n \to X]$ to $[\alpha \cdot \beta]$ with
where the first morphism is any homeomorphism from the unit $n$-cube to the $n$-cube with one side twice the unit length (see also at positive dimension spheres are H-cogroup objects).
By composition, this construction extends to a functor
from pointed topological spaces to graded group.
A continuous function $f \colon X \longrightarrow Y$ is called a weak homotopy equivalence if its image under all the homotopy group functors of def. is an isomorphism, hence if
and for all $x \in X$ and all $n \geq 1$
Every homotopy equivalence, def. , is a weak homotopy equivalence, def. .
In particular a deformation retraction, def. , is a weak homotopy equivalence.
First observe that for all $X\in$ Top the inclusion maps
into the standard cylinder object, def. , are weak homotopy equivalences: by postcomposition with the contracting homotopy of the interval from example all homotopy groups of $X \times I$ have representatives that factor through this inclusion.
Then given a general homotopy equivalence, apply the homotopy groups functor to the corresponding homotopy diagrams (where for the moment we notationally suppress the choice of basepoint for readability) to get two commuting diagrams
By the previous observation, the vertical morphisms here are isomorphisms, and hence these diagrams exhibit $\pi_\bullet(f)$ as the inverse of $\pi_\bullet(g)$, hence both as isomorphisms.
For $X\in Top$, the projection $X\times I \longrightarrow X$ from the cylinder object of $X$, def. , is a weak homotopy equivalence, def. .
This means that the factorization
of the codiagonal $\nabla_X$ in def. , which in general is far from being a monomorphism, may be thought of as factoring it through a monomorphism after replacing $X$, up to weak homotopy equivalence, by $X\times I$.
In fact $X \sqcup X \to X \times I$ has better properties than the generic monomorphism has, in particular better homotopy invariant properties: it has the left lifting property against all Serre fibrations $E \stackrel{p}{\longrightarrow} B$ (def. ) that are also weak homotopy equivalences.
For $Y$ a topological space, the set $Hom_{Top}(I,Y)$ of continuous functions from the standard interval $I$, def. , to $Y$ is the set of continuous paths in $X$. Every such path may be though of as a left homotopy between its endpoints. Hence a function $X \longrightarrow Hom_{Top}(I,Y)$ is an $X$-parameterized collection of such paths. In order for that to also give a concept of homotopy, we need to impose a continuity condition on how the paths may vary, hence we need to put a suitable topology on $Hom_{Top}(I,X)$. This is the compact-open topology:
For $X$ a topological space and $Y$ a locally compact Hausdorff topological space, the mapping space
is the topological space
whose underlying set is the set $Hom_{Top}(Y,X)$ of continuous functions $Y \to X$,
whose open subsets are finitary intersections of unions of the following subbase of standard open subsets:
the standard open subset $U_{K,U} \subset Hom_{Top}(Y,X)$ for
$K \hookrightarrow Y$ a compact topological space subset
$U \hookrightarrow X$ an open subset
is the subset of continuous functions $f$ of all those that fit into a commuting diagram of the form
Accordingly this is called the compact-open topology on the set of functions.
The construction extends to a functor
For $X$ a topological space and $Y$ a locally compact Hausdorff topological space, the topological mapping space $X^Y$ from def. is an exponential object: there is a natural bijection
between continuous functions out of any product topological space of $Y$ with any $Z \in Top$ and continuous functions from $Z$ into the mapping space.
Proposition fails if $Y$ is not locally compact and Hausdorff. Therefore the plain category Top of all topological spaces is not a Cartesian closed category.
This is no problem for the construction of the homotopy theory of topological spaces as such, but it becomes a technical nuisance when comparing it for instance to the simplicial homotopy theory via the singular nerve and realization adjunction, since it implies that geometric realization of simplicial sets does not necessarily preserve finite limits.
On the other hand, without changing any of the following discussion one may just pass to a more convenient category of topological spaces such as notably the full subcategory of compactly generated topological spaces $Top_{cg} \hookrightarrow Top$ which is Cartesian closed.
For $X$ a topological space, its path space object is the topological mapping space $X^I$, def. , out of the standard interval $I$ of def. .
The endpoint inclusion into the standard interval, def. , makes the path space $X^I$ of def. factor the diagonal on $X$ through the inclusion of constant paths and the endpoint evaluation of paths:
Here
$X^{I \to \ast}$ is a weak homotopy equivalence;
$X^{\ast \sqcup \ast \to I}$ is a Serre fibration.
So while in general the diagonal $\Delta_X$ is far from being an epimorphism or even just a Serre fibration, the factorization through the path space object may be thought of as replacing $X$, up to weak homotopy equivalence, by its path space, such as to turn its diagonal into a Serre fibration after all.
For $f,g\colon X \longrightarrow Y$ two continuous functions between topological spaces $X,Y$, then a right homotopy $f \Rightarrow_R g$ is a continuous function
into the path space object of $X$, def. , such that this fits into a commuting diagram of the form
For $n \in \mathbb{N}$ write
$D^n \coloneqq \{ \vec x\in \mathbb{R}^n | {\vert \vec x \vert \leq 1}\} \hookrightarrow \mathbb{R}^n$ for the standard topological n-disk;
$S^{n-1} = \partial D^n \coloneqq \{ \vec x\in \mathbb{R}^n | {\vert \vec x \vert = 1}\} \hookrightarrow \mathbb{R}^n$ for the standard topological n-sphere;
Write
for the set of canonical boundary inclusion maps. This going to be called the set of standard topological generating cofibrations.
Notice that $S^{-1} = \emptyset$ and that $S^0 = \ast \sqcup \ast$.
For $X \in Top$ and for $n \in \mathbb{N}$, an $n$-cell attachment to $X$ is the pushout of a generatic cofibration, def.
along some continuous function $\phi$.
A continuous function $f \colon X \longrightarrow Y$ is called a topological relative cell complex if it is exhibited by a (possibly infinite) sequence of cell attachments to $X$, hence if it is a transfinite composition of pushouts
of coproducts of generating cofibrations.
A topological space is a cell complex if $\emptyset \longrightarrow X$ is a relative cell complex.
A relative cell complex is called a finite relative cell complex if it is obtained from a finite number of cell attachments.
A (relative) cell complex is called a (relative) CW-complex if in the above transfinite composition is countable
and if $X_k$ is obtained from $X_{k-1}$ by attaching cells precisely only of dimension $k$.
Strictly speaking a relative cell complex, def. , is a function $f\colon X \to Y$, together with its cell structure, hence together with the information of the pushout diagrams and the transfinite composition of the pushout maps that exhibit it.
In many applications, however, all that matters is that there is some (relative) cell decomosition, and then one tends to speak loosely and mean by a (relative) cell complex only a (relative) topological space that admits some cell decomposition.
For $C \subset Mor(Top)$ any class of morphisms, the concept of relative $C$-cell complexes is defined as in def. , with the boundary inclusions $\iota_n \in I_{Top}$ replaced by the maps in $C$:
a relative $C$-cell complex is a transfinite composition of pushouts of coproducts of the maps in $C \hookrightarrow Mor(Top)$.
Given a relative $C$-cell complex $\iota \colon X \to Y$, def. , it is typically interesting to study the extension problem along $f$, i.e. to ask which topological spaces $E$ are such that every continuous function $f\colon X \longrightarrow E$ has an extension $\tilde f$ along $\iota$
If so, then this means that $E$ is sufficiently “spread out” with respect to the maps in $C$. More generally one considers this extension problem fiberwise, i.e. with both $E$ and $Y$ (hence also $X$) equipped with a map to some base space $B$.
Given a category $\mathcal{C}$ and a sub-class $C \subset Mor(\mathcal{C})$ of its morphisms, then a morphism $p \colon E \longrightarrow B$ in $\mathcal{C}$ is said to have the right lifting property against the morphisms in $C$ if every commuting diagram in $\mathcal{C}$ of the form
with $c \in C$, has a lift $w$, in that it may be completed to a commuting diagram of the form
We will also say that $f$ is a $C$-injective morphism if it satisfies the right lifting property against $C$.
Write
for the set of inclusions of the topological n-disks, def. , into their cylinder objects, def. , along (for definiteness) the left endpoint inclusion.
These inclusions are similar to the standard topological generating cofibrations of def. , but in contrast to these they are “acyclic” (meaning: trivial on homotopy classes of maps from “cycles” given by n-spheres) in that they are weak homotopy equivalences (example ).
Accordingly, $J$ is to be called the set of standard topological generating acyclic cofibrations.
The maps $D^n \hookrightarrow D^n \times I$ in def. are finite relative cell complexes, def. .
There is a homeomorphism
such that the map on the right is the inclusion of one hemisphere into the boundary n-sphere of $D^{n+1}$. This inclusion is the result of attaching two cells:
A continuous function $p \colon E \longrightarrow B$ is called a Serre fibration if it is a $J_{Top}$-injective morphisms; i.e. if it has the right lifting property, def. , against all topological generating acylic cofibrations, def. ; hence if for every commuting diagram of continuous functions of the form
has a lift $w$, in that it may be completed to a commuting diagram of the form
Def. says, in view of the definition of left homotopy, that a Serre fibration $p$ is a map with the property that given a left homotopy, def. , between two functions into its codomain, and given a lift of one the two functions through $p$, then also the homotopy between the two lifts, in particular the second function lifts, too, and both lifts are related by left homotopy.
Therefore the condition on a Serre fibration is also called the homotopy lifting property for maps whose domain is an n-disk.
More generally one may ask functions $p$ to have such homotopy lifting property for functions with arbitrary domain. These are called Hurewicz fibrations.
The precise shape of $D^n$ and $D^n \times I$ in def. turns out not to actually matter much for the nature of Serre fibrations. We will eventually find below (prop. ) that what actually matters here is only that the inclusions $D^n \hookrightarrow D^n \times I$ are relative cell complexes and weak homotopy equivalences and that all of these may be generated from them in a suitable way.
But for simple special cases this is readily seen directly, too. Notably it is trivial, but nevertheless important in applications, that we could replace the n-disks in def. with any homeomorphic topological space. A choice that becomes important in the comparison to the classical model structure on simplicial sets is to instead take the topological n-simplices $\Delta^n$. Hence a Serre fibration is equivalently characterized as having lifts in all diagrams of the form
Other deformations of the $n$-disks are useful in computations, too. For instance there is a homeomorphism from the $n$-disk to its “cylinder with interior and end removed”, formally:
and hence $f$ is a Serre fibration equivalently also if it admits lifts in all diagrams of the form
Let $f\colon X \longrightarrow Y$ be a Serre fibration, def. , let $y \colon \ast \to Y$ be any point and write
for the fiber inclusion over that point. Then for every choice $x \colon \ast \to X$ of lift of the point $y$ through $f$, the induced sequence of homotopy groups
is exact, in that the kernel of $f_\ast$ is canonically identified with the image of $\iota_\ast$:
It is clear that the image of $\iota_\ast$ is in the kernel of $f_\ast$ (every sphere in $F_y\hookrightarrow X$ becomes constant on $y$, hence contractible, when sent forward to $Y$).
For the converse, let $[\alpha]\in \pi_{\bullet}(X,x)$ be represented by some $\alpha \colon S^{n-1} \to X$. Assume that $[\alpha]$ is in the kernel of $f_\ast$. This means equivalently that $\alpha$ fits into a commuting diagram of the form
where $\kappa$ is the contracting homotopy witnessing that $f_\ast[\alpha] = 0$.
Now since $x$ is a lift of $y$, there exists a left homotopy
as follows:
(for instance: regard $D^n$ as embedded in $\mathbb{R}^n$ such that $0 \in \mathbb{R}^n$ is identified with the basepoint on the boundary of $D^n$ and set $\eta(\vec v,t) \coloneqq \kappa(t \vec v)$).
The pasting of the top two squares that have appeared this way is equivalent to the following commuting square
Because $S^{n-1} \to S^{n-1}\times I$ is a $J_{Top}$-relative cell complex and $f$ is a Serre fibration (see there), this has a lift
Notice that $\tilde \eta$ is a basepoint preserving left homotopy from $\alpha = \tilde \eta|_1$ to some $\alpha' \coloneqq \tilde \eta|_0$. Being homotopic, they represent the same element of $\pi_{n-1}(X,x)$:
But the new representative $\alpha'$ has the special property that its image in $Y$ is not just trivializable, but trivialized: combining $\tilde \eta$ with the previous diagram shows that it sits in the following commuting diagram
The commutativity of the outer square says that $f_\ast \alpha'$ is constant, hence that $\alpha'$ is entirely contained in the fiber $F_y$. Said more abstractly, the universal property of fibers gives that $\alpha'$ factors through $F_y\overset{\iota}{\hookrightarrow} X$, hence that $[\alpha'] = [\alpha]$ is in the image of $\iota_\ast$.
This section recalls some standard arguments in model category theory.
As usual, by a retract of a morphism $X \stackrel{f}{\longrightarrow} Y$ in some category $\mathcal{C}$ we mean a retract in the arrow category $\mathcal{C}^{\Delta[1]}$, hence a morphism $A \stackrel{g}{\longrightarrow} B$ such that in $\mathcal{C}^{\Delta[1]}$ there is a factorization of the identity on $g$ through $f$
This means equivalently that in $\mathcal{C}$ there is a commuting diagram of the form
Let $\mathcal{C}$ be any category. Given a diagram in $\mathcal{C}$ of the form
then an extension of the morphism $f$ along the morphism $p$ is a completion to a commuting diagram of the form
Dually, given a diagram of the form
then a lift of $f$ through $p$ is a completion to a commuting diagram of the form
Combining these cases: given a square commuting diagram
then a lifting in the diagram is a completion to a commuting diagram of the form
Given a sub-class of morphhisms $C \subset Mor(\mathcal{C})$, then a morphism $p_r$ as above is said to have the right lifting property against $C$ if in all square diagrams with $p_r$ on the right and any $p_l \in C$ on the left a lift exists. Dually, a fixed $p_l$ is said to have the left lifting property against $C$ if in all square diagrams with $p_l$ on the left and any $p_r \in C$ on the left a lift exists.
Let $\mathcal{C}$ be a category with all small colimits, and let $C\subset Mor(\mathcal{C})$ be a sub-class of its morphisms.
Then every $C$-injective morphism, def. , has the right lifting property, def. , against all $C$-relative cell complexes, def. and their retracts, remark .
This is an immediate consequence of the general fact (here) that classes of morphisms characterized by a left lifting property are closed under the operations of coproducts, pushouts, retracts and transfinite composition.
(retract argument)
If in a composite morphism
the factor $p$ has the right lifting property, def. , against the total morphism $g$, then $g$ is a retract (rem. ) of $i$.
Given a set $C \subset Mor(\mathcal{C})$ of morphisms in some category $\mathcal{C}$, a natural question is how to factor any given morphism $f\colon X \longrightarrow Y$ through a relative $C$-cell complex, def. , followed by a $C$-injective morphism, def.
A first approximation to such a factorization turns out to be given simply by forming $\hat X = X_1$ by attaching all possible $C$-cells to $X$. Namely let
be the set of all ways to find a $C$-cell attachment in $f$, and consider the pushout $\hat X$ of the coproduct of morphisms in $C$ over all these:
This gets already close to producing the intended factorization:
First of all the resulting map $X \to X_1$ is a $C$-relative cell complex, by construction.
Second, by the fact that the coproduct is over all commuting squres to $f$, the morphism $f$ itself makes a commuting diagram
and hence the universal property of the colimit means that $f$ is indeed factored through that $C$-cell complex $X_1$; we may suggestively arrange that factorizing diagram like so:
This shows that, finally, the colimiting co-cone map – the one that now appears diagonally – almost exhibits the desired right lifting of $X_1 \to Y$ against the $c\in C$. The failure of that to hold on the nose is only the fact that a horizontal map in the middle of the above diagram is missing: the diagonal map obtained above lifts not all commuting diagrams of $c\in C$ into $f$, but only those where the top morphism $dom(c) \to X_1$ factors through $X \to X_1$.
The idea of the small object argument now is to fix this only remaining problem by iterating the construction: next factor $X_1 \to Y$ in the same way into
and so forth. Since relative $C$-cell complexes are closed under composition, at stage $n$ the resulting $X \longrightarrow X_n$ is still a $C$-cell complex, getting bigger and bigger. But accordingly, the failure of the accompanying $X_n \longrightarrow Y$ to be a $C$-injective morphism becomes smaller and smaller, for it now lifts against all diagrams where $dom(c) \longrightarrow X_n$ factors through $X_{n-1}\longrightarrow X_n$, which intuitively is less and less of a condition as the $X_{n-1}$ grow larger and larger.
The concept of small object is just what makes this intuition precise and finishes the small object argument. For the present purpose we just need the following simple version:
For $\mathcal{C}$ a category and $C \subset Mor(\mathcal{C})$ a sub-class of its morphisms, say that these have small domains if for every $c\in C$ and for every $C$-relative cell complex $f\colon X \longrightarrow \hat X$ every morphism $dom(c)\longrightarrow \hat X$ factors through a finite relative subcomplex.
(small object argument)
Let $\mathcal{C}$ be a locally small category with all small colimits. If a set $C\subset Mor(\mathcal{C})$ of morphisms has all small domains in the sense of def. , then every morphism $f\colon X\longrightarrow$ in $\mathcal{C}$ factors through a $C$-relative cell complex, def. , followed by a $C$-injective morphism, def.
Say that a continuous function, hence a morphism in Top is
a (classical) weak equivalence if it is a weak homotopy equivalence, def. ;
a (classical) fibration if it is a Serre fibration, def. ;
a (classical) cofibration if it is a retract, rem , of a relative cell complex, def. .
and as usual:
an acyclic cofibration if it is a cofibration and a weak equivalence;
an acyclic fibration if it is a fibration and a weak equivalence.
The proof (below) that def. defines a model category structure involves two technical lemmas which concern the special nature of topological spaces (“point-set topology”). With these two lemmas in hand, the rest of the proof is a routine argument in model category theory.
Assuming the axiom of choice and the law of excluded middle, every compact subspace of a topological cell complex, def. , intersects the interior of a finite number of cells.
(e.g. Hirschhorn 15, section 3.1)
So let $Y$ be a topological cell complex and $C \hookrightarrow Y$ a compact subspace. Define a subset
by choosing one point in the interior of the intersection with $C$ of each cell of $Y$ that intersects $C$.
It is now sufficient to show that $P$ has no accumulation point. Because, by the compactness of $X$, every non-finite subset of $C$ does have an accumulation point, and hence the lack of such shows that $P$ is a finite set and hence that $C$ intersects the interior of finitely many cells of $Y$.
To that end, let $c\in C$ be any point. If $c$ is a 0-cell in $Y$, write $U_c \coloneqq \{c\}$. Otherwise, write $e_c$ for the unique cell of $Y$ that contains $c$ in its interior. By construction, there is exactly one point of $P$ in the interior of $e_c$. Hence there is an open neighbourhood $c \in U_c \subset e_c$ containing no further points of $P$ beyond possibly $c$ itself, if $c$ happens to be that single point of $P$ in $e_c$.
It is now sufficient to show that $U_c$ may be enlarged to an open subset $\tilde U_c$ of $Y$ containing no point of $P$, except for possibly $c$ itself, for that means that $c$ is not an accumulation point of $P$.
To that end, let $\alpha_c$ be the ordinal that labels the stage $Y_{\alpha_c}$ of the transfinite composition in the cell complex-presentation of $Y$ at which the cell $e_c$ above appears. Let $\gamma$ be the ordinal of the full cell complex. Then define the set
and regard this as a partially ordered set by declaring a partial ordering via
This is set up such that every element $(\beta, U)$ of $T$ with $\beta$ the maximum value $\beta = \gamma$ is an extension $\tilde U_c$ that we are after.
Observe then that for $(\beta_s, U_s)_{s\in S}$ a chain in $(T,\lt)$ (a subset on which the relation $\lt$ restricts to a total order), it has an upper bound in $T$ given by the union $({\cup}_s \beta_s ,\cup_s U_s)$. Therefore Zorn's lemma applies, saying that $(T,\lt)$ contains a maximal element $(\beta_{max}, U_{max})$.
Hence it is now sufficient to show that $\beta_{max} = \gamma$. We argue this by showing that assuming $\beta_{\max}\lt \gamma$ leads to a contradiction.
So assume $\beta_{max}\lt \gamma$. Then to construct an element of $T$ that is larger than $(\beta_{max},U_{max})$, consider for each cell $d$ at stage $Y_{\beta_{max}+1}$ its attaching map $h_d \colon S^{n-1} \to Y_{\beta_{max}}$ and the corresponding preimage open set $h_d^{-1}(U_{max})\subset S^{n-1}$. Enlarging all these preimages to open subsets of $D^n$ (such that their image back in $X_{\beta_{max}+1}$ does not contain $c$), then $(\beta_{max}, U_{max}) \lt (\beta_{max}+1, \cup_d U_d )$. This is a contradiction. Hence $\beta_{max} = \gamma$, and we are done.
Every $J_{Top}$-relative cell complex (def. , def. ) is a weak homotopy equivalence, def. .
Let $X \longrightarrow \hat X$ be a $J_{Top}$-relative cell complex.
Notice that with the elements $D^n \hookrightarrow D^n \times I$ of $J_{Top}$ themselves, also each stage $X_{\alpha} \to X_{\alpha+1}$ in the transfinite composition defining $\hat X$ is a homotopy equivalence, hence, by prop. , a weak homotopy equivalence.
This means that all morphisms in the following diagram (notationally suppressing basepoints and showing only the finite stages)
are isomorphisms.
Moreover, lemma gives that every representative and every null homotopy of elements in $\pi_n(\hat X)$ already exists at some finite stage $X_k$. This means that also the universally induced morphism
is an isomorphism. Hence the composite $\pi_n(X) \overset{\simeq}{\longrightarrow} \pi_n(\hat X)$ is an isomorphism.
The continuous functions with the right lifting property, def. against the set $I_{Top} = \{S^{n-1}\hookrightarrow D^n\}$ of topological generating cofibrations, def. , are precisely those which are both weak homotopy equivalences, def. as well as Serre fibrations, def. .
We break this up into three sub-statements:
A) $I_{Top}$-injective morphisms are in particular weak homotopy equivalences
Let $p \colon \hat X \to X$ have the right lifting property against $I_{Top}$
We check that the lifts in these diagrams exhibit $\pi_\bullet(f)$ as being an isomorphism on all homotopy groups, def. :
For $n = 0$ the existence of these lifts says that every point of $X$ is in the image of $p$, hence that $\pi_0(\hat X) \to \pi_0(X)$ is surjective. Let then $S^0 = \ast \coprod \ast \longrightarrow \hat X$ be a map that hits two connected components, then the existence of the lift says that if they have the same image in $\pi_0(X)$ then they were already the same connected component in $\hat X$. Hence $\pi_0(\hat X)\to \pi_0(X)$ is also injective and hence is a bijection.
Similarly, for $n \geq 1$, if $S^n \to \hat X$ represents an element in $\pi_n(\hat X)$ that becomes trivial in $\pi_n(X)$, then the existence of the lift says that it already represented the trivial element itself. Hence $\pi_n(\hat X) \to \pi_n(X)$ has trivial kernel and so is injective.
Finally, to see that $\pi_n(\hat X) \to \pi_n(X)$ is also surjective, hence bijective, observe that every element in $\pi_n(X)$ is equivalently represented by a commuting diagram of the form
and so here the lift gives a representative of a preimage in $\pi_{n}(\hat X)$.
B) $I_{Top}$-injective morphisms are in particular Serre fibrations
By lemma an $I_{Top}$-injective morphisms has also the right lifting property against all relative cell complexes, and hence by lemma it is also a $J_{Top}$-injective morphism, hence a Serre fibration.
C) Acyclic Serre fibrations are in particular $I_{Top}$-injective morphisms
Let $f\colon X \to Y$ be a Serre fibration that induces isomorphisms on homotopy groups. In degree 0 this means that $f$ is an isomorphism on connected components, and this means that there is a lift in every commuting square of the form
(this is $\pi_0(f)$ being surjective) and in every commuting square of the form
(this is $\pi_0(f)$ being injective). Hence we are reduced to showing that for $n \geq 2$ every diagram of the form
has a lift.
To that end, pick a basepoint on $S^{n-1}$ and write $x$ and $y$ for its images in $X$ and $Y$, respectively
Then the diagram above expresses that $f_\ast[\alpha] = 0 \in \pi_{n-1}(Y,y)$ and hence by assumption on $f$ it follows that $[\alpha] = 0 \in \pi_{n-1}(X,x)$, which in turn mean that there is $\kappa'$ making the upper triangle of our lifting problem commute:
It is now sufficient to show that any such $\kappa'$ may be deformed to a $\rho'$ which keeps making this upper triangle commute but also makes the remaining lower triangle commute.
To that end, notice that by the commutativity of the original square, we already have at least this commuting square:
This induces the universal map $(\kappa,f \circ \kappa')$ from the pushout of its cospan in the top left, which is the n-sphere (see this example):
This universal morphism represents an element of the $n$th homotopy group:
By assumption that $f$ is a weak homotopy equivalence, there is a $[\rho] \in \pi_{n}(X,x)$ with
hence on representatives there is a lift up to homotopy
Morever, we may always find $\rho$ of the form $(\rho', \kappa')$ for some $\rho' \colon D^n \to X$. (“Paste $\kappa'$ to the reverse of $\rho$.”)
Consider then the map
and observe that this represents the trivial class:
This means equivalently that there is a homotopy
fixing the boundary of the $n$-disk.
Hence if we denote homotopy by double arrows, then we have now achieved the following situation
and it now suffices to show that $\phi$ may be lifted to a homotopy of just $\rho'$, fixing the boundary, for then the resulting homotopic $\rho''$ is the desired lift.
To that end, notice that the condition that $\phi \colon D^n \times I \to Y$ fixes the boundary of the $n$-disk means equivalently that it extends to a morphism
out of the pushout that identifies in the cylinder over $D^n$ all points lying over the boundary. Hence we are reduced to finding a lift in
But inspection of the left map reveals that it is homeomorphic again to $D^n \to D^n \times I$, and hence the lift does indeed exist.
We use the lemmas above to prove that the classes of morphisms in def. satify the conditions for a model category structure on the category Top.
The classical weak equivalences, def. , satify two-out-of-three.
Since isomorphisms (of homotopy groups) satisfy 2-out-of-3, this property is directly inherited via the very definition of weak homotopy equivalence, def. .
Every morphism $f\colon X \longrightarrow Y$ in Top factors as a classical cofibration followed by an acyclic fibration, def. :
By lemma the set $I_{Top} = \{S^{n-1}\hookrightarrow D^n\}$ of topological generating cofibrations, def. , has small domains, in the sense of def. (the n-spheres are compact). Hence by the small object argument, prop. , $f$ factors as an $I_{Top}$-relative cell complex, hence just a plain relative cell complex, followed by an $I_{Top}$-injective morphisms, def. .
By lemma the map $\hat X \to Y$ is both a weak equivalence as well as a Serre fibration.
Every morphism $f\colon X \longrightarrow Y$ in Top factors as an acyclic classical cofibration followed by a classical fibration, def. :
By lemma the set $J_{Top} = \{D^n \hookrightarrow D^n\times I\}$ of topological generating acyclic cofibrations, def. , has small domains, in the sense of def. (the n-disks are compact). Hence by the small object argument, prop. , $f$ factors as an $J_{Top}$-relative cell complex, followed by an $J_{top}$-injective morphisms, def. :
By definition this makes $\hat X \to Y$ a Serre fibration, hence a fibration.
By lemma a relative $J_{Top}$-cell complex is in particular a relative $I_{Top}$-cell complex. Hence $X \to \hat X$ is a cofibration. By lemma it is also a weak equivalence.
Every commuting square in Top with the left morphism a classical cofibration and the right morphism a fibration, def.
admits a lift as soon as one of the two is also a weak equivalence.
A) If the fibration $f$ is also a weak equivalence, then lemma says that it has the right lifting property against the generating cofibrations $I_{Top}$, and lemma implies the claim.
B) If the cofibration $g$ on the left is also a weak equivalence, consider any factorization into a relative $J_{Top}$-cell complex, def. , def. , followed by a fibration,
as in the proof of prop. . Now by two-out-of-three, prop. , the factorizing fibration is actually an acyclic fibration. By case A), this acyclic fibration has the right lifting property against the cofibration $g$ itself, and so the retract argument, lemma gives that $g$ is a retract of a relative $J_{Top}$-cell complex. With this, finally lemma implies that $f$ has the right lifting property against $g$.
Finally:
The systems $(Cof , W \cap Fib)$ and $(\W \cap Cof, Fib)$ are weak factorization systems.
We have already seen the factorization and the lifting property, it remains to see that the given left/right classes exhaust the class of morphisms with the given lifting property.
For the fibrations this is by definition, for the the acyclic fibrations this is by lemma .
The remaining statement for $Cof$ and $W\cap Cof$ follows from a general argument (here) for cofibrantly generated model categories:
So let $f \colon X \longrightarrow Y$ be in $(I_{Top} Inj) Proj$, we need to show that then $f$ is a retract of a relative cell complex. To that end, apply the small object argument to factor $f$ as
It follows that $f$ has the left lefting property again $\hat Y \to Y$, and hence by the retract argument it is a retract of $X \to \hat Y$, which proves the claim for $Cof$.
The argument for $W \cap Cof$ is analogous, using the small object argument now for $J_{Top}$.
In conclusion:
The classes of morphisms in $Mor(Top)$ of def. ,
$W =$ weak homotopy equivalences,
$F =$ Serre fibrations
$C =$ retracts of relative cell complexes
define a model category structure, $Top_{Quillen}$.
We may now pass to the homotopy category of a model category and find Ho(Top) the “classical homotopy category” (or maybe “Quillen-Serre homotopy category”). For discussion of the Quillen equivalence to the classical model structure on simplicial sets (the “homotopy hypothesis”), see there.
Theorem in itself implies only that every topological space is weakly equivalent to a retract of a cell complex, def. . But by the existence of CW approximations, every topological space is weakly homotopy equivalent even to a CW complex. In particular, by the Quillen equivalence to the Quillen model structure on simplicial sets, every topological space is weakly homotopy equivalent to the geometric realization of its singular simplicial complex (and every geometric realization of a simplicial set is (by this proposition) a CW-complex, def. .
The model categories $Top_{Quillen}$ and $(Top^{\ast/})_{Quillen}$ are proper model categories.
(Hirschhorn 02,theorem 13.1.10)
Right properness is immediate from the fact that all objects are fibrant. Left properness needs an argument. First check that weak equivalences are preserved under pushout of inclusion maps along cell attachments. Then use that a general cofibration is a retract a relative cell complex inclusion. Observe that if weak equivalences are preserved under pushout along some class of morphisms, then also under pushout along retracts of these. Hence reduce to pushout along relative cell complexes. By the first statement these are a transfinite pasting composite along pushouts that preserve weak equivalences.
We discuss various further model category structures whose existence follows by immediate variation of the above proof of theorem :
Every coslice category $\mathcal{C}^{X/}$ of a model category $\mathcal{C}$ inherits the coslice model structure, whose classes of morphisms are those of $\mathcal{C}$ as seen by the forgetful functor $U \colon \mathcal{C}^{X/}\longrightarrow \mathcal{C}$.
Accordingly there is the induced classical model structure on pointed topological spaces $Top^{\ast/}_{Quillen}$.
Let $\mathcal{C}$ be a category with terminal object and finite colimits. Then the forgetful functor $U \colon \mathcal{C}^{\ast/} \to \mathcal{C}$ from its category of pointed objects, def. , has a left adjoint
given by forming the disjoint union (coproduct) with a base point (“adjoining a base point”).
Let $\mathcal{C}$ be a category with all limits and colimits. Then also the category of pointed objects $\mathcal{C}^{\ast/}$, def. , has all limits and colimits.
Moreover:
the limits are the limits of the underlying diagrams in $\mathcal{C}$, with the base point of the limit induced by its universal property in $\mathcal{C}$;
the colimits are the limits in $\mathcal{C}$ of the diagrams with the basepoint adjoined.
It is immediate to check the relevant universal property. For details see at slice category – limits and colimits.
Given two pointed objects $(X,x)$ and $(Y,y)$, then:
their product in $\mathcal{C}^{\ast/}$ is simply $(X\times Y, (x,y))$;
their coproduct in $\mathcal{C}^{\ast/}$ has to be computed using the second clause in prop. : since the point $\ast$ has to be adjoined to the diagram, it is given not by the coproduct in $\mathcal{C}$, but by the pushout in $\mathcal{C}$ of the form:
This is called the wedge sum operation on pointed objects.
Generally for a set $\{X_i\}_{i \in I}$ in $Top^{\ast/}$
For $X$ a CW-complex, def. then for every $n \in \mathbb{N}$ the quotient (example ) of its $n$-skeleton by its $(n-1)$-skeleton is the wedge sum, def. , of $n$-spheres, one for each $n$-cell of $X$:
For $\mathcal{C}^{\ast/}$ a category of pointed objects with finite limits and finite colimits, the smash product is the functor
given by
hence by the pushout in $\mathcal{C}$
In terms of the wedge sum from def. , this may be written concisely as
For a general category $\mathcal{C}$ in def. , the smash product need not be associative, namely it fails to be associative if the functor $(-)\times Z$ does not preserve the quotients involved in the definition.
In particular this may happen for $\mathcal{C} =$ Top.
A sufficient condition for $(-) \times Z$ to preserve quotients is that it is a left adjoint functor. This is the case in the smaller subcategory of compactly generated topological spaces, we come to this in prop. below.
These two operations are going to be ubiquituous in stable homotopy theory:
symbol | name | category theory |
---|---|---|
$X \vee Y$ | wedge sum | coproduct in $\mathcal{C}^{\ast/}$ |
$X \wedge Y$ | smash product | tensor product in $\mathcal{C}^{\ast/}$ |
For $X, Y \in Top$, with $X_+,Y_+ \in Top^{\ast/}$, def. , then
$X_+ \vee Y_+ \simeq (X \sqcup Y)_+$;
$X_+ \wedge Y_+ \simeq (X \times Y)_+$.
By example , $X_+ \vee Y_+$ is given by the colimit in $Top$ over the diagram
This is clearly $A \sqcup \ast \sqcup B$. Then, by definition
Let $\mathcal{C}^{\ast/} = Top^{\ast/}$ be pointed topological spaces. Then
denotes the standard interval object $I = [0,1]$ from def. , with a djoint basepoint adjoined, def. . Now for $X$ any pointed topological space, then
is the reduced cylinder over $X$: the result of forming the ordinary cyclinder over $X$ as in def. , and then identifying the interval over the basepoint of $X$ with the point.
(Generally, any construction in $\mathcal{C}$ properly adapted to pointed objects $\mathcal{C}^{\ast/}$ is called the “reduced” version of the unpointed construction. Notably so for “reduced suspension” which we come to below.)
Just like the ordinary cylinder $X\times I$ receives a canonical injection from the coproduct $X \sqcup X$ formed in $Top$, so the reduced cyclinder receives a canonical injection from the coproduct $X \sqcup X$ formed in $Top^{\ast/}$, which is the wedge sum from example :
For $(X,x),(Y,y)$ pointed topological spaces with $Y$ a locally compact topological space, then the pointed mapping space is the topological subspace of the mapping space of def.
on those maps which preserve the basepoints, and pointed by the map constant on the basepoint of $X$.
In particular, the standard topological pointed path space object on some pointed $X$ (the pointed variant of def. ) is the pointed mapping space $Maps(I_+,X)_\ast$.
The pointed consequence of prop. then gives that there is a natural bijection
between basepoint-preserving continuous functions out of a smash product, def. , with pointed continuous functions of one variable into the pointed mapping space.
Write
and
respectively, for the classes of morphisms obtained from the classical generating cofibrations, def. , and the classical generating acyclic cofibrations, def. , under adjoining of basepoints.
The classes in def. exhibit the classical model structure on pointed topological spaces, $Top^{\ast/}_{Quillen}$ as a cofibrantly generated model category.
This is a special case of a general statement about cofibrant generation of coslice model structures, see this proposition. But it also follows by a proof directly analogous to that of theorem :
Due to the fact that in $J_{Top^{\ast/}}$ a basepoint is freely adjoined, lemma goes through verbatim for the pointed case, with $J_{Top}$ replaced by $J_{Top^{\ast/}}$, as do the other two lemmas above that depend on point-set topology, lemma and lemma . With this, the rest of the proof follows by the same general abstract reasoning as above in the proof of theorem .
The category Top has the technical inconvenience that mapping spaces $X^Y$ (def. ) exist only for $Y$ a locally compact topological space but fail to exist more generally. In other words: Top is not cartesian closed. But cartesian closure is necessary for some purposes of homotopy theory, for instance it ensures that
the smash product on pointed topological spaces is associative;
there is a concept of topologically enriched functors with values in topological spaces, to which we turn below.
geometric realization of simplicial sets preserves products.
Now, since, by the above, the homotopy theory of topological spaces only cares about the CW approximation to any topological space, it is plausible to ask for a full subcategory of Top which still contains all CW-complexes, still has all limits and colimits, still supports a model category structure constructed in the same way as above, but which in addition is cartesian closed, and preferably such that the model structure interacts well with the cartesian closure.
Such a full subcategory exists, the category of compactly generated topological spaces. This we briefly describe now.
Let $X$ be a topological space.
A subset $A \subset X$ is called $k$-closed if for every continuous function $\phi \colon K \longrightarrow X$ out of a compact Hausdorff $K$, then the preimage $\phi^{-1}(A)$ is a closed subset of $K$.
$X$ is called compactly generated if its closed subsets exhaust (hence coincide with) the $k$-closed subsets.
Write
for the full subcategory of Top on the compactly generated topological spaces.
Write
for the functor which sends any topological space $X = (S,\tau)$ to the topological space with the same underlying set $S$, but with open subsets $k \tau$ the collection of all $k$-open subsets.
Let $X \in Top_{cg} \hookrightarrow Top$ (def. ) and let $Y\in Top$. Then continuous functions
are also continuous when regarded as a function
We need to show that for $A \subset Y$ a $k$-closed subset, then $f^{-1}(A) \subset X$ is closed subset.
Let $\phi \colon K \longrightarrow X$ be any continuous function out of a compact Hausdorff space $K$. Since $A$ is $k$-closed by assumption, we have that $(f \circ \phi)^{-1}(A) = \phi^{-1}(f^{-1}(A))\subset K$ is closed in $K$. This means that $f^{-1}(A)$ is $k$-closed in $X$. But by the assumption that $X$ is compactly generated, it follows that $f^{-1}(A)$ is already closed.
For $X \in Top_{cg}$ there is a natural bijection
which means equivalently that the functor $k$ (def. ) together with the inclusion from def. forms an pair of adjoint functors
This in turn means equivalently that $Top_{cg} \hookrightarrow Top$ is a coreflective subcategory with coreflector $k$. In particular $k$ is idemotent in that there are natural homeomorphisms
Hence colimits in $Top_{cg}$ exists and are computed as in Top. Also limits in $Top_{cg}$ exists, these are obtained by computing the limit in Top and then applying the functor $k$ to the result.
For $X, Y \in Top_{cg}$ (def. ) the compactly generated mapping space $X^Y \in Top_{cg}$ is the compactly generated topological space whose underlying set is the set $C(X,Y)$ of continuous functions $f \colon X \to Y$, and for which a subbase for its topology has elements $U^\kappa$, for $U \subset Y$ any open subset and $\kappa \colon K \to X$ a continuous function out of a compact Hausdorff space $K$ given by
The category $Top_{cg}$ (def. ) is cartesian closed:
for every $X \in Top_{cg}$ then the operation $X\times (-) \times (-)\times X$ of forming the Cartesian product in $Top_{cg}$ (which by cor. is $k$ applied to the usual product topological space) together with the operation $(-)^X$ of forming the compactly generated mapping space (def. ) forms a pair of adjoint functors
e.g. (Strickland 09, prop. 2.12)
Due to the idempotency $k \circ k \simeq k$ (cor. ) it is useful to know plenty of conditions under which a given topological space is already compactly generated, for then applying $k$ to it does not change it.
Every CW-complex is compactly generated.
Since a CW-complex is a Hausdorff space, by prop. and prop. its $k$-closed subsets are precisely those whose intersection with every compact subspace is closed.
Since a CW-complex $X$ is a colimit in Top over attachments of standard n-disks $D^{n_i}$ (its cells), by the characterization of colimits in $Top$ (prop.) a subset of $X$ is open or closed precisely if its restriction to each cell is open or closed, respectively. Since the $n$-disks are compact, this implies one direction: if a subset $A$ of $X$ intersected with all compact subsets is closed, then $A$ is closed.
For the converse direction, since a CW-complex is a Hausdorff space and since compact subspaces of Hausdorff spaces are closed, the intersection of a closed subset with a compact subset is closed.
The category $Top_{cg}$ of compactly generated topological spaces includes
all first-countable topological spaces
hence in particular
Recall that by corollary , all colimits of compactly generated spaces are again compactly generated.
The product topological space of a CW-complex with a compact CW-complex is compactly generated.
(Hatcher “Topology of cell complexes”, theorem A.6)
More generally:
The product topological space of a compactly generated topological space with a locally compact? Hausdorff topological space is itself compactly generated.
For every topological space $X$, the canonical function $k(X) \longrightarrow X$ is a weak homotopy equivalence.
By example , example and lemma , continuous functions $S^n \to k(X)$ and their left homotopies $S^n \times I \to k(X)$ are in bijection with functions $S^n \to X$ and their homotopies $S^n \times I \to X$.
The restriction of the model category structure on $Top_{Quillen}$ from theorem along the inclusion $Top_{cg} \hookrightarrow Top$ of def. is still a model category structure, which is cofibrantly generated by the same sets $I_{Top}$ (def. ) and $J_{Top}$ (def. ) The coreflection of cor. is a Quillen equivalence
By example , the sets $I_{Top}$ and $J_{Top}$ are indeed in $Mor(Top_{cg})$. By example all arguments above about left homotopies between maps out of these basic cells go through verbatim in $Top_{cg}$. Hence the three technical lemmas above depending on actual point-set topology, topology, lemma , lemma and lemma , go through verbatim as before. Accordingly, since the remainder of the proof of theorem of $Top_{Quillen}$ follows by general abstract arguments from these, it also still goes through verbatim for $(Top_{cg})_{Quillen}$.
Hence the (acyclic) cofibrations in $(Top_{cg})_{Quillen}$ are identified with those in $Top_{Quillen}$, and so the inclusion is a part of a Quillen adjunction. To see that this is a Quillen equivalence, it is sufficient to check that for $X$ a compactly generated space then a continuous function $f \colon X \longrightarrow Y$ is a weak homotopy equivalence (def. ) precisely if the adjunct $\tilde f \colon X \to k(Y)$ is a weak homotopy equivalence. But, by lemma , $\tilde f$ is the same function as $f$, just considered with different codomain. Hence the result follows with prop. .
Moreover:
Write $Top_{cg}^{\ast/}$ for the category of pointed compactly generated topological spaces (def. ). Then the smash product
is associative and the 0-sphere is a tensor unit for it, hence $(Top_{cg}^{\ast/}, \wedge, S^0)$ is a symmetric monoidal category.
Moreover together with the pointed mapping space version $(-)_\ast^X$ of the compactly generated mapping space of def. , $Top_{cg}^{\ast/}$ becomes a closed monoidal category:
for every $X \in Top_{cg}^{\ast/}$ then the operations of forming the smash product $X\wedge (-)$ and of forming the pointed mapping space $(-)_\ast^X$ constitute a pair of adjoint functors
For the first statement, since $(-)\times X$ is a left adjoint by prop. , it presevers colimits and in particular quotient space projections. Therefore with $X, Y, Z \in Top_{cg}^{\ast/}$ then
The analogous reasoning applies to yield also $X \wedge (Y\wedge Z) \simeq \frac{X\times Y \times Z}{ X \vee Y \vee Z}$.
While the inclusion $Top_{cg} \hookrightarrow Top$ above does satisfy the requirement that it gives a cartesian closed category with all limits and colimits and containing all CW-complexes, one may ask for yet smaller subcategories that still share all these properties but potentially exhibit further convenient properties still.
One may in addition demand all compactly generated spaces to be Hausdorff topological spaces (e. g. Hirschhorn 15, top of p. 2) and use Hausdorff reflection (in addition to reflection onto compactly generated spaces) to make colimits land again in Hausdorff space.
A morre popular choice introduced in (McCord 69) is weak Hausdorffness, i.e. to add the further restriction to topopological spaces which are not only compactly generated but also weakly Hausdorff. This was motivated from (Steenrod 67) where compactly generated Hausdorff spaces were used by the observation (McCord 69, section 2) that Hausdorffness is not preserved my many colimit operations, notably not by forming quotient spaces.
On the other hand, in above we wouldn’t have imposed Hausdorffness in the first place. Possibly more intrinsic advantages of $Top_{cgwH}$ over $Top_{cg}$ are the following:
every pushout of a morphism in $Top_{cgwH} \hookrightarrow Top$ along a closed subspace inclusion in $Top$ is again in $Top_{cgwH}$ (MO comment by Peter May)
in $Top_{cgwH}$ quotient spaces are not only preserved by cartesian products (as is the case for all compactly generated spaces due to $X\times (-)$ being a left adjoint, according to cor. ) but by all pullbacks (MO comment by Charles Rezk)
in $Top_{cgwH}$ the regular monomorphisms are the closed subspace inclusions (MO comment by Charles Rezk)
A topological space $X$ is called weakly Hausdorff if for every continuous function
out of a compact Hausdorff space $K$, its image $f(K) \subset X$ is a closed subset of $X$.
Every Hausdorff space is a weakly Hausdorff space, def. .
For $X$ a weakly Hausdorff topological space, def. , then a subset $A \subset X$ is $k$-closed, def. , precisely if for every subset $K \subset X$ that is compact Hausdorff with respect to the subspace topology, then the intersection $K \cap A$ is a closed subset of $X$.
e.g. (Strickland 09, lemma 1.4 (c))
We discuss that $(Top_{cg})_{Quillen}$ and $(Top^{\ast/}_{cg})_{Quillen}$ are monoidal model categories and enriched model categories over themselves, the former with respect to Cartesian product and the latter with respect to the induced smash product.
Let $i_1 \colon X_1 \to Y_1$ and $i_2 \colon X_2 \to Y_2$ be morphisms in $Top_{cg}$, def. . Their pushout product
is the universal morphism in the following diagram
If $i_1 \colon X_1 \hookrightarrow Y_1$ and $i_2 \colon X_2 \hookrightarrow Y_2$ are inclusions, then their pushout product $i_1 \Box i_2$ from def. is the inclusion
For instance
is the inclusion of two adjacent edges of a square into the square.
The pushout product with an initial morphism is just the ordinary Cartesian product functor
i.e.
The product topological space with the empty space is the empty space, hence the map $\emptyset \times A \overset{(id,f)}{\longrightarrow} \emptyset \times B$ is an isomorphism, and so the pushout in the pushout product is $X \times A$. From this one reads off the universal map in question to be $X \times f$:
With
the generating cofibrations (def. ) and generating acyclic cofibrations (def. ) of $(Top_{cg})_{Quillen}$ (theorem ), then their pushout-products (def. ) are
To see this, it is profitable to model n-disks and n-spheres, up to homeomorphism, as $n$-cubes $D^\n \simeq [0,1]^n \subset \mathbb{R}^n$ and their boundaries $S^{n-1} \simeq \partial [0,1]^n$ . For the idea of the proof, consider the situation in low dimensions, where one readily sees pictorially that
and
Generally, $D^n$ may be represented as the space of $n$-tuples of elements in $[0,1]$, and $S^n$ as the suspace of tuples for which at least one of the coordinates is equal to 0 or to 1.
Accordingly, $S^{n_1} \times D^{n_2} \hookrightarrow D^{n_1 + n_2}$ is the subspace of $(n_1+n_2)$-tuples, such that at least one of the first $n_1$ coordinates is equal to 0 or 1, while $D^{n_1} \times S^{n_2} \hookrightarrow D^{n_1+ n_2}$ is the subspace of $(n_1 + n_2)$-tuples such that east least one of the last $n_2$ coordinates is equal to 0 or to 1. Therefore
And of course it is clear that $D^{n_1} \times D^{n_2} \simeq D^{n_1 + n_2}$. This shows the first case.
For the second, use that $S^{n_1} \times D^{n_2} \times I$ is contractible to $S^{n_1} \times D^{n_2}$ in $D^{n_1} \times D^{n_2} \times I$, and that $S^{n_1} \times D^{n_2}$ is a subspace of $D^{n_1} \times D^{n_2}$.
Let $i \colon A \to B$ and $p \colon X \to Y$ be two morphisms in $Top_{cg}$, def. . Their pullback powering is
being the universal morphism in
Let $i_1, i_2 , p$ be three morphisms in $Top_{cg}$, def. . Then for their pushout-products (def. ) and pullback-powerings (def. ) the following lifting properties are equivalent (“Joyal-Tierney calculus”):
We claim that by the cartesian closure of $Top_{cg}$, and carefully collecting terms, one finds a natural bijection between commuting squares and their lifts as follows:
where the tilde denotes product/hom-adjuncts, for instance
etc.
To see this in more detail, observe that both squares above each represent two squares from the two components into the fiber product and out of the pushout, respectively, as well as one more square exhibiting the compatibility condition on these components:
The pushout-product in $Top_{cg}$ (def. ) of two classical cofibrations is a classical cofibration:
If one of them is acyclic, then so is the pushout-product:
Regarding the first point:
Hence
where all logical equivalences used are those of prop. and where all implications appearing are by the closure property of lifting problems (prop.).
Regarding the second point: By example we moreover have
and the conclusion follows by the same kind of reasoning.
In model category theory the property in proposition is referred to as saying that the model category $(Top_{cg})_{Quillen}$ from theorem
is a monoidal model category with respect to the Cartesian product on $Top_{cg}$;
is an enriched model category, over itself.
A key point of what this entails is the following:
For $X \in (Top_{cg})_{Quillen}$ cofibrant (a retract of a cell complex) then the product-hom-adjunction for $Y$ (prop. ) is a Quillen adjunction
By example we have that the left adjoint functor is equivalently the pushout product functor with the initial morphism of $X$:
By assumption $(\emptyset \to X)$ is a cofibration, and hence prop. says that this is a left Quillen functor.
The statement and proof of prop. has a direct analogue in pointed topological spaces
For $X \in (Top^{\ast/}_{cg})_{Quillen}$ cofibrant with respect to the classical model structure on pointed compactly generated topological spaces (theorem , prop. ) (hence a retract of a cell complex with non-degenerate basepoint, remark ) then the pointed product-hom-adjunction from corollary is a Quillen adjunction (def. ):
Let now $\Box_\wedge$ denote the smash pushout product and $(-)^{\Box(-)}$ the smash pullback powering defined as in def. and def. , but with Cartesian product replaced by smash product (def. ) and compactly generated mapping space replaced by pointed mapping spaces (def. ).
By theorem $(Top_{cg}^{\ast/})_{Quillen}$ is cofibrantly generated by $I_{Top^{\ast/}} = (I_{Top})_+$ and $J_{Top^{\ast/}}= (J_{Top})_+$. Example gives that for $i_n \in I_{Top}$ and $j_n \in J_{Top}$ then
and
Hence the pointed analog of prop. holds and therefore so does the pointed analog of the conclusion in prop. .
The projective model structure on enriched functors, enriched over the classical model structure on topological spaces above, is an immediate corollary of the above proof (Piacenza 91).
In the following we say Top-enriched category and Top-enriched functor etc. for what often is referred to as “topological category” and “topological functor” etc. As discussed there, these latter terms are ambiguous.
A topologically enriched category $\mathcal{C}$ is a Top-enriched category, hence:
for each $a,b\in Obj(\mathcal{C})$ a topological space
called the space of morphisms or the hom-space between $a$ and $b$;
for each $a,b,c\in Obj(\mathcal{C})$ a continuous function
out of the product topological space, called the composition operation
for each $a \in Obj(\mathcal{C})$ a point $Id_a\in \mathcal{C}(a,a)$, called the identity morphism on $a$
such that the composition is associative and unital.
Similarly a pointed topologically enriched category is such a structire with $Top_k$ replaced by pointed topological spaces and with the Cartesian product replaced by the smash product of pointed topological spaces.
Given a (pointed) topologically enriched category as in def. , then forgetting the topology on the hom-spaces (along the forgetful functor $U \colon Top_k \to Set$) yields an ordinary locally small category with
It is in this sense that $\mathcal{C}$ is a category with extra structure, and hence “enriched”.
The archetypical example is the following:
Write
for the full subcategory of Top on the compactly generated topological spaces. Under forming Cartesian product
and mapping spaces
this is a cartesian closed category (see at convenient category of topological spaces). As such it canonically obtains the structure of a topologically enriched category, def. , with hom-spaces given by mapping spaces
and with composition
given by the (product$\dashv$ mapping-space)-adjunct of the evaluation morphism
Similarly, pointed compactly generated topological spaces $Top_k^{\ast/}$ form a pointed topologically enriched category.
A topologically enriched functor between two topologically enriched categories
is a Top-enriched functor, hence:
a function
of objects;
for each $a,b \in Obj(\mathcal{C})$ a continuous function
of hom-spaces
such that this preserves composition and identity morphisms in the evident sense.
A homomorphism of topologically enriched functors
is a Top-enriched natural transformation: for each $c \in Obj(\mathcal{C})$ a choice of morphism $\eta_c \in \mathcal{D}(F(c),G(c))$ such that for each pair of objects $c,d \in \mathcal{C}$ the two continuous functions
and
agree.
We write $[\mathcal{C}, \mathcal{D}]$ for the resulting category of topologically enriched functors. This itself naturally obtains the structure of topologically enriched category, see at enriched functor category.
For $\mathcal{C}$ any topologically enriched category, def. then a topologically enriched functor
to the archetical topologically enriched category from example may be thought of as a topologically enriched copresheaf, at least if $\mathcal{C}$ is small (in that its class of objects is a proper set).
Hence the category of topologically enriched functors
according to def. may be thought of as the (co-)presheaf category over $\mathcal{C}$ in the realm of topological enriched categories.
A funcotor $F \in [\mathcal{C}, Top_k]$ is equivalently
a compactly generated topological space $F_a\in Top_k$ for each object $a \in Obj(\mathcal{C})$;
for all pairs of objects $a,b \in Obj(\mathcal{C})$
such that composition is respected, in the evident sense.
For every object $c \in \mathcal{C}$, there is a topologically enriched representable functor, denoted $y(c) or \mathcal{C}(c,-)$ which sends objects to
and whose action on morphisms is, under the above identification, just the composition operation in $\mathcal{C}$.
There is a full blown Top-enriched Yoneda lemma. The following records a slightly simplified version which is all that is needed here:
(topologically enriched Yoneda-lemma)
Let $\mathcal{C}$ be a topologically enriched category, def. , write $[\mathcal{C}, Top_k]$ for its category of topologically enriched (co-)presheaves, and for $c\in Obj(\mathcal{C})$ write $y(c) = \mathcal{C}(c,-) \in [\mathcal{C}, Top_k]$ for the topologically enriched functor that it represents, all according to example . Recall also the Top-tensored functors $F \cdot X$ from that example.
For $c\in Obj(\mathcal{C})$, $X \in Top$ and $F \in [\mathcal{C}, Top_k]$, there is a natural bijection between
morphisms $y(c) \cdot X \longrightarrow F$ in $[\mathcal{C}, Top_k]$;
morphisms $X \longrightarrow F(c)$ in Top.
Given a morphism $\eta \colon y(c) \cdot X \longrightarrow F$ consider its component
and restrict that to the identity morphism $id_c \in \mathcal{C}(c,c)$ in the first argument
We claim that just this $\eta_c(id_c,-)$ already uniquely determines all components
of $\eta$, for all $d \in Obj(\mathcal{C})$: By definition of the transformation $\eta$ (def. ), the two functions
and
agree. This means that they may be thought of jointly as a function with values in commuting squares in $Top$ of this form:
For any $f \in \mathcal{C}(c,d)$, consider the restriction of
to $id_c \in \mathcal{C}(c,c)$, hence restricting the above commuting squares to
This shows that $\eta_d$ is fixed to be the function
and this is a continuous function since all the operations it is built from are continuous.
Conversely, given a continuous function $\alpha \colon X \longrightarrow F(c)$, define for each $d$ the function
Running the above analysis backwards shows that this determines a transformation $\eta \colon y(c)\times X \to F$.
For $\mathcal{C}$ a small topologically enriched category, def. , write
and
for the classes (here: sets) of morphisms given by tensoring the representable functors, example with the generating cofibrations (def.) and acyclic generating cofibrations (def. ) of $Top_k$, respectively.
These are going to be called the generating cofibrations and acyclic generating cofibrations for the projective model structure on topologically enriched functors on $\mathcal{C}$.
Similarly, for $\mathcal{C}$ a pointed topologically enriched category, write
and
for the same construction applied to the pointed generating (acyclic) cofibrations of def. .
By the Top-enriched Yoneda lemma, prop. , and the defining property of tensoring over $Top_k$, there are natural bijections
between
natural transformations from $y(c)\cdot X$ (the tensoring with $X \in Top_k$ of the representable functor of $c\in Obj(\mathcal{C})$) to some topologically enriched functor $F$ ,
continuous functions from $X$ to the value of that topological functor on the object $c$.
Given a small (pointed) topologically enriched category $\mathcal{C}$, def. , say that a morphism in the category of (pointed) topologically enriched copresheaves $[\mathcal{C}, Top_k]$ ($[\mathcal{C},Top_k^{\ast/}]$), example , hence a natural transformation between topologically enriched functors, $\eta \colon F \to G$ is
a projective weak equivalence, if for all $c\in Obj(\mathcal{C})$ the component $\eta_c \colon F(c) \to G(c)$ is a weak homotopy equivalence (def. );
a projective fibration if for all $c\in Obj(\mathcal{C})$ the component $\eta_c \colon F(c) \to G(c)$ is a Serre fibration (def. );
a projective cofibration if it is a retract (rmk. ) of an $I_{Top}^{\mathcal{C}}$-relative cell complex (def. , def. ).
Write
for the category of topologically enriched functors equipped with these classes of morphisms.
The classes of morphisms in def. constitute a model category structure on $[\mathcal{C}, Top]$, called the projective model structure on enriched functors $[\mathcal{C}, Top_{Quillen}]_{proj}$.
Via remark , the statement essentially reduces objectwise to the proof of theorem :
In particular, the technical lemmas , and generalize immediately to the present situation, with the evident small change of wording.
For instance the fact that a morphism of topologically enriched functors $\eta \colon F \to G$ that has the right lifting property against the elements of $I_{Top}^{\mathcal{C}}$ is a projective weak equivalence, follows by noticing that remark gives a natural bijection of commuting diagrams (and their fillers) of the form
and hence the statement follows with part A) of the proof of lemma .
With these three lemmas in hand, the remaining formal part of the proof goes through verbatim as above: repeatedly use the small object argument and the retract argument to establish the two weak factorization systems. (While again the structure of a category with weak equivalences is evident.)
The same argument applies to functors with values in the classical model structure on pointed topological spaces
The strict Bousfield-Friedlander model structure on sequential spectra is equivalently the projective model structure on functors on the non-full subcategory of $Top^{\ast/}$ on the “standard spheres” (see at sequential spectrum – As diagram spectra)
The actual stable Bousfield-Friedlander model structure is then the left Bousfield localization of that at the stable weak homotopy equivalences.
The original article is
An expository, concise and comprehensive writeup of the proof of the model category axioms is in
Useful discussion of the issue of compactly generated topological spaces in the context of homotopy theory is in
Gaunce Lewis, Compactly generated spaces (pdf), appendix A of The Stable Category and Generalized Thom Spectra PhD thesis Chicago, 1978
Neil Strickland, The category of CGWH spaces, 2009 (pdf)
The observation that the proof directly extends to give the projective model structures on enriched functors, enriched over $Top_{Quillen}$, is due to
Robert Piacenza section 5 of Homotopy theory of diagrams and CW-complexes over a category, Can. J. Math. Vol 43 (4), 1991 (pdf)
also chapter VI of Peter May et al., Equivariant homotopy and cohomology theory, 1996 (pdf)
The quick way to see the topological enrichment is indicated for instance in
Last revised on August 22, 2020 at 14:33:25. See the history of this page for a list of all contributions to it.