 Trace duality

Every bounded operator $S$ defines a functional $T\mapsto \mathrm{tr}(ST)$ on the trace-class operators, andFinite-rank density in ${\mathcal{S}}_1$ makes every continuous functional arise uniquely this way.