point-free geometry

Point-free geometry is based on the idea that in geometry it is not necessary to assume as a primitive the notion of point. Instead, we can start from the notion of a ”region” in the space. The points are defined by suitable abstraction processes, i.e. order-reversing sequences of regions. Firstly, such a question was analized by A. N. Whitehead in the books ”An Inquiry Concerning the Principles of Natural Knowledge” and ”The concept of Nature”. In these books the ”inclusion relation” is the only primitive (”mereology” is the correct collocation). Successively in ”Process and Reality” Whitehead proposed a new approach in which the ”connection relation” and the one of ”oval” is considered which are topological and affine in nature, respectively. Notice that Whitehead’s analysis was philosophical but that several authors translated this analysis into systems of axioms for a formal mathematical treatment (for further information see [1]). Successively several approaches to point-free geometry where proposed metrical in nature. The primitives are the inclusion and either the diameter ([4] and [5]) or the diameter and the minimum distance between regions [2]. A totally different approach to point-free geometry is proposed in a very interesting book by H. J. Schmidt. We quote also the deep and extensive investigation of several authors in point-free topology [3].

References

1. G. Gerla, Pointless geometries, in Handbook of Incidence Geometry, F. Buekenhout and W. Kantor (eds) 1994 North-Holland.

2.G. Gerla, Pointless Metric spaces. J. Symb. Logic 55, 207-219, 1990.

3. S. Papert, An abstract theory of topological spaces, Proc. Cambridge Philos. Soc. 60, 197-203, 1964.

4. A. Pultr, Diameters in locales: How bad they can be. Comment. Math. Univ. Carolinae 29, 731-742, 1988.

5. F. Previale, Su una caratterizzazione reticolare del concetto di spazio metrico, Atti d. Acad. Sc. di Torino, Cl Sc. Fis., 100, 766-779, 1966.

6. H. J. Schmidt, Axiomatic Characterization of Physical Geometry, Lecture Notes in Physics, Springer-Verlag, Berlin Heidelberg, 1979.

7. A. N. Whitehead, An Inquiry Concerning the Principles of Natural Knowledge, Camb. Univ. Press, Cambridge, 1919.

8. A. N. Whitehead, The concept of Nature, Camb. Univ. Press, Cambridge, 1920.

9. A. N. Whitehead, Process and Reality, The Macmillan Co., New York 1929.

单词	PointfreeGeometry
释义	point-free geometry Point-free geometry is based on the idea that in geometry it is not necessary to assume as a primitive the notion of point. Instead, we can start from the notion of a ”region” in the space. The points are defined by suitable abstraction processes, i.e. order-reversing sequences of regions. Firstly, such a question was analized by A. N. Whitehead in the books ”An Inquiry Concerning the Principles of Natural Knowledge” and ”The concept of Nature”. In these books the ”inclusion relation” is the only primitive (”mereology” is the correct collocation). Successively in ”Process and Reality” Whitehead proposed a new approach in which the ”connection relation” and the one of ”oval” is considered which are topological and affine in nature, respectively. Notice that Whitehead’s analysis was philosophical but that several authors translated this analysis into systems of axioms for a formal mathematical treatment (for further information see [1]). Successively several approaches to point-free geometry where proposed metrical in nature. The primitives are the inclusion and either the diameter ([4] and [5]) or the diameter and the minimum distance between regions [2]. A totally different approach to point-free geometry is proposed in a very interesting book by H. J. Schmidt. We quote also the deep and extensive investigation of several authors in point-free topology [3]. References 1. G. Gerla, Pointless geometries, in Handbook of Incidence Geometry, F. Buekenhout and W. Kantor (eds) 1994 North-Holland. 2.G. Gerla, Pointless Metric spaces. J. Symb. Logic 55, 207-219, 1990. 3. S. Papert, An abstract theory of topological spaces, Proc. Cambridge Philos. Soc. 60, 197-203, 1964. 4. A. Pultr, Diameters in locales: How bad they can be. Comment. Math. Univ. Carolinae 29, 731-742, 1988. 5. F. Previale, Su una caratterizzazione reticolare del concetto di spazio metrico, Atti d. Acad. Sc. di Torino, Cl Sc. Fis., 100, 766-779, 1966. 6. H. J. Schmidt, Axiomatic Characterization of Physical Geometry, Lecture Notes in Physics, Springer-Verlag, Berlin Heidelberg, 1979. 7. A. N. Whitehead, An Inquiry Concerning the Principles of Natural Knowledge, Camb. Univ. Press, Cambridge, 1919. 8. A. N. Whitehead, The concept of Nature, Camb. Univ. Press, Cambridge, 1920. 9. A. N. Whitehead, Process and Reality, The Macmillan Co., New York 1929.
随便看	IsotopeOfAGroupoid isotope of a groupoid Isotopy isotopy IsotropicQuadraticSpace isotropic quadratic space IsotropicSubmanifold isotropic submanifold IsotropyRepresentation isotropy representation IteratedForcing iterated forcing IteratedForcingAndComposition iterated forcing and composition IteratedLimitInmathbbR2 iterated limit in ℝ^2 IteratedSumOfDivisorsFunction iterated sum of divisors function IteratedTotientFunction iterated totient function Iteration iteration Iterator iterator ItoIntegral