Exercise 1.7.
Compile Project / Compile (push) Successful in 51s

This commit is contained in:
Bokuan Li
2026-10-06 17:29:13 -04:00
parent a80013651a
commit 0d2156d6f3
2 changed files with 107 additions and 1 deletions
+4
View File
@@ -208,3 +208,7 @@
Let $a \in S$ with $\norm{a}_A \le 1$, then for each $\lambda \in \complex$, $2 + (\lambda a) + (\lambda a)^* \ge 0$. Since $\phi$ is positive, $2 + (\lambda \phi(a)) + (\lambda \phi(a))^* \ge 0$ as well. Therefore $w(\phi(a)) \le 1$ by \autoref{proposition:bh-numerical-radius-gymnastics}.
\end{proof}