Математика / Матрицы, определители

Спектр матрицы

Спектр матрицы - это множество ее собственных значений. Для конечной квадратной матрицы он состоит из корней характеристического уравнения.

Опубликовано: Обновлено:

Формула

$$\sigma(A)=\{\lambda:\det(A-\lambda I)=0\}$$
spectrum-points Спектр как точки на числовой плоскости

Схема показывает собственные значения как точки на вещественной или комплексной плоскости.

Для вещественных матриц комплексные собственные значения появляются парами при вещественных коэффициентах.

Обозначения

$\sigma(A)$
спектр матрицы A, множество чисел
$\lambda$
собственное значение, элемент спектра, число
$A$
квадратная матрица, матрица n x n
$\det(A-\lambda I)$
характеристический определитель, многочлен от lambda

Условия применения

  • Матрица A должна быть квадратной.
  • Нужно указать поле: над R спектр вещественной матрицы может не содержать комплексные корни, если их не разрешили; над C учитываются все комплексные собственные значения.
  • Если важны кратности, нужно говорить не только о множестве спектра, но и об алгебраических кратностях.

Ограничения

  • Спектр как множество не хранит кратности собственных значений.
  • Одинаковый спектр не означает, что матрицы подобны или имеют одинаковые собственные пространства.
  • Для бесконечномерных операторов спектр устроен сложнее, чем для конечных матриц; эта страница относится к конечномерной линейной алгебре.

Подробное объяснение

Слово спектр удобно, когда нужно говорить обо всех собственных значениях сразу. Для конечной матрицы оно определяется через характеристическое уравнение: lambda входит в спектр, если A-lambda I необратима. Это то же самое условие, что существование ненулевого собственного вектора.

Спектр дает краткую информацию о линейном операторе. Ноль в спектре означает, что матрица необратима. Если все собственные значения по модулю меньше 1, степени матрицы во многих ситуациях стремятся к нулю на диагонализуемых или хорошо устроенных классах. Большие по модулю собственные значения управляют ростом итераций. Комплексные собственные значения часто указывают на вращательное поведение.

При этом спектр не заменяет собственные пространства. Две матрицы могут иметь один и тот же спектр, но разную диагонализуемость, разные жордановы блоки и разное поведение степеней. Поэтому спектр читают вместе с кратностями и геометрической информацией.

В прикладных дисциплинах слово спектр встречается широко: спектр колебаний, спектр оператора, спектр графа, спектральное разложение. В конечномерной линейной алгебре базовая версия проста: найти корни характеристического многочлена и собрать их в множество.

Как пользоваться формулой

  1. Постройте характеристическое уравнение det(A-lambda I)=0.
  2. Найдите все корни в выбранном поле.
  3. Запишите разные собственные значения как множество sigma(A).
  4. Если нужны кратности, отдельно укажите алгебраические кратности корней.
  5. Используйте спектр вместе с собственными пространствами для выводов о диагонализации.

Историческая справка

Термин спектр пришел в математику из более широкой физико-математической традиции, где системы раскладывались на характерные частоты или режимы. В конечномерной линейной алгебре спектр матрицы стал обозначать набор характеристических корней, то есть собственных значений. Развитие спектральных идей связано с задачами колебаний, интегральных уравнений, математической физики и операторной теории. Для базового курса важно не переносить всю бесконечномерную сложность на матрицы: здесь спектр находится через характеристический многочлен. Но историческая связь полезна, потому что объясняет, почему собственные значения так часто появляются в физике, инженерии, численных методах и анализе данных.

Историческая линия формулы

Спектр матрицы как множество собственных значений является современной терминологией, связанной с более широкой спектральной теорией. В исторической справке уместно упоминать Коши и последующую операторную традицию, но не приписывать термин одной учебной формуле.

Пример

Пусть p_A(lambda)=(lambda-1)^2(lambda+3). Тогда собственные значения матрицы - 1 и -3. Как множество спектр равен sigma(A)={1,-3}. Если нужно учитывать кратности, говорят, что 1 имеет алгебраическую кратность 2, а -3 - кратность 1. Если A - вещественная матрица поворота на 90 градусов [[0,-1],[1,0]], то над вещественными числами у нее нет вещественных собственных значений, но над комплексными числами p_A(lambda)=lambda^2+1, и спектр равен {i,-i}. Поэтому при записи спектра важно понимать, в каком поле ведется задача.

Частая ошибка

Частая ошибка - смешивать спектр как множество с перечнем корней с кратностями. В множестве повторения не пишутся, но для следа, определителя и диагонализации кратности важны. Вторая ошибка - считать, что одинаковые собственные значения полностью описывают матрицу. Например, диагональная матрица diag(3,3) и жорданов блок [[3,1],[0,3]] имеют один спектр, но ведут себя по-разному. Третья ошибка - забывать комплексный спектр вещественных матриц.

Практика

Задачи с решением

Записать спектр по многочлену

Условие. p_A(lambda)=(lambda-2)^2(lambda-7). Найдите спектр A.

Решение. Корни многочлена: 2 и 7. В спектре как множестве повторение 2 не записывается.

Ответ. sigma(A)={2,7}.

Понять необратимость по спектру

Условие. В спектре матрицы есть 0. Что это означает для обратимости?

Решение. Если 0 - собственное значение, то det(A-0I)=det A=0. Матрица вырождена.

Ответ. A необратима.

Дополнительные источники

  • MIT OpenCourseWare 18.06SC, Eigenvalues and Eigenvectors
  • Sheldon Axler, Linear Algebra Done Right, eigenvalues
  • Jim Hefferon, Linear Algebra, characteristic roots

Связанные формулы

Математика

Собственное значение и собственный вектор

$Av=\lambda v,\quad v\ne0$

Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.

Математика

Характеристическое уравнение матрицы

$\det(A-\lambda I)=0$

Характеристическое уравнение det(A-lambda I)=0 находит те значения lambda, при которых у системы (A-lambda I)v=0 появляется ненулевое решение. Именно эти lambda являются собственными значениями матрицы.

Математика

Обратное линейное отображение и обратная матрица

$T^{-1}\text{ существует }\Longleftrightarrow A^{-1}\text{ существует},\quad [T^{-1}]=A^{-1}$

Если линейное отображение T представлено обратимой квадратной матрицей A, то обратное отображение представлено матрицей A^{-1}. Это верно при согласованных базисах.