Noun
topological space (plural topological spaces)
- (topology, formally) An ordered pair (X, τ), where X is a set and τ, called the topology, is a collection of subsets of X which satisfies certain axioms and whose elements are called the open sets (or alternatively, for a different set of axioms, the closed sets);
(loosely) the set X.
1964, H. J. Kowalsky, translated by Jay E. Strum, Topological Spaces, Academic Press, page 165:In order to obtain "intuitive insight" into special classes of topological spaces we can proceed in several ways, only a few of which will be pursued in this chapter. For instance, we can seek to describe important topological spaces by means of enough of their properties to completely characterize them, up to homeomorphism.
- 2011, Jonathan A. Barmak, Algebraic Topology of Finite Topological Spaces and Applications, Springer, Lecture Notes in Mathematics 2032, page xi,
- Most of the spaces studied in Algebraic Topology, such as CW-complexes or manifolds, are Hausdorff. In contrast, finite topological spaces are rarely Hausdorff. A topological space with finitely many points, each of which is closed, must be discrete.
2013, D. J. H. Garling, A Course in Mathematical Analysis: Volume 2, Cambridge University Press, page 431:If is a topological space, then a cover is open if each is an open set. A topological space is compact if every open cover of has a finite subcover.
Usage notes
- The set may be called the underlying set.
- The collection may be called the topology.
- The topological space may be described as the underlying set endowed with the topology .
Translations
ordered pair of a set and its topology
Translations to be checked