On computational environments of topological spaces

DOI10.1016/J.TCS.2008.06.022MaRDI QIDQ949611zbMATH OpenOpenAlexFDO

Authors Fangping Huang, Jihua Liang

Publication date 21 October 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.06.022

zbMATH Keywords

Choque completeHausdorff compactificationTychonoff spaceweak domain environment

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55)

Review text

The authors observe that a large number of important topological spaces do not have any continuous domain as their computational models. Therefore it is of interest to study new kinds of pragmatic computational environments in order to be able to model more topological spaces. In this article they focus on bounded complete continuous posets with enough maximal points, which are shown to be a good choice for computational environments of Tychonoff spaces with no directed complete model. Among other things they prove that the maximal point space of a Choquet complete weak domain is also Choquet complete. Furthermore they show that a nonempty topological space is a Tychonoff space if and only if it has a bounded complete weak domain environment. Finally they discuss Hausdorff compactifications of Tychonoff spaces in their context.

Recommendations

• On computational environments of topological spaces
• scientific article; zbMATH DE number 1746047
• Foundations for computable topology
• Computability on topological spaces via domain representations
• scientific article; zbMATH DE number 5263151
• ON COMPUTER TOPOLOGICAL FUNCTION SPACE
• scientific article; zbMATH DE number 1241838
• Computational topology. An introduction
• Topological structures in computer science
• Topology, domain theory and theoretical computer science

Cites work

• A computational model for metric spaces
• Computation on metric spaces via domain theory
• Continuous Lattices and Domains
• Convex power domain and Vietoris space
• Domain theory and integration
• Domain-representable spaces
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Dynamical systems, measures, and fractals via domain theory
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 1231569 (Why is no real title available?)
• scientific article; zbMATH DE number 1330440 (Why is no real title available?)
• scientific article; zbMATH DE number 1978328 (Why is no real title available?)
• scientific article; zbMATH DE number 3253715 (Why is no real title available?)
• Ideal models of spaces.
• On the spaces of the maximal points
• Order environments of topological spaces
• Spaces of maximal points
• The regular spaces with countably based models.
• The space of maximal elements in a compact domain
• Topological games in domain theory
• Total objects of domains

Cited in

(7)

• Order environments of topological spaces
• Bounded complete models of topological spaces
• Synthetic topology: of data types and classical spaces
• scientific article; zbMATH DE number 4212991 (Why is no real title available?)
• On computational environments of topological spaces
• Banach domains: computational models of Banach spaces
• scientific article; zbMATH DE number 1330440 (Why is no real title available?)

This page was built for publication: On computational environments of topological spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q949611)