Un operador lineal auto-adjunto "A" en un espacio con producto interior es definido positivo si