Каждое скалярное произведение
Поэтому, результатом преобразования матрицы A будет диагональная матрица с собственными значениями, расположенными на диагонали:
Если вместо A взять единичную матрицу и проделать аналогичные преобразования, то станет очевидным равенство
Последнее показывает, что умножение матрицы A на
Продолжая использовать T-матрицу, несложно получить следующие важные результаты:
7.Функции с матричным аргументом
Пусть теперь задана некоторая матричная функция от матрицы A:
С другой стороны очевидно и обратное
где
где
Проекторы обладают свойствами идемпотентных матриц, т.е. матриц, все степени которых равны первой. Для невырожденных проекторов (
Представление функции от матрицы A в виде взвешенной суммы проекций называется спектральным разложением матричной функции по собственным значениям матрицы A:
Если в качестве матричных функций взять
8. Вычисление проекторов матрицы
Проекторы матрицы можно также вычислить, воспользовавшись интерполяционным многочленом Лагранжа с матричным аргументом:
По известному спектру
Записывая разложение для каждой функции, получим следующую систему линейных уравнений относительно проекторов:
В случае, когда в спектре матрицы имеются кратные собственные значения, вычисление проекторов осуществляется по интерполяционным формулам Лагранжа, учитывающим еще и заданные значения производных в отдельных точках. Разложение матричной функции по значениям ее на спектре в этом случае имеет вид:
где
9. Пример использования числовых характеристик матриц
Знание собственных значений матрицы и ее проекторов позволяет выполнять вычисления аналитических функций получающихся, например, при решениях систем линейных дифференциальных уравнений, при исследованиях эквивалентных матричных преобразований и пр.
Для примера построим матрицу с заданными собственными значениями
Сначала необходимо убедиться в линейной независимости исходных векторов и добиться того, чтобы левые и правые одноименные собственные векторы оказались ортогональными, т.е.
Для заданных векторов построим систему векторов
Откуда последовательно находятся коэффициенты
Взаимной ортогональности векторов v можно было бы добиваться и так, чтобы каждый
Определитель этой системы называют определителем Грама:
где
Если грамиан положителен, а он всегда неотрицателен, то векторы
Для заданного выше набора векторов
Таким образом, заданная система векторов линейно независима. Для построения ортонормированной системы векторов последовательно вычислим коэффициенты и ортогональные векторы: