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
If $\mathcal{O}(X)$ is the topology on a topological space $X$ (i.e. its frame of opens), and if a map $\mathcal{O}(X) \to \mathcal{O}(1)$ that preserves finite meets and arbitrary joins (a homomorphism of frames) is considered an instance of βseeing a point $1 \to X$β, then $X$ is sober precisely if every point we see is really there (i.e., is induced from a continuous function $1 \to X$), and if we never see double.
The condition that a topological space be sober is an extra condition akin to a separation axiom. In fact with classical logic it is a condition implied by the $T_2$ separation axiom (Hausdorff implies sober) and implying $T_0$.
separation axioms |
---|
$\array{\\ &&& T_2 = \text{Hausdorff} \\ && \swArrow && \seArrow \\ \, & T_1 && && \text{sober} & \, \\ && \seArrow && \swArrow \\ &&& T_0 = \text{Kolmogorov} \\ }$ |
(Note that this diagram is not a pullback β there are $T_1$ sober spaces which are not Hausdorff.)
But the sobriety condition on a topological space has deeper meaning. It means that continuous functions between sober topological spaces are entirely determined by their inverse image functions on the frames of opens, disregarding the underlying sets of points. Technically this means that the sober topological spaces are precisely the locales among the topological spaces.
A topological space $X$ is sober if its points are exactly determined by its lattice of open subsets. Different equivalent ways to say this are:
The continuous map from $X$ to the space of points of the locale that it gives rise to (see there for details) is a homeomorphism.
The function from points of $X$ to the completely prime filters of its open-set lattice is a bijection.
(Assuming classical logic) every irreducible closed set (non-empty closed set that is not the union of any two proper closed subsets) is the closure of a unique point.
In each case, half of the definition is that $X$ is T0, the other half states that $X$ has enough points:
A topological space $X$ has enough points if the following equivalent conditions hold:
The continuous map from $X$ to the space of points of the locale that it gives rise to (see there for details) is a quotient map.
The function from points of $X$ to the completely prime filters of its open-set lattice is a surjection.
(Assuming classical logic) every irreducible closed set (non-empty closed set that is not the union of any two proper closed subsets) is the closure of a point.
What makes the concept of sober topological spaces special is that for them the concept of continuous functions may be expressed entirely in terms of the relations between their open subsets, disregarding the underlying set of points of which these open are in fact subsets. In order to express this property (proposition below), we first introduce the following terminology:
Let $(X,\tau_X)$ and $(Y,\tau_Y)$ be topological spaces. Then a function
between their sets of open subsets is called a frame homomorphism if it preserves
arbitrary unions;
In other words, $\phi$ is a frame homomorphism if
for every set $I$ and every $I$-indexed set $\{U_i \in \tau_Y\}_{i \in I}$ of elements of $\tau_Y$, then
for every finite set $J$ and every $J$-indexed set $\{U_j \in \tau_Y\}$ of elements in $\tau_Y$, then
A frame homomorphism $\phi$ as in def. necessarily also preserves inclusions in that
for every inclusion $U_1 \subset U_2$ with $U_1, U_2 \in \tau_Y \subset P(Y)$ then
This is because inclusions are witnessed by unions
and by finite intersections:
For
a continuous function, then its function of pre-images
For sober topological spaces the converse holds:
If $(X,\tau_X)$ and $(Y,\tau_Y)$ are sober topological spaces, then for every frame homomorphism (def. )
there is a unique continuous function $f \colon X \to Y$ such that $\phi$ is the function of forming pre-images under $f$:
We prove this below, after the following lemma.
Let $\ast = (\{1\}, \tau_\ast = \left\{\emptyset, \{1\}\right\})$ be the point topological space.
For $(X,\tau)$ a topological space, then there is a bijection between the irreducible closed subspaces of $(X,\tau)$ and the frame homomorphisms from $\tau_X$ to $\tau_\ast$, given bys
where $U_\emptyset(\phi)$ is the union of all elements $U \in \tau_x$ such that $\phi(U) = \emptyset$:
See also (Johnstone 82, II 1.3).
First we need to show that the function is well defined in that given a frame homomorphism $\phi \colon \tau_X \to \tau_\ast$ then $X \backslash U_\emptyset(\phi)$ is indeed an irreducible closed subspace.
To that end observe that:
$(\ast)$ If there are two elements $U_1, U_2 \in \tau_X$ with $U_1 \cap U_2 \subset U_{\emptyset}(\phi)$ then $U_1 \subset U_{\emptyset}(\phi)$ or $U_2 \subset U_{\emptyset}(\phi)$.
This is because
where the first equality holds because $\phi$ preserves finite intersections by def. , the inclusion holds because $\phi$ respects inclusions by remark , and the second equality holds because $\phi$ preserves arbitrary unions by def. . But in $\tau_\ast = \{\emptyset, \{1\}\}$ the intersection of two open subsets is empty precisely if at least one of them is empty, hence $\phi(U_1) = \emptyset$ or $\phi(U_2) = \emptyset$. But this means that $U_1 \subset U_{\emptyset}(\phi)$ or $U_2 \subset U_{\emptyset}(\phi)$, as claimed.
Now according to this prop., the condition $(\ast)$ identifies the complement $X \backslash U_{\emptyset}(\phi)$ as an irreducible closed subspace of $(X,\tau)$.
Conversely, given an irreducible closed subset $X \backslash U_0$, define $\phi$ by
This does preserve
arbitrary unions
because $\phi(\underset{i}{\cup} U_i) = \{\emptyset\}$ precisely if $\underset{i}{\cup}U_i \subset U_0$ which is the case precisely if all $U_i \subset U_0$, which means that all $\phi(U_i) = \emptyset$ and because $\underset{i}{\cup}\emptyset = \emptyset$;
while $\phi(\underset{i}{\cup}U_1) = \{1\}$ as soon as one of the $U_i$ is not contained in $U_0$, which means that one of the $\phi(U_i) = \{1\}$ which means that $\underset{i}{\cup} \phi(U_i) = \{1\}$;
finite intersections
because if $U_1 \cap U_2 \subset U_0$, then by $(\ast)$ $U_1 \in U_0$ or $U_2 \in U_0$, whence $\phi(U_1) = \emptyset$ or $\phi(U_2) = \emptyset$, whence with $\phi(U_1 \cap U_2) = \emptyset$ also $\phi(U_1) \cap \phi(U_2) = \emptyset$;
while if $U_1 \cap U_2$ is not contained in $U_0$ then neither $U_1$ nor $U_2$ is contained in $U_0$ and hence with $\phi(U_1 \cap U_2) = \{1\}$ also $\phi(U_1) \cap \phi(U_2) = \{1\} \cap \{1\} = \{1\}$.
Hence this is indeed a frame homomorphism $\tau_X \to \tau_\ast$.
Finally, it is clear that these two operations are inverse to each other.
We first consider the special case of frame homomorphisms of the form
and show that these are in bijection to the underlying set $X$, identified with the continuous functions $\ast \to (X,\tau)$.
By lemma , the frame homomorphisms $\phi \colon \tau_X \to \tau_\ast$ are identified with the irreducible closed subspaces $X \backslash U_\emptyset(\phi)$ of $(X,\tau_X)$. Therefore by assumption of sobriety of $(X,\tau)$ there is a unique point $x \in X$ with $X \backslash U_{\emptyset} = Cl(\{x\})$. In particular this means that for $U_x$ an open neighbourhood of $x$, then $U_x$ is not a subset of $U_\emptyset(\phi)$, and so it follows that $\phi(U_x) = \{1\}$. In conclusion we have found a unique $x \in X$ such that
This is precisely the inverse image function of the continuous function $\ast \to X$ which sends $1 \mapsto x$.
Hence this establishes the bijection between frame homomorphisms of the form $\tau_\ast \longleftarrow \tau_X$ and continuous functions of the form $\ast \to (X,\tau)$.
With this it follows that a general frame homomorphism of the form $\tau_X \overset{\phi}{\longleftarrow} \tau_Y$ defines a function of sets $X \overset{f}{\longrightarrow} Y$ by composition:
By the previous analysis, an element $U_Y \in \tau_Y$ is sent to $\{1\}$ under this composite precisely if the corresponding point $\ast \to X \overset{f}{\longrightarrow} Y$ is in $U_Y$, and similarly for an element $U_X \in \tau_X$. It follows that $\phi(U_Y) \in \tau_X$ is precisely that subset of points in $X$ which are sent by $f$ to elements of $U_Y$, hence that $\phi = f^{-1}$ is the pre-image function of $f$. Since $\phi$ by definition sends open subsets of $Y$ to open subsets of $X$, it follows that $f$ is indeed a continuous function. This proves the claim in generality.
The category of sober spaces is reflective in the category of all topological spaces; the left adjoint is called the soberification.
This reflection is also induced by the idempotent adjunction between spaces and locales; thus sober spaces are precisely those spaces that are the spaces of points of some locale, and the category of sober spaces is equivalent to the category of locales with enough points.
We now say this in detail.
Recall again the point topological space $\ast \coloneqq ( \{1\}, \tau_\ast = \left\{ \emptyset, \{1\}\right\} )$.
Let $(X,\tau)$ be a topological space.
Define $S X$ to be the set
of frame homomorphisms from the frame of opens of $X$ to that of the point. Define a topology $\tau_{S X} \subset P(S X)$ on this set by declaring it to have one element $\tilde U$ for each element $U \in \tau_X$ and given by
Consider the function
which sends an element $x \in X$ to the function which assigns inverse images of the constant function $const_x \;\colon\; \{1\} \to X$ on that element.
The construction $(S X, \tau_{S X})$ in def. is a topological space, and the function $s_X \colon X \to S X$ is a continuous function
To see that $\tau_{S X} \subset P(S X)$ is closed under arbitrary unions and finite intersections, observe that the function
in fact preserves arbitrary unions and finite intersections. Whith this the statement follows by the fact that $\tau_X$ is closed under these operations.
To see that $\widetilde{(-)}$ indeed preserves unions, observe that (e.g. Johnstone 82, II 1.3 Lemma)
where we used that the frame homomorphism $p \colon \tau_X \to \tau_\ast$ preserves unions. Similarly for intersections, now with $I$ a finite set:
where now we used that the frame homomorphism $p$ preserves finite intersections.
To see that $s_X$ is continuous, observe that $s_X^{-1}(\tilde U) = U$, by construction.
For $(X, \tau_X)$ a topological space, the function $s_X \colon X \to S X$ from def. is
a bijection precisely if $X$ is sober.
In this case $s_X$ is in fact a homeomorphism.
By lemma there is an identification $S X \simeq IrrClSub(X)$ and via this $s_X$ is identified with the map $x \mapsto Cl(\{x\})$.
Hence the second statement follows by definition, and the first statement by this prop..
That in the second case $s_X$ is in fact a homeomorphism follows from the definition of the opens $\tilde U$: they are identified with the opens $U$ in this case (β¦expandβ¦).
For $(X,\tau)$ a topological space, then the topological space $(S X, \tau_{S X})$ from def. , lemma is sober.
(e.g. Johnstone 82, lemma II 1.7)
Let $S X \backslash \tilde U$ be an irreducible closed subspace of $(S X, \tau_{S X})$. We need to show that it is the topological closure of a unique element $\phi \in S X$.
Observe first that also $X \backslash U$ is irreducible.
To see this use this prop., saying that irreducibility of $X \backslash U$ is equivalent to $U_1 \cap U_2 \subset U \Rightarrow (U_1 \subset U) or (U_2 \subset U)$. But if $U_1 \cap U_2 \subset U$ then also $\tilde U_1 \cap \tilde U_2 \subset \tilde U$ (as in the proof of lemma ) and hence by assumption on $\tilde U$ it follows that $\tilde U_1 \subset \tilde U$ or $\tilde U_2 \subset \tilde U$. By lemma this in turn implies $U_1 \subset U$ or $U_2 \subset U$. In conclusion, this shows that also $X \backslash U$ is irreducible .
By lemma this irreducible closed subspace corresponds to a point $p \in S X$. By that same lemma, this frame homomorphism $p \colon \tau_X \to \tau_\ast$ takes the value $\emptyset$ on all those opens which are inside $U$. This means that the topological closure of this point is just $S X \backslash \tilde U$.
This shows that there exists at least one point of which $X \backslash \tilde U$ is the topological closure. It remains to see that there is no other such point.
So let $p_1 \neq p_2 \in S X$ be two distinct points. This means that there exists $U \in \tau_X$ with $p_1(U) \neq p_2(U)$. Equivalently this says that $\tilde U$ contains one of the two points, but not the other. This means that $(S X, \tau_{S X})$ is T0. By this prop. this is equivalent to there being no two points with the same topological closure.
For $(X, \tau_X)$ any topological space, for $(Y,\tau_Y^{sob})$ a sober topological space, and for $f \colon (X, \tau_X) \longrightarrow (Y, \tau_Y)$ a continuous function, then it factors uniquely through the soberification $s_X \colon (X, \tau_X) \longrightarrow(S X, \tau_{S X})$ from def. , lemma
By the construction in def. , we find that the outer part of the following square commutes:
By lemma and lemma , the right vertical morphism $s_{S X}$ is an isomorphism (a homeomorphism), hence has an inverse morphism. This defines the diagonal morphism, which is the desired factorization.
To see that this factorization is unique, consider two factorizations $\tilde f, \overline{f} \colon \colon (S X, \tau_{S X}) \to (Y, \tau_Y^{sob})$ and apply the soberification construction once more to the triangles
Here on the right we used again lemma to find that the vertical morphism is an isomorphism, and that $\tilde f$ and $\overline{f}$ do not change under soberification, as they already map between sober spaces. But now that the left vertical morphism is an isomorphism, the commutativity of this triangle for both $\tilde f$ and $\overline{f}$ implies that $\tilde f = \overline{f}$.
A topological space has enough points in the sense of def. if and only if its $T_0$ quotient is sober. The category of topological spaces with enough points is a reflective subcategory of the category Top of all topological spaces, and a topological space is T0 iff this reflection is sober.
With classical logic, every Hausdorff space is sober, but this can fail constructively. See at Hausdorff implies sober.
Since the Hausdorff condition implies the $T_1$ separation axiom, this means that (classically) there is a large intersection of the classes of $T_1$-topological spaces and sober topological spaces. But neither class is contained in the other, as the following counter-examples show:
The Sierpinski space is sober, but not $T_1$.
The cofinite topology on a non-finite set is $T_1$ but not sober.
The topological space underlying any scheme is sober. See at schemes are sober.
Further examples of spaces that are not sober includes the following:
More interestingly:
The following non-example shows that sobriety is not a hereditary separation property, i.e., topological subspaces of sober spaces need not be sober:
Francis Borceux, volume 3, section 1.9 of Handbook of Categorical Algebra, Cambridge University Press (1994)
Peter Johnstone, section II.1, from II.1 on in Stone Spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press 1982. xxi+370 pp. MR85f:54002, reprinted 1986.
Saunders MacLane, Ieke Moerdijk, around definition IX.3.2 in Sheaves in Geometry and Logic
Sober spaces in the $\pi$-base.
A model category of locales which makes the reflection of sober topological spaces a Quillen adjunction to the sober-restriction of the classical model structure on topological spaces:
Last revised on October 24, 2023 at 09:44:16. See the history of this page for a list of all contributions to it.