Compactly generated space

Last updated

In topology, a topological space is called a compactly generated space or k-space if its topology is determined by compact spaces in a manner made precise below. There is in fact no commonly agreed upon definition for such spaces, as different authors use variations of the definition that are not exactly equivalent to each other. Also some authors include some separation axiom (like Hausdorff space or weak Hausdorff space) in the definition of one or both terms, and others don't.

Contents

In the simplest definition, a compactly generated space is a space that is coherent with the family of its compact subspaces, meaning that for every set is open in if and only if is open in for every compact subspace Other definitions use a family of continuous maps from compact spaces to and declare to be compactly generated if its topology coincides with the final topology with respect to this family of maps. And other variations of the definition replace compact spaces with compact Hausdorff spaces.

Compactly generated spaces were developed to remedy some of the shortcomings of the category of topological spaces. In particular, under some of the definitions, they form a cartesian closed category while still containing the typical spaces of interest, which makes them convenient for use in algebraic topology.

Definitions

General framework for the definitions

Let be a topological space, where is the topology, that is, the collection of all open sets in

There are multiple (non-equivalent) definitions of compactly generated space or k-space in the literature. These definitions share a common structure, starting with a suitably specified family of continuous maps from some compact spaces to The various definitions differ in their choice of the family as detailed below.

The final topology on with respect to the family is called the k-ification of Since all the functions in were continuous into the k-ification of is finer than (or equal to) the original topology . The open sets in the k-ification are called the k-open sets in they are the sets such that is open in for every in Similarly, the k-closed sets in are the closed sets in its k-ification, with a corresponding characterization. In the space every open set is k-open and every closed set is k-closed. The space together with the new topology is usually denoted [1]

The space is called compactly generated or a k-space (with respect to the family ) if its topology is determined by all maps in , in the sense that the topology on is equal to its k-ification; equivalently, if every k-open set is open in or if every k-closed set is closed in or in short, if

As for the different choices for the family , one can take all the inclusions maps from certain subspaces of for example all compact subspaces, or all compact Hausdorff subspaces. This corresponds to choosing a set of subspaces of The space is then compactly generated exactly when its topology is coherent with that family of subspaces; namely, a set is open (resp. closed) in exactly when the intersection is open (resp. closed) in for every Another choice is to take the family of all continuous maps from arbitrary spaces of a certain type into for example all such maps from arbitrary compact spaces, or from arbitrary compact Hausdorff spaces.

These different choices for the family of continuous maps into lead to different definitions of compactly generated space. Additionally, some authors require to satisfy a separation axiom (like Hausdorff or weak Hausdorff) as part of the definition, while others don't. The definitions in this article will not comprise any such separation axiom.

As an additional general note, a sufficient condition that can be useful to show that a space is compactly generated (with respect to ) is to find a subfamily such that is compactly generated with respect to For coherent spaces, that corresponds to showing that the space is coherent with a subfamily of the family of subspaces. For example, this provides one way to show that locally compact spaces are compactly generated.

Below are some of the more commonly used definitions in more detail, in increasing order of specificity.

For Hausdorff spaces, all three definitions are equivalent. So the terminology compactly generated Hausdorff space is unambiguous and refers to a compactly generated space (in any of the definitions) that is also Hausdorff.

Definition 1

Informally, a space whose topology is determined by its compact subspaces, or equivalently in this case, by all continuous maps from arbitrary compact spaces.

A topological space is called compactly-generated or a k-space if it satisfies any of the following equivalent conditions: [2] [3] [4]

(1) The topology on is coherent with the family of its compact subspaces; namely, it satisfies the property:
a set is open (resp. closed) in exactly when the intersection is open (resp. closed) in for every compact subspace
(2) The topology on coincides with the final topology with respect to the family of all continuous maps from all compact spaces
(3) is a quotient space of a topological sum of compact spaces.
(4) is a quotient space of a weakly locally compact space.

As explained in the final topology article, condition (2) is well-defined, even though the family of continuous maps from arbitrary compact spaces is not a set but a proper class.

