Abstract
We show that the natural mathematical structureto describe a physical entity by means of its states andits properties within the Geneva–Brussels approachis that of a state property system. We prove that the category of state property systems (andmorphisms) SP is equivalent to the category ofclosure spaces (and continuous maps) Cls. We showthe equivalence of the ‘state determinationaxiom’ for state property systems with the ‘T0separation axiom’ for closure spaces. We alsoprove that the category SP 0 ofstate-determined state property systems is equivalent tothe category L 0 of based completelattices. In this sense the equivalence of SP andCls generalizes the equivalence ofCls 0 (T0 closure spaces)and L 0 proven by Erne(1984).
Similar content being viewed by others
REFERENCES
Aerts, D. (1981). The one and the many, Doctoral Thesis, Brussels Free University.
Aerts, D. (1982). Description of many physical entities without the paradoxes encountered in quantum mechanics, Found. Phys. 12, 1131.
Aerts, D. (1983a). Classical theories and non classical theories as a special case of a more general theory, J. Math. Phys. 24, 2441.
Aerts, D. (1983b). The description of one and many physical systems, in Foundations of Quantum Mechanics, C. Gruber, ed., A.V.C.P., Lausanne, p. 63.
Aerts, D. (1984a). Construction of the tensor product for the lattices of properties of physical entities, J. Math. Phys. 25, 1434.
Aerts, D. (1984b). The missing elements of reality in the description of quantum mechanics of the EPR paradox situation, Helv. Phys. Acta 57, 421.
Aerts, D. (1985). The physical origin of the EPR paradox and how to violate Bell inequalities by macroscopic systems, in Symposium on the Foundations of Modern Physics, P. Mittelstaedt, and P. Lahti, eds., World Scientific, Singapore.
Aerts, D. (1994). Quantum structures, separated physical entities and probability, Found. Phys. 24, 1227.
Aerts, D. (1998). Foundations of quantum physics: A general realistic and operational approach, Int. J. Theor. Phys., this issue.
Aerts, D., and Valckenborgh, F. (1998). Lattice extensions and the description of compound entities, FUND, Brussels Free University, Preprint.
Aerts, D., Coecke, B., Durt, T., and Valckenborgh, F. (1997a). Quantum, classical and intermediate; a model on the Poincaré sphere, Tatra Mountains Math. Publ. 10, 225.
Aerts, D., Coecke, B., Durt, T., and Valckenborgh, F. (1997b). Quantum, classical and intermediate; the vanishing vector space structure, Tatra Mountains Math. Publ. 10, 241.
Borceux F. (1994). Handbook of Categorical Algebra I, Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge.
Cattaneo, G., and Nistico, G. (1991). Axiomatic foundations of quantum physics: Critiques and misunderstandings. Piron' s question-proposition system, Int. J. Theor. Phys. 30, 1293.
Cattaneo, G., and Nistico, G. (1992). Physical content of preparation-qu estion structures and Brouwer-Zadeh lattices, Int. J. Theor. Phys. 31, 1873.
Cattaneo, G., and Nistico, G. (1993). A model of Piron' s preparation-que stion structures in Ludwig' s selection structures, Int. J. Theor. Phys. 32, 407.
Cattaneo G., dalla Pozza C., Garola C., and Nistico G. (1988). On the logical foundations of the Jauch-Piron approach to quantum physics, Int. J. Theor. Phys. 27, 1313.
Daniel, W. (1982). On non-unitary evolution of quantum systems, Helv. Phys. Acta 55, 330.
d' Emma, G. (1980). On quantization of the electromagnetic field, Helv. Phys. Acta 53, 535.
Erné M. (1984). Lattice representations for categories of closure spaces, in Categorical Topology, Heldermann Verlag, Berlin, pp. 197–122.
Foulis, D., and Randall, C. (1984). A note on the misunderstanding of Piron's axioms for quantum mechanics, Found. Phys. 14, 65.
Foulis, D., Piron, C., and Randall, C. (1983). Realism, operationalism and quantum mechanics, Found. Phys. 13, 843.
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., and Scott, D. S. (1980). A Compendium of Continuous Lattices, Springer-Verlag, Berlin.
Giovannini, N., and Piron, C. (1979). On the group-theoretic al foundations of classical and quantum physics: Kinematics and state spaces, Helv. Phys. Acta 52, 518.
Gisin, N. (1981). Spin relaxation and dissipative SchroÈ dinger like evolution equations, Helv. Phys. Acta 54, 457.
Jauch, J. M., and Piron, C. (1965). Generalized localisability, Helv. Phys. Acta 38, 104.
Ludwig, G., and Neumann, H. (1981). Connections between different approaches to the foundations of quantum mechanics, in Interpretation and Foundations of Quantum Mechanics, H. Neumann, ed., B. I. Wissenschafts-Verlag, Bibliographische s Institut, Mannheim.
Moore, D. (1995). “Categories of Representations of Physical Systems”, Helv. Phys. Acta, 68, 658.
Piron, C. (1964). Axiomatique quantique, Helv. Phys. Acta 37, 439.
Piron, C. (1969). Les régles de superselection continues, Helv. Phys. Acta 43, 330.
Piron, C. (1976). Foundations of Quantum Physics, Benjamin, Reading, Massachusetts.
Piron, C. (1989). Recent developments in quantum mechanics, Helv. Phys. Acta 62, 82.
Piron, C. (1990). Mécanique Quantique: Bases et Applications, Presses polytechniques et universitaires romandes, Lausanne, Switzerland.
Randall, C., and Foulis, D. (1983). Properties and operational propositions in quantum mechanics, Found. Phys. 13, 843.
Rights and permissions
About this article
Cite this article
Aerts, D., Colebunders, E., Voorde, A.V.D. et al. State Property Systems and Closure Spaces: A Study of Categorical Equivalence. International Journal of Theoretical Physics 38, 359–385 (1999). https://doi.org/10.1023/A:1026657913077
Issue Date:
DOI: https://doi.org/10.1023/A:1026657913077