On open ultrafilters and maximal points (Q837559)

From MaRDI portal
Revision as of 22:07, 1 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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