More corrections.

src/op/c-star/homomorphism.tex

@@ -82,7 +82,7 @@
     \end{cases}
     \]
 
-    then $f \in C(\complex; \complex)$. Since $\norm{\Phi(x)}_B \le \norm{y}_B + \norm{y - \Phi(x)}_B \le 2\norm{y}_B$, $\sigma_B(\Phi(x)) \subset \ol{B_\complex(0, 2\norm{y}_B)}$, and $f|_{\sigma_B(\Phi(x))}$ is the identity. Thus by the \hyperref[continuous functional calculus]{definition:continuous-functional-calculus}, $\Phi(x) = f(\Phi(x)) = \Phi(f(x))$. By the \hyperref[Spectral Mapping Theorem]{theorem:spectral-mapping-continuous}, $\sigma_A(f(x)) = f(\sigma_A(x))$. By \autoref{theorem:c-star-normal-spectral-radius}, $\norm{f(x)}_A = [f(x)]_{sp} \le \norm{f}_u = 2\norm{y}_F$. 
+    then $f \in C(\complex; \complex)$. Since $\norm{\Phi(x)}_B \le \norm{y}_B + \norm{y - \Phi(x)}_B \le 2\norm{y}_B$, $\sigma_B(\Phi(x)) \subset \ol{B_\complex(0, 2\norm{y}_B)}$, and $f|_{\sigma_B(\Phi(x))}$ is the identity. Thus by the \hyperref[continuous functional calculus]{definition:continuous-functional-calculus}, $\Phi(x) = f(\Phi(x)) = \Phi(f(x))$. By the \hyperref[Spectral Mapping Theorem]{theorem:spectral-mapping-continuous}, $\sigma_A(f(x)) = f(\sigma_A(x))$. By \autoref{theorem:c-star-normal-spectral-radius}, $\norm{f(x)}_A = [f(x)]_{sp} \le \norm{f}_u = 2\norm{y}_B$. 
 
     The above setup implies that for every $y \in \ol{\Phi(A)} \cap B_{sa}$, there exists $z \in A_{sa}$ such that $\norm{y - \Phi(z)}_{B} \le \norm{y}_B/2$, and $\norm{z}_A \le 2\norm{y}_B$. By the \hyperref[method of successive approximations]{theorem:successive-approximation}, $\Phi(A_{sa}) = \ol{\Phi(A)} \cap B_{sa}$. Therefore $\Phi(A) = \ol{\Phi(A)}$. 
 \end{proof}
@@ -115,7 +115,7 @@
         \item $P \in \pi(A)'$. 
     \end{enumerate}
 
-    If the above holds, then $M$ is a \textbf{invariant subspace} for $\pi$. 
+    If the above holds, then $M$ is an \textbf{invariant subspace} for $\pi$. 
 \end{definition}
 \begin{proof}
     Since $\pi(A)$ is a self-adjoint subspace of $B(H)$, $M$ is invariant for $\pi(A)$ if and only if it is a reducing subspace for $\pi(A)$, if and only if $\pi(A)$ commutes with $P$.