Математика / Матрицы, определители
Собственное значение и собственный вектор
Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.
Формула
Схема показывает несколько стрелок: обычная меняет направление после A, а собственная остается на той же прямой и только масштабируется.
Собственный вектор не обязан сохранять длину, но обязан сохранять направление своей прямой.
Обозначения
- $A$
- квадратная матрица или матрица линейного оператора, матрица n x n
- $v$
- собственный вектор, ненулевое направление, вектор
- $\lambda$
- собственное значение, коэффициент масштабирования, число
- $Av$
- образ вектора v после применения матрицы A, вектор
Условия применения
- Матрица A должна быть квадратной, если собственные значения рассматриваются для матрицы.
- Вектор v обязан быть ненулевым; нулевой вектор не считают собственным, потому что он удовлетворяет Av=lambda v для любого lambda.
- Собственные значения могут быть комплексными, даже если матрица имеет вещественные элементы.
Ограничения
- Не каждый ненулевой вектор является собственным: большинство векторов после применения A меняют направление.
- Наличие собственного значения не гарантирует, что матрица диагонализуема.
- Для вещественной матрицы без вещественных собственных значений вещественных собственных векторов может не быть, хотя над комплексными числами они появятся.
Подробное объяснение
Формула Av=lambda v говорит, что действие матрицы A на вектор v не выводит его из исходной прямой span(v). Матрица может менять длину, знак и масштаб, но не направление этой прямой. Если lambda положительно, направление сохраняется и масштабируется. Если lambda отрицательно, вектор разворачивается на противоположное направление. Если lambda равно нулю, собственный вектор попадает в ноль, а значит лежит в ядре матрицы.
Собственные значения важны потому, что они превращают многомерное действие в одномерное. Вместо полного перемешивания координат на собственном направлении происходит простое умножение на число. Если удается найти базис из собственных векторов, матрица становится диагональной в этом базисе, а ее степени и функции считаются почти как для чисел.
Алгебраически собственные значения находят не подбором векторов, а через условие (A-lambda I)v=0. Чтобы у этой однородной системы было ненулевое решение, матрица A-lambda I должна быть вырожденной. Поэтому появляется характеристическое уравнение det(A-lambda I)=0 или det(lambda I-A)=0 в зависимости от соглашения.
Геометрически собственные векторы являются направлениями, которые оператор не поворачивает в другое направление. Для диагональной матрицы это координатные оси. Для проекции собственные значения обычно равны 1 на сохраняемом подпространстве и 0 на направлении, которое проекция уничтожает. Для поворота плоскости на 90 градусов вещественных собственных направлений нет: ни одна вещественная прямая не остается на месте.
Как пользоваться формулой
- Убедитесь, что рассматривается квадратная матрица или линейный оператор V -> V.
- Запишите уравнение Av=lambda v и перенесите все в одну сторону: (A-lambda I)v=0.
- Найдите lambda из условия det(A-lambda I)=0 или det(lambda I-A)=0.
- Для каждого lambda решите систему (A-lambda I)v=0.
- Исключите нулевой вектор и запишите базис собственного пространства.
Историческая справка
Идеи собственных значений появились из задач, где нужно было найти особые направления или особые режимы линейной системы. Такие задачи возникали в механике, колебаниях, астрономии, квадратичных формах, дифференциальных уравнениях и теории упругости. В XIX веке Коши работал с детерминантами, диагонализацией матриц и спектральными вопросами в математической физике; позднее матричный язык Кэли, Сильвестра и Фробениуса сделал запись Av=lambda v естественной для линейной алгебры. Немецкое слово eigen означает собственный или характерный, поэтому в разных традициях встречались термины characteristic roots, proper values и eigenvalues. Современная учебная формула является результатом долгого развития, а не открытия одной страницы учебника.
Историческая линия формулы
У определения собственного значения нет одного автора в современном виде. Корректная историческая связь идет через задачи о характеристических корнях, детерминантах и линейных подстановках: Коши важен для ранней спектральной линии, Кэли и Сильвестр - для матричного языка, Фробениус - для алгебраического изучения линейных подстановок.
Пример
Пусть A=[[3,0],[0,2]]. Возьмем v1=(1,0)^T. Тогда Av1=(3,0)^T=3v1, значит v1 - собственный вектор с собственным значением 3. Для v2=(0,1)^T получаем Av2=(0,2)^T=2v2, значит v2 - собственный вектор с собственным значением 2. Теперь возьмем w=(1,1)^T. Тогда Aw=(3,2)^T, и этот вектор не равен lambda(1,1)^T ни при каком одном lambda, потому что первая координата потребовала бы lambda=3, а вторая lambda=2. Поэтому w не является собственным вектором. Пример показывает смысл определения: собственные направления сохраняются, а обычные направления обычно сдвигаются в другую сторону.
Частая ошибка
Главная ошибка - забыть условие v != 0 и назвать нулевой вектор собственным. Вторая ошибка - считать lambda собственным вектором, хотя lambda - число, а вектор находится из системы (A-lambda I)v=0. Третья ошибка - думать, что если матрица растягивает один вектор, то она одинаково растягивает все пространство. Собственные значения описывают только специальные направления. Еще одна ошибка - искать собственные значения у прямоугольной матрицы обычным способом, хотя стандартная теория Av=lambda v относится к операторам пространства в себя.
Практика
Задачи с решением
Проверить собственный вектор
Условие. A=[[4,0],[1,2]]. Является ли v=(2,1)^T собственным вектором?
Решение. Считаем Av=(8,4)^T. Если бы v был собственным, нужно было бы (8,4)=lambda(2,1), откуда lambda=4 по обеим координатам. Условие выполняется.
Ответ. Да, v - собственный вектор с lambda=4.
Проверить несобственное направление
Условие. Для A=[[3,0],[0,2]] проверьте w=(1,2)^T.
Решение. Aw=(3,4)^T. Для равенства Aw=lambda w нужно lambda=3 из первой координаты и lambda=2 из второй. Одного lambda нет.
Ответ. w не является собственным вектором.
Дополнительные источники
- MIT OpenCourseWare 18.06SC, Eigenvalues and Eigenvectors
- Jim Hefferon, Linear Algebra, Similarity chapter
- Sheldon Axler, Linear Algebra Done Right, eigenvalues and eigenvectors
Связанные формулы
Математика
Характеристическое уравнение матрицы
Характеристическое уравнение det(A-lambda I)=0 находит те значения lambda, при которых у системы (A-lambda I)v=0 появляется ненулевое решение. Именно эти lambda являются собственными значениями матрицы.
Математика
Собственное пространство матрицы
Собственное пространство E_lambda - это множество всех векторов, которые удовлетворяют Av=lambda v, вместе с нулевым вектором. Оно равно ядру матрицы A-lambda I.
Математика
Линейный оператор как квадратная матрица
Линейный оператор - это линейное отображение пространства в себя. В выбранном базисе конечномерного пространства он записывается квадратной матрицей.
Математика
Характеристический многочлен матрицы 2x2
Характеристический многочлен матрицы 2x2 выражается через след и определитель. Его корни являются собственными значениями матрицы.