we thus obtain by \(W(t, f) := e^{it} W(f)\) 
a unitary representation on \(S(\mathcal {H})\) , called the Fock representation.
It is a continuous irreducible representation
([1]}). That it actually is smooth
follows from the smoothness of
\(\langle W(t,f)\Omega , \Omega \rangle = e^{it - \frac{1}{4}\Vert f\Vert ^2}\) 
