The absolute of a regular topological space is the space which is mapped perfectly and irreducibly onto , and is such that any perfect irreducible inverse image of the space is homeomorphic to . Each regular space has a unique absolute. The absolute of a space is always extremally disconnected and completely regular, and is perfectly and irreducibly mapped onto by means of a transformation . If two spaces and are connected by a single-valued or multi-valued perfect irreducible mapping , then their absolutes are homeomorphic, and there exists a homeomorphism such that .
If a homeomorphism is given, the mapping will be, in the general case, multi-valued, irreducible and perfect. Thus, absolutes and their homeomorphisms "control" the entire class of perfect irreducible mappings of regular spaces. The meaning of this fundamental property is that absolutes of regular topological spaces are projective objects in the category of regular spaces and perfect irreducible mappings. If a regular space is compact, respectively, finally compact or complete in the sense of Čech, the respective property is also displayed by the absolute of this space. The absolute of a paracompact space is even strongly paracompact, and is, moreover, perfectly zero-dimensional. However, the absolute of a normal space need not itself be normal. If is a completely regular space, then the Stone–Čech compactification of its absolute is the absolute of any compactification of . Two spaces are called co-absolute if their absolutes are homeomorphic.
Thus, the class of regular spaces is subdivided into disjoint (pairwise not intersecting) classes of co-absolute spaces. A space is co-absolute with some metric space if and only if it is a paracompact feathered space containing a dense -discrete system of open sets. A compact space is co-absolute with some metrizable compactum if and only if it has a countable -weight. If a compact space has a countable -weight and has no isolated points, then and only then it will be co-absolute with the perfect Cantor set. Consequently, all metrizable compacta without isolated points are co-absolute with the perfect Cantor set. The absolute of a countable metrizable compactum is an extension of the Stone–Čech compactification of the natural numbers. The absolute of an extremally disconnected space is homeomorphic to it. Thus, the class of absolutes (whatever this may be) of regular spaces coincides with the class of extremally disconnected spaces. Since a non-discrete extremally disconnected space does not contain any convergent sequence of pairwise distinct points, the absolute of any non-discrete space is non-metrizable (and does not even satisfy the first axiom of countability).
Of the numerous ways in which the absolute of a given (regular) space can be constructed, the following method is one of the simplest.
A family of non-empty canonical -sets, i.e. of canonical closed sets of the space , is called a thread if it is inclusion-directed, i.e. if for each two elements of the family there exists an element contained in . A thread is called a maximal or an end thread if it is not a subfamily of any thread different from it. It can be shown that threads exist; moreover, it can be shown that for each non-empty -set the set of all threads containing the set as an element is non-empty. Each thread is contained in some maximal thread. The intersection of all sets which are elements of a maximal thread is either empty or contains a single point ; in the latter case the thread is said to be convergent (to the point ). A topology is introduced in the set of all ends (i.e. maximal threads), by taking the collection of all sets as a basis for the closed sets. The resulting topology is Hausdorff and compact. The convergent ends in the compactum form an everywhere-dense subspace. The subspace of the space consisting of the convergent ends is at the same time the absolute of ; it turns out that is identical with the Stone–Čech compactification of . If is not only regular, but completely regular, the formula of commutativity of the operators and is valid:
The definition of the absolute of a regular topological space given above is slightly imprecise. A better (more precise) definition is: The absolute of a regular topological space is a pair , where is a perfect irreducible mapping of onto , such that for every regular topological space and every perfect irreducible mapping of onto there is a mapping of onto such that .
In Western literature finally compact spaces are also called Lindelöf spaces and canonical closed set are also called regular closed sets (or sometimes regularly closed sets). The maximal or end threads are commonly called regular closed ultrafilters.
The simple construction of given above can be rephrased as follows: The family of regular closed sets forms, in a natural way, a complete Boolean algebra. The space is then simply the Stone space of this Boolean algebra (the set of all ultrafilters (cf. Ultrafilter) on it, topologized using the sets as a base for the closed sets).
|[a1]||A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian)|
The -absolute of a -proximity space is the pair consisting of a proximity space and a projection which is a regular -mapping. Here -mapping is a term denoting any -perfect, irreducible, -proximity-continuous mapping. Any -proximity space has a unique -absolute. Any regular -mapping on a -absolute is a proximity equivalence. The -absolute of a space is the maximal inverse image of the space under regular -mappings. For each regular -mapping there exists a proximity equivalence such that the diagram
For maximal -proximities on regular topological spaces the concept of a regular -mapping is identical with that of a perfect irreducible mapping, while the concept of a -absolute is identical with that of the absolute of a regular topological space.
|||V.I. Ponomarev, "On spaces co-abolute with metric space" Russian Math. Surveys , 21 : 4 (1966) pp. 87–114 Uspekhi Mat. Nauk , 21 : 4 (1966) pp. 101–132|
|||A.M. Gleason, "Projective topological spaces" Illinois J. Math. , 2 : 4A (1958) pp. 482–489|
|||V.I. Ponomarev, "Paracompacta, their projection spectra and continuous images" Mat. Sb. , 60 (102) : 1 (1963) pp. 89–119 (In Russian)|
|||V.V. Fedorchuk, "Perfect irreducible mappings and generalized proximities" Math. USSR-Sb. , 5 : 4 (1968) pp. 498–508 Mat. Sb. , 74 (118) : 4 (1968) pp. 513–536|
The absolute in projective geometry is the curve (surface) of the second order constituting the set of infinitely-distant points in the Klein interpretation of a hyperbolic plane (space). The absolute can be used to introduce a metric on a projective plane (space) (cf. Projective determination of a metric). For instance, the projective measure of a segment is defined as a quantity which is proportional to the natural logarithm of the double ratio of four points, where and are the points of intersection of the straight line with the absolute.
Absolute. V.I. Ponomarev (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Absolute&oldid=14635