The equivalence between conditions (1) and (2) follows from the fact that every inclusion from a subspace is a continuous map; and on the other hand, every continuous map from a compact space has a compact image and thus factors through the inclusion of the compact subspace into

Definition 2

Informally, a space whose topology is determined by all continuous maps from arbitrary compact Hausdorff spaces.

A topological space is called compactly-generated or a k-space if it satisfies any of the following equivalent conditions: [5] [6] [7]

(1) The topology on coincides with the final topology with respect to the family of all continuous maps from all compact Hausdorff spaces In other words, it satisfies the condition:
a set is open (resp. closed) in exactly when is open (resp. closed) in for every compact Hausdorff space and every continuous map
(2) is a quotient space of a topological sum of compact Hausdorff spaces.
(3) is a quotient space of a locally compact Hausdorff space.

As explained in the final topology article, condition (1) is well-defined, even though the family of continuous maps from arbitrary compact Hausdorff spaces is not a set but a proper class. [5]

Every space satisfying Definition 2 also satisfies Definition 1. The converse is not true. For example, the one-point compactification of the Arens-Fort space is compact and hence satisfies Definition 1, but it does not satisfies Definition 2.

Definition 2 is the one more commonly used in algebraic topology. This definition is often paired with the weak Hausdorff property to form the category CGWH of compactly generated weak Hausdorff spaces.

Definition 3

Informally, a space whose topology is determined by its compact Hausdorff subspaces.

A topological space is called compactly-generated or a k-space if its topology is coherent with the family of its compact Hausdorff subspaces; namely, it satisfies the property:

a set is open (resp. closed) in exactly when the intersection is open (resp. closed) in for every compact Hausdorff subspace

Every space satisfying Definition 3 also satisfies Definition 2. The converse is not true. For example, the Sierpiński space with topology does not satisfy Definition 3, because its compact Hausdorff subspaces are the singletons and , and the coherent topology they induce would be the discrete topology instead. On the other hand, it satisfies Definition 2 because it is homeomorphic to the quotient space of the compact interval obtained by identifying all the points in

By itself, Definition 3 is not quite as useful as the other two definitions as it lacks some of the properties implied by the others. For example, every quotient space of a space satisfying Definition 1 or Definition 2 is a space of the same kind. But that does not hold for Definition 3.

However, for weak Hausdorff spaces Definitions 2 and 3 are equivalent. [8] Thus the category CGWH can also be defined by pairing the weak Hausdorff property with Definition 3, which may be easier to state and work with than Definition 2.

Motivation

Compactly generated spaces were originally called k-spaces, after the German word kompakt. They were studied by Hurewicz, and can be found in General Topology by Kelley, Topology by Dugundji, Rational Homotopy Theory by Félix, Halperin, and Thomas.

The motivation for their deeper study came in the 1960s from well known deficiencies of the usual category of topological spaces. This fails to be a cartesian closed category, the usual cartesian product of identification maps is not always an identification map, and the usual product of CW-complexes need not be a CW-complex. [9] By contrast, the category of simplicial sets had many convenient properties, including being cartesian closed. The history of the study of repairing this situation is given in the article on the nLab on convenient categories of spaces.

The first suggestion (1962) to remedy this situation was to restrict oneself to the full subcategory of compactly generated Hausdorff spaces, which is in fact cartesian closed. These ideas extend on the de Vries duality theorem. A definition of the exponential object is given below. Another suggestion (1964) was to consider the usual Hausdorff spaces but use functions continuous on compact subsets.

These ideas generalize to the non-Hausdorff case; [10] i.e. with a different definition of compactly generated spaces. This is useful since identification spaces of Hausdorff spaces need not be Hausdorff. [11]

In modern-day algebraic topology, this property is most commonly coupled with the weak Hausdorff property, so that one works in the category CGWH of compactly generated weak Hausdorff spaces.

Examples

