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
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
(see also Chern-Weil theory, parameterized homotopy theory)
In topological homotopy theory, the fundamental theorem of covering spaces says that for a sufficiently well-behaved topological space $X$, then the functor which sends a covering space of $X$ to the Set-action (permutation representation) of the fundamental groupoid of $X$ on the fibers of $E$ is an equivalence of categories.
This is a basic instance of the general principle of Galois theory.
It follows in particular that for connected $X$ then the automorphism group of the universal covering space of $X$ coincides with the fundamental group $\pi_1(X,x)$ itself (for any basepojtn $x$). This often yields a convient means to determine the fundamental group of $X$ in the first place.
(fundamental theorem of covering spaces)
Let $X$ be a locally path-connected and semi-locally simply-connected topological space. Then the operations on
extracting the monodromy $Fib_{E}$ of a covering space $E$ over $X$
reconstructing a covering space from monodromy $Rec(\rho)$
constitute an equivalence of categories
between the category of covering spaces, and the category of permutation groupoid representations of the fundamental groupoid of $X$.
With the standard definitions of the two functors, both are infact inverse isomorphisms of categories instead of just equivalences of categories (meaning that the required natural isomorphisms from the composites of the two functors to the identity functor are componentwise equalities), which establishes the claim right away. For definiteness, we make this explicit:
Given $\rho \in Set^{\Pi_1(X)}$ a permutation representation, we need to exhibit a natural isomorphism of permutation representations.
First consider what the right hand side is like: By this def. of $Rec$ and this def. of $Fib$ we have for every $x \in X$ an actual equality
To similarly understand the value of $Fib(Rec(\rho))$ on morphisms $[\gamma] \in \Pi_1(X)$, let $\gamma \colon [0,1] \to X$ be a representing path in $X$. As in the proof of the path lifting lemma for covering spaces (this lemma) we find a finite number of paths $\{\gamma_i\}_{i \in \{1,n\}}$ such that
regarded as morphisms $[\gamma_i]$ in $\Pi_1(X)$ they compose to $[\gamma]$:
each $\gamma_i$ factors through an open subset $U_i \subset X$ over which $Rec(\rho)$ trivializes.
Hence by functoriality of $Fib(Rec(\rho))$ it is sufficient to understand its value on these paths $\gamma_i$. But on these we have again by direct unwinding of the definitions that
This means that if we take
to be the above identification, then this is a natural transformation and hence in a particular a natural isomorphism, as required.
It remains to see that these morphisms $\eta_\rho$ are themselves natural in $\rho$, hence that for each morphism $\phi \colon \rho \to \rho'$ the diagram
commutes as a diagram in $Rep(\Pi_1(X), Set)$. Since these morphisms are themselves groupoid homotopies (natural isomorphisms) this is the case precisely if for all $x \in X$ the corresponding component diagram commutes. But by the above this is
and hence this means that the top and bottom horizontal morphism are in fact equal. Directz unwiinding of the definitions shows that this is indeed the case.
Conversely, given $E \in Cov(X)$ a covering space, we need to exhibit a natural isomorphism of covering spaces of the form
Again by this def. of $Rec$ and this def. of $Fib$ the underlying set of $Rec(Fib(E))$ is actually equal to that of $E$, hence it is sufficient to check that this identity function on underlying sets is a homeomorphism of topological spaces.
By the assumption that $X$ is locally path-connected and semi-locally simply connected, it is sufficient to check for $U\subset X$ an open path-connected subset and $x \in X$ a point with the property that $\pi_1(U,x) \to \pi_1(X,x)$ lands is constant on the trivial element, that the open subsets of $E$ of the form $U \times \{\hat x\} \subset p^{-1}(U)$ form a basis for the topology of $Rec(Fib(E))$. But this is the case by definition of $Rec$.
It remains to see that $\epsilon_E$ is itself natural in $E$. But as for the converse direction, since the components of $\epsilon_E$ are in fact equalities, this follows by direct unwinding of the definitions.
This establishes an equivalence as required In fact this is an adjoint equivalence.
Lecture notes include
Friedhelm Waldhausen, around p. 122 of Topologie (pdf)
Jesper Møller, The fundamental group and covering spaces (2011) (pdf)