2. Пространство линейных непрерывных операторов и его полнота относительно равномерной сходимости операторов
Зафиксируем два линейных нормированных пространства 
и 
и будем рассматривать всевозможные линейные непрерывные операторы А, В, … действующие из Х в Y.
. Таким образом, совокупность всех операторов, действующих из Х в Y, есть линейное пространство. Более того, эта совокупность будет линейным нормированным пространством. В самом деле, для каждого оператора А определена норма этого оператора 
, являющаяся неотрицательным числом, и остаётся проверить лишь выполнение аксиом нормы. 1. Если А = 0, то 
для любого 
и потому 
.
Пусть, наоборот, 
. Тогда для любого 
, т. е. Ах = 0 для любого и 
.
2. 
и вторая аксиома нормы тоже выполняется.
3. Подобным же образом проверяется выполнение третьей аксиомы нормы:
Итак, совокупность всех линейных непрерывных операторов, действующих из X в Y, есть линейное нормированное пространство. Это пространство мы будем обозначать символом 
.
В частности, когда Y = R – множество вещественных (комплексных) чисел, это пространство называется пространством линейных непрерывных функционалов, определённых на X, или сопряжённым с X пространством, и обозначается X*.
Теорема 2. Если Y – полное пространство, то – пространство линейных ограниченных операторов будет также полным пространством и, следовательно, банаховым пространством.
Доказательство. Пусть 
и 
при 
, 
. Из обратного неравенства треугольника следует 
, т. е. 
есть сходящаяся и потому ограниченная числовая последовательность. Положим 
.
Возьмём любой элемент и рассмотрим последовательность 
.
при , . Так как Y – полное пространство, то существует элемент 
, являющийся пределом этой последовательности: 
. Таким образом, каждому ставится в соответствие один определенный , и мы приходим к оператору 
, действующему из X в Y. Этот оператор линейный:
,
.
Этот оператор также ограничен:
.
Следовательно, A – линейный непрерывный оператор.
Покажем, что 
в смысле сходимости по норме в пространстве 
. Из неравенства 
, 
, 
, будет следовать
(7)
при 
, 
и для любого 
.
. Тогда (7) в пределе дает 
при и так как это верно для любого x из единичного шара , то 
при , что и требовалось доказать.
Следствие. Пространство X*, сопряжённое с линейным нормированным пространством X, есть банахово пространство.
Рассмотренную только что сходимость по норме в пространстве операторов называют также равномерной сходимостью последовательности операторов, потому что в этом случае 
сходится к 
равномерно на любом шаре 
, как это следует из неравенства
.
Еще по теме 2. Пространство линейных непрерывных операторов и его полнота относительно равномерной сходимости операторов:
- 3. Принцип равномерной ограниченности и теорема Банаха-Штейнгауза. Полнота пространства операторов относительно поточечной сходимости
- 1. Линейные операторы в линейных нормированных пространствах. Равносильность непрерывности и ограниченности линейного оператора. Понятие нормы ограниченного оператора. Различные формулы для вычисления норм. Примеры линейных ограниченных операторов.
- 2. Теорема Шаудера о полной непрерывности сопряженного оператора. Уравнения первого и второго рода с вполне непрерывными операторами. Теорема о замкнутости области значений оператора
- 6. Сопряженный оператор. Условия существования сопряженного оператора. Замкнутость сопряженного оператора. Сопряженный оператор к ограниченному оператору и его норма.
- 1. Вполне непрерывные операторы и их свойства. Операторы Фредгольма и Гильберта-Шмидта
- 5. Существование собственного значения у вполне непрерывного оператора в гильбертовом пространстве. Наибольшее и наименьшее собственные значения. Спектральное разложение самосопряженных операторов. Теорема Гильберта-Шмидта о разложении по собственным векторам
- 4. Резольвента и спектр оператора. Линейная независимость собственных векторов. Спектр вполне непрерывного оператора (конечномерность собственного подпространства, конечное число собственных значений вне круга)
- 1. Линейные пространства. Нормированные пространства. Метрика, порожденная нормой. Ряды в нормированных пространствах. Абсолютная сходимость ряда и полнота нормированного пространства. Факторпространства
- Линейный дифференциальный оператор и его свойства.
- Тема 4. Системы векторов. N-мерное векторное пространство. Евклидово пространство. Линейные операторы.
- 4. Ядро оператора. Критерий ограниченности обратного оператора. Теоремы об обратном операторе
- 5. Примеры обратных операторов. Обратимость операторов вида (I - A) и (A - C).
- Линейные операторы
- 7. Самосопряженный оператор. Норма самосопряженного оператора
- 6. График оператора и замкнутые операторы. Критерий замкнутости. Теорема Банаха о замкнутом графике. Теорема об открытом отображении
- 3. Теорема Рисса об общем виде линейного функционала для пространства непрерывных функций
- 3.8.1 Использование операторов в формулах
- 5. Почти равномерная сходимость. Теоремы Егорова и Лузина
- §2. Операторы, порождаемые вероятностями перехода МПШ.
- Равномерная непрерывность