Wigner function for the Dirac oscillator in spinor space

The Wigner function for the Dirac oscillator in spinor space is studied in this paper.Firstly,since the Dirac equation is described as a matrix equation in phase space,it is necessary to define the Wigner function as a matrix function in spinor space.Secondly,the matrix form of the Wigner function is proven to support the Dirac equation.Thirdly,by solving the Dirac equation,energy levels and the Wigner function for the Dirac oscillator in spinor space are obtained.