2009 年 17 巻 p. 31-45
Based on classical mechanical picture of physical objects, quantum-mechanical measurements are formulated and analyzed in an abstract way. We interpret a dynamical flow generated by a Hamiltonian vector field as a description of the effect on the objects caused by a device or an environment. By expressing contexts of measurement explicitly, a matrix representation of observables on a finite dimensional Hilbert space is constructed. A quantum-mechanical state vector is introduced as something on which a dynamical flow generated by a Hamiltonian vector field acts. We find conditions that enable us to obtain the Dirac's quantization rule for the mean values. At the same time, several characteristics (i.e., rectifiability, a generator of symmetry, an invariant mean) of quantum-mechanical measurements are formulated in our formalism.