# Absolute

## Of a regular topological space

The absolute of a regular topological space $X$ is the space $aX$ which is mapped perfectly and irreducibly onto $X$, and is such that any perfect irreducible inverse image of the space $X$ is homeomorphic to $aX$. Each regular space $X$ has a unique absolute. The absolute of a space $X$ is always extremally disconnected and completely regular, and is perfectly and irreducibly mapped onto $X$ by means of a transformation $\pi _ {X} : aX \rightarrow X$. If two spaces $X$ and $Y$ are connected by a single-valued or multi-valued perfect irreducible mapping $f: X \rightarrow Y$, then their absolutes are homeomorphic, and there exists a homeomorphism $f _ {a} : aX \rightarrow aY$ such that $f = \pi _ {Y} f _ {a} \pi _ {X} ^ {-1}$.

If a homeomorphism $f _ {a} : aX \rightarrow aY$ is given, the mapping $f = \pi _ {Y} f _ {a} \pi _ {X} ^ {-1}$ 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 $X$ 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 $X$ is a completely regular space, then the Stone–Čech compactification of its absolute is the absolute of any compactification of $X$. 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 $X$ is co-absolute with some metric space if and only if it is a paracompact feathered space containing a dense $\sigma$-discrete system of open sets. A compact space is co-absolute with some metrizable compactum if and only if it has a countable $\pi$-weight. If a compact space has a countable $\pi$-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 $aX$ of a given (regular) space $X$ can be constructed, the following method is one of the simplest.

A family $\xi = \{ A \}$ of non-empty canonical $\kappa a$-sets, i.e. of canonical closed sets $A$ of the space $X$, is called a thread if it is a directed set under inclusion, i.e. if for each two elements $A, A ^ \prime$ of the family $\xi$ there exists an element $A ^ {\prime\prime }$ contained in $A \cap A ^ \prime$. A thread $\xi$ 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 $\kappa a$-set $A$ the set $D _ {A}$ of all threads containing the set $A$ 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 $\xi$ is either empty or contains a single point $x ( \xi )$; in the latter case the thread $\xi$ is said to be convergent (to the point $x ( \xi )$). A topology is introduced in the set $\overline{a} X$ of all ends (i.e. maximal threads), by taking the collection of all sets $D _ {A}$ as a basis for the closed sets. The resulting topology is Hausdorff and compact. The convergent ends in the compactum $\overline{a} X$ form an everywhere-dense subspace. The subspace of the space $\overline{a} X$ consisting of the convergent ends is at the same time the absolute $aX$ of $X$; it turns out that $\overline{a} X$ is identical with the Stone–Čech compactification $\beta a X$ of $aX$. If $X$ is not only regular, but completely regular, the formula of commutativity of the operators $a$ and $\beta$ is valid:

$$\overline{a} X = \beta a X = a \beta X .$$

The definition of the absolute of a regular topological space $X$ given above is slightly imprecise. A better (more precise) definition is: The absolute of a regular topological space $X$ is a pair $( a X , \pi _ {X} )$, where $\pi _ {X}$ is a perfect irreducible mapping of $a X$ onto $X$, such that for every regular topological space $Y$ and every perfect irreducible mapping $f$ of $Y$ onto $X$ there is a mapping $g$ of $a X$ onto $Y$ such that $\pi _ {X} = f g$.
The simple construction of $\overline{a} X$ given above can be rephrased as follows: The family of regular closed sets forms, in a natural way, a complete Boolean algebra. The space $\overline{a} X$ is then simply the Stone space of this Boolean algebra (the set of all ultrafilters (cf. Ultrafilter) on it, topologized using the sets $D _ {A}$ as a base for the closed sets).