대각합류 작용소

Also known as trace class, trace-class operator

compact operator for which a finite trace can be defined