§ 17. ОБ ИНВАРИАНТНЫХ ПОДПРОСТРАНСТВАХ И ИНДУЦИРОВАННЫХ ПРЕОБРАЗОВАНИЯХ
 
Определение 22. Пусть  линейное преобразование пространства
 линейное преобразование пространства  Подпространство
 Подпространство  называется инвариантным относительно преобразования
 называется инвариантным относительно преобразования  если из
 если из  
 
В случае инвариантности подпространства  можно говорить о линейном преобразовании
 можно говорить о линейном преобразовании  с областью определения
 с областью определения  Преобразование
 Преобразование  называется индуцированным преобразованием. Если
 называется индуцированным преобразованием. Если  то
 то  если же
 если же  то
 то  существует, а
 существует, а  не определено. Различие преобразований
 не определено. Различие преобразований  состоит лишь в различии между их областями применения.
 состоит лишь в различии между их областями применения. 
Примеры. 1. Нуль-подпространство, состоящее из одного вектора 0, и само пространство  инвариантны относительно любого преобразования в
 инвариантны относительно любого преобразования в  
 
2. В пространстве  выполняется некоторый поворот
 выполняется некоторый поворот  вокруг оси
 вокруг оси  проходящей через точку О. Подпространствами, инвариантными относительно
 проходящей через точку О. Подпространствами, инвариантными относительно  будут:
 будут: 
а) совокупность векторов, лежащих на оси  
 
б) совокупность векторов, лежащих в плоскости, проходящей через точку О и перпендикулярной оси  
 
3.  -пространство многочленов
-пространство многочленов  степени
 степени  Преобразование
 Преобразование  переводящее любой многочлен в его производную, является линейным. Пусть
 переводящее любой многочлен в его производную, является линейным. Пусть  натуральное число, причем
 натуральное число, причем  Тогда подпространство всех многочленов степени будет инвариантным относительно преобразования
 Тогда подпространство всех многочленов степени будет инвариантным относительно преобразования  
 
4. Линейное преобразование  действующее в пространстве
 действующее в пространстве  задано в некотором базисе
 задано в некотором базисе  матрицей
 матрицей 
 
Пусть  Покажем, что подпространство
 Покажем, что подпространство  инвариантно относительно
 инвариантно относительно  т. е. что из
 т. е. что из  следует
 следует  Векторы подпространства
 Векторы подпространства  имеют вид:
 имеют вид: