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
A directed topological space is a topological space in which there is some ‘sense of direction’. This can happen in various different ways and the level of the ‘directedness’ can be different in different situations, so naturally there are several ‘competing’ ideas, but the beginning of a consensus on what the overarching idea is.
If one bases homotopy theory on the idea of a singular simplex or more generally a singular cell of any shape, then there is no way in which a ‘sense of direction’ can be encode. If we have a path in a space we can go along it (traverse it) in either direction, from 0 to 1 or from 1 to 0. From this perspective a directed space is one in which not every singular cell (for the standard topological simplex) is supposed to be traversable in all directions, in some sense: instead these -dimensional paths may have a direction .
As an example one can base the ‘sense of direction’ on a closed preorder or partial order, (that is a pospace),so that the paths from the directed interval with the usual order to the space , can only be ‘traversed’ in one direction. Another example which does not fit into this first type would be the directed circle.
In other words, a circle with direction determined by the anticlockwise sense. Again it is easy to see that there are certain paths that respect the direction, ‘directed paths’ whilst others do not.
So far there exists a well-developed theory for a notion of directed spaces where 1-dimensional paths given by maps from the interval into the space are equipped with a direction. See in particular the book by Marco Grandis on Directed Algebraic Topology listed below. Another suggested notion for modelling directed spaces is that of framed spaces, which is tailored towards certain higher categorical applications.
Note that a directed space is like a generalised space; not every directed space need be a space in the traditional sense, in accordance with the red herring principle. As an instance of this, note that Marco Grandis in his book Directed Algebraic Topology handles the directed homotopy of small categories, and of cubical complexes, since this is useful for comparison an interpretation of directed homotopy ‘invariants’.
Directed spaces are studied in directed homotopy theory, a relatively young topic. In generalization of how a topological space has a fundamental groupoid, a directed space has a fundamental category.
From a homotopy theoretic perspective one would wish that notions of directed spaces might serve to generalize the homotopy hypothesis – which identifies ordinary (undirected) topological spaces with ∞-groupoids, i.e., with (∞,0)-categories – to a more general context where (∞,0)-categories are generalized to (∞,r)-categories with :
An (∞,r)-category in this context might correspond to a -directed topological space , one that comes equipped with a notion of orientation of its -cells for , but was impartial on direction above that dimension.
If such a definition exists, it may need to use filtered topological spaces instead of bare topological spaces.
Even in the absence of a homotopy-theoretic definition of -directed space in this sense, from the perspective of homotopy theory one might take the standpoint of the homotopy hypothesis and define a (nice) -directed space to be an (∞,r)-category, just as it makes good sense and is nowadays common practice in algebraic topology to define a nice topological space to be an ∞-groupoid.
See (n,r)-category for more on that.
A directed topological space or d-space is pair consisting of a topological space and a subset of continuous maps from the interval into – called directed paths or d-paths – satisfying the following conditions:
(constant paths) every constant map is directed,
(reparametrisation) is closed under composition with increasing maps ,
(concatenation) is closed under path-concatenation: if the d-paths are consecutive in , then their ordinary concatenation is also a d-path
A morphism of directed topological spaces is a morphism of topological spaces which preserves directed paths in that for every in the path is in .
Basic examples of -spaces include:
The standard directed interval is with the set of all monotonic continuous maps is a d-space
Any pospace gives rise to a d-space by taking the directed paths to be, well, directed paths, i.e. continuous order-preserving maps from to .
Many other example can be found in the references.
A different definition comes from Sanjeevi Krishnan, A Convenient Category of Locally Preordered Spaces, Applied Categorical Structures, 2009, vol. 17, no 5, p. 445-466 (arxiv):
Definition A stream is a tuple , where assigns to each open subset a preorder , such that:
Here, is a collection of open sets, and is pointwise or of relations.
Remarks
Another way to endow spaces with directions is via framings, i.e. choices of a “basis of the vector space of tangential directions at each point”. Somewhat abstracting this idea, frames may also be thought about in terms of projections, as the following remark motivates.
Let be an -dimensional vector space with an inner product . The following structures on are equivalent.
The two structures are related by setting to be the unit vector spanning such that recovers the orientation of (note that all canonically embed in as the orthogonal complement of the kernel of the composite map ).
In the absence of inner products, one cannot speak of orthonormal frames any longer. However, sequences of projections can still be defined, and may be regarded as playing the role of “metric-free orthonormal” frames. (A vaguely analogous line of thinking is that a Morse function provides useful “direction” information on , e.g. for the construction of handlebodies, that is ultimately independent from any chosen metric on .) Moreover, this approach offers room for generalization by varying the length of the projection sequence and the vector space dimensions.
The standard orthonormal frame of -dimensional euclidean space consists for the ordered sequence of vectors , , …, . By the previous remark, this orthonormal frame is equivalently described by the sequence of projections (each being endowed with standard orientation).
When forgetting basepoints, then the previous remark and example equally apply to affine spaces, now endowing each point in the space with a basis of frames. Using affine standard framed (or rather compact contractible patches of it, that interact nicely with the projections, see below) as our “local models” for framed spaces one may define global framed spaces and their maps.
Inductively in , an -framed patch is a non-empty subspace of with the property that its projection is an -framed patch, such that has fibers of the form for two continuous sections . Given two -framed patches and , a (partial) -framed patch map is a (partial) continuous map which descends along to a (partial) -framed patch map such that mappings of fibers are monotone.
Note that -framed patches are compact and contractible spaces.
The standard example of an -framed patch is the closed -cube . However, in general -framed patches need not be “-dimensional”: for instance, the th slice of the -cube is itself an -framed patch, and so are the “-directed intervals” .
Let be a topological space. Fix .
An -framed chart in is an embedding of a subspace whose image is an -framed patch.
Two -framed charts , in are compatible if is a partial map of -framed patches.
An -framed space is a space endowed with an -framing structure , which is an “atlas” of compatible -framed charts such that are a locally finite cover of .
The condition for covers to be locally finite is convenient as it describes the situation of locally finite cell complexes. However, the condition could be replaced, and the definition generalized, in several ways. The above version of the definition should be considered a first approximation to a potentially more general notion of framed spaces.
Maps of framed spaces could be defined along the following lines.
Given spaces with -framing structure then a framed map is a map such that for any charts and , yields a partial map of -framed patches.
Framed spaces and framed maps are, in a sense, “very rigid” variants of directed spaces. Nonetheless, they are interesting to study as they turn out to have a rich combinatorial theory associated to them. This combinatorial counterpart is particular useful when translating between the topology of directed spaces and the combinatorics of higher categories: an example of this is the definition of manifold diagrams in the language of framed spaces.
Realizations of geometric computads (resp. their functors) have the structure of framed spaces (resp. of framed maps), see Dorn23.
One may want to define directed paths in an -framed space as maps from “the framed interval” into that space: but, in fact, there are now different framed intervals, corresponding to the possible directions of -framings. These are precisely modelled by the -patches mentioned in a previous example. Note, there is a framed bijection if and only if (in particular, directions aren’t interchangeable at all: analogously, note that in an n-category a -morphisms can be (possibly degenerate) -morphisms only if ). Given a framed space , and defining , we thus obtain a filtration of directed paths:
instead of a single path subset , as required in the definition of -spaces.
The above definition of -spaces is from
This has now developed into a book
A discussion of reparameterization of directed paths in directed topological spaces is in
Further references are given in directed homotopy theory.
Some ‘local combinatorial’ aspects of framed spaces are discussed in:
A global (higher-categorical) perspective on directed spaces is taken in:
Last revised on May 13, 2023 at 12:30:45. See the history of this page for a list of all contributions to it.