From 68fa7f4e8f533589484528ee738d4598ca532f2a Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Mon, 9 Nov 2026 13:43:17 -0500 Subject: [PATCH] Housekeeping --- src/vna/ii1/trace.tex | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/vna/ii1/trace.tex b/src/vna/ii1/trace.tex index 26b22b3..bf30444 100644 --- a/src/vna/ii1/trace.tex +++ b/src/vna/ii1/trace.tex @@ -15,11 +15,6 @@ Let $M$ be a von Neumann algebra and $\tau: M \to \complex$ be a faithful tracial state, then $(M, \tau)$ is a \textbf{tracial von Neumann algebra} if $\tau$ is normal. \end{definition} -\begin{definition}[Standard Representation] -\label{definition:tracial-vna-standard} - Let $(M, \tau)$ be a tracial von Neumann algebra, then its \hyperref[GNS]{definition:gns-triple} representation on $L^2(M, \tau)$ is the \textbf{standard representation} of $(M, \tau)$. -\end{definition} - \begin{proposition} \label{proposition:cstar-trace-vna} Let $M$ be a unital $C^*$-algebra, $\tau: M \to \complex$ be a faithful tracial state, and $(L^2(M, \tau), \pi, 1_M)$ be its \hyperref[GNS]{definition:gns-triple} triple, then: