<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> <br>\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>
}}
{{Теорема
|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=
}}
[[Категория: Алгебра и геометрия 1 курс]]
[[Категория: Cпектральный анализ линейных операторов в конечномерном пространстве: операторы общего вида]]
