A Shirota Theorem for Frames

Applied Categorical Structures - Tập 7 - Trang 271-277 - 1999
J. L. Walters-Wayland1
1Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch, South Africa. e-mail

Tóm tắt

We establish a version of the Shirota Theorem which characterises realcompactness in terms of completeness for frames; an interesting problem considering the various notions of realcompactness for frames and the fact that the frame completion behaves differently from its spatial counterpart. Amongst other consequences of this characterisation, we can describe the completion of a uniform sigma frame. We highlight some differences between frames and spaces when considering the Lindelöf property, realcompactness, paracompactness and completeness. Most of these results appear in the doctoral thesis of the author.

Tài liệu tham khảo

Banaschewski B.: Recent results in pointfree topology, Ann. New York Acad. Sci. 659 (1992), 29–41. Banaschewski B. and Gilmour C. R. A.: Stone Čech compactification and dimension theory for regular σ-frames, J. London Math. Soc. 39 (1989), 1–8. Banaschewski B. and Pultr A.: Samuel compactification and completion of uniform frames, Math. Proc. Camb. Philos. Soc. 108 (1990), 63–78. Banaschewski B. and Pultr A.: Paracompactness revisited, Appl. Categ. Structures 1 (1993), 181–190. Gillman L. and Jerrison M.: Rings of Continuous Functions, Van Nostrand, Princeton, NI, 1960. Gilmour C. R. A.: Realcompact Alexandroff spaces and regular σ-frames, Math. Proc. Camb. Philos. Soc. 96 (1984), 73–79. Isbell J.: Atomless parts of spaces, Math. Scand. 31 (1972), 5–32. Johnstone P. T.: Stone Spaces, Cambridge Studies in Advanced Math., Cambridge University Press, Cambridge, 1982. Johnstone P. T.: The point of pointless topology, Bull. Amer. Math. Soc. 8 (1983), 41–52. Madden J.: Kappa frames, J. Pure Appl. Algebra 70 (1991), 107–127. Madden J. and Vermeer H.: Lindelöf locales and realcompactness, Math. Proc. Camb. Philos. Soc. 99 (1986), 473–480. Marcus N.: Realcompactification of frames, Comm. Math. Univ. Carolin. 36(2) (1995), 347–356. Pultr A.: Pointless uniformities I: Complete regularity, Comm. Math. Univ. Carolin. 25 (1984), 91–104. Pultr A.: Pointless uniformities II: (Dia)metrization, Comm. Math. Univ. Carolin. 25 (1984), 104–120. Schlitt G.: N-compact frames, Comm. Math. Univ. Carolin. 32 (1991), 173–187. Shirota T.: A class of topological spaces, Osaka Math. J. 4 (1952), 23–40. Walters J. L.: Uniform sigma frames and the cozero part of uniform frames, Masters Thesis, University of Cape Town, 1989. Walters J. L.: Compactifications and uniformities on sigma frames, Comm. Math. Univ. Carolin. 32 (1991), 189–198. Walters-Wayland J. L.: Completeness and nearly fine uniform frames, Doctoral Thesis, University Catholique de Louvain, 1995. Willard S.: General Topology, Addison-Wesley, Reading, MA, 1970.