用户: Fyx1123581347/泛函分析/无界算子/谱投影

引理 0.1. $f:\Omega \to \mathbb{C}$ 可测, 令$$D_f=\{x\in H:{\int }_{\Omega }|f{|}^{2}d{E}_{x,x}<\infty \}$$则 $D_f$ 为 $H$ 的稠密子空间. 对 $x,y\in H$, 有\int_{\Omega}|f|d|E_{x,y}| \le\