The algebraic structures arising in the axiomatic framework of unsharp quantum mechanics based on effect operators on a Hilbert space are investigated. It is stressed that usually considered "effect" algebras neglect the unitary Brouwerian map of complementation, and the main results based on this complementation are collected, showing the enrichment produced into the theory by its introduction. In particular, in these structures two notions of sharpness can be considered: K-sharpness induced by the usual complementation of effect algebras and B-sharpness induced by this new complementation. Quantum (resp., classical) SBZ algebras are then characterized by the condition of B-coherence (resp., B-coherence plus B-compatibility), showing that in this case the poset of all B-sharp elements is orthomodular (resp., Boolean algebra). In the unsharp context of effect operators, the finite dimensionality of the Hilbert space or the finiteness of a von Neumann algebra are both characterized by a de Morgan property of the Brouwer complementation. Moreover, since effect operators on a pre-Hilbert space give rise to a standard model of effect algebras, a characterization of completeness of pre-Hilbert spaces is given making use of the Brouwer complement

Cattaneo, G. (2000). From effect algebras to algebras of effects (sum Brouwer Zadeh algebras). INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 39(3), 531-550 [10.1023/A:1003669216927].

From effect algebras to algebras of effects (sum Brouwer Zadeh algebras)

Cattaneo, G
2000

Abstract

The algebraic structures arising in the axiomatic framework of unsharp quantum mechanics based on effect operators on a Hilbert space are investigated. It is stressed that usually considered "effect" algebras neglect the unitary Brouwerian map of complementation, and the main results based on this complementation are collected, showing the enrichment produced into the theory by its introduction. In particular, in these structures two notions of sharpness can be considered: K-sharpness induced by the usual complementation of effect algebras and B-sharpness induced by this new complementation. Quantum (resp., classical) SBZ algebras are then characterized by the condition of B-coherence (resp., B-coherence plus B-compatibility), showing that in this case the poset of all B-sharp elements is orthomodular (resp., Boolean algebra). In the unsharp context of effect operators, the finite dimensionality of the Hilbert space or the finiteness of a von Neumann algebra are both characterized by a de Morgan property of the Brouwer complementation. Moreover, since effect operators on a pre-Hilbert space give rise to a standard model of effect algebras, a characterization of completeness of pre-Hilbert spaces is given making use of the Brouwer complement
Articolo in rivista - Articolo scientifico
effect, algebras, effects, sum, brouwer, zadeh
English
531
550
20
Cattaneo, G. (2000). From effect algebras to algebras of effects (sum Brouwer Zadeh algebras). INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 39(3), 531-550 [10.1023/A:1003669216927].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/20509
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
Social impact