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
The term convenient category of topological spaces is used (e.g. Steenrod 67) for a category of topological spaces nice enough to address many of the needs of working topologists, notably including the condition of being a cartesian closed category. As such, they are examples of nice categories of spaces.
A primary example is the category of compactly generated spaces.
While the authors of this article don’t know whether there exists in the literature a widely accepted definition of “convenient category of topological spaces”, we propose the following definition as reasonable and convenient (see also the discussion below on the distinction between “nice” and “convenient”):
A convenient category of topological spaces is a full replete subcategory $C$ of the category of all topological spaces Top such that the following conditions 1-3 hold:
Every CW complex is an object of $C$;
$C$ is cartesian closed;
$C$ is complete and cocomplete.
Frequently it is also felt desirable to add closure under certain types of subspaces. For instance, in the well-known examples one has
At times one might hope that $C$ is closed under open subspaces as well, but this does not hold for all objects in some of the well-known examples of convenient categories.
It may be well to note that colimits and limits in $C$ need not agree with the corresponding colimits and limits in $Top$, except under certain conditions. Some convenient categories are reflective or coreflective in $Top$, in which case they are closed under limits or colimits respectively. Moreover, because $C$ is a full subcategory of $Top$ which contains all CW complexes, the usual sorts of colimits used to present CW complexes are the same whether interpreted in $Top$ or in $C$. Also, if $C$ is closed under closed subspaces, then an equalizer of a pair of maps between Hausdorff spaces in $C$ (being a closed subspace) is the same whether computed in $Top$ or in $C$.
On the other hand, products of $C$-objects in $Top$ need not land in $C$, so in that situation the product in $Top$ and the product in $C$ do not agree. This is in particular the case for compactly generated spaces. In fact, the “compactly generated product?” is sometimes preferable to the $Top$-product for more explicit reasons: for instance, if $X$ and $Y$ are CW complexes, then $X \times Y$ need not be a CW complex in the usual product topology, but it is in the compactly generated topology.
The original example of a convenient category of topological spaces is described at
and there are closely related convenient categories, including for example the category of compactly generated weakly Hausdorff spaces?. The article by Neil Strickland (ref), written with the needs of algebraic topology in mind, covers the latter example in thorough detail.
Another example is
see there for more.
A reasonably large class of examples, including the examples of compactly generated spaces and sequential spaces, is given in the article by Escardó, Lawson, and Simpson (ref). These may be outlined as follows. An exponentiable space in $Top$ is a space $X$ such that $X \times -: Top \to Top$ has a right adjoint. These may be described concretely as core-compact spaces (spaces whose topology is a continuous lattice). Suppose given a collection $\mathcal{C}$ of core-compact spaces, with the property that the product of any two spaces in $\mathcal{C}$ is a colimit in $Top$ of spaces in $\mathcal{C}$. Such a collection $\mathcal{C}$ is called productive. Spaces which are $Top$-colimits of spaces in $\mathcal{C}$ are called $\mathcal{C}$-generated.
(Escardó, Lawson, Simpson)
If $\mathcal{C}$ is a productive class, then the full subcategory of $Top$ whose objects are $\mathcal{C}$-generated is a coreflective subcategory of $Top$ (hence complete and cocomplete) that is cartesian closed.
The other convenience conditions listed in this article (inclusion of CW-complexes, closure under closed subspaces) are in practice usually satisfied as well. For example, if closed subspaces of objects of $\mathcal{C}$ are $\mathcal{C}$-generated, then closed subspaces of $\mathcal{C}$-generated spaces are also $\mathcal{C}$-generated. If the unit interval $I$ is $\mathcal{C}$-generated, then so are all CW-complexes.
A naive approach to the problem of constructing “convenient categories” usually runs into problems. For example, one could try to work with the full subcategory of $Top$ consisting of exponentiable spaces; the problem is that even if $X$ and $Y$ are exponentiable, the exponential $Y^X$ may not be:
To see this, we recall that a Hausdorff space is exponentiable if and only if it is locally compact, and that an exponential $Y^X$ (provided it exists) is Hausdorff if $Y$ is. Thus, it is enough to exhibit two locally compact Hausdorff spaces $X$, $Y$ whose exponential is not locally compact.
Take $X = \mathbb{R}$ with its usual topology and $Y = \mathbb{N}$ (the set of natural numbers) with the discrete topology. Suppose that an exponential $\mathbb{R}^\mathbb{N}$ exists in the category of locally compact Hausdorff spaces. Then it must be a countable product of copies of $\mathbb{R}$ by the following calculation:
where the last functor in $X$, in order to be representable, would have to be represented by a product $\prod_{\mathbb{N}} \mathbb{R}$. Using the universal property of products, one may easily exhibit a scalar multiplication
rendering $\mathbb{R}^{\mathbb{N}}$ a topological vector space (a TVS) over the real numbers. But it is well-known that locally compact TVS are finite-dimensional, and we have reached an absurdity.
Similarly, the topological product $\mathbb{N}^{\mathbb{N}}$ is homeomorphic to Baire space, and this is not locally compact either.
A related entry is nice category of spaces. Here we explain the difference between “convenient” and “nice” categories of spaces.
“A convenient category of topological spaces” is the title of a well-known paper by Norman Steenrod, who emphasized particularly function space constructions (i.e., cartesian closure) as a great convenience for working algebraic topologists, on top of (generally less problematic) completeness and cocompleteness assumptions. (See also the historical remarks that follow.)
It is well-known that $Top$ is not cartesian closed. One can characterize the exponentiable spaces, which include all locally compact Hausdorff spaces, but as we saw above, the naive idea of simply cutting down to some of these does not give a good cartesian closed category either, since firstly it need not be complete and cocomplete, and secondly even if $X$ and $Y$ are exponentiable, the exponential $Y^X$ need not be.
However, one can cut down to some full subcategory of spaces which does admit function spaces. This typically involves the subtle and delicate interplay between compactness conditions and openness conditions. It comes at a cost – that limits and/or colimits in the subcategory might not be computed as they are in $Top$ – but this is generally considered a very small price to pay in exchange for the great convenience of these assumptions.
That a convenient category of topological spaces contains all the CW complexes was not explicitly declared by Steenrod, but we feel certain that algebraic topologists want these as part of their convenient category. In practice this is a mild assumption, because the usual examples certainly contain all finite topological products of the unit interval $I$, and are closed under those $Top$-colimits used to present CW complexes, as built inductively from the basic spaces $I^n \cong D^n$.
“Nice categories of spaces” should be thought of as a wider and vaguer term; it really means the category of spaces has “nice” categorical properties for some mathematical purpose at hand. Certainly any convenient category of spaces should be considered a nice category of spaces for the general purposes of algebraic topology. On the other hand, there are categories of spaces which are not “convenient” in the technical sense described above, but which may be very nice for certain purposes.
For example, the category of compact Hausdorff spaces can be considered as being very nice for certain purposes. For instance, it is monadic over $Set$ (!) and a pretopos. It is, however, not “convenient”, as it very far from being cartesian closed. In a different direction, there is the (complete, cocomplete) cartesian closed category of equilogical spaces, but this is not a full subcategory of $Top$, and the core concerns of mathematicians working with equilogical spaces are somewhat different from those of algebraic topologists.
It should also be noted that “space” itself has a wider meaning than the technical notion of “topological space”, even if topological intuitions come into play. For example, in domain theory, one often considers certain types of posets (for example, dcpos) as certain types of “spaces”. In this direction, we have that the category of dcpos and Scott-continuous maps between them forms a complete, cocomplete, cartesian closed category. However, these types of spaces are quite far removed from the traditional concerns of topology, hence are not “convenient” in the sense given above (despite the manifold relations between Scott continuity and the point-set topology which underlies the classical results on compactly generated spaces). In another direction, the category of locales is in some respects “nice”, but these are not topological spaces either.
Along with the entry on nice category of spaces and the examples above, see Johnstone's topological topos and Spanier’s quasitopological spaces (ref). None of these is convenient in the precise sense above. However there are advantages in having a category which is not only cartesian closed but also locally cartesian closed. In algebraic topology, this has led to Peter Booth’s work on “fibred mapping spaces” (ref), (ref).
There are possible advantages in homotopy theory of using a “topological topos”, (Johnstone ref), Harasani ref).
The phrase “convenient category of topological spaces” predates Steenrod’s paper by a number of years. Indeed, Ronnie Brown 1963 had written the following in the Introduction to his paper Ten topologies for $X \times Y$:
The requirements for convenience were spelled out in the sequel.
In fact, Brown (not Steenrod, as has sometimes been assumed) was the first to prove that Hausdorff k-spaces (with the “kelleyfied” weakening of the compact–open topology on function spaces) formed what is now called a cartesian closed category (see his 1961 thesis); this work was influenced by the paper of Cohen listed below. Note Brown’s work predates the formal introduction of cartesian closed categories in Bill Lawvere‘s thesis by a couple of years; in fact there is clear anticipation in Brown’s thesis of the notions of monoidal closed and cartesian closed categories, which was to attract much attention throughout the sixties. Further, Brown’s results on the topological case are more precise than Steenrod’s, since the 1964 paper deals with functions continuous on compact subsets, and for these obtains a homeomorphism without kellyfication. An account of this may be found in the book Topology and Groupoids.
Of course, as has often been emphasized by Lawvere, the need for and convenience of considering function spaces is a very old idea in geometry (going back to the roots of the calculus of variations, for example). The constructions of exponentials of topological spaces via the compact–open topology had been known for a long time; see for example John Kelley‘s General Topology (1955). The relevance of what are today called Kelley spaces (or k-spaces^{1}) had also been recognized; for example, Kelley’s book indicates the completeness of function spaces (wrt the compact–open topology) when the base is a complete uniform space and the exponent is a k-space. However, the problem of obtaining a class of spaces closed under function spaces wasn’t solved prior to Brown’s thesis. Brown also observed the relevance of k-spaces to studies of how products interact with quotient spaces. The general appreciation of the connection between cartesian closure and preservation of quotients under products came with the appreciation of the conceptual simplicity of categorical adjunctions, namely the point that the functor $- \times X$ preserves colimits if it has an exponential right adjoint $(-)^X$. The question also solved in Brown’s 1964 paper was to give, in the Hausdorff case, a left adjoint to the functor $(-)^Y$ when the function spaces have the compact-open topology, and so to give a monoidal closed structure on the category of Hausdorff spaces; the generalisation to the non-Hausdorff case is given in the paper of Booth and Tillotson listed below.
Appreciation of the role of convenient categories was in full force by the early seventies (for a sample, see Peter May‘s Geometry of Iterated Loop Spaces, where the category of Hausdorff k-spaces plays a foundational role). The notion of a “convenient category” is recognized elsewhere too (and not just within the categorical and algebraic topology communities); see for example the book by Kriegl and Michor.
Booth, Peter I. The exponential law of maps. II. Math. Z. 121 (1971), 311–319.
Ronnie Brown, Some problems of algebraic topology: a study of function spaces, function complexes, and FD-complexes, DPhil thesis, Oxford University, 1961 (Note: the Appendix of this thesis was withdrawn from the examination.) (pdf)
Ronnie Brown, Ten topologies for $X\times Y$, Quart. J.Math. (2) 14 (1963), 303–319. (pdf)
Ronnie Brown, Function spaces and product topologies, Quart. J. Math. (2) 15 (1964), 238–250. (pdf)
Ronnie BrownTopology and Groupoids, Booksurge (2006), available from amazon: Section 5.9: Spaces of functions and the compact-open topology.
Cohen, D. E. Spaces with weak topology, Quart. J. Math., (2) 5 (1954) 77–-80.
Crabb, Michael; James, Ioan, Fibrewise homotopy theory.
Springer Monographs in Mathematics. Springer-Verlag London, Ltd., London, 1998. viii+341 pp. ISBN: 1-85233-014-7
Norman Steenrod, A convenient category of topological spaces, Michigan Math. J. 14 (1967) 133–152 (euclid:mmj/1028999711)
Booth, P.; Tillotson, J., Monoidal closed, Cartesian closed and convenient categories of topological spaces. Pacific J. Math. 88 (1980), no. 1, 35–53. project euclid
Peter Johnstone, On a topological topos, Proc. London Math. Soc. (3) 38 (1979) 237–271.
Harasani, Hamed A. Topos theoretic methods in general topology, PhD Thesis, University of Wales, Bangor, (1988) (link to pdf files).
Edwin Spanier, Quasi-topologies, Duke Mathematical Journal 30 (1) (1963), 1–14.
Andreas Kriegl; Peter Michor , The Convenient Setting of Global Analysis, Mathematical Surveys and Monographs, Volume 53. American Mathematical Society, Providence, RI (1997).
M. Escardó, J.Lawson, A. Simpson, Comparing Cartesian closed categories of (core) compactly generated spaces, Topology and its Applications, 143 (2004), 105–145. (link to ps file)
Neil Strickland, The Category of CGWH Spaces). (online article)
Gerhard Preuß, Foundations of topology: an approach to convenient topology, Kluwer, Dordrecht/ Boston 2002, survey in: Convenient topology – a new branch of topology (web)
The ‘$k$’ certainly refers to ‘kompakt’ rather than Kelley’s initial. ↩
Last revised on March 13, 2021 at 10:43:00. See the history of this page for a list of all contributions to it.