×

zbMATH — the first resource for mathematics

Nonatomic states. (English) Zbl 0960.06007
In the paper, the following definition of a nonatomic state on an orthomodular poset (OMP) is introduced: a state \(s\) on an OMP \(P\) is nonatomic if for any \(x\in P\) satisfying \(s(x)>0\) there exists \(y\in P\) such that \(y<x\) and \(0<s(y)<s(x)\). This definition coincides with the definition of a nonatomic state on a Boolean algebra. It is shown that the characterization of Boolean algebras which admit nonatomic states does not hold in the case of concrete orthomodular posets. A condition is found under which this characterization holds also for concrete orthomodular posets.
MSC:
06C15 Complemented lattices, orthocomplemented lattices and posets
28A10 Real- or complex-valued set functions
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12 Quantum logic
PDF BibTeX XML Cite
Full Text: EuDML
References:
[1] BERAN L.: Orthomodular Lattices. Algebraic Approach. Academia, Prague-D. Reidel, Dordrecht, 1984. · Zbl 0558.06008
[2] BHASKARA RAO K. P. S.-BHASKARA RAO M.: Theory of Charges. New York-London, Academic Press, 1983. · Zbl 0516.28001
[3] D’ANIELLO E.: Extension problems for states on orthomodular posets. Preprint 1996.
[4] HALMOS R.: Lectures on Boolean Algebras. Van Nostrand Mathematical Studies 1, D. Van Nostrand Company, Toronto-New York-London, 1963. · Zbl 0114.01603
[5] KALMBACH G.: Orthomodular Lattices. Academic Press, London-New York, 1983. · Zbl 0528.06012
[6] PTAK P.-PULMANNOVA S.: Orthomodular Structures as Quantum Logics. Kluwer Academic Publ., Dordrecht, 1991. · Zbl 0743.03039
[7] PTAK P.-WRIGHT J. M.: On the concreteness of quantum logics. Apl. Mat. 30 (1985), 274-285. · Zbl 0586.03050
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.