Properties of Wigner Distribution Functions Applied to Quantum Mechanics

Abstract

An operational model of quantum measurements was presented befor. In order to obtain constructive theoretical results from this model there is a need to define previously not described properties of Wigner distribution functions. The report contains the proof of these properties. Multidimensional generalization and relationships with different conventions of the Fourier transform were described.