英和和英

名詞

topological space (複数形 topological spaces)

1. (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 (または alternatively, for a different set of axioms, the closed sets);
   (loosely) the set X.
   • 1964, Jay E. Strum (translator), H. J. Kowalsky, 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 ${\displaystyle (X,\tau )}$ is a topological space, then a cover ${\displaystyle {\mathcal {B}}}$ is open if each ${\displaystyle B\in {\mathcal {B}}}$ is an open set. A topological space ${\displaystyle (X,\tau )}$ is compact if every open cover of ${\displaystyle X}$ has a finite subcover.