Nonnegative Operators
Definition
Suppose $T \in \mathcal{L} (V)$ is self-adjoint
operator over a field $\F $ which is $\R $ or
$\C $.
$T$ is nonnegative (or
positive semidefinite) if
\[
\ip{Tv, v} \geq 0 \quad \text{for all }
\]
Suppose $T \in \mathcal{L} (V)$ is self-adjoint
operator over a field $\F $ which is $\R $ or
$\C $.
$T$ is nonnegative (or
positive semidefinite) if
\[
\ip{Tv, v} \geq 0 \quad \text{for all }
\]