
- •Тема 5. Уравнения прямой и плоскости.
- •1. Общее уравнение прямой. Общее уравнение плоскости.
- •2. Другие виды уравнений прямой и плоскости.
- •3. Уравнения прямой в пространстве.
- •4. Основные задачи на прямую и плоскость в .
- •5. Взаимное расположение прямой и плоскости. Взаимное расположение плоскостей в линейном пространстве.
- •Тема 6. Линейные операторы.
- •1. Взаимно однозначные отображения.
- •2. Линейные операторы.
- •3. Матрица линейного оператора.
- •4. Ядро и образ линейного оператора.
- •5. Линейное пространство операторов.
- •6. Умножение линейных операторов.
- •7. Невырожденные операторы. Обратный оператор.
- •8. Ограниченность линейного оператора в конечномерных нормированных пространствах.
- •9. Норма линейного оператора.
6. Умножение линейных операторов.
Пусть
,
,
– линейные пространства над полем
.
Произведением операторов
и
называется отображение
,
действующее из
в
по правилу
для всех
.
(обратите внимание на порядок записи
операторов).
Теорема
8. Если
,
,
то
.
Доказательство.
для любых
.
для любого
и любого числа
.
Поэтому
является линейным отображением.
Задача. Проверьте выполнение следующих свойств умножения операторов:
1.
.
2.
.
3.
.
Теорема
9. При умножении линейных операторов
их матрицы умножаются: если
– базисы в
,
,
,
то
.
Доказательство.
Пусть
,
,
и
,
,
.
– для всех
.
В силу единственности разложения по
базису
получаем
.
7. Невырожденные операторы. Обратный оператор.
Важным классом
линейных операторов, действующих в
пространстве
(т.е. из
в
),
являются невырожденные операторы.
Оператор
называется невырожденным, если
.
Если подпространство
является ненулевым, то оператор
называется вырожденным.
Теорема
10. Невырожденный оператор
осуществляет взаимно однозначное
отображение
на
.
Доказательство.
Для невырожденного оператора
.
Поэтому по теореме 6
,
и
.
Иными словами, каждый элемент
является образом некоторого элемента
при отображении
.
Это значит, что
– сюръективное отображение
на
.
Докажем, что
каждый элемент
имеет только один прообраз при отображении
.
Предположим, что для некоторого
имеются два прообраза:
и
.
Тогда
,
т.е.
.
Но для невырожденного оператора
,
следовательно,
.
Это значит, что
– инъективное отображение.
Пусть
– невырожденный оператор. Тогда для
любого
существует, и притом единственный,
элемент
,
для которого
.
Поэтому определено отображение, ставящее
в соответствие каждому
тот единственный элемент
,
для которого
.
Это отображение называется оператором,
обратным к оператору
;
обозначение:
.
Оператор
действует из
в
по правилу
,
если
.
Очевидно, что
– тождественное отображение.
Теорема
11.
является линейным невырожденным
оператором. В базисе
пространства
его матрица
не вырождена и является обратной к
матрице
.
(Докажите самостоятельно.)
8. Ограниченность линейного оператора в конечномерных нормированных пространствах.
Пусть
и
– конечномерные линейные нормированные
пространства с нормами
и
.
Определение.
Оператор
называется ограниченным, если
существует такое число
,
что для всех
выполнено неравенство
.
Ограниченность оператора
означает, что для всех
,
для которых
,
выполнено неравенство
.
Или, что то же самое, единичный шар
в пространстве
ограниченный оператор переводит во
множество, ограниченное по норме
.
Теорема
12. В конечномерных нормированных
пространствах
и
любой оператор
ограничен.
Доказательство.
Пусть
– базис пространства
.
Разложим произвольный элемент
по этому базису:
.
Пользуясь аксиомами нормы и неравенством
Коши-Буняковского в
,
получаем неравенства
,
где
не зависит от
,
а
– евклидова норма в
.
Из эквивалентности норм в конечномерном
пространстве
имеем
для всех
;
.
Отсюда для всех
получаем
,
где
.
Замечание. Для линейных операторов, действующих в бесконечномерных нормированных пространствах, свойство ограниченности может не выполняться.
Из ограниченности
линейного оператора
вытекает, что отображение
:
непрерывно в нуле пространства
:
для любого числа
найдется такое число
,
что из неравенства
следует неравенство
(достаточно выбрать
).
Но в силу линейности оператора
отсюда вытекает, что указанное отображение
непрерывно в каждой точке
.
В самом деле: для любого
найдется
,
при котором из неравенства
следует
.