A totality of two elements: A set , consisting of elements of an arbitrary nature, called points of the given space, and a topological structure, or topology, on this set (cf. Topological structure (topology)); it is immaterial whether this is an open or closed topology (one transfers into the other by replacing the sets constituting the given topology by their complements). Unless otherwise stated, a topology will be assumed to be open. Logically the simplest method of specifying a topology on a given set consists in directly indicating those subsets of that make up this topology. But it is often simpler to specify not all the sets making up the given topology but only some of them (i.e. to specify a base of the given topology), in terms of which all remaining elements of the topology can be obtained as unions (in the case of an open topology) or intersections (in the closed case) of sets belonging to the base. So, for example, the usual topology of the real line is obtained by taking as a base of its open topology the set of all open intervals (it is sufficient to take only open intervals with rational end points). The remaining open sets are unions of such intervals.
When regarding a base of an open, or closed, topology, it is common to refer to it as an open or closed base of the given topological space. Open bases are more often considered than closed ones, hence if one speaks simply of a base of a topological space, an open base is meant. The smallest (in non-trivial cases, infinite) cardinal number that is the cardinality of a base of a given topological space is called its weight (cf. Weight of a topological space). After the cardinality of the set of all its points, the weight is the most important so-called cardinal invariant of the space (see Cardinal characteristic). Of special importance are spaces having a countable base, for example the real line. One obtains a countable base of an -dimensional Euclidean space by taking the so-called rational (open) balls, that is, balls for which the radius and the coordinates of the centre are rational numbers. A topology is often defined by some (natural) standard procedure on a set equipped with some other structure. Thus one speaks of the natural topology of a metric space or of the natural (interval) topology of a totally ordered set. The former has as base the set of all open balls of the given metric space, the latter has as base the open intervals of the given totally ordered set.
A topological space is said to be metrizable (see Metrizable space) if there is a metric on its underlying set which induces the given topology. The metrizable spaces form one of the most important classes of topological spaces, and for several decades some of the central problems in general topology were the general and special problems of metrization, i.e. problems on finding necessary and sufficient conditions for a topological space, or for a topological space of some particular type, to be metrizable. These conditions form the content of general or special metrization theorems.
Every subset of the set of all points of a given topological space can naturally be made into a topological space (a subspace of ), by taking the topology consisting of all possible sets of the form , where is an arbitrary element of . Since a topology is a set of subsets of , there is a natural (partial) order relation (by inclusion) between different topologies on a given set , i.e. a topology is greater than (or equal to) a topology if is a subset of the set , i.e. if each set that is open in the topology is open in the topology . If it is clear from the context which topology is being used on a given set , one simply denotes the topological space by . From the concept of a topology all the remaining fundamental topological concepts may be derived. First of all, closed sets are defined as complements of open sets. Moreover, any open set containing a point of a given space is said to be a neighbourhood of . The concept of a neighbourhood enables one to define a closure point or proximate point of a set as a point every neighbourhood of which has non-empty intersection with . This definition implies that every point of the set itself is a proximate point of . The set of all proximate points of is called the closure of and is denoted by (cf. Closure of a set). The transition from an arbitrary set to its closure is called the closure operation in the given topological space. Properties of this operation are: 1) , and if and only if is closed, i.e. if its complement is open; 2) ; and 3) . The closure of an arbitrary set is the intersection of all closed sets containing ; alternatively, is the smallest closed set containing .
The closure operation and its basic properties 1), 2) and 3) have been derived from the fundamental concept of a topology on a given set . Alternatively, it is possible to consider as fundamental topological concept that of closure. I.e., to assume that in a given abstract set for each subset there is specified a subset , called the closure of , such that the properties 1), 2) and 3) are satisfied (these are then called axioms of closure or Kuratowski axioms), together with 4) . In this approach closed sets are defined as sets coinciding with their closures, and open sets are defined as complements of closed ones. Thus one obtains precisely a topology in the initial sense; moreover, the closure operation to which it leads coincides with the one given a priori. This approach was chosen by K. Kuratowski (1922) in order to construct the concept of a topological space. In 1925 open topological structures were introduced by P.S. Aleksandrov. Both approaches lead to the same class of topological space that is currently the most generally accepted one.
Closely associated with the concept of a topological space is that of a continuous mapping from one space into another. A mapping from a topological space into a topological space is continuous at a point if for an arbitrary neighbourhood of the point there exists a neighbourhood of in such that (the Cauchy condition). Without altering the content of the definition, it is possible to take the neighbourhoods and to belong to arbitrary open bases of the spaces and , respectively. In particular, for metric spaces this definition of continuity can be transferred into the usual definition familiar from courses of mathematical analysis. If is continuous at each point , then it is called a continuous mapping from into . Each of the following conditions is necessary and sufficient for continuity of . a) If is a proximate point of a set , then is a proximate point of the set in . b) The complete pre-image of any open set in any is open in . There are analogues for closed sets.
Given a (continuous) mapping from a topological space into a topological space and a subspace of , the mapping maps into and is continuous (it is called the restriction of to the subspace ).
An important type of continuous mappings are the so-called quotient mappings (cf. Quotient mapping). They are characterized by the following condition. A set is open (closed) in if and only if has the same property in . If a continuous mapping from onto is bijective, then the inverse mapping is defined, but it need not be continuous. If it is continuous, then each of the mappings maps the topologies of bijectively onto each other. Each of the two bijective mappings and is called a topological mapping, or a homeomorphism. Two spaces and that can be homeomorphically mapped onto each other are said to be homeomorphic, or topologically equivalent.
A continuous mapping is said to be irreducible if no closed set , other than , is mapped onto the whole of .
The concrete study of topological spaces consists primarily of the separation from the general class of those spaces of subclasses characterized by some conditions or axioms additional to those defining topologies. These additional axioms can be of various kinds. First of all there is a group of so-called separation axioms. The first separation axiom was the Hausdorff axiom, requiring that any two distinct points of the space can be separated by means of neighbourhoods, i.e. are contained in disjoint open sets (two or more sets are disjoint if no two of them have common elements). Hausdorff's separation axiom is also called the -axiom, and a topological space satisfying it is called a Hausdorff space or a -space. Having defined these spaces, F. Hausdorff in 1914 for the first time discovered sufficiently broad and at the same time sufficiently rich properties of a class of topological spaces, thereby fulfilling a need in mathematics that was very urgent at that time. The subsequent development of general topology emerges from precisely the Hausdorff spaces. A weakening of the -axiom is the -axiom: Each of two points of a topological space has a neighbourhood not containing the other point. This requirement is equivalent to the requirement that any finite subset is closed. A space satisfying this requirement is called a -space. A still broader class of topological spaces is formed by the -spaces, i.e. spaces in which the -axiom (the Kolmogorov axiom) is satisfied: Given two distinct points, then at least one has a neighbourhood not containing the other point. -spaces may consist of a finite number or even only of two points, if one point forms a closed but not an open set while the other, conversely, forms an open but not a closed set (a connected digon).
The -axiom requires that an arbitrary point of the space and an arbitrary closed set not containing this point can be separated by neighbourhoods, i.e. are contained, respectively, in two disjoint open sets. A space satisfying the -axiom is called a -space. A -space need not satisfy the -axiom. (Example: the connected digon.) -spaces satisfying the -axiom are said to be regular (cf. Regular space); they are Hausdorff spaces. A topological space is called a -space if every two disjoint closed sets in it have disjoint neighbourhoods. -spaces that are simultaneously -spaces are called normal (cf. Normal space); they are regular and Hausdorff. Any subspace of a space satisfying one of the axioms , , also satisfies that axiom , i.e. the axioms are inherited by all subspaces of the given space. The axiom does not possess this property: There exist normal spaces not all subspaces (even not all open subspaces) of which are normal. However, if is a closed set in a normal space , then the subspace is normal.
Until now the separation of points and sets has been understood in the sense of the presence of disjoint neighbourhoods. However, in modern topology so-called functional separation, originally introduced by P.S. Urysohn in 1924, is also important. Two sets and in a topological space are called functionally separable if there exists a real-valued, continuous and bounded function on the whole space taking the value 0 at all points of and the value 1 at all points of . In a normal space any two disjoint closed sets are functionally separable (Urysohn's lemma). Conversely, functional separation of two arbitrary sets implies their separation by neighbourhoods. In particular, functional separation of a point and a set implies their separation by neighbourhoods in the given space. However, if the space is regular, hence every point and every closed set not containing it have disjoint neighbourhoods, it does not follow that every point and set are functionally separable. Thus, the following property of complete regularity is stronger than the property of regularity. A space is called completely regular if any point and any closed set not containing it are functionally separable (cf. Completely-regular space). Among the (completely-regular) spaces satisfying this condition the most important are the completely-regular -spaces, also called Tikhonov spaces (cf. Tikhonov space). In particular, the underlying space of any -topological group is completely regular but need not be normal.
As well as the separation axioms, the so-called conditions of compactness type are significant for the theory of topological spaces. They are based on the consideration of (open) coverings. A family of (open) sets of a given topological space is called a covering of (cf. Covering (of a set)) if every point is contained in at least one set that is an element of . If every element of a covering is a subset of at least one element of a covering , then is said to refine , or is said to be finer than , or is said to follow in the partially ordered set of coverings of the given space. A particular case of refining is the case when is contained in (i.e. each element of is also an element of ). Some conditions of compactness type assume that two classes of (open) coverings of a space have been given: a class and a class such that , i.e. each covering in is also in . The condition of -compactness requires that for each covering in there is covering in refining it. Among all conditions of this type the most important one is obtained if is the class of all open coverings of a space and is the subclass of finite coverings, i.e. coverings consisting of a finite number of elements. This condition is called the compactness condition; it is equivalent to the so-called Borel–Lebesgue condition: For each open covering of a space there is a finite covering of contained in . Hausdorff spaces satisfying the compactness condition are called Hausdorff compacta. They are all normal. Metrizable Hausdorff compacta (Hausdorff compacta with a countable base) are called compacta. Nowadays another terminology prevails, in which Hausdorff compacta are called compact Hausdorff topological spaces, and the metrizable case is terminologically not distinguished (cf. also Compact space).
If as one takes the class of countable open coverings, while still taking for the subclass of finite coverings, then the corresponding -compactness is called countable compactness (cf. Compact set, countably). For metrizable spaces, and also for Hausdorff spaces with a countable base, the conditions of being compact and of being countably compact are equivalent. If as one takes the class of all open coverings and as the class of countable coverings, then one obtains the condition of final compactness. In the formulation of this condition one may require (as in the case of compactness) that the covering is not only a refinement of , but is contained in it.
An important class of spaces, called locally compact spaces (cf. Locally compact space), is defined by the requirement that every point of the given space has a neighbourhood whose closure in is a compact subspace. Any locally compact Hausdorff space, and only such, can be considered as an open set of a certain Hausdorff compactum , moreover, is obtained from by adjunction of only one point, , and the topology of is unambiguously determined by this last requirement and by the topology of ; the Hausdorff compactum is said to be the one-point compactification or Aleksandrov compactification of .
Next to conditions of compactness the most important condition of compactness type is the condition of paracompactness (cf. Paracompactness criteria), requiring that every open covering of a given space can be refined by a locally finite open covering (a family of sets of a topological space is said to be locally finite in it if each point has a neighbourhood that intersects with only a finite number of sets of the family). Here one cannot require that is contained in . All metrizable spaces are paracompact Hausdorff spaces.
|||P.S. Aleksandrov, "Einführung in die Mengenlehre und die allgemeine Topologie" , Deutsch. Verlag Wissenschaft. (1984) (Translated from Russian)|
|||N. Bourbaki, "Elements of mathematics. General topology" , Addison-Wesley (1966) (Translated from French)|
|||K. Kuratowski, "Topology" , 1 , PWN & Acad. Press (1966) (Translated from French)|
|||P.S. Aleksandrov, B.A. Pasynkov, "Introduction to dimension theory" , Moscow (1973) (In Russian)|
Many authors use the pairs of terms "T3-space" and "regular space" , and "T4-space" and "normal space" , in precisely the opposite way to that indicated above.
Also, the Borel–Lebesgue condition is usually called the Heine–Borel property (cf. Heine–Borel theorem); and final compactness is usually called the Lindelöf property (cf. Lindelöf space). The term "compactum" is little used; they are compact spaces (which might also be Hausdorff, metrizable, etc.).
Among the equivalent ways of determining a topology on a space, convergence structures should be noted. (All of the usual approaches — open sets, closure operations, convergence structures — also give rise to further generalizations.) The early descriptions of convergence used external devices such as directed sets (cf. [a3] and Directed set), but there is an intrinsic version. It is technically intrinsic in that the apparatus is determined by the underlying set ; psychologically it is far from intrinsic, introducing cardinal numbers . Then for every power set , for every ultrafilter on the index set , one must specify which points are limits along of which -tuples . The axioms for the compact Hausdorff case, where each -tuple has a unique limit along each ultrafilter, were formulated in [a2]; for the general case, in [a1]. In applications, convergence with auxiliary devices, especially convergence of generalized sequences (nets, cf. Generalized sequence), is much more often used.
|[a1]||M. Barr, "Relational algebras" S. MacLane (ed.) , Midwest Category Sem. IV , Lect. notes in math. , 137 , Springer (1970) pp. 39–55|
|[a2]||F.E.J. Linton, "Some aspects of equational categories" S. Eilenberg (ed.) et al. (ed.) , Proc. conf. categorical algebra (La Jolla, 1965) , Springer (1966) pp. 84–94|
|[a3]||J.W. Tukey, "Convergence and uniformity in topology" , Princeton Univ. Press (1940)|
|[a4]||R. Engelking, "General topology" , Heldermann (1989)|
Topological space. P.S. Aleksandrov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Topological_space&oldid=15290