Abstract
The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets \( \mathcal{O} \)(X) is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice \( \mathcal{O} \)(X) of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.
Similar content being viewed by others
References
Gierz, G., Hofmann, K. H., Keimel, K., et al., Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
Gierz, G., Lawson, J. D. and Stralka, A., Quasicontinuous posets, Houston J. Math., 9, 1983, 191–208.
Heckmann, R., Power Domain Construction, Ph. D. Thesis, Universität des Saarlandes, 1990.
Hofmann, K. H. and Lawson, J. D., The spectral theory of distributive lattices, Trans. Amer. Math. Soc., 246, 1978, 285–310.
Keimel, K. and Paseka, J., A direct proof of the Hofmann-Mislove theorem, Pro. Amer. Math. Soc., 120, 1994, 301–303.
Johnstone, P. T., Stone Spaces, Cambridge University Press, Cambridge, 1982.
Rudin, M. E., Directed sets with converge, Proc. Riverside Symposium on Topology and Modern Analysis, Riverside, CA, 1980, 305–307.
Stone, M. H., The theory of representation for Boolean algebras, Trans. Amer. Math. Soc., 40, 1936, 37–111.
Xu, X. Q. and Liu, Y. M., Relational representations of hypercontinuous lattices, Domain Theory, Logic and Computation, Kluwer Academic Publishers, Dortrecht/Boston/London, 2003, 65–74.
Xu, X. Q. and Liu, Y. M., The Scott topology and Lawson topology on a Z-quasi-continuous domain (in Chinese), Chin. Ann. Math., 24A(3), 2003, 365–376.
Yang, J. B. and Luo, M. K., Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains, Acta Math. Sin., English Ser., 22(3), 2006, 951–958.
Author information
Authors and Affiliations
Corresponding author
Additional information
Project supported by the National Natural Science Foundation of China (Nos. 10331010, 10861007), the Foundation for the Author of National Excellent Doctoral Dissertation of China (No. 2007B14), the Jiangxi Provincial Natural Science Foundation of China (Nos. 0411025, 2007GZS0179), the Foundation of the Education Department of Jiangxi Province (No. GJJ08162) and the Doctoral Fund of Jiangxi Normal University.
Rights and permissions
About this article
Cite this article
Xu, X., Yang, J. Topological representations of distributive hypercontinuous lattices. Chin. Ann. Math. Ser. B 30, 199–206 (2009). https://doi.org/10.1007/s11401-007-0316-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11401-007-0316-7
Keywords
- Hypercontinuous lattice
- Locally strongly compact space
- Hull-kernel topology
- Hyperalgebraic lattice
- Strongly locally compact space