Abstract
Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a \(\sigma \)-MV-effect algebra. This sum is commutative, associative with neutral element. Under the Olson order of observables, the set of bounded observables is a partially ordered semigroup, and the set of sharp observables is even a Dedekind \(\sigma \)-complete \(\ell \)-group with strong unit.
Similar content being viewed by others
References
Bauer H (1996) Probability theory. de Gruyter, Berlin
Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823–834
Butnariu D, Klement EP (1993) Triangular norm-based measures and games with fuzzy coalitions. Kluwer, Dordrecht
Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht
Dvurečenskij A (2003) Central elements and Cantor–Bernstein’s theorem for pseudo-effect algebras. J Aust Math Soc 74:121–143
Dvurečenskij A (2014) Representable effect algebras and observables. Int J Theor Phys 53:2855–2866. doi:10.1007/s10773-014-2083-z
Dvurečenskij A (2016a) Olson order of quantum observables. Int J Theor Phys 55:4896–4912. doi:10.1007/s10773-016-3113
Dvurečenskij A (2016b) Quantum observables and effect algebras. http://arxiv.org/abs/1609.06691
Dvurečenskij A, Kuková M (2014) Observables on quantum structures. Inf Sci 262:215–222. doi:10.1016/j.ins.2013.09.014
Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer, Dordrecht, Ister Science, Bratislava, 541 + xvi pp
Foulis DJ, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24:1325–1346
Fuchs L (1963) Partially ordered algebraic systems. Pergamon Press, Oxford
Goodearl KR (1986) Partially ordered abelian groups with interpolation. Mathematical Surveys and Monographs No. 20, American Mathematical Society, Providence
Gudder SP (1966) Uniqueness and existence properties of bounded observables. Pac J Math 19:81–93
Halmos PR (1974) Measure theory. Springer, Berlin
Jenča G (2010) Sharp and meager elements in orthocomlete homogeneous effect algebras. Order 27:41–61
Jenča G, Riečanová Z (1999) On sharp elements in lattice ordered effect algebras. Busefal 80:24–29
Jenčová A, Pulmannová S, Vinceková E (2011) Observables on \(\sigma \)-MV-algebras and \(\sigma \)-lattice effect algebras. Kybernetika 47:541–559
Kadison R (1951) Order properties of bounded self-adjoint operators. Proc Am Math Soc 2:505–510
Kallenberg O (1997) Foundations of modern probability. Springer, New York
Olson MP (1971) The self-adjoint operators of a von Neumann algebra form a conditionally complete lattice. Proc Am Math Soc 28:537–544
Pulmannová S (2002) Compatibility and decomposition of effects. J Math Phys 43:2817–2830
Ravindran K (1996) On a structure theory of effect algebras, Ph.D. thesis. Kansas State University, Manhattan
Riečanová Z (2000) Generalization of blocks for d-lattice and lattice ordered effect algebras. Int J Theor Phys 39:231–237
Sikorski R (1964) Boolean algebras. Springer, Berlin
Varadarajan VS (1968) Geometry of quantum theory, vol 1. van Nostrand, Princeton
Acknowledgements
The author is very indebted to anonymous referees for their careful reading and suggestions which helped us to improve the readability of the paper. This study was funded by the Grants VEGA Nos. 2/0069/16 SAV and GAČR 15-15286S.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
Dvurečenskij, A. Sum of observables on MV-effect algebras. Soft Comput 22, 2485–2493 (2018). https://doi.org/10.1007/s00500-017-2741-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2741-1