Taking an orthonormal basis e n of H, S (H) can be written as an infinite tensor product of the S (C e n). The irreducibility of W on each of these spaces implies the irreducibility of W on the whole of S (H). W is called the complex wave representation.