Невырожденные линейные операторы. Теорема о взаимной однозначности

Определение. Линейный оператор Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru называется невырожденным, если он любой ненулевой вектор переводит в ненулевой.

Теорема 4.4. Для того чтобы линейный оператор Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru был невырожденным, необходимо и достаточно, чтобы он был взаимно однозначным.

►Пусть Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru – линейный оператор, А – его матрица в некотором базисе, X и Y – координатные столбцы в том же базисе векторов Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru и Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru соответственно. Тогда

{ Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru невырожденный} Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru { Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru система Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru имеет единственное решение} Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru { Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru единственный Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , что Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru } Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru

Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru { Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru единственный Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , что Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru } Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru {f – взаимно однозначный}.◄

Теорема 4.6.Произведение невырожденных линейных операторов – невырожденный линейный оператор.

►Пусть Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru и Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru – невырожденные линейные операторы. Тогда

{ Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru } Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru { Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru } Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru { Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru }.

Tаким образом, gf – невырожденный линейный оператор.◄

Вопрос 22

Обратный линейный оператор

Теорема 4.7. Для любого невырожденного линейногооператора Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru существует единственный обратный оператор Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , который также является линейным. При этом, если А – матрица оператора Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru в некотором базисе, то матрица оператора Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru в том же базисе совпадает с матрицей Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru .

►Единственность. Пусть некоторый оператор Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru имеет два разных обратных: Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru и Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru . Тогда

Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru

– противоречие.

Существование. Пусть А – матрица оператора Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru в некотором базисе. Тогда, по теореме 4.4 Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , значит, существует Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru . Обозначим Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru – тот линейный оператор, матрица которого в выбранном базисесовпадаетс Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru .

Так как Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , и так как произведению матриц соответствует произведение операторов, то Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , и, таким образом, Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru .◄

Замечание. Можно доказать, что любой взаимно однозначный линейный оператор Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru имеет единственный обратный, который тоже является линейным.

Вопрос 23

Определение и свойства изоморфизма линейных пространств

Определение.Изоморфизмом линейных пространств называется взаимно однозначный линейный оператор. Если существует изоморфизм Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , то линейные пространства Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru и Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru называются изоморфными. Изоморфизм обозначается так: Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru .

Так как изоморфизм – взаимно однозначное отображение, то изоморфные объекты содержат одинаковое количество элементов. Кроме того, в силу линейности, действия, производимые над элементами пространства Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , одновременно производятся и над элементами пространства Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru . Поэтому в математике изоморфные объекты не различаются.

Свойства изоморфизма

1. Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru – рефлективность (изоморфизм осуществляет тождественное отображение).

2. Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru – симметричность (если первый изоморфизм осуществляет с помощью отображения f, то второй – с помощью Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru ).

3. { Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru } Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru – транзитивность (если первый изоморфизм осуществляется с помощью отображения Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , второй – Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru , то третий изоморфизм осуществляется с помощью отображения Невырожденные линейные операторы. Теорема о взаимной однозначности - student2.ru ).

Строгого доказательства этих свойств мы не приводим.

Вопрос 24

Наши рекомендации