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 point space $\ast$ is the topological space whose underlying set is the singleton, and equipped with the unique topology that this set carries.
The point space is the terminal object in the category Top of topological spaces.
For $X$ any topological space, then for every element of its underlying set there is a continuous function from the point space
whose image is that point, and every such continuous function arises this way
For the following we write the point space explicitly as
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$ from the frame of opens of $X$ to that of the point space. Moreover, this is given by
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. \ref{HomomorphismOfFramesOfOpens}, the inclusion holds because $\phi$ respects inclusions by remark \ref{PreservationOfInclusionsByFrameHomomorphism}, and the second equality holds because $\phi$ preserves arbitrary unions by def. \ref{HomomorphismOfFramesOfOpens}. 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 prop. \ref{OpenSubsetVersionOfClosedIrreducible} 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.
examples of universal constructions of topological spaces:
$\phantom{AAAA}$limits | $\phantom{AAAA}$colimits |
---|---|
$\,$ point space$\,$ | $\,$ empty space $\,$ |
$\,$ product topological space $\,$ | $\,$ disjoint union topological space $\,$ |
$\,$ topological subspace $\,$ | $\,$ quotient topological space $\,$ |
$\,$ fiber space $\,$ | $\,$ space attachment $\,$ |
$\,$ mapping cocylinder, mapping cocone $\,$ | $\,$ mapping cylinder, mapping cone, mapping telescope $\,$ |
$\,$ cell complex, CW-complex $\,$ |