As explained in the Definitions section, there is no universally accepted definition in the literature for compactly generated spaces; but Definitions 1, 2, 3 from that section are some of the more commonly used. In order to express results in a more concise way, this section will make use of the abbreviations CG-1, CG-2, CG-3 to denote each of the three definitions unambiguously. This is summarized in the table below (see the Definitions section for other equivalent conditions for each).

AbbreviationMeaning summary
CG-1 Topology coherent with family of its compact subspaces
CG-2 Topology same as final topology with respect to continuous maps from arbitrary compact Hausdorff spaces
CG-3 Topology coherent with family of its compact Hausdorff subspaces

For Hausdorff spaces the properties CG-1, CG-2, CG-3 are equivalent. Such spaces can be called compactly generated Hausdorff without ambiguity.

Every CG-3 space is CG-2 and every CG-2 space is CG-1. The converse implications do not hold in general, as shown by some of the examples below.

For weak Hausdorff spaces the properties CG-2 and CG-3 are equivalent. [8]

Sequential spaces are CG-2. [12] This includes first countable spaces, Alexandrov-discrete spaces, finite spaces.

Every CG-3 space is a T1 space (because given a singleton its intersection with every compact Hausdorff subspace is the empty set or a single point, which is closed in hence the singleton is closed in ). Finite T1 spaces have the discrete topology. So among the finite spaces, which are all CG-2, the CG-3 spaces are the ones with the discrete topology. Any finite non-discrete space, like the Sierpiński space, is an example of CG-2 space that is not CG-3.

Compact spaces and weakly locally compact spaces are CG-1, but not necessarily CG-2 (see examples below).

Compactly generated Hausdorff spaces include the Hausdorff version of the various classes of spaces mentioned above as CG-1 or CG-2, namely Hausdorff sequential spaces, Hausdorff first countable spaces, locally compact Hausdorff spaces, etc. In particular, metric spaces and topological manifolds are compactly generated. CW complexes are also Hausdorff compactly generated.

To provide examples of spaces that are not compactly generated, it is useful to examine anticompact [13] spaces, that is, spaces whose compact subspaces are all finite. If a space is anticompact and T1, every compact subspace of has the discrete topology and the corresponding k-ification of is the discrete topology. Therefore, any anticompact T1 non-discrete space is not CG-1. Examples include:

Other examples of (Hausdorff) spaces that are not compactly generated include:

For examples of spaces that are CG-1 and not CG-2, one can start with any space that is not CG-1 (for example the Arens-Fort space or an uncountable product of copies of ) and let be the one-point compactification of The space is compact, hence CG-1. But it is not CG-2 because open subspaces inherit the CG-2 property and is an open subspace of that is not CG-2.

Properties

(See the Examples section for the meaning of the abbreviations CG-1, CG-2, CG-3.)

Subspaces

Subspaces of a compactly generated space are not compactly generated in general, even in the Hausdorff case. For example, the ordinal space where is the first uncountable ordinal is compact Hausdorff, hence compactly generated. Its subspace with all limit ordinals except removed is isomorphic to the Fortissimo space, which is not compactly generated (as mentioned in the Examples section, it is anticompact and non-discrete). [16] Another example is the Arens space, [17] [18] which is sequential Hausdorff, hence compactly generated. It contains as a subspace the Arens-Fort space, which is not compactly generated.

In a CG-1 space, every closed set is CG-1. The same does not hold for open sets. For instance, as shown in the Examples section, there are many spaces that are not CG-1, but they are open in their one-point compactification, which is CG-1.

In a CG-2 space every closed set is CG-2; and so is every open set (because there is a quotient map for some locally compact Hausdorff space and for an open set the restriction of to is also a quotient map on a locally compact Hausdorff space). The same is true more generally for every locally closed set, that is, the intersection of an open set and a closed set. [19]

In a CG-3 space, every closed set is CG-3.

Quotients

The disjoint union of a family of topological spaces is CG-1 if and only if each space is CG-1. The corresponding statements also hold for CG-2 [20] [21] and CG-3.

