従って時にが同じサイズの半正定値行列ならば