jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Housekeeping

Browse Source
This commit is contained in:
Bokuan Li
2026-11-09 13:43:17 -05:00
parent 8d03304d2d
commit 68fa7f4e8f
1 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/vna/ii1/trace.tex
-5
View File
@@ -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. 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} \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} \begin{proposition}
\label{proposition:cstar-trace-vna} \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: 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: