I want to understand the proof of the Spectral theorem for unbounded self-adjoint operators. First the theorem:
Let H be a separable complex Hilbert space, $A:D(A)\subseteq H\to H$ a densily defined self-adjoint operator. Then there exists a $\sigma$-finite measure space $(\Omega ,\Sigma ,\mu)$, a measurable function $f:\Omega \to\mathbb{R}$ and a unitary operator $V:H\to L^2(\Omega)$, such that:
$$1. \text{for}\; x\in H: x\in D(A) \Leftrightarrow f\cdot V(x)\in L^2(\Omega) $$ and
$$2. VAV^{-1}\varphi =M_f\varphi\;\; \forall \varphi \in D(M_f)$$
where $M_f:D(M_f)=\{u\in L^2(\Omega); f\cdot u\in L^2(\Omega)\}\subseteq L^2(\Omega)\to L^2(\Omega),\; u\mapsto f\cdot u$ is the multiplication operator.
We had 2 theorems before we prove this theorem and which will be needed to prove the Spectral theorem as stated above I think :
Theorem 1:
Let H be a separable complex Hilbert space, $A\in L(H)$ self-adjoint. Then there exists a $\sigma$-finite measure space $(\Omega ,\Sigma ,\mu)$, a bounded measurable function $f:\Omega \to\mathbb{R}$ and a unitary operator $V:H\to L^2(\Omega)$, such that:
$(VAV^{-1})\varphi =f\cdot \varphi \;\; \mu$-almost everywhere.
Theorem 2 and definition: Let H be a Hilbert space and $A:D(A)\subseteq H\to H$ a densily defined self-adjoint operator. Then the operator $U=(A+iId)(A-iId)^{-1}$ is well-defined, linear and continuous, unitary and 1 is not in the point spectrum of U. It is $A=i(U+Id)(U-Id)^{-1}$ and we say: U is the Cayley transform of A.
Now the proof of the spectral theorem:
A self-adjoint and therefore the operator $U=(A+iId)(A-iId)^{-1}$ is well-defined, linear and continuous, unitary and 1 is not in the point spectrum of U and it is $A=i(U+Id)(U-Id)^{-1}$ (theorem 2). Then there is a $\sigma$-finite measure space $(\Omega ,\Sigma ,\mu)$ and $g\in L^{\infty}(\Omega)$, g is not necessary realvalued, and a unitary operator $V:H\to L^2(\Omega)$, such that:
$VUV^{-1}=M_g$, respectively $U=V^{-1}M_gV$.
Here I have a first question: Is this the application of theorem 1 on U? But U is unitary and not self-adjoint. And g is only bounded almoust everywhere and not as stated in theorem 1, bounded on $\Omega$. What is going on here?
To continue the proof: Now it is $A=i(U+Id)(U-Id)^{-1}=V^{-1}(i(M_g+Id)(M_g-Id)^{-1})$ and let $M_f$ be $M_f=i(M_g+Id)(M_g-Id)^{-1}$ with $f(\cdot)=i\frac{g(\cdot)+1}{g(\cdot)-1}$.
f is clearly measurable but why is f well defined?
we said: It is $V(U-Id)V^{-1}=M_g-Id$ and $U-Id$ is injective and therefore $M_g-Id$ is injective. So $\{x\in\Omega; g(x)=1\}$ is a null set.
Question: Could you explain me, why $\{x\in\Omega; g(x)=1\}$ is a null set? I don't understand this.
And could you explain me, why the first point, $\text{for}\; x\in H: x\in D(A) \Leftrightarrow f\cdot V(x)\in L^2(\Omega)$ is true? We only say it is "clear".
Sorry, a lot of questions. I really appreciate your help. Regards
Update: Ok theorem 1 has to be true for normal operators if it is true what i read in lecture notes. So the only question is, why
$$1. \text{for}\; x\in H: x\in D(A) \Leftrightarrow f\cdot V(x)\in L^2(\Omega) $$ in the Spectral theorem is true