Added projections.

src/op/vn/vn.tex

@@ -6,7 +6,7 @@
     Let $H$ be a complex Hilbert space and $A \subset B(H)$ be a strong-operator closed $C^*$-subalgebra, then:
     \begin{enumerate}
         \item For any bounded directed family $\cf \subset A_{sa}$, $\sup(\cf) = \sotlim_{T \in \cf}T \in A_{sa}$. 
-        \item For any family of projections $\mathcal{P} \subset A_{sa}$, $\sup(\mathcal{P}) \in A$ is the projection onto $\ol{\bigcup_{P \in \mathcal{P}}P(H)}$. 
+        \item For any directed family of projections $\mathcal{P} \subset A_{sa}$, $\sup(\mathcal{P}) \in A$ is the projection onto $\ol{\bigcup_{P \in \mathcal{P}}P(H)}$. 
     \end{enumerate}
 
     and
@@ -46,7 +46,7 @@
 
     for all $S \in \cf$ with $S \ge T$. As such a $T$ exists for all $\eps > 0$, $R = \sotlim_{T \in \cf}T$. 
 
-    (2): Assume without loss of generality that $\mathcal{P}$ is directed. By (1), $\sup(\mathcal{P})$ exists in $A$. Since the set of projections in $B(H)$ is strong-operator closed, $\sup(\mathcal{P}) = \sotlim_{P \in \mathcal{P}}P$ is also a projection. For each $x \in \bigcup_{P \in \mathcal{P}}P(H)$, there exists $P \in \mathcal{P}$ with $Px = x$. In which case, 
+    (2): By (1), $\sup(\mathcal{P})$ exists in $A$. Since the set of projections in $B(H)$ is strong-operator closed, $\sup(\mathcal{P}) = \sotlim_{P \in \mathcal{P}}P$ is also a projection. For each $x \in \bigcup_{P \in \mathcal{P}}P(H)$, there exists $P \in \mathcal{P}$ with $Px = x$. In which case, 
     \[
     \dpn{\sup(\mathcal{P})x, x}{H} \ge \dpn{Px, x}{H} = \dpn{x, x}{H} = \norm{x}_H^2
     \]
@@ -89,7 +89,7 @@
 
     By (3) applied to $TT^*/\norm{TT^*}_{B(H)}$, the orthogonal projection onto $\ol{T(H)}$ is in $A$. 
 
-    (5): Let $\mathcal{P}$ be the set of all projections in $A$, then $\mathcal{P} \subset A_{sa}$ is bounded and directed. By (2), $P = \sup_{Q \in \mathcal{P}}Q \in A$, which is the maximum projection in $A$. 
+    (5): Let $\mathcal{P}$ be the set of all projections in $A$, and $\cf \subset 2^{\mathcal{P}}$ be the collection of all finite subsets of $\mathcal{P}$. For each $F \in \cf$, let $P_F$ be the projection onto $\braks{\sum_{P \in F}P}(H)$, then $P_F \ge P$ for all $P \in F$ and $P_F \in A$ by (4). Since $\bracsn{P_F}_{F \in \cf}$ is a bounded and directed family of projections, $\sup_{F \in \cf}P_F \in A$ by (1). As $\sup_{F \in \cf}P_F \in \mathcal{P}$, it is the maximum projection in $A$. 
 
     Let $T \in A$, then by (4), $P$ is greater than the projection onto $\ol{T(H)}$, so $PT = T$. On the other hand, since $PT^* = T^*$, $TP = T$ as well. Therefore $P$ is the multiplicative identity in $A$. 
 \end{proof}