1: \begin{definition} {\em Referring to Theorem \ref{JS}, the PVM $P^{(A_1\times \cdots \times A_n)}$ is called the {\bf joint spectral measure} of $A_1,A_2,\ldots, A_n$

2: and its support  $supp(P^{(A_1\times \cdots \times A_n)})$, i.e. the complement in $\bR^n$ to the largest open set $A$ with $P_A=0$, is called the 

3: {\bf joint spectrum} of $A_1,A_2,\ldots, A_n$.} \hfill $\blacksquare$

4: 

5: \end{definition}

6: