As pointed out by Gudder,1 the problem of providing a definition of tensor product for general quantum logics seems to be unavoidable if a theory of quantum measurement is addressed and developed in the context of quantum logics. More specifically, suppose we have two physical systems Σ and \(\tilde \Sigma\) with corresponding logics L and \(\tilde L\). For instance Σ could be the physical system under study and \(\tilde \Sigma\) a measure-merit apparatus. If one wants to study the compound physical system \(\Sigma \; + \;\tilde \Sigma\) with corresponding logic L, one has to provide a definition of (tensor) product of L with \(\tilde L\) in order to obtain L. A solution of the general problem should contain as special cases the following standard situations. Suppose first that both Σ and E are classical systems with phase space A and Ã respectively and associated logics L = P(A), L = P(Ã) the power set of their phase spaces. In this case L is provided by the power set of the cartesian product of the phase spaces, namely by L = P(A × Ã).
Unable to display preview. Download preview PDF.
- 1.S.P. Gudder, in “Mathematical Foundations of Quantum Theory”, A.R. Marlow ed., Academic Press, New York (1978).Google Scholar
- 6.D.J. Foulis and C.H. Randall, Empirical logic and tensor product, in “Proceedings of the Colloquium on the Interpretations and Foundations of Quantum Theories, Marburg 1979”, Holger Neumann ed., to appear.Google Scholar
- 7.C.H. Randall and D.J. Foulis, Operational statistics and tensor product, in “Proc. Colloq. on the Interpretations and Foundations of Quantum Theories, Marburg 1979”, Holger Neumann ed., to appear.Google Scholar
- 11.A. Zecca, “The Superposition of the States and the Logic Approach to Quantum Mechanics”, IFUM 229/FT, Milano (March 1979).Google Scholar