Let $E$ be a complex Hilbert space (not necessary separable).

Spectral Theorem Let $A_1$ and $A_2$ be two commuting normal operators, then there exists a measure space $(E,\mathcal{E},\mu)$, two functions $\varphi_1,\varphi_2\in L^\infty(\mu)$ and a unitary operator $U:E\longrightarrow L^2(\mu)$, such that each $A_k$ is unitarily equivalent to multiplication by $\varphi_k$, $k=1,2$. i.e. $$UA_kU^*f=\varphi_kf,\;\forall f\in E,\,k=1,2.$$

Is $\mu$ semifinite? i.e. for each $E \in \mathcal{E}$ with $\mu(E) = \infty$ , there exists $F \subset E$ and $F \in \mathcal{E}$ and $0 < \mu(F) < \infty$.

If $E$ is a separable complex Hilbert space, then $(E,\mathcal{E},\mu)$ is a $\sigma$-finite measure space and so $\mu$ is semifinite.