For in the nonnegative orthant, the positive semidefinite matrix satisfies . The nonnegative matrix satisfies
since every summand is nonnegative. Adding these inequalities proves
Consequently is a copositive matrix. The symmetry of follows from that of and ; entrywise nonnegativity alone need not imply positive semidefiniteness.
This gives the inclusion of the positive-semidefinite-plus-nonnegative cone in the copositive cone. It is only a sufficient construction; the argument does not claim that every copositive matrix has this decomposition in arbitrary dimension.

Articles by others on the same topic (0)

There are currently no matching articles.