Определение. Линейный оператор называется невырожденным, если он любой ненулевой вектор переводит в ненулевой.
Теорема 4.4. Для того чтобы линейный оператор был невырожденным, необходимо и достаточно, чтобы он был взаимно однозначным.
►Пусть – линейный оператор, А – его матрица в некотором базисе, X и Y – координатные столбцы в том же базисе векторов и соответственно. Тогда
{ невырожденный} { система имеет единственное решение} { единственный , что }
{ единственный , что } { f – взаимно однозначный}.◄
Теорема 4.6.Произведение невырожденных линейных операторов – невырожденный линейный оператор.
►Пусть и – невырожденные линейные операторы. Тогда
{ } { } { }.
Tаким образом, gf – невырожденный линейный оператор.◄
Вопрос 22
Обратный линейный оператор
Теорема 4.7. Для любого невырожденного линейногооператора существует единственный обратный оператор , который также является линейным. При этом, если А – матрица оператора в некотором базисе, то матрица оператора в том же базисе совпадает с матрицей .
► Единственность. Пусть некоторый оператор имеет два разных обратных: и . Тогда
– противоречие.
Существование. Пусть А – матрица оператора в некотором базисе. Тогда, по теореме 4.4 , значит, существует . Обозначим – тот линейный оператор, матрица которого в выбранном базисесовпадаетс .
Так как , и так как произведению матриц соответствует произведение операторов, то , и, таким образом, .◄
Замечание. М ожно доказать, что любой взаимно однозначный линейный оператор имеет единственный обратный, который тоже является линейным.
Вопрос 23
Определение и свойства изоморфизма линейных пространств
Определение.Изоморфизмом линейных пространств называется взаимно однозначный линейный оператор. Если существует изоморфизм , то линейные пространства и называются изоморфными. Изоморфизм обозначается так: .
Так как изоморфизм – взаимно однозначное отображение, то изоморфные объекты содержат одинаковое количество элементов. Кроме того, в силу линейности, действия, производимые над элементами пространства , одновременно производятся и над элементами пространства . Поэтому в математике изоморфные объекты не различаются.
Свойства изоморфизма
1. – рефлективность (изоморфизм осуществляет тождественное отображение).
2. – симметричность (если первый изоморфизм осуществляет с помощью отображения f, то второй – с помощью ).
3. { , } – транзитивность (если первый изоморфизм осуществляется с помощью отображения , второй – , то третий изоморфизм осуществляется с помощью отображения ).
Строгого доказательства этих свойств мы не приводим.
Вопрос 24