Small fixes.

2026-10-18 22:37:26 -04:00
parent 96fa212256
commit 8543c25b4e
2 changed files with 2 additions and 2 deletions
@@ -70,7 +70,7 @@

    (T2) $\Rightarrow$ (T1): For each $n \in \natp$, 
    \begin{align*}
-    0 &\le \braks{\sum_{j = 1}^n E_{1j} \otimes z^j}^*\braks{\sum_{j = 1}^n E_{1j} \otimes z^j} = \sum_{j, k = 1}^n E_{jk} \otimes z^{j-k} \\
+    0 &\le \braks{\sum_{j = 1}^n E_{j1} \otimes z^j}\braks{\sum_{j = 1}^n E_{j1} \otimes z^j}^* = \sum_{j, k = 1}^n E_{jk} \otimes z^{j-k} \\
    0 &\le \phi\braks{\sum_{j, k = 1}^n E_{jk} \otimes z^{j-k}} = \sum_{j, k = 1}^n E_{jk} \otimes A_{j - k}
    \end{align*}
 \end{proof}