Spectral theorem for an unbounded normal operator in a real Hilbert space (Q2567465)

The authors use some of their earlier work to show that for an unbounded normal operator \(T\) with domain \({\mathcal D}(T)\) on a real Hilbert space \(H\), there exists a family \(\{H_\alpha\}\) of mutually orthogonal closed subspaces of \(H\) with direct sum \(H\) such that for each \(\lambda\) there exists a unitary operator \(U_\alpha: H_\lambda\to L^2(X_\lambda, \tau_\lambda, \mu_\lambda)\) such that, for each element \(\xi\) of \(U_\lambda({\mathcal D}(T)\cap H_\lambda)\), \(U_\lambda TU^{-1}_\lambda\xi= g_\lambda\xi\), where \(X_\lambda\) is a compact Hausdorff space, \(\tau_\lambda\) is a homeomorphism of \(X_\lambda\) of order two, \(\mu_\lambda\) is a \(\tau_\lambda\)-invariant positive measure on \(X_\lambda\), \(L^2(X_\lambda, \tau_\lambda, \mu_\lambda)\) is the real Hilbert space of elements \(\xi\) of \(L^2(X_\lambda, \mu_\lambda)\) for which \(\xi\circ\tau_\lambda\) and \(\overline\xi\) coincide, and \(g_\lambda\) is a complex-valued Borel function on \(X_\lambda\) with the same property.