We show that any linear quantization map into the space of self-adjoint operators in a Hilbert space violates the von Neumann rule on postcomposition with real functions.
As is well-known, Dirac [1 gave a very elegant foundation of quantum mechanics, which contained however some self-contradictory concepts from the mathematical point of view.J. von Neumann gave another foundation of the theory based upon his spectral theory of self-adjoint operators of Hilbert space.However the whole spec- tral theory is in fact not necessary and what Dirac actually needs 1 d is only that the self-adjoint operators t. and could be put in i dt diagonal forms.There is also another justification of "improper" iunctions introduced by Dirac to put these operators in the diagonal forms by means of the theory of distributions of L. Schwartz.But
This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to self-adjoint operators on a Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system into a presheaf topos, called the quantum topos, on the context category consisting of commutative von Neumann algebras of bounded operators on the Hilbert space. By means of the geometric morphisms, we define Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, we can uniquely select the most informative one, which we call the quantization topology. We furthermore construct sheaves induced by the quantization topology. This can be done in an elementary and self-contained way, because the quantization topology has a quite simple expression.
In the present paper, we consider effects of quantization in a topos approach of quantum theory. A quantum system is assumed to be coded in a quantum topos, by which we mean the topos of presheaves on the context category of commutative subalgebras of a von Neumann algebra of bounded operators on a Hilbert space. A classical system is modeled by a Lie algebra of classical observables. It is shown that a quantization map from the classical observables to self-adjoint operators on the Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system to the quantum topos. By means of the geometric morphisms, we give Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, there exists a canonical one which we call a quantization topology. We furthermore give an explicit expression of a sheafification functor associated with the quantization topology.