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 spatial locale is a locale that comes from a topological space. This is an extra property of locales, a property of having enough points.
Let $X$ be a topological space. Then we may define a locale, denoted $\Omega(X)$, whose frame of opens is precisely the frame of open subspaces of $X$.
A locale is spatial if it is isomorphic to $\Omega(X)$ for some topological space $X$.
A locale $L$ has enough points if, given any two opens $U$ and $V$ in $L$, $U = V$ if (hence iff) precisely the same points of $L$ belong to $U$ as belong to $V$.
The following conditions are all logically equivalent on a locale $L$:
(It would be nice to state this as a theorem and put in a proof.)
Basically, what is going on here is that we have an idempotent adjunction from topological spaces to locales, and the spatial locales comprise the image of this adjunction. The corresponding condition on topological spaces is being sober.
Therefore, the full subcategory of $Loc$ on the spatial locales is equivalent to the full subcategory of $Top$ on sober spaces.
The term ‘spatial locale’ can be confusing; it suggests a locale in Top or in some category Sp of spaces, which is not correct. Instead, the adjective ‘spatial’ should be taken in the same vein as ‘localic’ in ‘localic topos’ or ‘topological’ in ‘topological convergence’. These two terms also suggest that these other locales are not spaces, which is incorrect.
The really clear term for a spatial locale is ‘locale with enough points to separate the opens’, but ‘locale with enough points’ should be unambiguous. However, it is still a bit long. Occasionally one sees ‘spacial’ instead of ‘spatial’.
Assuming the axiom of choice, locally compact locales are spatial. In particular, compact regular locales are locally compact, hence automatically spatial.
Any coherent locale is also spatial.
More generally, the meet of a countable family of open sublocales (i.e., a $G_\delta$-sublocale) of a compact regular locale is spatial.
The completion of a uniform locale with a countable basis of uniformity is spatial.
Stonean locales are spatial.
Last revised on February 3, 2021 at 14:26:49. See the history of this page for a list of all contributions to it.