Empirical quantum mechanics (Q1919234): Difference between revisions

The paper is part of a long series of articles (published in Int. J. Theor. Phys., Vol. 31-35), studying various mathematical structures at the borderline between logic, category theory and foundations of quantum mechanics. In the author's approach, operations are considered as complete Boolean algebras of observable events. The notion of manual of operations (coming from the study of the foundations of quantum mechanics) is incorporated into a catgegory-theoretical standpoint via the notion of a manual of Boolean locales. Boolean quantum mechanics becomes ``empirical quantum mechanics'' when one considers a family of Hilbert spaces not over a single Boolean locale, but over a whole manual of Boolean locales. From the point of view of quantum mechanics, one may talk here about studying quantum systems with incompatible families of continuous superselection rules. This approach leads to a certain generalization of the theory of Hilbert spaces, which is called empirical Hilbert space theory. Appropriate versions of the square root lemma for bounded positive operators, the spectral theorem for (possibly unbounded) self-adjoint operators and Stone's theorem for one-parameter unitary groups are established.