В процессе построения операциональной модели квантовых измерений возникла необходимость установить ряд ранее не описанных свойств квантовой функции распределения Вигнера. Данная работа посвящена доказательству этих свойств, так как они необходимы для получения ряда конструктивных теоретических результатов. Сделано обобщение на многомерный случай и показана зависимость от выбора формы записи преобразования Фурье.
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.