From 0aa8e956f51a25e550f258800d4a418224456f3c Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Sun, 16 Aug 2026 16:22:23 -0400 Subject: [PATCH] Fixed up the L^\infty functional calculus section. --- src/op/vn/fc.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/op/vn/fc.tex b/src/op/vn/fc.tex index fd9ce40..5c34431 100644 --- a/src/op/vn/fc.tex +++ b/src/op/vn/fc.tex @@ -194,7 +194,7 @@ Let $J: C(\Omega(A); \complex) \to \mathscr{E}^*$ be defined by $\dpn{\mu, J(f)}{\mathscr{E}} = \int_{\Omega(A)}f d\mu$ for each $\mu \in \mathscr{E}$ and $f \in C(\Omega(A); \complex)$. By \hyperref[Goldstine's Theorem]{corollary:weak-dense-unit-ball}, $C(\Omega(A); \complex)$ is weak*-dense in $C(\Omega(A); \complex)^{**}$, so $J(C(\Omega(A); \complex))$ is weak*-dense in $\mathscr{E}^*$. Since $I_E$ is continuous from the weak* topology on $\mathscr{E}^*$ to the weak operator topology on $B(H)$, $I_E(\mathscr{E}^*) \subset B$ by \autoref{proposition:closure-of-image}. - On the other hand, by the \hyperref[Banach-Alaoglu Theorem]{theorem:alaoglu}, $\ol{B_{\mathscr{E}^*}(0, 1)}$ is weak*-compact, so $I_E(\ol{B_{\mathscr{E}^*}(0, 1)})$ is weak-operator compact. As $\Gamma_A: A \to C(\Omega(A); \complex)$ is an isometric isomorphism, $I_E(\ol{B_{\mathscr{E}^*}(0, 1)}) \supset \ol{B_A(0, 1)}$. By the \hyperref[Kaplansky Density Theorem]{theorem:kaplansky-density}, $I_E(\ol{B_{\mathscr{E}^*}(0, 1)}) \supset B_B(0, 1)$, and $I_E(\mathscr{E}^*) = B$. + On the other hand, by the \hyperref[Banach-Alaoglu Theorem]{theorem:alaoglu}, $\ol{B_{\mathscr{E}^*}(0, 1)}$ is weak*-compact, so $I_E(\ol{B_{\mathscr{E}^*}(0, 1)})$ is weak-operator compact. As $\Gamma_A: A \to C(\Omega(A); \complex)$ is an isometric isomorphism, $I_E(\ol{B_{\mathscr{E}^*}(0, 1)}) \supset \ol{B_A(0, 1)}$. By the \hyperref[Kaplansky Density Theorem]{theorem:kaplansky-density}, $I_E(\ol{B_{\mathscr{E}^*}(0, 1)}) \supset \ol{B_B(0, 1)}$, and $I_E(\mathscr{E}^*) = B$. \end{proof} \begin{theorem}[Spectral Theorem II] @@ -276,7 +276,7 @@ \begin{definition}[$L^\infty$ Functional Calculus] -\label{definition:borel-functional-calculus} +\label{definition:linfty-functional-calculus} Let $H$ be a complex Hilbert space, $T \in B(H)$ be normal, and $A \subset B(H)$ be the smallest von Neumann algebra acting on $H$ containing $T$ and $I$, then \begin{enumerate} \item There exists a unique spectral measure $E: \cb_{\sigma_{B(H)}(T)} \to A$ such that