Разложение линейного пространства в сумму подпространств. 2-я теорема о ядре и образе. Теорема о проекторах.

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Теорема (2я теорема о ядре и образе):

Пусть [math]p_a(\lambda) = p_1(\lambda) p_2(\lambda), \ [/math] и [math]p_1(\lambda), p_2(\lambda)[/math] — взаимно простые Тогда [math]Ker p_1(\mathcal{A}) = Im p_2(\mathcal{A})[/math]

Доказательство:

[math]\triangleright[/math]

пока без доказательства

[math]\triangleleft[/math]

Теорема (теорема о проекторах, но тут херня написана):

Пусть [math]p_a(\lambda) = \displaystyle \prod_{i=1}^k p_i(\lambda)[/math] (взаимнопростые делители) Пусть [math]p_i^{'} = {p_a \over p_i}[/math]; [math]q_i[/math] - также понятно, что [math]\displaystyle \sum\limits_{i=1}^k p_i^{'}(\lambda)\cdot q_i(\lambda) = \mathit{1}[/math] Тогда 1) [math]X = \dotplus \sum\limits_{i=1}^k p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A})[/math]; [math]I = \displaystyle \sum\limits_{i=1}^k p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A})[/math], где [math]x = \sum\limits_{i=1}^k p_i^{'} (\mathcal{A})\cdot q_i(\mathcal{A})x=\sum\limits_{i=1}^k x_i[/math] так, что [math]x_i = p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A}) \in \ker p_i(\mathcal{A})[/math] [math]p_i^{'}(\mathcal{A})\cdot q_i(\mathcal{A}) - проектор на ядро \ker p_i(\mathcal{A})[/math] линейная оболочка остальных ядер = л.о. [math]\{\ker p_1(\mathcal{A}),...,\ker p_k(\mathcal{A})\}[/math]