Следовательно,
так как
очевидно, равно
Покажем обратное, т. е. покажем, что если
то А можно факторизовать, как в (48.2). Действительно, любая А может быть представлена в виде
где
унитарная,
верхняя треугольная. Следовательно, мы имеем
что
Умножая слева на
и справа на
получаем
Приравнивая диагональные элементы, получаем, что все недиагональные элементы
нули, так что
диагональная. Следовательно, класс матриц, которые можно факторизовать в виде
совпадает с классом матриц, для которых
Такие матрицы называются нормальными матрицами. Из соотношения (48.5) очевидно, что в класс нормальных матриц входят матрицы, для которых
(i)
(эрмитовы матрицы),
(ii)
(косоэрмитовы матрицы),
(iii)
(унитарные матрицы).
Из практики мы заметили, что задача об отыскании собственных значений косоэрмитовых и унитарных матриц возникает сравнительно редко.