Lower topological algebraic domain models of topological spaces
Hui Li, Qingguo Li
Abstract
Hui Li, Qingguo Li
Abstract
The maximal point space of a domain (resp. algebraic domain) with the Scott topology is Choquet complete. Thus, not every T1 topological space can be represented as the maximal point space of some algebraic domain equipped with the Scott topology. However, in this paper, we prove that: (1) Every T1 topological space is homeomorphic to the set of all maximal points of some algebraic domain equipped with the relative lower topology. (2) Bounded complete domains endowed with the lower topology are Choquet complete.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The maximal point space of a domain (resp. algebraic domain) with the Scott topology is Choquet complete. Thus, not every T1 topological space can be represented as the maximal point space of some algebraic domain equipped with the Scott topology. However, in this paper, we prove that: (1) Every T1 topological space is homeomorphic to the set of all maximal points of some algebraic domain equipped with the relative lower topology. (2) Bounded complete domains endowed with the lower topology are Choquet complete.
Key concepts: Mathematics, Topology (electrical circuits), General topology, Domain (mathematical analysis), Extension topology, Weak topology (polar topology), Connected space, Topological space