Линейное отображение: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
(→‎Формальное определение: линейное преобразование)
: Критерий инвариантности. Пусть <math>M\subset X</math> — подпространство,такое что <math>X</math> разлагается в [[прямая сумма|прямую сумму]]: <math>X=M\oplus N</math>. Тогда <math>M</math> инвариантно относительно линейного отображения <math>A</math> тогда и только тогда, когда <math>P_MAP_M=AP_M</math>, где <math>P_M</math> — [[Проектор (алгебра)|проектор]] на подпространство <math>M</math>.
* '''Фактор-операторы'''<ref>Также употребляется написание '''фактороператоры'''.</ref>. Пусть <math>A:L_K\to L_K</math> — линейный оператор и пусть <math>M</math> — некоторое инвариантное относительно этого оператора подпространство. Образуем [[Факторпространство по подпространству|факторпространство]] <math>L_K/\,\overset{M}{\sim}</math> по подпространству <math>M</math>. Тогда '''фактор-оператором''' называется оператор <math>A^+</math> действующий на <math>L_K/\,\overset{M}{\sim}</math> по правилу: <math>\forall x^+\in L_K/\,\overset{M}{\sim}, A^+ x^+=[Ax]</math>, где <math>[Ax]</math> — класс из фактор-пространства, содержащий <math>Ax</math>.
* Между [[Двойственное пространство|двойственными пространствами]] задано идущее в обратную сторону [[Двойственное пространство#Двойственные отображения|двойственное отображение]].
 
== Примеры ==