The Congruence Canonical Form of Positive Semidefinite Matrix

the set of all n-by-n real positive semidefinite matrices is denoted by PSD n. In this paper, we prove that the canonical form of a matrix in PSD n under congruence is unique and give a necessary and sufficient condition for two matrices in PSD n to be congruent.