Final review pass.

src/op/vn/projection.tex

@@ -63,12 +63,12 @@
     Z(P) = \sup_{T \in A}R(TP) \quad Z(Q) = \sup_{T \in A}R(TQ)
     \]
 
-    so $Z(P)Z(Q) = \sup_{S, T \in A}R(SP)R(TQ) \ne 0$. Thus there exists $S, T \in A$ such that $R(SP)R(TQ) \ne 0$. As such, there exists $x, y \in H$ with
+    Given that $Z(P)Z(Q) \ne 0$, $Z(P)(H) \not\perp Z(Q)(H)$. Since $Z(P)(H) = \ol{\bigcup_{S \in A}SP(H)}$ and $Z(Q)(H) = \ol{\bigcup_{T \in A}TQ(H)}$, there exists $S, T \in A$ such that $SP(H) \not\perp TQ(H)$. As such, there exists $x, y \in H$ with
     \[
-    0 \ne \dpn{SPx, TQy}{H} = \dpn{QT^*SPx, y}{H}
+    0 \ne \dpn{TQx, SPy}{H} = \dpn{PS^*TQx, y}{H}
     \]
 
-    so $PAQ \ne 0$. 
+    so $PAQ \ne \bracsn{0}$. 
 
     (2) $\Rightarrow$ (3): Let $T \in A$ with $PTQ \ne 0$. Let $P_0 = R(PTQ)$ and $Q_0 = R(QT^*P)$, then $0 \ne P_0 \le P$, $0 \ne Q_0 \le Q$, and $P_0 \sim Q_0$ by \autoref{lemma:mvn-equivalent-adjoint}. 
 
@@ -219,7 +219,7 @@
 
     Therefore
     \[
-    [(P \vee Q) - Q](H) = [(I - Q)P](H)  \sim P(I - Q)(H) = [P - (P \wedge Q)](H)
+    [(P \vee Q) - Q](H) = [(I - Q)P](H)  \sim [P(I - Q)](H) = [P - (P \wedge Q)](H)
     \]
     
     by \autoref{lemma:mvn-equivalent-adjoint}. 

src/op/vn/type-decomp.tex

@@ -25,7 +25,7 @@
 \begin{proof}
     (1) $\Rightarrow$ (2): Let $Q \in \text{Proj}(A)$ with $Q \le P$, then $Q = PQP$. As $PAP = \complex P$, either $PQP = 0$ or $PQP = P$. 
 
-    (2) $\Rightarrow$ (1): Given that there exists no projections strictly between $0$ and $P$, the only projection in $PAP$ is $P$ itself. By \autoref{theorem:vn-projection-norm-dense}, the linear span of projections in $PAP$ is norm-dense in $PAP$. Therefore $PAP = \complex P$. 
+    (2) $\Rightarrow$ (1): Given that there exists no projections strictly between $0$ and $P$, the only non-zero projection in $PAP$ is $P$ itself. By \autoref{theorem:vn-projection-norm-dense}, the linear span of projections in $PAP$ is norm-dense in $PAP$. Therefore $PAP = \complex P$. 
 \end{proof}
 
 \begin{lemma}
@@ -146,7 +146,7 @@
 
     Let $P_{\vnII} = Z(Q)$ and $A_{\vnII} = P_{\vnII}AP_{\vnII}$, then $A_{\vnII}$ is a von Neumann algebra with identity $P_{\vnII}$. Let $R \in \text{Proj}(Z(A_{\vnII})) \setminus \bracs{0}$, then since $0 < R \le P_{\vnII}$, $RQ \le R$ is a non-zero finite projection by (4) of \autoref{lemma:projection-types-gymnastics}. 
 
