A Deformation Quantization Theory for Non-Commutative Quantum Mechanics

We show that the deformation quantization of non-commutative quantum mechanics previously considered by Dias and Prata can be expressed as a Weyl calculus on a double phase space. We study the properties of the star-product thus defined, and prove a spectral theorem for the star-genvalue equation using an extension of the methods recently initiated by de Gosson and Luef.