On open ultrafilters and maximal points (Q837559)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On open ultrafilters and maximal points
scientific article

    Statements

    On open ultrafilters and maximal points (English)
    0 references
    0 references
    0 references
    20 August 2009
    0 references
    The authors present results for the class of \(T_3\) spaces related to maximal points through the use of o-filters (open filters) and their derivatives like ultra o-filters (open ultrafilters), prime o-filters, disjoint-prime o-filters, CR-filters (completely regular o-filters) and R-filters (regular o-filters). For an extension \(Y\) of a space \(X\), three conditions are obtained in terms of internal properties of \(Y\); each one of these conditions is necessary and sufficient for \(Y\) to be perfect. It is proved that semiregularisation \(Y(s)\) of a perfect extension \(Y\) of a space \(X\) is a perfect extension of \(X(s)\). A result of \textit{Yu. M. Smirnov} [Mat. Sb., N. Ser. 29(71), 157--172 (1951; Zbl 0044.19504)] that maximal CR-filters on a Tychonoff space are disjoint-prime is extended to R-filters showing that a maximal R-filter on any Hausdorff space is disjoint-prime, and this result is used to show that Alexandroff's Hausdorff extension of a \(T_3\) space is perfect. Expanding upon the theory of ultra o-filters in the setting of \(T_3\) spaces there is shown, in a non-feebly compact \(T_3\) space having a countable \(\pi\)-base, the existence of a free ultra o-filter that is also an R-filter. Generalizations of results of [\textit{O. T. Alas, R. G. Wilson}, Appl. Gen. Topol. 5, No.~2, 231--242 (2004; Zbl 1080.54002)] charactering maximal points of a space, \textit{N. Carlson} [Topology Appl. 154, No.~3, 619--624 (2007; Zbl 1110.54002)] and \textit{C. Costantini} [Topol. Proc. 32, 187--225 (2008; Zbl 1163.54001)] follow from the result of the authors: A maximal point in a Hausdorff space cannot have a neighborhood base of feebly compact neighborhoods. Some other significant corollaries are deduced from this result.
    0 references
    0 references
    open ultrafilter
    0 references
    maximal point
    0 references
    lower topology
    0 references
    feebly compact
    0 references
    remote point
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references