-    ($\vnIII$): Let $P_{\vnIII} = I - P_{\vnI} - P_{\vnII}$ and $A_{\vnIII} = P_{\vnIII}AP_{\vnIII}$. Since $P_{\vnIII} \in Z(A)$ and $\seqi{P}$, $\seqi{Q}$ are maximal, $A_{\vnIII}$ has no non-zero finite projections. Therefore $A_{\vnIII}$ is of type $\vnIII$, and $A = A_{\vnI} \oplus A_{\vnII} \oplus A_{\vnIII}$. 
+    ($\vnIII$): Let $P_{\vnIII} = I - P_{\vnI} - P_{\vnII}$ and $A_{\vnIII} = P_{\vnIII}AP_{\vnIII}$. Since $P_{\vnIII} \in Z(A)$ and $\seqi{P}$, $\seqj{Q}$ are maximal, $A_{\vnIII}$ has no non-zero finite projections. Therefore $A_{\vnIII}$ is of type $\vnIII$, and $A = A_{\vnI} \oplus A_{\vnII} \oplus A_{\vnIII}$. 
 
     ($\vnII_1$): By Zorn's lemma, there exists a maximal family $\bracsn{R_k}_{k \in K} \subset \text{Proj}(A_{\vnII})$ of orthogonal central finite projections. Let $P_{\vnII_1} = \sum_{k \in K}R_k$, then $P_{\vnII_1}$ is a central finite projection by (3) of \autoref{lemma:centrally-orthogonal-sum-properties}. Hence $A_{\vnII_1} = P_{\vnII_1}AP_{\vnII_1}$ is of type $\vnII_1$. 
 
@@ -165,7 +165,7 @@
     is an orthogonal direct sum, and
     \begin{enumerate}
         \item[($\vnI$)] Let $P_1 = P'_{\vnI}(I - P_{\vnI})$, then by construction of $P_{\vnI}$, there exists no non-zero abelian projection $R \in \text{Proj}(A)$ with $R \le P_1$. As both $P_{\vnI}'$ and $(I - P_{\vnI})$ are central, $P_1 \in A_{\vnI}'$, so $P_1 = 0$ because $A_{\vnI}'$ is of type $\vnI$. Thus $P_{\vnI}' \le P_{\vnI}$. By symmetry, $P_{\vnI} = P_{\vnI}'$ and $A_{\vnI} = A_{\vnI}'$.
-        \item[($\vnII$, $\vnIII$)] Let $P'_{\vnII} = P_{\vnII_1}' \oplus P_{\vnII_\infty}'$ and $P_2 = P'_{\vnII}(I - P_{\vnI} - P_{\vnII})$. By construction of $P_{\vnII}$, there exists no non-zero finite projection $R \in \text{Proj}(A)$ with $R \le P_2$. Since $P_2 \in A_{\vnII}'$ and $A_{\vnII}'$ is of type $\vnII$, $P_2 = 0$ and $P_{\vnII}' \le P_{\vnII}$. By symmetry, $P_{\vnII} = P_{\vnII}'$. Thus $P_{\vnIII} = P_{\vnIII}'$, $A_{\vnII} = A_{\vnII}'$, and $A_{\vnIII} = A_{\vnIII}'$.
+        \item[($\vnII$, $\vnIII$)] Let $P'_{\vnII} = P_{\vnII_1}' \oplus P_{\vnII_\infty}'$, $A_{\vnII}' = A_{\vnII_1}' \oplus A_{\vnII_\infty}'$, and $P_2 = P'_{\vnII}(I - P_{\vnI} - P_{\vnII})$. By construction of $P_{\vnII}$, there exists no non-zero finite projection $R \in \text{Proj}(A)$ with $R \le P_2$. Since $P_2 \in A_{\vnII}'$ and $A_{\vnII}'$ is of type $\vnII$, $P_2 = 0$ and $P_{\vnII}' \le P_{\vnII}$. By symmetry, $P_{\vnII} = P_{\vnII}'$. Thus $P_{\vnIII} = P_{\vnIII}'$, $A_{\vnII} = A_{\vnII}'$, and $A_{\vnIII} = A_{\vnIII}'$.
         \item[($\vnII_1$, $\vnII_\infty$)] Let $Q_2 = P'_{\vnII_1}(P_{\vnII} - P_{\vnII_1})$, then there exists no non-zero finite central projection $R \in \text{Proj}(A)$ with $R \le Q_2$. However, since $A_{\vnII_1}'$ is of type $\vnII_1$, $P'_{\vnII_1}$ is itself a finite projection, and every subprojection of $P'_{\vnII_1}$ is finite by (4) of \autoref{lemma:projection-types-gymnastics}. Thus $Q_2 = 0$ and $P_{\vnII_1}' \le P_{\vnII_1}$. By symmetry, $P_{\vnII_1}' = P_{\vnII_1}$. Therefore $P_{\vnII_\infty}' = P_{\vnII_\infty}$, $A_{\vnII_1}' = A_{\vnII_1}$, and $A_{\vnII_\infty}' = A_{\vnII_\infty}$.
     \end{enumerate}