nLab trace class operator

Definition

A compact linear operator is said to be trace class if its trace exists.

Created on November 25, 2010 14:24:17 by Urs Schreiber (131.211.233.196)