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
Generally, a topological interval is a (bounded) interval in the real line (an open interval $(a,b)$ or a closed interval $[a,b]$ or a half-open interval $(a,b]$ or $[a,b)$) equipped with the subspace topology of the Euclidean metric topology.
Specifically in the context of topological homotopy theory, the standard topological interval object is the closed interval $[0,1]$ equipped with the continuous functions
$const_0 \;\colon\; \ast \to [0,1]$
$const_1 \;\colon\; \ast \to [0,1]$
which include the point space as the two endpoints, respectively.
Together with the unique function $[0,1] \to \ast$ this yields the factorization of the codiagonal on the point space
which exhibits an example of an interval object in the general sense of model category theory with respect to the classical model structure on topological spaces.
For $X$ a topological space, then the product topological space $X \times [0,1]$ with the topological interval is the standard topological cylinder over $X$. Via the above inclusion functions, this inherits a factorization of the codiagonal of $X$ (the canonical continuous function out of the disjoint union space of $X$ with itself to $X$):
Accordingly, with respect to the classical model structure on topological spaces this is an example a of cylinder object.
Given $X,Y$ two topological spaces and $f,g \;\colon\; X \longrightarrow Y$ two continuous functions,then a left homotopy
is a continuous function
out of the product topological space of $X$ with the topological interval, such that this fits into a commuting diagram of the form
(graphics grabbed from J. Tauber here)
For $X$ a topological space, then its path space is the mapping space $X^{[0,1]}$, out of the topological interval into $X$, i.e. the set of continuous function $\gamma \;\colon\; [0,1] \to X$ equipped with the compact-open topology.
The two endpoint inclusions $\ast \colon [0,1]$ and the unique projection $[0,1] \to \ast$ induce continuous functions
(inclusion of constant paths and endpoint evaluation of paths).
The topological interval $[0, 1]$ may be characterized by a coalgebraic definition first identified by Freyd:
Let $Top_{\ast, \ast}$ be the category of topological spaces $X$ equipped with a pair $x_0, x_1$ of distinct points, for example $I = ([0, 1]; 0, 1)$. Let $F \colon Top_{\ast, \ast} \to Top_{\ast, \ast}$ be the functor defined on objects by
where $X \vee X$ denotes the quotient space of the disjoint union space $X \sqcup X$ formed by identifying the element $x_1$ of the first copy of $X$ with $x_0$ of the second copy of $X$, where $y_0$ is identified with $x_0$ of the first copy, and $y_1$ is identified with $x_1$ of the second copy.
For $I = ([0, 1]; 0, 1)$ there is an evident identification $F(I) = ([0, 2]; 0, 2)$, and moreover there is an $F$-coalgebra structure $I \to F(I)$ given by “multiplication by $2$”.
For more information, see coalgebra of the real interval, which shows in particular how the interval structure of $[0, 1]$ may be defined by coinduction.
Last revised on July 2, 2017 at 07:54:08. See the history of this page for a list of all contributions to it.