  We prove that semialgebraic sets of rectangular matrices of a fixed rank, of
skew-symmetric matrices of a fixed rank and of real symmetric matrices whose
eigenvalues have prescribed multiplicities are minimal submanifolds of the
space of real matrices of a given size.
