Приведено утверждение: "Если матрица A размером n на n имеет обратную матрицу, то она диагонализируема над R". Проанализируйте это утверждение, приведите контрпримеры и сформулируйте точную версию теоремы о диагонализируемости с необходимыми и достаточными условиями

4 Ноя в 06:58
5 +1
0
Ответы
1
Утверждение неверно. Коротко: обратимость (000 не является собственным значением) не связана с наличием полной системы собственных векторов, поэтому обратная матрица не гарантирует диагонализируемость.
Контрпримеры:
- A=(1101)\displaystyle A=\begin{pmatrix}1&1\\[2pt]0&1\end{pmatrix}A=(10 11 ). Здесь det⁡A=1\det A=1detA=1 (обратима), единственное собственное значение λ=1\lambda=1λ=1 с алгебраической кратностью 222, но размер собственного пространства ker⁡(A−I)=1\ker(A-I)=1ker(AI)=1, значит геометрическая кратность <<< алгебраической, и AAA не диагонализируема над R\mathbb{R}R.
- Поворот на угол θ∉{0,π}\theta\not\in\{0,\pi\}θ{0,π}: R(θ)=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle R(\theta)=\begin{pmatrix}\cos\theta&-\sin\theta\\[2pt]\sin\theta&\cos\theta\end{pmatrix}R(θ)=(cosθsinθ sinθcosθ ). det⁡R(θ)=1\det R(\theta)=1detR(θ)=1 (обратима), но не имеет вещественных собственных значений, значит не диагонализируема над R\mathbb{R}R (при этом над C\mathbb{C}C диагонализируема, т.к. собственные значения e±iθe^{\pm i\theta}e±iθ различны).
Точная версия теоремы о диагонализируемости (для поля F\mathbb{F}F, например R\mathbb{R}R или C\mathbb{C}C):
Пусть A∈Mn(F)A\in M_n(\mathbb{F})AMn (F). Следующие условия эквивалентны:
1) AAA диагонализируема над F\mathbb{F}F, т.е. существует невырожденная PPP такая, что P−1AP=D\displaystyle P^{-1}AP=DP1AP=D — диагональная матрица.
2) Существует базис из собственных векторов AAA (эквивалентно: сумма размерностей всех собственных пространств равна nnn).
3) Для каждого собственного значения λ\lambdaλ алгебраическая кратность λ\lambdaλ равна геометрической кратности dim⁡ker⁡(A−λI)\dim\ker(A-\lambda I)dimker(AλI).
4) Минимальный многочлен mA(x)m_A(x)mA (x) раскладывается на простые линейные множители в F[x]\mathbb{F}[x]F[x], т.е. не имеет кратных корней: mA(x)=∏i(x−λi)\displaystyle m_A(x)=\prod_{i}(x-\lambda_i)mA (x)=i (xλi ) с попарно различными λi\lambda_iλi .
5) В жордановой нормальной форме все жордановы блоки имеют размер 1×11\times11×1.
Короткая идея доказательства критерия с минимальным многочленом: если AAA диагонализируема, то mAm_AmA делит ∏i(x−λi)\prod_i(x-\lambda_i)i (xλi ) с различными λi\lambda_iλi , значит кратных корней нет. Обратно, если mAm_AmA не имеет кратных корней, то по разложению пространства на обобщённые собственные пространства (теорема о первичной декомпозиции) эти обобщённые пространства совпадают с собственными пространствами, что даёт базис из собственных векторов.
Дополнение (полезно): специальные достаточные условия: если AAA — вещественная симметрическая матрица, то она диагонализируема над R\mathbb{R}R ортогональным преобразованием (спектральная теорема). Если AAA нормальна над C\mathbb{C}C (A∗A=AA∗A^*A=AA^*AA=AA), то она унитарно диагонализируема.
Вывод: обратимость не связана с диагонализируемостью; нужное и достаточное условие — отсутствие кратных корней в минимальном многочлене (или эквивалентные формулировки выше).
4 Ноя в 08:03
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир