Pozitiva ero

El Vikipedio

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 B2=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.

Aliaj lingvoj