Study of Topological Spaces that Don’t Rely on Points as their Basis
DOI:
https://doi.org/10.31185/wjps.528Keywords:
point-free topology, locale theory, frames, lattices of opens, spatiality, topological spaces, the categorical approach, theoretical computer science, logics, pointless topologyAbstract
Traditionally, the concept of points and neighborhood structures has been quite dominant in defining and further analyzing various properties in the study of topological spaces. In pointless topology-or point-free topology, also referred to as locale theory-the key emphasis is shifted from points to lattices of open sets. In addition to gaining further insight into spatial properties, this approach has important implications in fields like theoretical computer science, logic, and categorical theory. It is the purpose of the present work to be mainly interested in issues of the foundation of point-free topology: locales, frames, mutual relationships between them; the ways of interpreting classical topological concepts in the new language and the strong and weak points of such a point-free view. In the process, we focus on some of the significant applications of point-free topology, both within mathematics and beyond. The present paper is an attempt to give a broad overview of pointfree topology, discussing both its theoretical basis and its practical significance.
References
O. Aberth, Computable Analysis. New York: McGraw-Hill, 1980.
M. J. Beeson, Foundations of Constructive Analysis. Heidelberg: Springer, 1985.
E. A. Bishop and D. S. Bridges, Constructive Analysis. Heidelberg: Springer, 1985.
L. Blum, M. Shub, and S. Smale, "On a theory of computation and complexity over the real numbers: NP completeness, recursive functions and universal machines," Bull. Amer. Math. Soc., vol. 21, no. 1, pp. 1-50, 1989.
D. S. Bridges, Constructive Functional Analysis. Belmont, London: Pitman, 1979.
L. E. J. Brouwer, "The Unreliability of the Logical Principles," in Collected Works I. Amsterdam: North-Holland, 1975, pp. 107-111.
G. S. Ceitin, "Mean value theorems in constructive analysis (Russian)," transl. Amer. Math. Soc., Transl., Ser. 2, vol. 98, pp. 1-140, 1971 (English), Dokl. Akad. Nauk SSSR, vol. 67, pp. 362-384, 1962.
G. S. Ceitin and I. D. Zaslavskii, "On singular coverings and properties of constructive functions connected with them (Russian)," transl. in Amer. Math. Soc., Transl., Ser. 2, vol. 98, pp. 41-89, 1971 (English), Tr. Mat. Inst. Steklov, vol. 67, Akad. Nauk SSSR: Moskva, pp. 458-502, 1962.
D. van Dalen, "Lectures on intuitionism," in Cambridge Summer School Mathematical Logic, H. Rogers and A. R. D. Mathias, Eds. Cambridge, GB: Lecture Notes in Math., vol. 337, Springer, 1971, pp. 1-94.
J. Dugundji, Topology. Boston: Allyn & Bacon, 1966.
M. Frechet, Les espaces abstraits. Paris: Gauthier-Villars, 1928.
R. L. Goodstein, Recursive Analysis. Amsterdam: North-Holland, 1961.
A. Grzegorczyk, "Computable functionals," Fund. Math., vol. 42, pp. 168-202, 1955.
A. Grzegorczyk, "Some approaches to constructive analysis," in Constructivity in Mathematics, A. Heyting, Ed. Amsterdam: Stud. Logic Found. Math., North-Holland, 1959, pp. 43-61.
F. Hausdorff, Grundzüge der Mengenlehre. Leipzig: Veit, 1914.
A. Heyting, Intuitionism, An introduction. Amsterdam: North-Holland, 1956.
W. Huang and A. Nerode, "Application of pure recursion theory in recursive analysis (in Chinese)," Acta Math. Sinica, vol. 28, pp. 625-635, 1985.
P. T. Johnstone, "The point of pointless topology," Bull. Amer. Math. Soc., vol. 8, no. 1, pp. 41-53, 1983.
I. Kalantari, "Major subsets in effective topology," in Proc. European Summer Meeting Assoc. Symbolic Logic, G. Metakides, Ed. Patras, Greece: North-Holland, 1980, pp. 77-94.
I. Kalantari and A. Legget, "Simplicity in effective topology," J. Symbolic Logic, vol. 47, pp. 169-383, 1982.
I. Kalantari and A. Legget, "Maximality in effective topology," J. Symbolic Logic, vol. 48, pp. 100-111, 1983.
I. Kalantari and J. Remmel, "Degrees of recursively enumerable topological spaces," J. Symbolic Logic, vol. 84, pp. 610-622, 1983.
I. Kalantari and A. Retzlaff, "Recursive construction in topological spaces," J. Symbolic Logic, vol. 44, pp. 609-625, 1979.
I. Kalantari and G. Weitkamp, "Effective topological spaces I: a definability theory," Ann. Pure Appl. Logic, vol. 29, pp. 1-27, 1985.
I. Kalantari and G. Weitkamp, "Effective topological spaces II: a hierarchy," Ann. Pure Appl. Logic, vol. 29, pp. 207-224, 1985.
Downloads
Published
Issue
Section
License
Copyright (c) 2024 Nidaa Hasan
This work is licensed under a Creative Commons Attribution 4.0 International License.
