complex Hilbert space; Banach algebra; positive selfadjoint operator; Schwarz inequality