On well-filtered spaces and ordered sets (Q2401559): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q281708
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Jimmie D. Lawson / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.topol.2017.06.002 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2624291954 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-Hausdorff Topology and Domain Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completion of a Construction of Johnstone / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on coherence of dcpos / rank
 
Normal rank

Latest revision as of 08:06, 14 July 2024

scientific article
Language Label Description Also known as
English
On well-filtered spaces and ordered sets
scientific article

    Statements

    On well-filtered spaces and ordered sets (English)
    0 references
    0 references
    0 references
    4 September 2017
    0 references
    A Hausdorff space \(X\) has the property that if \(\mathcal F\) is a filter base of compact sets and \(\cap F\subseteq U\) where \(U\) is an open set, there is some \(F\in\mathcal F\) such that \(F\subseteq U\). This topological property without the Hausdorff axiom is called well-filtered and is analyzed in the category of \(T_0\)-spaces showing that compactness in \(T_0\)-spaces is much weaker than in Hausdorff spaces. A subset \(A\) of a space \(X\) is saturated if \(A\) is the intersection of the open sets containing \(A\), and a space \(X\) is coherent if the intersection of two compact saturated sets is compact. A coherent \(T_0\)-space \(X\) is compact and well-filtered iff the finer topology on \(X\) generated by \(\tau(X)\cup \{X\backslash A:A\text{ is compact saturated in the space }X\}\) is also compact. Additional sufficient conditions for a \(T_0\)-space to be well-filtered are also given.
    0 references
    compact
    0 references
    well-filtered
    0 references
    monotone convergence space
    0 references
    dcpo
    0 references
    coherent
    0 references

    Identifiers