From 0cecf7a27ab2a4ab655cd8af25d5c365b3fbda9d Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Fri, 14 Aug 2026 20:54:09 -0400 Subject: [PATCH] Fixed small typos. --- 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 224bfc2..c5b5e7f 100644 --- a/src/op/vn/fc.tex +++ b/src/op/vn/fc.tex @@ -152,14 +152,14 @@ \begin{definition}[Borel Functional Calculus] \label{definition:borel-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 there exists a unique continuous unital *-homomorphism + 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 there exists a unique unital *-homomorphism \[ C(\sigma_{B(H)}(T); \complex)^{**} \to A \quad \phi \mapsto \phi(T) \] such that: \begin{enumerate} - \item $\one(T) = I$, $\text{Id}(T) = T$, $\ol{Id}(T) = T^*$. + \item $\one(T) = I$, $\text{Id}(T) = T$, $\ol{\text{Id}}(T) = T^*$. \item The mapping $\phi \mapsto \phi(T)$ is continuous from the weak* topology on $C(\sigma_{B(H)}(T); \complex)^{**}$ to the weak operator topology on $A$. \end{enumerate}