Abstract
Pointfree topology deals with certain complete lattices, called frames, which may be viewed as abstractly defined lattices of open sets, sufficiently resembling the concrete lattices of this kind that arise from topological spaces to make the treatment of a variety of topological questions possible. It turns out that a remarkable number of topological facts derive from results in this pointfree setting while the proofs of the latter are often more suggestive and transparent than those of their classical counterparts. But there is a deeper aspect of frames which endows them with a very specific significance: various topological spaces classically associated with other entities (such as several types of rings, or Banach spaces, or lattices) are actually the spectra of appropriate frames which themselves require weaker logical foundations for the proofs of their basic properties than those needed for the actual spaces but which can still serve much the same purposes as the spaces in question. In this way, pointfree topology acquires an autonomous rôle and appears as more fundamental than classical topology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
B. Banaschewski, Untersuchungen über Filterräume, Doctoral Dissertation, Universität Hamburg 1953.
B. Banaschewski, Extensions of topological spaces, Can. Math. Bull. 7 (1964), 1–22.
B. Banaschewski, Another look at the localic Tychonoff Theorem, Com- ment. Math. Univ. Carolinae 29 (1988), 647–656.
B. Banaschewski, Compact regular frames and the Sikorski Theorem, Kyungpook Math. J. 28 (1988), 1–14.
B. Banaschewski, Universal zero-dimensional compactifications, Categor- ical Topology and its Relations to Analysis, Algebra, and Combinatorics (Prague, August 1988), World Scientific Singapore 1989, pp. 257–269.
B. Banaschewski. The real numbers in pointfree topology,Textos de Mate- mâtica Série B, No. 12(1997), Departamento de Matematica da Universidade de Coimbra.
B. Banaschewski, S. S. Hong, A. Pultr, On the completion of nearness frames, Quaest. Math. 21 (1998), 19–37.
B. Banaschewski, Integer-valued functions in pointfree topology, Unpub- lished notes, University of Cape Town 1997.
B. Banaschewski, S. S. Hong, A. Pultr, On the completion of nearness frames, Quaest. Math. 21 (1998), 19–37.
B. Banaschewski, C. J. Mulvey, Stone-Cech compactification of locales I, Houston J. Math. 6 (1980), 301–312.
B. Banaschewski, C. J. Mulvey, Stone-Cech compactification of locales II, J. Pure Appl. Alg. 33 (1984), 107–122.
B. Banaschewski, A. Pultr, Samuel compactification and completion of uniform frames, Math. Proc. Cambridge Phil. Soc. 108 (1990), 63–78.
B. Banaschewski, A. Pultr, Paracompactness revisited, A.pl. Cat. Struct. 1 (1993), 181–190.
B. Banaschewski, A. Pultr, Cauchy points of uniforr,t and nearness frames, Quaest. Math. 19 (1996), 107–127.
B. Banaschewski, A. Pultr, A new look at pointfree metrization theorems, Comment. Math. Univ. Carolinae 39 (1998), 167–175.
B. Banaschewski, A. Pultr, Uniformity In Pointfree Topology, Chapter IV: Comple- tion, (unpublished book manuscript).
B. Banaschewski, J. J. C. Vermeulen, On the completeness of localic groups, Comment. Math. Univ. Carolinae 40 (1999), 273–307.
F. A. Behrend, Note on the compactification of separated uniform spaces, Indag. Math. 18 (1956), 269–270.
J. Bénabou, Treillis locaux et paratopologie,Séminaire C. Ehresman 195758, Fac. de Sciences de Paris.
R. Engelking, General Topology, Sigma Series in Pure Mathematics Vol. 6, Heldermann Verlag, Berlin 1989.
P. Fletcher, W. Hunsaker, Entourage unifot mities for frames, Mh. Math. 112 (1991), 271–279.
L. Gillman, M. Jerison, Rings Of Continuous Functions, Van Nostrand (Princeton), 1960.
A. M. Gleason, Projective topological spaces,Ill. J. Math. 2(1958), 482489.
V. Glivenko, Sur quelques points de la logique de M. Brouwer, Bull Acad. des Sci. de Belgique 15 (1929), 183–188.
H. Herrlich, A concept of nearness, Gen. Top. Appl. 4 (1974), 191–212.
S. S. Hong, Convergence in frames, Kyungpook Math. J. 35 (1995), 85–91.
S. S. Hong, Y. K. Kim, Nearness spaces and nearness frames, Proceedings SoCaT94. University of Cape Town 1999; pp. 141–146.
S. S. Hong, Y. K. Kim, Cauchy completions of nearness frames, Appl. Cat. Struct. 3 (1995), 371–377.
J. R. Isbell, Atomless parts of spaces, Math. Scand. 31 (1972), 5–32.
J. R. Isbell, I. Kffz, A. Pultr, J. Rosickÿ, Remarks on localic groups, Springer LNM 1348, Categorical Algebra and its Applications. Proceedings Lovain-la-Neuve 1987. Springer-Verlag, 1988; pp. 154–172.
P. T. Johnstone, Stone Spaces, Cambridge University Press (Cambridge), 1982.
A. Joyal, Theorie des topos et le théorème de Barr, Tagungsbericht, Category Theory Meeting Oberwolfach 1977.
I. KfI, A direct description of uniform completion and a characterization of LT groups, Cah. Top. Géom. Diff. Cat. 27 (1986), 19–34.
S. Mac Lane, Categories For The Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag (Berlin/New York), 1971.
J. Madden, J. Vermeer, Lindell; f locales and realcompactness, Math. Proc. Cambridge Phil. Soc. 99 (1986), 473–480.
D. Papert, S. Papert, Sur les treillis des ouverts et la paratopologies,Seminaire C. Ehresman 1957–58. Fac. de Sci. de Paris.
J. Picado, Weil uniformities for frames, Comment. Math. Univ. Carolinae 36 (1995), 357–370.
A. Pultr, Pointless uniformities I: Complete regularity. Comment. Math. Univ. Carolinae 25 (1984), 91–104.
A. Pultr, Pointless uniformities II: (Dia)metrization. Comment. Math. Univ. Carolinae 25 (1984), 105–120.
A. Pultr, J. Úlehla, Notes on characterization of paracompact frames. Comment. Math. Univ. Carolinae 30 (1989), 377–384.
G. Reynolds, On the spectrum of a real representable ring, Applications of Sheaves: Proceedings Durham 1977, Springer LNM 753, Springer-Verlag 1979, pp. 595–611.
S. Vickers, Topology Via Logic, Cambridge Tracts in Theor. Comp. Sci. No. 5, Cambridge University Press (Cambridge), 1985.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Banaschewski, B. (2003). Uniform Completion In Pointfree Topology. In: Rodabaugh, S.E., Klement, E.P. (eds) Topological and Algebraic Structures in Fuzzy Sets. Trends in Logic, vol 20. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0231-7_2
Download citation
DOI: https://doi.org/10.1007/978-94-017-0231-7_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6378-6
Online ISBN: 978-94-017-0231-7
eBook Packages: Springer Book Archive