Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 1 / 1 / b / Solution

For a finite-rank operator $T$, define $|T|=(T^{\ast }T{)}^{1/2}$ and its trace norm bywhere $s_j>0$ are its nonzero singular values, counted with multiplicity. The finite-rank spectral theorem gives orthonormal systems $(u_j),(v_j)$ with $T={\sum }_j{s}_j{R}_{u_j,v_j}$, where $R_{x,y}z=⟨z,y⟩x$.

For every bounded operator $B$,Choose the contraction $B$ taking $u_j$ to $v_j$ and vanishing on their orthogonal complement. It attains equality, soThis formula proves the triangle inequality and absolute homogeneity. Also $\Vert T\Vert \le \Vert T{\Vert }_1$, so vanishing of the trace norm forces $T=0$. Thus it is a norm on the vector space of finite-rank operators.

The map $B\mapsto F_B$, where $F_B(T)=\mathrm{Tr}(BT)$, is a bounded linear map into the dual of this normed space. Its norm is at most $\Vert B\Vert$. Rank-one tests give the reverse inequality: $\Vert R_{x,y}{\Vert }_1=\Vert x\Vert \Vert y\Vert$ and $F_B(R_{x,y})=⟨Bx,y⟩$, so taking unit vectors $x,y$ gives $\Vert F_B\Vert =\Vert B\Vert$.

Conversely, let $F$ be a bounded linear functional for the trace norm. The sesquilinear form $\beta (x,y)=F(R_{x,y})$ satisfiesThe Riesz representation theorem gives a unique bounded operator $B$ with $\beta (x,y)=⟨Bx,y⟩$, and $\Vert B\Vert \le \Vert F\Vert$. Since every finite-rank operator is a finite sum of rank-one operators, linearity implies $F(T)=\mathrm{Tr}(BT)$ for every $T$. HenceThe same identification extends to the completion, the trace-class operators. This is trace-class duality; completeness of the original finite-rank space is not required to identify its bounded dual.