Similarly, let
be the cost due to
.
Since
is PSD, it follows
that
, and by (3)
it follows:
.
The existence of
such that
is justified
by the Hermitian/PSD properties of
. If
is PSD,
for any
vector
. Given a vector
, choose
. Substituting,
we find
;
because
is arbitrary,
is
PSD. So we have shown if
is PSD-minimal then so is
.
Finally, a PSD matrix has a nonnegative trace.
This follows because the trace of a matrix is the sum of its eigenvalues
and all eigenvalues of a PSD matrix are nonnegative. Using this fact and
(4) it follows that
for
all
, as was to be shown.