1632
правки
Изменения
м
{{Теорема
|statement=
Пусть <tex>p_a(\lambda) = \displaystyle \prod_{i=1}^k p_i(\lambda)</tex> (взаимнопростые делители)
Пусть <tex>p_i^{'} = {p_a \over p_i}</tex>; <tex>q_i</tex> - также понятно, что <tex>\displaystyle \sum_{i=1}^k p_i^{'}(\lambda)\cdot q_i(\lambda) = \mathit{1}</tex>
Тогда 1) <tex>X = \dotplus \sum_{i=1}^k p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A})</tex>;
<tex>I = \displaystyle \sum_{i=1}^k p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A})</tex>, где <tex>x = \sum_{i=1}^k p_i^{'} (\mathcal{A})\cdot q_i(\mathcal{A})x=\sum_{i=1}^k x_i</tex> так, что <tex>x_i = p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A}) \in \ker p_i(\mathcal{A})</tex>
<tex>p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A}) - проектор на ядро \ker p_i(\mathcal{A})</tex>
линейная оболочка остальных ядер = л.о. <tex>\{\ker p_1(\mathcal{A}),...,\ker p_k(\mathcal{A})\}</tex>
|proof=
}}
[[Категория: Cпектральный анализ линейных операторов в конечномерном пространстве: операторы общего вида]]
rollbackEdits.php mass rollback
{{Теорема
|statement=
Множество всех аннулирующих полиномов данного автоморфизма <tex>A</tex> образует идеал А в алгебре скалярных полиномов <tex>P</tex>.
|proof=
<tex>I_A</tex>
{{Теорема
|statement = Для <tex>p(A)=q(A)</tex>, Н и Д, чтобы <tex>(p(\lambda)-q(\lambda))::</tex> делился на <tex>p_A(\lambda)</tex>
|proof=
<tex>p(A)=q(A) \Leftrightarrow p(A)-q(A) = O \Leftrightarrow (p(A)-q(A))x=Ox </tex>(для <tex>\forall x \in X</tex>)
Пусть <tex>r(\lambda)</tex> - остаток от деления <tex>p(\lambda)</tex> на <tex>p_A(\lambda)</tex>
Тогда <tex>p(A)=r(A)</tex>
<tex>p(\lambda)=p_A(\lambda)\cdot q(\lambda)+r(\lambda)</tex>
{{Теорема
|statement= Пусть <tex>p_A(\lambda)=\prod_{i=1}^k p_ap_i(\lambda)</tex> (<tex>p_i(\lambda)</tex> - взаимнопростые взаимно простые делители)
Тогда <tex>X = \dotplus\sum_{i=1}^n \ker p_i(A)</tex>
потому, что <tex>\ker p_A(A) = X</tex>
}}
Тогда <tex>\ker p_1(A) = Im p_2(A)</tex>
|proof=
<tex>p_A(A)X = \{Ox\}</tex> <br><tex>p_1(A)(p_2(A)X)=\{Ox\}</tex> <br><tex>p_2(A)X = Im p_2(A)</tex>\Rightarrow <tex>\forall x \in Im p_2(A):p_1(\mathcal{A})x=Ox </tex> <br><tex>\Rightarrow Im p_2(\mathcal{A}) \subset \ker p_1(\mathcal{A})</tex> <br>Надо доказать: <tex>dim Im p_2p_1(\mathcal{A}) = dim \ker p_1(\mathcal{A}) (?)</tex> <br>
<tex>X=\ker p_A(\mathcal{A})=\ker p_1(\mathcal{A}) \dotplus \ker p_2(\mathcal{A})</tex>
}}
[[Категория: Алгебра и геометрия 1 курс]]
