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 topological space is sequential if (in a certain sense) you can do topology in it using only sequences instead of more general nets.
Sequential spaces are a kind of nice topological space.
A sequential topological space is a topological space such that a subset of is closed if (hence iff) it contains all the limit points of all sequences of points of —or equivalently, such that is open if (hence iff) any sequence converging to a point of must eventually be in .
Equivalently, a topological space is sequential iff it is a quotient space (in ) of a metric space.
Every Frechet–Uryson space is a sequential space.
Every topological space satisfying the first countability axiom is Frechet–Uryson, hence a sequential space. In particular, this includes any metrizable space .
Every quotient of a sequential space is sequential. In particular, every CW complex is also a sequential space. (Conversely, every sequential space is a quotient of a metrizable space, giving the alternative definition).
The category of sequential spaces is a coreflective subcategory of the category of all topological spaces.
The category of sequential spaces is a reflective subcategory of the category of subsequential spaces, much as itself is a reflective subcategory of the category of all pseudotopological spaces.
The category of sequential spaces is cartesian closed. See also convenient category of topological spaces.
Everything above assumes excluded middle (and probably at least countable choice). Without that, it's hard to prove the existence of any nontrivial sequential spaces.
For example, to prove that the real line is sequential as a topological space, we must find, given a set and a point such that every sequence converging to is eventually in , a positive real number such that , and it's not clear how to construct that number from the data at hand. (One might consider various specific sequences that converge to , such as and , and use them to find upper bounds on ; but no finite set of sequences will give an entire interval around , and proving that an infinite set of sequences that does cover an entire interval has a uniform positive upper bound on is very tricky.)
The usual proof that the real line (or any first-countable topological space) is sequential uses excluded middle and countable choice: Supposing that is not open, consider such that , pick for each (or for each of the countably many basic neighbourhoods of in a general first-countable space) a point such that (or such that ) but (which must exist since none of these balls/neighbourhoods are contained in ), note that , and get a contradiction.
For this reason, constructive analysis often requires the use of general nets (or filters) in situations where classical analysis can get by with sequences. (It is trivially true, in any topological space, that a set is open if every net that converges to an element of belongs eventually to , or equivalently that belongs to any filter that converges to ; you just use the neighbourhood filter of .)
Last revised on May 17, 2017 at 07:52:31. See the history of this page for a list of all contributions to it.