A quotient space of a CG-1 space is CG-1. [22] In particular, every quotient space of a weakly locally compact space is CG-1. Conversely, every CG-1 space is the quotient space of a weakly locally compact space, which can be taken as the disjoint union of the compact subspaces of [22]

A quotient space of a CG-2 space is CG-2. [23] In particular, every quotient space of a locally compact Hausdorff space is CG-2. Conversely, every CG-2 space is the quotient space of a locally compact Hausdorff space. [24] [25]

A quotient space of a CG-3 space is not CG-3 in general. In fact, every CG-2 space is a quotient space of a CG-3 space (namely, some locally compact Hausdorff space); but there are CG-2 spaces that are not CG-3. For a concrete example, the Sierpiński space is not CG-3, but is homeomorphic to the quotient of the compact interval obtained by identifying to a point.

More generally, any final topology on a set induced by a family of functions from CG-1 spaces is also CG-1. And the same holds for CG-2. This follows by combining the results above for disjoint unions and quotient spaces, together with the behavior of final topologies under composition of functions.

A wedge sum of CG-1 spaces is CG-1. The same holds for CG-2. This is also an application of the results above for disjoint unions and quotient spaces.

Products

The product of two compactly generated spaces need not be compactly generated, even if both spaces are Hausdorff and sequential. For example, the space with the subspace topology from the real line is first countable; the space with the quotient topology from the real line with the positive integers identified to a point is sequential. Both spaces are compactly generated Hausdorff, but their product is not compactly generated. [26]

However, in some cases the product of two compactly generated spaces is compactly generated:

When working in a category of compactly generated spaces (like all CG-1 spaces or all CG-2 spaces), the usual product topology on is not compactly generated in general, so cannot serve as a categorical product. But its k-ification does belong to the expected category and is the categorical product. [30] [31]

Continuity of functions

The continuous functions on compactly generated spaces are those that behave well on compact subsets. More precisely, let be a function from a topological space to another and suppose the domain is compactly generated according to one of the definitions in this article. Since compactly generated spaces are defined in terms of a final topology, one can express the continuity of in terms of the continuity of the composition of with the various maps in the family used to define the final topology. The specifics are as follows.

If is CG-1, the function is continuous if and only if the restriction is continuous for each compact [32]

If is CG-2, the function is continuous if and only if the composition is continuous for each compact Hausdorff space and continuous map [33]

If is CG-3, the function is continuous if and only if the restriction is continuous for each compact Hausdorff

Miscellaneous

For topological spaces and let denote the space of all continuous maps from to topologized by the compact-open topology. If is CG-1, the path components in are precisely the homotopy equivalence classes. [34]

K-ification

Given any topological space we can define a possibly finer topology on that is compactly generated, sometimes called the k-ification of the topology. Let denote the family of compact subsets of We define the new topology on by declaring a subset to be closed if and only if is closed in for each index Denote this new space by One can show that the compact subsets of and coincide, and the induced topologies on compact subsets are the same. It follows that is compactly generated. If was compactly generated to start with then Otherwise the topology on is strictly finer than (i.e., there are more open sets).

This construction is functorial. We denote the full subcategory of with objects the compactly generated spaces, and the full subcategory of with objects the Hausdorff spaces. The functor from to that takes to is right adjoint to the inclusion functor

The exponential object in is given by where is the space of continuous maps from to with the compact-open topology.

These ideas can be generalized to the non-Hausdorff case. [10] This is useful since identification spaces of Hausdorff spaces need not be Hausdorff.

See also

