Алгебра phys 1 апрель–май

2  Линейная алгебра

2.3  Линейные операторы (часть 2)

2.3.1  Многочлены от линейных операторов, спектр и характеристический многочлен линейного оператора

• Эвалюация ${\biggl (}\!{\begin{aligned}\mathrm {eval} _{a}\colon K[x]&\to \mathrm {End} (V)\\f&\mapsto f(a)\end{aligned}}\!{\biggr )}$ — гомоморфизм. Кольцо, порожденное лин. оператором $a$: $K[a]=\{f(a)\mid f\in K[x]\}=\mathrm{Im}\,\mathrm{eval}_a\le\mathrm{End}(V)$.
• Минимальный многочлен лин. оператора $a$: $\mu _{a}(a)=0$, $\mu _{a}$ нормирован, $\deg \mu _{a}=\min\{\deg f\mid f\in K[x]\!\setminus \!\{0\}\,\land \,f(a)=0\}$; $(\mu _{a})=\mathrm {Ker} \,\mathrm {eval} _{a}\trianglelefteq K[x]$.
• Теорема о ядре многочлена от линейного оператора. Пусть $K$ — поле, $V$ — векторное пространство над полем $K$ и $a\in \mathrm {End} (V)$; тогда
  (1) если $f\in K[x]$, то $a\bigl(\mathrm{Ker}\,f(a)\bigr)\subseteq\mathrm{Ker}\,f(a)$, а также, если $f,g\in K[x]$ и $f$ делит $g$, то $\,\mathrm{Ker}\,f(a)\subseteq\mathrm{Ker}\,g(a)$;
  (2) если $k\in \mathbb {N} _{0}$, $f_1,\ldots,f_k\in K[x]$ и $f_{1},\ldots ,f_{k}$ попарно взаимно просты; тогда $\mathrm{Ker}(f_1\cdot\ldots\cdot f_k)(a)=\mathrm{Ker}\,f_1(a)\oplus\ldots\oplus\mathrm{Ker}\,f_k(a)$ (и, значит,
  если $(f_1\cdot\ldots\cdot f_k)(a)=0$, то $V=\mathrm{Ker}\,f_1(a)\oplus\ldots\oplus\mathrm{Ker}\,f_k(a)$).
• Проектор (идемпотент): $a^{2}=a\,\Leftrightarrow \,V=\mathrm {Ker} \,(a-\mathrm {id} _{V})\oplus \mathrm {Ker} \,a$. Нильпотентный линейный оператор: $\exists \,m\in \mathbb {N} _{0}\;{\bigl (}a^{m}=0{\bigr )}\,\Leftrightarrow \,\exists \,m\in \mathbb {N} _{0}\;{\bigl (}\mu _{a}=x^{m}{\bigr )}$.
• Спектр оператора лин. оператора $a$: $\mathrm {Spec} (a)=\{c\in K\mid (a-c\cdot \mathrm {id} _{V})\notin \mathrm {GL} (V)\}$; если $\dim V<\infty$, то $\mathrm {Spec} (a)=\{c\in K\mid \mathrm {Ker} \,(a-c\cdot \mathrm {id} _{V})\neq \{0\}\}$.
• Характеристический многочлен матрицы $a$: $\chi _{a}=\det(x\cdot \mathrm {id} _{n}-a)$. Характеристический многочлен лин. оператора $a$: $\chi _{a}=\chi _{a_{e}^{e}}$. Корректность опр.-я.
• Утверждение: $\chi _{a}=x^{n}-\mathrm {tr} \,a\cdot x^{n-1}+\ldots +(-1)^{n}\det a$. Утверждение: $\mathrm {Spec} (a)=\{c\in K\mid \chi _{a}(c)=0\}$ (и, значит, $|\mathrm {Spec} (a)|\leq \dim V$).
• Теорема Гамильтона–Кэли. Пусть $K$ — поле, $V$ — векторное пространство над полем $K$, $\dim V<\infty$ и $a\in \mathrm {End} (V)$; тогда $\chi _{a}(a)=0$.
• Две кратности: $\alpha (a,c)$ — кратность $c$ как корня многочлена $\chi _{a}$ (алгебраическая кратность) и $\beta (a,c)$ — кратность $c$ как корня многочлена $\mu _{a}$.
• Лемма о минимальном и характеристическом многочленах. Пусть $K$ — поле, $V$ — вект. пространство над $K$, $\dim V<\infty$ и $a\in \mathrm {End} (V)$; тогда
  (1) многочлен $\mu _{a}$ делит многочлен $\chi _{a}$ (и, значит, $\forall \,c\in K\;{\bigl (}\beta (a,c)\leq \alpha (a,c){\bigr )}$);
  (2) $\mathrm {Spec} (a)=\{c\in K\mid \mu _{a}(c)=0\}$;
  (3) если $a$ — нильпотентный оператор, то $\chi _{a}=x^{\dim V}$.