Lilliput Steps

次の対称行列 を考えます。が任意のに対して を満たすとき、を半正定値(対称)行列といい、が半正定値(対称)行列であるときと表記します。のとき、ある がありが成り立ちます。このようなは一意に存在し、の平方根行列といいます。の平方根行列をと表記します。今回はこの事実を証明します。 が存在すること が対称行列なの…