Weyl and Wigner functions in an extended phase-space formalism

Wigner function W(x,p) is related to the Weyl function (W) over tilde(X,P) through a two-dimensional Fourier transform. Several properties for these functions are proved which lead naturally to an extended phase space x-p-X-P. Uncertainty relations for delta x delta P and for delta p delta X are studied. They reduce to the usual uncertainty relation in the special case of pure states, but are different for mixed states. Thermal density matrices obey these uncertainty relations as equalities.