Algebraic models for \(T_1\)-spaces (Q536048): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:34, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic models for \(T_1\)-spaces |
scientific article |
Statements
Algebraic models for \(T_1\)-spaces (English)
0 references
16 May 2011
0 references
The author contributes to the theory of computational models of spaces. He proves that the \(T_1\)-spaces are precisely the maximal point spaces of conditionally up-complete algebraic posets with the Scott topology. He also establishes an equivalence between the category of \(T_1\)-spaces with a distinguished base and a certain category of camps. These are conditionally up-complete, algebraic and maximized posets in which every compact element is a meet of maximal elements. They provide essentially unique algebraic ordered models for \(T_1\)-base spaces. A \(T_1\)-space has a damp model (that is, a domain model that is a camp) if and only if it has a base not containing any free filter base. Consequently all completely metrizable spaces and, more generally, all complete Aronszajn spaces have damp models. Moreover, damp models also exist for all Stone spaces. The latter representation gives rise to an equivalence and a duality for so-called Stone base spaces, which extends the classical Stone duality. Furthermore, it yields a purely order-theoretical description of clopen bases for Stone spaces and, algebraically, of finitary meet bases of Boolean lattices in terms of maximal ideals.
0 references
algebraic poset
0 references
camp
0 references
damp
0 references
filter-complete base
0 references
maximal point space
0 references
minimal base
0 references
model
0 references
Scott topology
0 references
Stone duality
0 references
\(T_1\)-space
0 references
zero-dimensional
0 references