Дано линейное отображение T на R3 с матрицей A в стандартном базисе. Какие геометрические свойства отображения (направления сжатия/растяжения, повороты, фиксированные подпространства) определяются собственными значениями и собственными векторами A? Приведите пример матрицы с комплексными собственными значениями и обсудите геометрическую интерпретацию действия на вещественном пространстве
Коротко — собственные значения и собственные векторы задают все инвариантные направления и коэффициенты сжатия/растяжения; комплексные значения дают вращение+масштаб в двумерной инвариантной плоскости. Конкретнее: - Направления сжатия/растяжения: если Av=λvAv=\lambda vAv=λv и v∈R3∖{0}v\in\mathbb R^3\setminus\{0\}v∈R3∖{0}, то направление span{v}\operatorname{span}\{v\}span{v} инвариантно, а вектор масштабируется на множитель λ\lambdaλ. При ∣λ∣>1|\lambda|>1∣λ∣>1 — растяжение, при ∣λ∣<1|\lambda|<1∣λ∣<1 — сжатие, при λ<0\lambda<0λ<0 — дополнительно поворот на 180∘180^\circ180∘ (смена ориентации на линии). - Фиксированные подпространства: пространство собственных векторов (эigenspace) для данного λ\lambdaλ — инвариантное подпространство (линия, плоскость или тривиальное). Корень λ=0\lambda=0λ=0 означает, что соответствующее подпространство отображается в 000 (свертывание измерений). - Вращения и комплексные собственные значения: комплексные собственные значения появляются попарно λ=a±bi\lambda=a\pm biλ=a±bi и не имеют вещественных собственных векторов. Они соответствуют действию в некоторой инвариантной вещественной плоскости в виде композиции вращения и масштабирования; в подходящем базисе этот блок задаётся матрицей (a−bba),
\begin{pmatrix}a & -b\\[4pt] b & a\end{pmatrix}, (ab−ba),
у которой масштабирование по модулю равно ∣λ∣=a2+b2|\lambda|=\sqrt{a^2+b^2}∣λ∣=a2+b2, а поворот на угол argλ=arctanba\arg\lambda=\arctan\frac{b}{a}argλ=arctanab. - Объём и ориентация: detA\det AdetA равен произведению собственных значений (масштаб объёма; знак даёт сохранение/смену ориентации), trA\operatorname{tr}AtrA равен их сумме. - Диагонализуемость / жордановы блоки: если собственные векторы дают базис — действие сводится к независимым растяжениям вдоль этих направлений; при недостатке независимых собственных векторов появляются сдвиги/сдвиговые (shear) компоненты (жордановы блоки). Пример с комплексными собственными значениями и его геометрическая интерпретация: Возьмём A=(0−10100002).
A=\begin{pmatrix}0 & -1 & 0\\[4pt] 1 & 0 & 0\\[4pt] 0 & 0 & 2\end{pmatrix}. A=010−100002.
Её собственные значения: i,−i,2i,-i,2i,−i,2. На вещественном R3 \mathbb R^3R3 это означает: плоскость xyxyxy инвариантна и на ней действует вращение на 90∘90^\circ90∘ (нет вещественных собственных векторов в этой плоскости), а ось zzz инвариантна и растягивается вдвое (z↦2zz\mapsto 2zz↦2z). Комплексные собственные векторы для iii и −i-i−i существуют в C3\mathbb C^3C3; их вещественные и мнимые части порождают ту самую инвариантную вращательную плоскость в R3\mathbb R^3R3.
- Направления сжатия/растяжения: если Av=λvAv=\lambda vAv=λv и v∈R3∖{0}v\in\mathbb R^3\setminus\{0\}v∈R3∖{0}, то направление span{v}\operatorname{span}\{v\}span{v} инвариантно, а вектор масштабируется на множитель λ\lambdaλ. При ∣λ∣>1|\lambda|>1∣λ∣>1 — растяжение, при ∣λ∣<1|\lambda|<1∣λ∣<1 — сжатие, при λ<0\lambda<0λ<0 — дополнительно поворот на 180∘180^\circ180∘ (смена ориентации на линии).
- Фиксированные подпространства: пространство собственных векторов (эigenspace) для данного λ\lambdaλ — инвариантное подпространство (линия, плоскость или тривиальное). Корень λ=0\lambda=0λ=0 означает, что соответствующее подпространство отображается в 000 (свертывание измерений).
- Вращения и комплексные собственные значения: комплексные собственные значения появляются попарно λ=a±bi\lambda=a\pm biλ=a±bi и не имеют вещественных собственных векторов. Они соответствуют действию в некоторой инвариантной вещественной плоскости в виде композиции вращения и масштабирования; в подходящем базисе этот блок задаётся матрицей
(a−bba), \begin{pmatrix}a & -b\\[4pt] b & a\end{pmatrix},
(ab −ba ), у которой масштабирование по модулю равно ∣λ∣=a2+b2|\lambda|=\sqrt{a^2+b^2}∣λ∣=a2+b2 , а поворот на угол argλ=arctanba\arg\lambda=\arctan\frac{b}{a}argλ=arctanab .
- Объём и ориентация: detA\det AdetA равен произведению собственных значений (масштаб объёма; знак даёт сохранение/смену ориентации), trA\operatorname{tr}AtrA равен их сумме.
- Диагонализуемость / жордановы блоки: если собственные векторы дают базис — действие сводится к независимым растяжениям вдоль этих направлений; при недостатке независимых собственных векторов появляются сдвиги/сдвиговые (shear) компоненты (жордановы блоки).
Пример с комплексными собственными значениями и его геометрическая интерпретация:
Возьмём
A=(0−10100002). A=\begin{pmatrix}0 & -1 & 0\\[4pt] 1 & 0 & 0\\[4pt] 0 & 0 & 2\end{pmatrix}.
A= 010 −100 002 . Её собственные значения: i,−i,2i,-i,2i,−i,2. На вещественном R3 \mathbb R^3R3 это означает: плоскость xyxyxy инвариантна и на ней действует вращение на 90∘90^\circ90∘ (нет вещественных собственных векторов в этой плоскости), а ось zzz инвариантна и растягивается вдвое (z↦2zz\mapsto 2zz↦2z). Комплексные собственные векторы для iii и −i-i−i существуют в C3\mathbb C^3C3; их вещественные и мнимые части порождают ту самую инвариантную вращательную плоскость в R3\mathbb R^3R3.