Pozitiva ero

En Matematiko, aparte en funkcionala analitiko, Hermita ero A de C*-algebro estas pozitiva ero se ĝia spektro konsistas el pozitiva reelaj nombroj. Ekvivalente, A havas hermitan kvadratan radikon, se ĝi estas ero B de la C*-algebro veriganta B*=B kaj B²=A.

Se A estas barita lineara operatoro sur hilberta spaco H, do ĉi tiu nocio koincidas kun kondiĉo ke

$\langle Ax,x\rangle$

estas pozitiva por ĉiu vektoro x en H.

Vidu ankaŭ

• Pozitive difinita matrico - analogo de la pozitiva ero en finie-dimensia okazo