1: \begin{definition}\ \\

2:   \label{de.setwig}

3: The set of Wigner measures associated with a family

4: $(\varrho_{\varepsilon})_{\varepsilon\in (0,\bar\varepsilon)}$

5: (resp. a sequence $(\varrho_{\varepsilon_{n}})_{n\in\nz}$)  which

6: satisfies the assumptions of Theorem~\ref{th.wig-measure} is

7: denoted by

8: $$

9: \mathcal{M}(\varrho_{\varepsilon}, \varepsilon\in

10: (0,\bar\varepsilon))\,, \quad (\textrm{resp.}\ \mathcal{M}(\varrho_{\varepsilon_{n}}, n\in\nz))\,.

11: $$

12: Moreover this definition can be extended to any family

13: $(\varrho_{\varepsilon})_{\varepsilon\in (0,\bar\varepsilon)}$ such

14: that

15: $$

16: \|(1+\N)^{\delta}\varrho_{\varepsilon}(1+\N)^{\delta}\|_{\mathcal{L}^{1}(\H)}\leq

17: C_{\delta}

18: $$ for some $\delta>0$ with the decomposition $\varrho_{\varepsilon}=

19: \lambda_{\varepsilon}^{R,+}\varrho_{\varepsilon}^{R,+}-

20: \lambda_{\varepsilon}^{R,-}\varrho_{\varepsilon}^{R,-}+

21: i\lambda_{\varepsilon}^{I,+}\varrho_{\varepsilon}^{I,+}-i\lambda_{\varepsilon}^{I,-}\varrho_{\varepsilon}^{I,-}$\,.

22: \end{definition}

23: