Приведено утверждение: "Если матрица A размером n на n имеет обратную матрицу, то она диагонализируема над R". Проанализируйте это утверждение, приведите контрпримеры и сформулируйте точную версию теоремы о диагонализируемости с необходимыми и достаточными условиями
Утверждение неверно. Коротко: обратимость (000 не является собственным значением) не связана с наличием полной системы собственных векторов, поэтому обратная матрица не гарантирует диагонализируемость. Контрпримеры: - A=(1101)\displaystyle A=\begin{pmatrix}1&1\\[2pt]0&1\end{pmatrix}A=(1011). Здесь detA=1\det A=1detA=1 (обратима), единственное собственное значение λ=1\lambda=1λ=1 с алгебраической кратностью 222, но размер собственного пространства ker(A−I)=1\ker(A-I)=1ker(A−I)=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θ). detR(θ)=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})A∈Mn(F). Следующие условия эквивалентны: 1) AAA диагонализируема над F\mathbb{F}F, т.е. существует невырожденная PPP такая, что P−1AP=D\displaystyle P^{-1}AP=DP−1AP=D — диагональная матрица. 2) Существует базис из собственных векторов AAA (эквивалентно: сумма размерностей всех собственных пространств равна nnn). 3) Для каждого собственного значения λ\lambdaλ алгебраическая кратность λ\lambdaλ равна геометрической кратности dimker(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^*A∗A=AA∗), то она унитарно диагонализируема. Вывод: обратимость не связана с диагонализируемостью; нужное и достаточное условие — отсутствие кратных корней в минимальном многочлене (или эквивалентные формулировки выше).
Контрпримеры:
- A=(1101)\displaystyle A=\begin{pmatrix}1&1\\[2pt]0&1\end{pmatrix}A=(10 11 ). Здесь detA=1\det A=1detA=1 (обратима), единственное собственное значение λ=1\lambda=1λ=1 с алгебраической кратностью 222, но размер собственного пространства ker(A−I)=1\ker(A-I)=1ker(A−I)=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θ ). detR(θ)=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})A∈Mn (F). Следующие условия эквивалентны:
1) AAA диагонализируема над F\mathbb{F}F, т.е. существует невырожденная PPP такая, что P−1AP=D\displaystyle P^{-1}AP=DP−1AP=D — диагональная матрица.
2) Существует базис из собственных векторов AAA (эквивалентно: сумма размерностей всех собственных пространств равна nnn).
3) Для каждого собственного значения λ\lambdaλ алгебраическая кратность λ\lambdaλ равна геометрической кратности dimker(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^*A∗A=AA∗), то она унитарно диагонализируема.
Вывод: обратимость не связана с диагонализируемостью; нужное и достаточное условие — отсутствие кратных корней в минимальном многочлене (или эквивалентные формулировки выше).