A mathematical introduction to the Wigner formulation of quantum mechanics
The paper is devoted to review, from a mathematical point of view, some fundamental aspects of the Wigner formulation of quantum mechanics. Starting from the axioms of quantum mechanics and of quantum statistics, we justify the introduction of the Wigner transform and eventually deduce the Wigner equation.