Notes

  1. Strickland 2009, Definition 1.1.
  2. Lawson, J.; Madison, B. (1974). "Quotients of k-semigroups". Semigroup Forum. 9: 1–18. doi:10.1007/BF02194829.
  3. Willard 2004, Definition 43.8.
  4. Munkres 2000, p. 283.
  5. 1 2 Brown 2006, p. 182.
  6. Strickland 2009.
  7. compactly generated topological space at the nLab
  8. 1 2 Strickland 2009, Lemma 1.4(c).
  9. Hatcher, Allen (2001). Algebraic Topology (PDF). (See the Appendix)
  10. 1 2 Brown 2006, section 5.9.
  11. Booth, Peter; Tillotson, J. (1980). "Monoidal closed, Cartesian closed and convenient categories of topological spaces" (PDF). Pacific Journal of Mathematics. 88 (1): 35–53. doi:10.2140/pjm.1980.88.35.
  12. Strickland 2009, Proposition 1.6.
  13. Bankston, Paul (1979). "The total negation of a topological property". Illinois Journal of Mathematics. 23 (2): 241–252. doi: 10.1215/ijm/1256048236 .
  14. Steen & Seebach 1995, Example 114, p. 136.
  15. Willard 2004, Problem 43H(2).
  16. Lamartin 1977, p. 8.
  17. Engelking 1989, Example 1.6.19.
  18. Ma, Dan (19 August 2010). "A note about the Arens' space".
  19. Lamartin 1977, Proposition 1.8.
  20. Strickland 2009, Proposition 2.2.
  21. Rezk 2018, Proposition 3.4(3).
  22. 1 2 Lawson & Madison 1974, p. 3.
  23. Brown 2006, 5.9.1 (Corollary 2).
  24. Brown 2006, Proposition 5.9.1.
  25. Lamartin 1977, Proposition 1.7.
  26. Engelking 1989, Example 3.3.29.
  27. Lawson & Madison 1974, Proposition 1.2.
  28. Strickland 2009, Proposition 2.6.
  29. Rezk 2018, Proposition 7.5.
  30. Lamartin 1977, Proposition 1.11.
  31. Rezk 2018, section 3.5.
  32. Willard 2004, Theorem 43.10.
  33. Strickland 2009, Proposition 1.11.
  34. Willard 2004, Problem 43J(1).

Related Research Articles

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate.

In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space is any completely regular space that is also a Hausdorff space; there exist completely regular spaces that are not Tychonoff.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology. For a list of terms specific to algebraic topology, see Glossary of algebraic topology.

<span class="mw-page-title-main">Topological group</span> Group that is a topological space with continuous group action

In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Other well-known examples of TVSs include Banach spaces, Hilbert spaces and Sobolev spaces.

In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a closed set is a set which is closed under the limit operation. This should not be confused with a closed manifold.

In mathematics, a base (or basis; pl.: bases) for the topology τ of a topological space (X, τ) is a family of open subsets of X such that every open set of the topology is equal to the union of some sub-family of . For example, the set of all open intervals in the real number line is a basis for the Euclidean topology on because every open interval is an open set, and also every open subset of can be written as a union of some family of open intervals.

<span class="mw-page-title-main">General topology</span> Branch of topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In topology, a subbase for a topological space with topology is a subcollection of that generates in the sense that is the smallest topology containing as open sets. A slightly different definition is used by some authors, and there are other useful equivalent formulations of the definition; these are discussed below.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In mathematics, a function between topological spaces is called proper if inverse images of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism.

In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.

In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed “size”.

In general topology and related areas of mathematics, the final topology on a set with respect to a family of functions from topological spaces into is the finest topology on that makes all those functions continuous.

In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces are sequential.

In topology, a coherent topology is a topology that is uniquely determined by a family of subspaces. Loosely speaking, a topological space is coherent with a family of subspaces if it is a topological union of those subspaces. It is also sometimes called the weak topology generated by the family of subspaces, a notion that is quite different from the notion of a weak topology generated by a set of maps.

In mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. In particular, every Hausdorff space is weak Hausdorff. As a separation property, it is stronger than T1, which is equivalent to the statement that points are closed. Specifically, every weak Hausdorff space is a T1 space.

In mathematics, a polyadic space is a topological space that is the image under a continuous function of a topological power of an Alexandroff one-point compactification of a discrete space.

In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by Cauchy nets or Cauchy filters, which are generalizations of Cauchy sequences, while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.

References

Further reading