Spectral theorem for unbounded self-adjoint operators on REAL Hilbert spaces This question was posed on MathStackExchange but did not get an answer (even with a bounty).
In all books that I have checked the spectral theorem (every self-adjoint unbounded operator on a Hilbert space is unitary equivalent to a multiplication operator on some $L_2(\mu)$) is only stated for complex Hilbert spaces (and the use of the Cayley transformation for the reduction to the bounded case requires indeed complex scalars). However, since the spectrum of a a self-adjoint operator is real the theorem should (or could) be true in real Hilbert spaces. I could imagine an argument by complexification but there are a number of things to do, in particucar, I think that the unitary operator between the complexified Hilbert space and the complex $L_2(\mu)$ does not automatically map the original real Hilbert space to the real-valued functions). Hence the question:
Is the the spectral theorem in real Hilbert spaces true? (In this case I would also like to have a reference.)
 A: Simon Henry's comment is close to an answer. As I asked for a reference :
Remark 20.18 in R. Meise and D. Vogt, Introduction to Functional Analysis.
A: Suggestion: As you point out, Leinfelder does in fact use 
Cayley.  However, he shows that if you have a self-adjoint operator, then you can represent the space as a Hilbert sum of closed subspaces, each of which is invariant under  $A$ (or any operator which commutes with it), and on which it is bounded.  If you apply this to the complexification of $A$ as in your problem, then you get a corresponding splitting.  Once you have that, then it is a simple matter to get the result you are looking for.
A: I posted a solution at StackExchange that uses only real techniques, but I don't know of any reference that uses the technique.
A: It seems worthwhile to mention that this is quite comprehensively treated in the recent preprint "The Functional Calculus Approach to the Spectral Theorem" by Markus Haase, where the entire theory is developed for the real and the complex case simultaneously.
Section 7 contains the spectral theorem for finitely many unbounded commuting self-adjoint operators on a real Hilbert space (Theorem 7.6).
