Spur

Ist eine Orthonormalbasis von , so ist durch

die (von der Wahl der Basis unabhängige) Spur des linearen Operators auf definiert. Es gilt

und

für alle linearen Operatoren , und (zyklische Invarianz der Spur).

Ist einer der Operatoren ein Projektor auf einen Vektor , so gilt insbesondere