Operator dodatni
Z Wikipedii
Operator dodatni (dodatnio określony) to operator liniowy , gdzie V jest przestrzenią wektorową z iloczynem skalarnym taki, że
- .
Jeśli przestrzeń wektorowa V jest przestrzenią nad ciałem liczb zespolonych, to w szczególności dla wszystkich wektorów powyższy iloczyn skalarny jest liczbą rzeczywistą.