On well-filtered spaces and ordered sets (Q2401559): Difference between revisions
From MaRDI portal
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
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