Positiver Operator

Ein linearer Operator heißt positiv (oder positiv semidefinit), kurz , falls gilt

für alle .

Ein positiver Operator ist stets selbstadjungiert.