1: \begin{definition}[$\s(\pi), \pi^*$]%

2: \label{specpi}\index{s3@$\protect\s(\pi)$}%

3: Let $A$ be a commutative  \st-algebra. Let $\pi$ be a non-zero

4: representation of $A$ in a Hilbert space $H \neq \{0\}$.

5: Let $B$ denote the closure of $R(\pi)$ in $B(H)$. We define

6: \[ \s(\pi) := \{ \,\tau \circ \pi \in \mathds{C}^{\,\text{\Small{$A$}}} : \tau \in \Delta(B) \,\}. \]

7: Then $\s(\pi)$ is a subset of $\Delta^*(A)$ with $\s(\pi) \cup \{0\}$

8: weak* compact. Hence $\s(\pi)$ is a closed and locally compact

9: subset of $\Delta^*(A)$. The functions $\wht{a}| _{\text{\small{$\s(\pi)$}}}$

10: $(a \in A)$ are dense in $C\0\bigl(\s(\pi)\bigr)$ by the Stone-Weierstrass

11: \linebreak Theorem, cf.\ the appendix \ref{StW}. The ``adjoint'' map

12: \begin{alignat*}{2}\index{p7@$\pi^*$}

13: \pi^* : \Delta(B) & \to &\ & \s(\pi) \\

14:              \tau & \mapsto &\ & \tau \circ \pi

15: \end{alignat*}

16: is a homeomorphism. \pagebreak

17: \end{definition}

18: