Функциональный анализ
от нуля до единицы
Москва
2015
Моему сыну Михаилу
2
Оглавление
Введение 6
I Пространства 10
Глава I. Элементы теории множеств 11
1. Что такое множество? . . . . . . . . . . . . . . . . . . . 11
2. Про аксиому выбора и другие проблемы . . . . . . . . 13
3. Мощность множеств . . . . . . . . . . . . . . . . . . . . 18
4. Отображения множеств . . . . . . . . . . . . . . . . . . 20
3
16. Мера множества и интеграл Лебега по мере . . . . . . 68
17. Пространства Лебега . . . . . . . . . . . . . . . . . . . 81
4
39. Доказательство теоремы Гильберта-Шмидта . . . . . . 178
Литература 196
5
Введение
6
только о геометрических представлений (нам сложно представить да-
же трехмерные объекты, не говоря уж о больших размерностях), а о
принципиальных отличий, например, в бесконечномерном простран-
стве ограниченная последовательность может не содержать никакой
сходящейся подпоследовательности и т.д.
С другой стороны абстрактные понятия можно понимать и изу-
чать с нуля. Поэтому наш курс называется «от нуля до единицы».
Данный учебник предназначен для желающих научится функцио-
нальному анализу с нуля, но при этом освоить основные понятия
функционального анализа, а также его приложения. Несколько важ-
ных слов об учебнике. Мы изначально предполагали создать ком-
пактный курс функционального анализа, включая в него только ос-
новные результаты, но при этом изложение должно быть полным и
замкнутым. В нашем тексте нет ссылок на другие учебники и моно-
графии — все необходимые результаты доказываются непосредствен-
но в курсе.
В последнее время среди студентов и некоторых преподавате-
лей становится популярным изучение и преподавание математики
и функционального анализа в частности «без доказательства». Мы
считаем этот подход в корне неверным и опасным. Дело в том, что
смысл математики как раз и состоит в том, что все построение ос-
новано на доказательствах. По большому счету понять теоремы —
это означает понять ее доказательство. Именно через доказатель-
ства (иногда технически сложные) достигается истинное изучение
математики. Кроме того, применение математики есть получение но-
вых утверждений, которые должны быть математически верными, то
есть доказанными. Поэтому учиться математике — это учиться соб-
ственным доказательствам. А этому можно научиться только изучая
другие доказательства. Поэтому в настоящем курсе все используемые
утверждения подробно доказываются.
Некоторые темы, излагаемые в нашем курсе, являются нетради-
ционными для учебников по функциональному анализу. Например,
мы подробно со всеми доказательствами рассматриваем линейные
принципы функционального анализа (принцип равномерной ограни-
ченности, принцип открытости отображения, теорема Хана-Банаха),
а также рассматриваем подробно неограниченные линейные опера-
торы.
Одной из задач курса является введение в современную професси-
7
ональную математику в области анализа, теории функций и особенно
в теорию дифференциальных уравнений в частных производных. Ко-
нечно, функциональный анализ имеет много истоков и приложений,
но, вероятно, современная теория дифференциальных уравнений в
частных производных на основе функциональных пространств явля-
ется самым ярким применением и демонстрацией функционального
анализа. Поэтому мы подробно излагаем основы линейных диффе-
ренциальных уравнений в частных производных в пространствах Со-
болева.
Курс состоит из трех разделов:
1. «Пространства»
2. «Линейные операторы»
3. «Дифференциальные уравнения в частных производных»
Первые два раздела представляют собой замкнутый курс функцио-
нального анализа, а последний раздел демонстрирует «в бою» функ-
циональный анализ.
Как мы уже отмечали, настоящий курс не предполагает никаких
специальных математических знаний, кроме элементарных сведений
из математического анализа и линейной алгебры, а также диффе-
ренциальных уравнений, поэтому мы рекомендуем его для начина-
ющих изучать бездонный функциональный анализ. В тоже время
мы излагаем довольно общие и интересные утверждения линейного
функционального анализа и его приложения в различных областях
математики и смежных наук.
8
логии и геофизики ДВО РАН. Автор более 100 научных трудов,
включая несколько монографий и учебников. Область научных ин-
тересов включает математическое моделирование и численные мето-
ды, дифференциальные уравнения в частных производных, функци-
ональный анализ, а также проблемы вычислительной океанологии.
9
Часть I
Пространства
10
Глава I
11
если оба множества состоят из одинаковых элементов. В этом опре-
делении есть один (и не один) нюанс. Равны ли множества
A = {1, 2, 3, 4, 5}
и
B = {5, 4, 3, 2, 1, }?
Да, равны. Множества предполагаются неупорядоченными. А равны
ли множества
F1 = {Apple, P ear, Orange}
и
F1 = {Apple, Apple, P ear, Orange}?
Если в качестве элементов мы рассматриваем одни и те же яблоки,
то да — эти множества равны1 .
Мы будем говорить, что множество A есть подмножество мно-
жества B, если каждый элемент множества A является элементом
множества B. Будем использовать для этого стандартное обозначе-
ние
A ⊂ B.
Отношение подмножества является нестрогим, поэтому если A = B,
то A ⊂ B (и, соответственно, B ⊂ A). Если нужно рассматривать
именно строгое отношение подмножества, которое называется соб-
ственным подмножеством, то это будем каждый раз оговаривать спе-
циальною.
Будем рассматривать следующие основные операции над множе-
ствами. Во-первых, множества можно объединять. Пусть A и B два
множества, тогда их объединением, обозначаемым A ∪ B называется
множество, состоящее из всех элементов множества A и множества
B. Заметим, что, например,
12
множества A и множества B. Эта операция легко может приводить
к пустым множествам. Будем говорить, что множества A и B не пе-
ресекаются, если
A ∩ B = ∅.
Очевидно, что обе эти операции являются симметричными
A ∩ B = B ∩ A, A ∪ B = B ∪ A.
A \ A = ∅.
A = U \ A.
13
XX века (в 1902 году). Поскольку этот вопрос очень важен, точнее,
очень важно найти для него удовлетворительный ответ, то рассмот-
рим его подробнее. Все начинается с того, что множества можно опре-
делять по схеме свертывания. Мы рассмотрим логическую функцию
на некотором множестве U , то есть функцию F (x), где x ∈ U , а сама
функция принимает лишь два значения — «true» или «false» (1 или
0). Тогда можно определить множество
A = {x|F (x)},
W = {x|x ∈
/ x}.
14
Будем говорить, что схема свертывания приводит образованию не
множеств, а классов. При этом класс может и не быть множеством.
Для предотвращения подобных патологий можно принять аксиому
выбора. Пусть M есть некоторое множество индексов α ∈ M и для
каждого индекса задано не пустое множество Aα , тогда согласно ак-
сиоме выбора существует такая функция на множестве индексов M ,
которая относит каждому индексу α элемент множества Fα . Эта ак-
сиома является эквивалентным утверждением для леммы Цорна и
теоремы Цермело.
Приведем формулировки этих утверждений. Для этого нужно
ввести понятие частичного порядка в множестве. Рассмотрим непу-
стое множество A. Если для некоторых3 пар элементов этого множе-
ства можно ввести отношение
a ≺ b,
для a, b ∈ A, которое удовлетворяет следующим условиям:
1. из a ≺ b и b ≺ c следует a ≺ c;
2. a ≺ a;
3. из a ≺ b и b ≺ a следует a = b.
Тогда это отношение называется частичным порядком в множестве
A. Подмножество B ⊂ A называется ограниченным сверху, если су-
ществует элемент b ∈ A такой, что
x≺b
для всех x ∈ B. При этом множество A называется частично упорядо-
ченным. Если частичный порядок существует для всех пар элементов
A, то частичный порядок называется просто порядком, а множество
A упорядоченным.
Примером упорядоченного множеств является множество действи-
тельных числа, а частично упорядоченного — множество комплекс-
ных чисел.
Элемент b называется верхней границей. Наименьшая из всех
верхних границ называется точной верхней границей. Элемент c ∈ A
называется максимальным, если в A не существует элемента d 6= c
такого, что c ≺ d.
3
Не обязательно для всех.
15
Лемма 2.1 (Лемма Цорна). Если в частично упорядоченном мно-
жестве A для любого упорядоченного подмножества B ⊂ A суще-
ствует верхняя граница, то в A существует максимальный эле-
мент.
16
Можно пойти еще дальше — можно сказать, что не все действи-
тельные числа существуют, если под существованием понимать кон-
структивное существование. Конструктивная математика, развитая,
в частности, в работах А.А. Маркова, признает только конструктив-
ные объекты. Действительное число a называется конструктивным,
если существует такой алгоритм, который каждому номеру n соот-
носит рациональное число qn такое, что
1
|a − qn | ≤ .
n
Таким образом, конструктивное действительное число — это такое
число, для которого существует конструктивная рациональная ап-
проксимация с заданной погрешностью.
Возникают два вопроса. Первый — а существуют ли неконструк-
тивные действительные числа? Действительно, все приходящие на ум
иррациональные
√ числа (рациональные, очевидно, конструктивные):
π, e, 2, sin(1) являются конструктивными. Ответ — неконструк-
тивные действительные числа существуют и их значительно больше,
чем конструктивных! Любое случайное действительное число с веро-
ятностью единица будет неконструктивным. Почему? Очень просто
— количество конструктивных чисел не больше чем множество всех
возможных алгоритмов, но множество алгоритмов (согласно тези-
су Черча-Тьюринга) счетно, а множество действительных чисел —
несчетно.
Второй вопрос, который возникает, такой — если неконструктив-
ных чисел так много, то можно ли привести пример? Но если бы
можно было на бумаге написать такое число, то оно было бы кон-
структивным.
На основе конструктивных действительных чисел можно постро-
ит математический анализ и даже функциональный анализ, но рабо-
тать с такими числами сложно, поскольку конструктивные действи-
тельные числа являются «капризными». Например, задача о сравне-
нии двух конструктивных чисел является алгоритмически неразре-
шимой.
Зачем это нужно? Мы не будем впредь заморачиваться на счет
конструктивности тех или иных объектов и операций. Но это нужно
учитывать, при некоторых приложениях, а также просто понимать,
что математика, которой мы занимаемся, вообще говоря, неконструк-
17
тивна. Отметим лишь, что само понятие конструктивности опирает-
ся на понятие алгоритма, формализованного эвристическим тезисом
Черча-Тьюринга.
3. Мощность множеств
Давайте зафиксируем в течение всей книги обозначения для некото-
рых множеств, с которыми мы будем постоянно иметь дело.
Во-первых, это множество натуральных чисел
N = {0, 1, 2, . . . }.
Z = {. . . , −2, −1, 0, 1, 2, . . . }.
18
элементами множества M . При этом эти операции должны удовле-
творять свойствам дистрибутивности умножения относительно сло-
жения.
Множества Q, R и C являются полями с обычными операциями
сложения и умножения. Часто употребляются устойчивые выраже-
ния «поле комплексных числе», «над полем действительных чисел».
Теперь мы рассмотрим принципиальное понятие в теории мно-
жеств — понятие мощности множества. В быту, встречаясь с мно-
жествами — множество гостей, множество подчиненных, множество
комнат в квартире, множество конфет в вазе и т.д., нас прежде все-
го интересует количество элементов в данном множестве. Если для
одних множеств мы можем мыслить (помнить и различать) все эле-
менты как, например, множество комнат в своей квартире или мно-
жество своих детей, то для других множеств, наоборот, важно лишь
количество, например, количество баранов в стаде, множество па-
тронов в магазине и т.д. Для конечных множеств понятие мощности
совпадает с количеством элементов.
С конечными множествами более менее все понятно, обратимся к
бесконечным множествам, которые играют основную роль в анализе
(как математическом, так и функциональном).
Кстати, вообще говоря, не всегда можно ответить на вопрос о ко-
нечности множества. Например, рассмотрим множество B состоящее
из четных чисел, которые не могут быть представлены в виде суммы
двух простых чисел. Конечно ли это множество?4
Можно несколькими способами дать определение бесконечного
множества. Определение «множество, содержащее бесконечное мно-
жество элементов» не годится, потому что тогда нужно давать опре-
деление «бесконечности», что, как раз, определяется через бесконеч-
ные множества. Определение — бесконечное множество это множе-
ство не являющееся конечным, корректно, но не конструктивно и, не
раскрывает сути.
Мы сделаем следующим образом. По определению множество на-
туральных чисел N является бесконечным. Тогда множество A на-
зывается бесконечным, если существует такое подмножество B ⊂ A,
4
Согласно гипотезе Гольдбаха (проблеме Гольдбаха) множество B состоит
только из числа 2, но на сегодняшний день (июнь 2015 г.) эта гипотеза не до-
казана и не опровергнута, поэтому, может быть, есть и еще элементы у этого
множества, и их может быть бесконечное число.
19
что между элементами множества N и B существует взаимно одно-
значное соответствие. Можно дать еще одно эквивалентное опреде-
ление. Множество называется бесконечным, если у него существует
собственное подмножество (то есть не совпадающее с самим множе-
ством) для элементов которых можно установить взаимно однознач-
ное соответствие. Проверим, что множество N в этом определении
является бесконечным. Действительно, рассмотрим собственное под-
множество N1 = N \ {0}, тогда для любому элементу a ∈ N1 соот-
ветствует единственный элемент b = a − 1, который принадлежит
множеству N.
И так, мощность конечного множества есть количество элементов
этого множества. Множества, которые допускают взаимно однознач-
ное соответствие имеют одинаковую мощность. Мощность множества
N обозначается ℵ0 . Множества имеющие мощность ℵ0 называются
счетными. Используют различные обозначения для мощности мно-
жества: |A|, #A и др.
Мощность множества не является числом, однако для этих вели-
чин можно ввести порядок, то есть для любых двух мощностей a и b
верно одно из трех a < b, a = b, a > b. Не являясь числами, мощности
множеств являются трансфинитами или кардинальными числами.
Мощность ℵ0 является наименьшей мощностью бесконечных мно-
жеств. Хорошо известно, что |N| = |Z| = |Q|. Бесконечным множе-
ством, имеющим большую мощность, является множество R. Мощ-
ность этого множества называется мощностью континуума и обозна-
чается c. Хорошо известно, что ℵ0 < c. Возникает вопрос о существо-
вании множества, имеющего мощность a такую, что
ℵ0 < a < c.
4. Отображения множеств
Еще одно понятие, которое понимается интуитивно, относится к отоб-
ражением множеств. Пусть задано два множества X и Y . Мы будем
20
говорить, что A есть отображение из X в Y , если задано правило,
которое каждому элементу x ∈ X ставит в однозначное соответствие
элемент y ∈ Y . При этом пишут
A : X → Y.
21
шения. Будем говорит, что x1 находится в отношении ϕ с x2 и писать
x1 ϕx2 .
Kx = {x′ ∈ X : x1 ϕx′ }.
22
Глава II
Метрические пространства
23
Во-вторых, расстояние от первого объекта до второго равно рас-
стоянию от второго до первого. Для этого у нас есть второе условие
для метрики.
В-третьих, дойти из пункта A в пункт B не может быть дольше
чем дойти из A сначала в пункт C, а потом в пункт B. Это свойство
расстояние учитывается в третьем условии. Это условие называется
неравенство треугольника.
Заметим, что любое непустое множество всегда можно сделать
метрическим пространством. Действительно, для множества A опре-
делим метрику следующим образом
0, x = y
̺(x, y) =
1, x 6= y
̺(x, y) = |x − y|.
̺1 (x, z) = |x1 −z1 |+· · ·+|xn −zn | = |x1 −y1 +y1 −z1 |+· · ·+|xn −yn +yn −zn | ≤
24
|x1 − y1 | + |y1 − z1 | + · · · + |xn − yn | + |yn − zn | = ̺1 (x, y) + ̺1 (x, y).
Похожим образом рассмотрим метрику ̺0
|xi∗ − yi∗ | + |yi∗ − zi∗ | ≤ max |xi − yi | + max |yi − zi | = ̺0 (x, y) + ̺0 (y, z).
1≤i≤n 1≤i≤n
25
Таким образом, мы рассмотрели три различных метрики. Но пер-
вая метрика, называемая евклидовой метрикой имеет одно важное
преимущество. В случае n = 2, 3 значения этой метрики совпадают с
расстоянием, которое можно измерить линейкой2 . Если выбрать две
точки на листе бумаги, выразить их координатами в прямоугольной
системе и вычислить между ними метрику ̺2 , а потом приложить
линейку, то расстояние по прямой будет в точности равно этой мет-
рики. Никакая другая метрика не обладает этим свойством.
Рассмотренное пространство Rn является конечномерным, и, по
сути, изучается в курсах математического анализа и линейной ал-
гебры. Настоящее призвание функционального анализа — это бес-
конечномерные пространства. Самыми важными бесконечно мерны-
ми пространствами являются пространства последовательностей и
функций.
Начнем с пространства функций, непрерывных на отрезке [a, b].
Это множество мы будем обозначать через C[a, b]. Метрику в этом
пространстве мы введем следующим образом
2
Еще раз отметим, что пока мы рассматриваем наше пространство в «нор-
мальном» состоянии без учета общей теории относительности и возможных ис-
кажениях пространства.
26
Эта метрика называется равномерной метрикой. Можно ввести и
другие метрики. Например
Zb
̺1 (f, g) = |f (x) − g(x)|dx,
a
Zb Zb
|f (x) − g(x)| + |g(x) − h(x)|dx.
a a
27
Давайте, вычислим значения метрики на примерах. Рассмотрим
пространство C[0, 1] вычислим расстояние между функциями f (x) =
x и g(x) = x2
̺(x, x2 ) = max |x − x2 |.
0≤x≤1
28
Это пространство, обозначаемое l1 , является метрическим с метрикой
∞
X
̺(x, y) = |xk − yk |.
k=1
∞
!1/2
X
̺(x, y) = |xk − yk |2 .
k=1
N
!1/2 N
!1/2 N
!1/2
X X X
|xk − zk |2 ≤ |xk − yk |2 + |yk − zk |2 ,
k=1 k=1 k=1
∞
!1/2 ∞
!1/2 ∞
!1/2
X X X
|xk − zk |2 ≤ |xk − yk |2 + |yk − zk |2 .
k=1 k=1 k=1
29
через X. Для любого элемента x0 ∈ X открытым шаром (или просто
шаром) с радиусом R > 0 в центре в x0 назовем множество
BR (x0 ) = {x ∈ X : ̺(x0 , x) < R}.
Сразу же дадим определения замкнутого шара с этим же радиусом
и тем же центром
BR (x0 ) = {x ∈ X : ̺(x0 , x) ≤ R}.
Понятие шара дает возможность для определения открытого мно-
жества в метрическом пространстве, которое имеет принципиаль-
ное значение в функциональном анализе. Множество A ⊂ X назы-
вается открытым, если для любой точки x ∈ A существует такое
r = r(x) > 0, что шар с радиусом r в центре x полностью принадле-
жит множеству A
Br (x) ⊂ A.
Также по определению будем считать открытым множеством и пу-
стое множество ∅.
Вместо шара можно использовать понятие окрестности точки.
Окрестность точки x называется любое открытое множество, содер-
жащее эту точку.
Покажем, что это определение обобщает понятие открытого мно-
жества в Rn . В качестве метрического пространства будем рассмат-
ривать R. Тогда интервал (открытый) (0, 1) является открытым мно-
жеством в данном выше определении. Действительно, рассмотрим
любую точку x ∈ (0, 1), тогда шар с радиусом
x 1−x
r < min , 1
2 2
в центре точке x представляет собой интервал
Br (x) = (x − r, x + r).
По выбранному радиусу имеет место
(x − r, x + r) ⊂ (0, 1).
При этом множество [0, 1] в этом же метрическом пространстве уже
не будет отрытым. Для доказательства выберем в качестве x = 0, то-
гда любой шар будет представлять собой множество (−r, r), которое
30
при любом r > 0 будет содержать отрицательные числа, которые не
входят в множество [0, 1].
Докажем простые, но важные теоремы.
Теорема 6.1. Любое объединение открытых множеств является
открытым множеством.
Доказательство. Пусть [
Q= Qs
s∈S
Brk (x) ⊂ Qk .
Br (x) ⊂ Q.
Ak = (−1/k, 1/k), k = 1, 2, . . . .
31
Пересечение этих множеств состоит из одной точки
∞
[
(−1/k, 1/k) = {0},
k=1
F (U ) ⊂ V.
Br (x) ∩ A 6= ∅
и
Br (x) ∩ A 6= ∅.
То есть любой шар содержит точки, принадлежащие множеству A,
так и не принадлежащие этому множеству. Множество все гранич-
ных точек называется границей множества и обозначается следую-
щим образом ∂A.
Например, для множества (0, 1) в метрическом пространстве R
граничными точками являются точки {0}, {1}.
Вместе с отрытыми множествами в метрическом пространстве
рассматриваются замкнутые множества. Множество называется за-
мкнутым, если оно содержит все свои граничные точки.
Очевидно, что открытое множество не может содержать ни од-
ной граничной точки. Поэтому дополнение к открытому множеству
является замкнутым множеством, а дополнение к замкнутому — от-
крытом.
32
Множество A может не быть ни открытым, ни замкнутым. На-
пример, полуинтервал [0, 1). При этом в любом метрическом про-
странстве есть два множества, которые одновременно и открыты и
замкнуты. Это пустое множество ∅ и все пространство X.
Для любого множества можно определить операцию замыкания.
Для множества A замыканием назовем следующее множество
[A] = A ∩ ∂A.
33
всего дадим определение предела последовательности в метрическом
пространстве. Это определение полностью совпадет с определением
предела числовой последовательности, если модуль разности заме-
нить на метрику5 .
Последовательность xn называется сходящейся к точке x при n →
∞, если для любого ε > 0 существует такой номер N = N (ε), что для
всех n > N выполнено неравенство
̺(xn , x) < ε.
Мы будем писать lim xn = x или xn → x, при n → ∞.
n→∞
Можно дать и несколько другое определение, основанное опять-
таки на понятии открытого множества (точнее, окрестности). По-
следовательность xn сходится к точке x если для любой окрестности
точки x, начиная с некоторого номера (зависящего от этой окрестно-
сти) все члены последовательности принадлежат этой окрестности.
Главное, что выбор метрики определяет сходимость элементов, а
различная метрика приводит различным видам сходимости. Рассмот-
рим примеры в функциональном пространстве C[a, b]. Сначала будем
рассматривать «официальную» равномерную метрику в этом про-
странстве. Пусть мы имеем последовательность непрерывных на [a, b]
функций, тогда определение предела по этой метрике соответствует
равномерной сходимости непрерывных функций. Из теоремы Вейер-
штрасса известно, что равномерный предел непрерывных функций
есть непрерывная функция.
Простой пример. Рассмотрим последовательность в C[0, 2π] функ-
ций
1
fn (x) = sin(nx).
n
Эта последовательность сходится к нулевой функции. Это следует из
равномерной (по x) оценки
1 1
|fn (x)| = sin(nx) ≤ , x ∈ [0, 2π], n = 1, 2, . . . .
n n
Рассмотрим теперь последовательность непрерывных функций
fn (x) = xn , n = 1, 2, . . .
5
Удивительного тут нет — в формулировке предела числовой последователь-
ности модуль разности и есть метрика в пространстве R.
34
в пространстве C[0, 1]. Эта последовательность не сходится в рав-
номерной метрике. Действительно, если бы эта последовательность
сходилась равномерно к некоторой непрерывной функции, то и пото-
чечно эта последовательность сходилась бы к этой функции. Однако
поточечно эта последовательность сходится к разрывной функции.
Действительно, при фиксированном x ∈ [0, 1) мы имеем
fn (x) = xn → 0, n → ∞,
в тоже время при x = 1
fn (1) = 1, n = 1, 2, . . . .
С другой стороны эта же последовательность сходится к нулевой
функции в метрике ̺1 . В самом деле
Z1
1
̺1 (fn , 0) = xn dx = .
n+1
0
35
увидим, свойство сепарабельность играет важную роль в функцио-
нальных пространствах.
С понятием сходящейся последовательности тесно связано поня-
тие фундаментальности последовательности. Последовательность xn
метрического пространства X называется фундаментальной, если
для любого ε > 0 существует такой номер N = N (ε), что для всех
n, m > N выполнено неравенство
̺(xn , xm ) < ε.
36
Рассмотрим примеры полных и не полных метрических пространств.
Пространство действительных чисел R является полным по постро-
ению в математическом анализе. В тоже время пространство Q не
является полным, поскольку существуют последовательности раци-
ональных чисел, сходящиеся к иррациональным числам. Соответ-
ственно, эти последовательности должны быть фундаментальными.
Пространство C[a, b] является полным. Действительно, рассмот-
рим фундаментальную последовательность в C[a, b], которую мы обо-
значим через fx (x). Тогда для любого ε > 0 существует такой номер
N , что
|fn (x) − fm (x)| < ε (II.3)
при всех n, m > N и x ∈ [a, b]. Поэтому эта последовательность схо-
дится равномерно и согласно известным теоремам из математическо-
го анализа сходится к непрерывной функцией, которую обозначим
f (x). Переходя к пределу в (II.3) при m → ∞, получаем
|fn (x) − f (x)| ≤ ε
для всех x ∈ [a, b] и n > N . Следовательно эта последовательность
сходится к f (x) в пространстве C[a, b].
Однако пространство непрерывных функций с интегральной мет-
рикой ̺1 не является полным. Рассмотрим последовательность непре-
рывных функций в пространстве C[−1, 1], аппроксимирующую «сту-
пеньку»
−1 −1 ≤ x ≤ −1/n,
fn (x) = nx −1/n ≤ x ≤ 1/n,
1 1/n ≤ x ≤ 1
37
Для этих функций имеем неравенство
Z1 Z1 Z1
|f (x) − η(x)|dx ≤ |f (x) − fn (x)|dx ≤ |fn (x) − η(x)|dx.
−1 −1 −1
Z1
|fn (x) − η(x)|dx → 0, n → ∞.
−1
R1
Это означает, что для любой непрерывной функции f интеграл |f (x)−
−1
fn (x)|dx не может стремиться к нулю, следовательно последователь-
ность fn не сходится ни к какой функции в C[−1, 1].
Существует критерий полноты метрического пространства — тео-
рема о вложенных шарах.
Bn ⊂ Bm , n > m.
̺(xn , xm ) < rn ,
38
Поскольку шар Bn содержит все точки последовательности, кроме,
быть может, первых n − 1, то
∞
\
x∈ Bn .
n=1
39
Лемма 8.1. Пусть X ⊂ X̃, X всюду плотно в X̃ и, каждая фунда-
ментальная последовательность в X имеет предел в X̃, тогда X̃
есть пополнение пространства X.
Доказательство. В условиях леммы нам необходимо доказать толь-
ко полноту пространства X̃. Пусть x̃n — фундаментальная в X̃ после-
довательность. В силу плотности пространства X в X̃, то для любого
ε > 0 существует такая последовательность элементов xn ∈ X, что
ε
̺(xn , x̃n ) < .
2n
Покажем, что эта последовательность фундаментальна, действитель-
но,
40
Это означает, что числовая последовательность {̺(xn , yn )} фунда-
ментальная, а следовательно по критерию Коши имеет предел.
Введенное расстояние между фундаментальным последователь-
ностями обладает следующими свойствами. Во-первых, если обе по-
следовательности xn и yn являются сходящимися xn → x, yn → y при
n → ∞, то имеет место
X ⊂ X̃.
̺(xn , xm ) < ε.
lim ̺(xn , xm ) ≤ ε.
n→∞
41
По нашему определению метрики в X̃ имеем
d(x̃, x̃n ) ≤ ε,
42
Предположим, что ни одно из множеств Mn не содержит непустых
открытых подмножеств. В этом случае множество X \ M1 является
открытым и X \ M1 = X, следовательно, множество X \M1 содержит
замкнутый шар Br1 (x1 ), где центр x1 может быть как угодно близким
к любой точке X. Без ограничения общности можно считать, что r1 <
1/2. Аналогично, рассуждая можно построить последовательность
шаров Brn (xn ) такую, что
и
Brn (xn ) ∩ Mn = ∅.
Последовательность центров шаров xn является фундаментальной,
поскольку для n < m имеет место xm ∈ Brn (xn ) и
что противоречит x0 ∈ X.
Теорема Бэра-Хаусдорфа играет важную роль при исследовании
различных топологических свойств отображений.
43
Рассмотрим полное метрическое пространство X и отображение
A : X → X.
Решения уравнения
Ax = x
называются неподвижными точками отображения A.
Существует класс отображений, которые всегда имеют неподвиж-
ную точку, причем единственную. Отображение A называется сжи-
мающим или сжатием6 , если существует такое α < 1, что для всех
x, y ∈ X выполнено неравенство
Если xn → x, то имеем
где xn = An x0 .
6
Тогда говорят о принципе сжатых отображений.
44
Доказательство. Покажем, что последовательность xn = An x0 яв-
ляется фундаментальной. Без ограничения общности, будем считать
m ≤ n тогда имеем
̺(xn , xm ) → 0, n → ∞.
x∗ = lim xn .
n→∞
f (x) = x
45
имеет единственное решение. Например, f (x) = cos x является сжи-
мающим на отрезке [0, 1]. Следовательно, существует решение x∗ ∈
[0, 1] уравнения
x∗ = cos x∗ .
Это решение приблизительно равно
x∗ = 0.73908513321516064165531208767387 . . .
7
Убедитесь, что в Вашем калькуляторе установлен режим «радианы».
8
Однако в этих условиях нельзя гарантировать единственность решения.
46
В силу ограниченности области Q имеем оценку
|z(x) − y0 | ≤ M d.
x∗
Zx∗
Z
(f (s, z1 (s)) − f (s, z2 (s))ds ≤ |f (s, z1 (s)) − f (s, z2 (s)|ds ≤
x0 x0
47
Следовательно, согласно принципу сжимающих отображений за-
дача Коши для обыкновенного дифференциального уравнения с пра-
вой частью, удовлетворяющей условию Липшица, имеет единствен-
ное локальное решение. Разумеется, без проблем распространить этот
результат и на системы дифференциальных уравнений. Данный спо-
соб доказательства существования решений дифференциальных урав-
нений называется методом Пикара и может восприниматься, как кон-
структивный метод для построения приближенных решений.
Отметим, что отображение может иметь неподвижную точку и
без условий теоремы, более того, итеративная процедура
x n = An x 0
48
Множество I N мы сделаем метрическим пространством, введя
метрику следующим образом
N
X
̺(x, y) = |xi − yi |,
i=1
d ≥ 2n + 1,
49
а в случае, если d есть минимальное значение метрики для различных
элементов в множестве AN , то это условие и необходимо. Из этого
следует, то при кодировании слов нужно выбирать коды, как можно
дальше отстоящие друг от друга.
Завершая наш разговор про метрические пространства и код Хемм-
минга, заметим, что расстояние Хемминга может понять частую фра-
зу о том, что «русский язык богаче английского». Дело в том, что
средняя длина слова в русском языке больше средней длины англий-
ского слова. Поэтому в среднем расстояние Хемминга у различных
русских слов больше чем у английских. Однако средняя длина слова
в немецком языке больше чем русского. Вероятно, что чем дальше
стоят слова друг от друга тем больше смысловых нюансов.
50
Глава III
Нормированные и банаховы
пространства
1. x + y ∈ L,
2. λx ∈ L,
3. x + y = y + x,
4. x + (y + x) = (x + y) + z,
51
7. λ(µx) = (λµ)x,
8. 1 · x = x,
9. (λ + µ)x = λx + µx,
ν : L → M,
обладающее свойствами
и
ν(λx) = λν(x).
52
Линейные пространства называются изоморфными, если для них су-
ществует изоморфизм. Изоморфные линейные пространства в опре-
деленном смысле неотличимы с точки зрения природы линейного
пространства.
В качестве нетривиального примера рассмотрим линейное про-
странство многочленов с вещественными коэффициентами порядка
не большего n, которое обозначим через Pn . Очевидно, что сумма та-
ких многочленов и произведение на вещественное число всегда есть
многочлен порядка не большего n. Покажем, что это пространство
изоморфно пространству Rn+1 . Для этого введем отображение по сле-
дующему правилу
ν(a0 + a1 x + · · · + an xn ) = (a0 , a1 , . . . , an ).
αx + βy + · · · + γz = 0 (III.1)
α = β = · · · = γ = 0.
53
С другой стороны три вектора x1 = (1, 0), x2 = (0, 1) и x3 = (2, 3)
уже будут линейно зависимыми. Действительно,
2x1 + 3x2 − x3 = 0.
Если в линейном пространстве L существует n линейно незави-
симых элементов, но не существует n + 1 линейно независимых эле-
ментов, то будем говорит, что пространство L конечномерное с раз-
мерностью dim L = n. Если в линейном пространстве для любого n
существует n линейно независимых элементов, то такое пространство
называется бесконечномерным dim L = ∞.
Пространства Rn являются конечно мерными пространствами с
размерностью n. Чуть позже мы докажем, что все конечномерные
пространства размерности n над полем вещественных чисел изоморф-
ны Rn , а над полем комплексных чисел — пространству Cn .
В качестве бесконечномерного пространств можно привести при-
мер пространства C[a, b]. Бесконечной системой линейно независи-
мых элементов является множество
1, x, x2 , . . . , xn , . . . .
Действительно, выражение
a0 + a1 x + a2 x2 + · · · + an xn = 0
возможно только при a0 = a1 = · · · = an = 0, поскольку два полинома
тождественно равны только тогда, когда у них равны коэффициенты,
а с права стоит нулевой полином.
В мире метрических пространств мы рассматривали подмноже-
ства довольно произвольно, поскольку любое подмножество метриче-
ского пространства есть метрическое пространство. В мире линейных
пространств уже не любое подмножество есть линейное простран-
ство. Поэтому нужно рассматривать линейное подпространство. Непу-
стое подмножество L′ в линейном пространстве L называется линей-
ным подпространством, если для любых x, y ∈ L′ имеет место
αx + βy ∈ L′ ,
для всех чисел α и β. Любое подпространство можно рассматривать,
как новое линейное пространство.
Для любого набора (конечного или бесконечного) элементов {xα } ∈
L минимальное подпространство L′ , содержащее все {xα } называется
линейной оболочкой этого множества.
54
12. Нормированные и банаховы пространства
В линейном пространстве можно ввести метрику и рассматривать
линейные метрические пространства, но в линейном пространстве
можно ввести понятие нормы. Если метрика обобщала расстояние,
то норма обобщает понятие длины вектора.
Пусть N есть линейное пространство. Нормой в этом простран-
стве называется числовая (вещественная1 ) функция обозначаемая
kxk для x ∈ N , которая удовлетворяет следующим условиям нор-
мы
kxk = kx − y + yk ≤ kx − yk − kyk.
Отсюда получаем
kx − yk ≥ kxk − kyk,
1
Даже если пространство L над полем комплексных чисел.
55
но меняя местами x и y получаем
kx − yk ≥ kyk − kxk.
Совокупность этих неравенств дают (III.2).
Полное нормированное пространство называется банаховым2 про-
странством. Банаховы пространства играют важнейшую роль в функ-
циональном анализе.
Как всегда, рассмотрим некоторые примеры банаховых пространств.
Пространство Rn является банаховым пространством с нормой
q
kxkRn = x21 + x22 + · · · + x2n .
56
то при каждом фиксированном k числовая последовательность {xnk }∞
n=1
является фундаментальной в C, поэтому существует предел
x∞ n
k = lim xk .
n→∞
kx∞ − xn kl1 ≤ ε,
57
в одном нормированном пространстве эквивалентны, если существу-
ют константы c1 , c2 > 0 такие, что
c1 kxk′ ≤ kxk ≤ c2 kxk′ .
Пусть в банаховом пространстве N по норме kxk имеем сходящу-
юся последовательность xn . Сходящаяся последовательность всегда
фундаментальна
lim kxn − xm k = 0.
n,m→∞
58
Теорема 13.1. Пусть x(t) есть непрерывная функция на [0, T ] со
значениями в банаховом пространстве X, тогда числовая функция
f (t) = kx(t)kX будет непрерывной на [0, T ].
при n → ∞.
Мы можем ввести новое банахово пространство, состоящее из функ-
ций, непрерывных на отрезке [0, T ] со значениями в банаховом про-
странстве X, которое обозначим через C([0, T ]; X). Норма в этом про-
странстве выглядит следующим образом
dx(t0 )
x′ (t0 ) = = y.
dt
Для случая, когда t0 = 0 или t0 = T следует рассматривать односто-
ронние производные.
Функция, дифференцируемая во всех точках, называется непре-
рывно дифференцируемой на [0, T ], если ее производная, как функ-
ция t со значениями в X, является непрерывной.
Аналогично вводится понятие и k раз непрерывно дифференци-
руемой функции со значениями в банаховом пространстве. Соот-
ветственно, будем рассматривать банахово пространство функций,
59
непрерывно дифференцируемых k раз со значениями в банаховом
пространстве X, которое обозначаем C k ([0, T ]; X) с нормой
Zb
x(t)dt = S.
a
60
Для двух банаховых пространств (возможно, совпадающих) X и
Y линейным оператором, действующим из X в Y называется отоб-
ражение
A : X → Y,
удовлетворяющее следующему условию
для всех x1 , x2 ∈ X и λ, µ ∈ C.
Рассмотрим простейшие примеры линейных операторов. Для слу-
чая, когда X = Y через I будем обозначать единичный оператор,
который действует по формуле
Ix = x, x ∈ X.
kAxn − Ax0 kY → 0, n → ∞.
61
Лемма 14.1. Линейный оператор A непрерывный в нуле является
непрерывным.
Доказательство. Возьмем любое x0 ∈ X и любую последователь-
ность xn → x0 , тогда zn = x0 − xn → 0, при n → ∞. В силу непре-
рывности оператора A в нуле имеем
kAxn kY ≥ n.
kAxkY
kAk = sup = sup kAxkY .
x∈X,x6=0 kxkX kxkX ≤1
63
Глава IV
Интеграл Лебега и
пространства Lp
64
обозначим через L1 (Q). Из чего состоит это пространство? По постро-
ению пополнения это пространство состоит из классов эквивалентно-
сти фундаментальных последовательностей непрерывных функций.
Для понимания эквивалентности двух фундаментальных последова-
тельностей необходимо дать понятие множества меры нуль1 . Множе-
ство N ⊂ Rn называется множеством меры нуль, если существует
такая счетная система отрытых кубов Kk с гранями ak > 0, что объ-
единение этих кубов покрывает множество N
∞
[
N⊂ Kk ,
k=1
65
существует такая последовательность непрерывных функций fk (x),
которая сходится почти всюду в Q к функции f (x). Очевидно, что
сумма, произведение и суперпозиция измеримых функций являются
измеримыми. Также вместе с f (x) измеримой будет и функция |f (x)|.
Перейдем к определению функций, интегрируемых по Лебегу, и
соответственно интеграла Лебега. Поскольку любую числовую функ-
цию2 можно представить в виде суммы положительной и отрица-
тельной функций, то сначала будем рассматривать неотрицательные
функции.
Неотрицательная почти всюду в Q функция f (x) называется ин-
тегрируемой по Лебегу в Q, если существует последовательность непре-
рывных в Q функций fk (x) почти всюду в Q сходящаяся к f (x) такая,
что
fk+1 (x) ≥ fk (x) (IV.1)
для почти всех x ∈ Q и выполнено условие
Z
fk (x)dx ≤ C.
Q
66
непрерывных в Q почти всюду в Q сходящихся к f (x) и удовлетво-
ряющим условию (IV.1). Для произвольного m рассмотрим после-
′
довательность fk (x) − fm (x), k = 1, 2 . . . . При k → ∞ эта последо-
′
вательность почти всюду в Q сходится к f (x) − fm (x) ≥ 0 и также
удовлетворяющая условию (IV.1), поэтому имеем
Z Z Z
′ ′
lim (fk (x) − fm (x))dx = lim fk (x)dx − fm (x)dx ≥ 0.
k→∞ k→∞
Q Q Q
Следовательно,
Z Z
′
lim fm (x)dx ≤ lim fk (x)dx.
m→∞ k→∞
Q Q
67
Наконец, определим понятие меры Лебега для множеств в Q. Для
любого подмножества L ⊂ Q определим характеристическую функ-
цию χL (x)
1, x ∈ L
χL (x) =
0, x ∈
/L
Будем говорить, что множество L измеримо по Лебегу, если функция
χL (x) является интегрируемой по Лебегу, а мерой Лебега измеримого
по Лебегу множества называется следующая величина
Z
µ(L) = χL (x)dx.
Q
68
и \
An ∈ A,
n
µ(A) ≤ µ(B).
3
То есть функция, которая может принимать значение +∞.
69
тогда для любой меры µ на A имеет место
µ(Ak ) = µ(A), k → ∞.
Доказательство. Определим последовательность множеств
B1 = A1 , Bk = Ak \ Ak−1 .
Тогда мы имеем, что Bi ∩ Bj = ∅, при i 6= j, но
k
[
Ak = Bi
i=1
и ∞
[
A= Bi .
i=1
По σ-аддитивности меры мы имеем
k
[ ∞
[
µ(Ak ) = µ(Bi ) → µ(Bi ) = µ(A).
i=1 i=1
70
Функция g(x), заданная на X называется простой, если множество
значений функции g(x) является конечным c1 , c2 , . . . , cN . Определим
множества
En = {x ∈ X : g(x) = cn },
тогда имеет место следующее представление для функции g(x)
N
X
g(x) = cn χEn (x).
n=1
gN (x) → f (x).
FN = {x ∈ X : f (x) ≥ N }
для N = 1, 2, . . . и j = 1, 2, . . . , N 2N .
Теперь можно построить и аппроксимирующую последователь-
ность
N 2N
X j−1
SN (x) = N
χ EN j + N χ F N .
j=1
2
71
Для простой измеримой функции g(x) введем интеграл Лебега по
измеримому множеству E ∈ A по следующей формуле
Z N
X
g(x)dµ = cn µ(E ∩ En ).
E n=1
E E E
72
4. Для интегрируемой4 на E функции и любого числа c ∈ R функ-
ция cf (x) также интегрируема и
Z Z
cf dµ = c f dµ.
E E
73
и свойствами меры µ. Следовательно и для простой функции верно
(IV.2). Для произвольной измеримой простой функции g такой, что
0 ≤ g ≤ f имеет место
Z ∞ Z
X ∞
X
gdµ = gdµ ≤ ϕ(Ak ).
A k=1 A k=1
k
Далее, имеем
Z Z Z
ϕ(A1 ∪ A2 ) ≥ gdµ = gdµ + gdµ ≥ ϕ(A1 ) + ϕ(a2 ) − 2ε,
A1 ∪A2 A1 A2
следовательно
ϕ(A1 ∪ A2 ) ≥ ϕ(A1 ) + ϕ(A2 ).
Аналогично получаем, что при каждом n имеем
74
Теперь докажем теорему об модуле интеграла Лебега.
Теорема 16.4. Для любой интегрируемой на E функции f также
интегрируемой на E будет функция |f | и имеет место оценка
Z Z
f dµ ≤ |f |dµ.
(IV.5)
E E
0 ≤ f1 (x) ≤ f2 (x) ≤ . . . , x ∈ E.
тогда Z Z
fk dµ → f dµ, k → ∞. (IV.6)
E E
5
Имеется в виду расширенную функцию, которая может принимать и беско-
нечные значения.
75
Доказательство. По условиям теоремы существует такая величина
α, возможно бесконечная, что
Z
fn dµ → α, (IV.7)
E
Ek = {x : fk (x) ≥ cg(x)}, n = 1, 2, . . . .
76
но по определению интеграла Лебега получаем, что
Z
α ≥ f dµ.
E
77
Аналогично, функции −f , f1 , −f2 неотрицательны на E − и
Z Z Z
(−f2 )dµ = f1 dµ + (−f )dµ
E− E− E−
тогда Z Z
f dµ ≤ lim inf fk (x)dµ. (IV.9)
k→∞
E E
и
gk (x) ≤ fk (x), (IV.11)
78
при этом имеет место
fn (x) → f (x), n → ∞.
то имеет место Z Z
lim fn dµ = f dµ. (IV.14)
n→∞
E E
Поскольку (fn + g) ≥ 0, то
Z Z
f dµ ≤ lim inf fn dµ. (IV.15)
n→∞
E E
79
С другой стороны, так как (g − fn ) ≥ 0, то
Z Z
(g − fn )dµ ≤ lim inf (g − fn )dµ.
n→∞
E E
Отсюда имеем
Z Z
− f dµ ≤ lim inf − fn dµ ,
n→∞
E E
что эквивалентно Z Z
f dµ ≥ lim inf fn dµ.
n→∞
E E
ν(E) = |E ∩ N+ |,
80
∞
P
где an = a(n). Если |an | < ∞, то эта функция будет интегрируема
k=1
на всем R Z ∞
X
adµ = an .
R k=1
81
В этом случае пространства Lp (Q) являются еще и нормирован-
ными с нормой
1/p
Z
kf kLp (Q) = |f (x)|p dx .
Q
82
Перейдем к неравенству треугольника для нормы в Lp (Q). Для
любых f, g ∈ Lp имеем
Z
kf + gkpp ≤ (|f (x)| + |g(x)|)|f (x) + g(x)|p−1 dx. (IV.18)
Q
и Z
h(x)|g(x)|dx ≤ khkq kgkp .
Q
khkq = kf + gkp/q
p = kf + gkpp−1 ,
следовательно
Z
|f (x)||f (x) + g(x)|dx ≤ kf kp kf + gkpp−1
Q
и Z
|g(x)||f (x) + g(x)|dx ≤ kgkp kf + gkpp−1 .
Q
Из (IV.18) получаем
kf + gkp ≤ kf kp + kgkp .
83
Теорема 17.2. Пространства Lp (Q) полные.
Доказательство. Рассмотрим произвольную фундаментальную в Lp (Q)
последовательность {fn }. Из этой последовательности выберем под-
последовательность {fnk } такую, что
∞
X
kfnk+1| − fnk k < ∞.
n=1
84
В функциональном анализе важнейшее значения имеют простран-
ства L1 (Q) и L2 (Q). Первое пространство описывает класс интегриру-
емых по Лебегу функций, а второе пространство играет выдающуюся
роль, поскольку является гильбертовым пространством.
85
Глава V
Гильбертовы пространства
(x, y) = x1 y1 + x2 y2 + · · · + xn yn ,
86
Но для любых двух x, y ∈ R∞ ряд (V.1) может не сходиться. Выходом
является использовать такое пространство последовательностей, для
элементов которого можно гарантировать сходимость ряда (V.1). И
такое пространство, действительно существует и является основным
представителем гильбертовых пространств.
Чтобы дать определение гильбертова пространства, необходимо
дать определения для абстрактного скалярного произведения1 . Рас-
смотрим линейное пространство H. Скалярным произведением в H
является комплекснозначная2 функция, определенная на паре эле-
ментов x, y ∈ H, и обозначаемая (x, y), которая удовлетворяет сле-
дующим аксиомам скалярного произведения
1. (x, x) ≥ 0, причем (x, x) = 0 только тогда, когда x = 0.
87
Прежде чем доказывать выполнение для нормы неравенства тре-
угольника, докажем важнейшее неравенство Коши-Буняковского3 Рас-
смотрим любые x, y ∈ H и λ ∈ C, предполагая, что y 6= 0 имеем
Положим λ = − (x,y)
y,y
, получаем
|(x, y)|2
(x, x) − ≥ 0.
y, y
Отсюда получаем неравенство Коши-Буняковского
kx + yk ≤ kxk + kyk.
88
Доказательство. Пусть xn → x, yn → y при n → ∞ в пространстве
H. Имеем
|(xn , yn )H − (x, y)H | = |(xn , yn )H − (xn , y)H + (xn , y)H − (x, y)H | ≤
(x, y)Cn = x1 y 1 + x2 y 2 + · · · + xn y n .
89
Все аксиомы скалярного произведения проверяются непосредствен-
но. Например,
∞
X ∞
X
(x + z, y)l2 = (xk + zk )y k = (xk y k + zk y k ) =
k=1 k=1
∞
X ∞
X
xk y k + zk y k = (x, y)l2 + (z, y)l2 .
k=1 k=1
∞
!1/2
X
|xkn+p − xnk | ≤ |xln+p − xnl |2 = kxn+p − xn kl2 ,
l=1
x∞ n
k = lim xk .
n→∞
N
!1/2
X
|x∞ n 2
k − xk | ≤ ε.
k=1
90
Далее перейдем к пределу при N → ∞
∞
!1/2
X
|x∞ n 2
k − xk | ≤ ε.
k=1
kx∞ − xn kl2 ≤ ε,
91
рассмотрим пространство числовых последовательностей l2s состоя-
щее из всех последовательностей, для которых выполнено условие
∞
X
e2sk |xk |2 < ∞.
k=1
Ts : l2 → l2s ,
действующий по формуле
T−s [Ts x] = x
92
Полнота пространства l2s следует из полноты l2 . Действительно,
для любой фундаментальной последовательности xn ∈ l2s последова-
тельность y n = T−s xn будет фундаментальной в l2 , имеющей предел
y ∈ l2 . В силу непрерывности оператора Ts имеем
Ts y n → Ts y, n → ∞,
Ts y n = Ts [T−s xn ] = xn → Ts y.
0 < a0 ≤ a(x).
и
Ta−1 [f (x)] = a−1 (x)f (x).
93
Легко видеть, что эти операторы линейные и непрерывные. При этом
и
Ta−1 [Ta f ] = f, f ∈ L2 (R).
Для фундаментальной последовательности fn в La2 (R) последователь-
ность Ta−1 fn будет фундаментальной и сходящейся в L2 (R) к g. Со-
ответственно, fn → Ta g.
(x, y)H = 0.
94
и
y1
e1 = .
ky1 kH
Очевидно, что ke1 kH = 1. Далее, следующий элемент y2 ищем в виде
y2 = x2 − λ21 e1 ,
(yk , el ) = 0, l = 1, 2, . . . , k − 1.
95
Рассмотрим пример ортонормированной системы в гильбертовом
пространстве L2 (0, π). Ортонормированной системой в этом простран-
стве будет, например, система функций
r
2
ek = sin kx, k = 1, 2, . . . .
π
Если k 6= m, то
Zπ
2
(ek , em )L2 (0,π) = sin kx sin mxdx = 0.
π
0
Однако
Zπ Zπ
2 2 1 − cos 2kx
(ek , ek )L2 (0,π) = sin2 kxdx = dx = 1.
π π 2
0 0
(x, y)
cos ϕ = .
kxkkyk
Действительно,
(x, x)H +(x, y)H +(y, x)H +(y, y)H +(x, x)H −(x, y)H −(y, x)H +(y, y)H =
2(kxk2 + kyk2H ).
96
С помощью этого равенства можно решить важный вопрос о рас-
стоянии точки до замкнутого выпуклого множества. В гильберто-
вом пространстве H фиксировано выпуклое замкнутое множество
M ⊂ H, тогда для любого элемента x ∈ H расстояние между x и M
определяется по формуле
̺(x, M ) = inf kx − ukH .
u∈M
97
Согласно неравенству (V.3) мы имеем
2 2
1 1
kx − un k2H < d + ; kx − um k2H < d + .
n m
Таким образом, получаем
2
u n − u m
um k2H un k2H um k2H
kun − = 2kx − + 2kx − − 4
x −
<
2
H
2 2
1 1 4d 4d 2 2
2 d+ +2 d+ − 4d2 = + + 2 + 2.
n m n m n m
Следовательно, при достаточно больших n и m величина kun − um kH
меньше любого ε > 0, что означает фундаментальность последова-
тельности un . Эта последовательность в силу полноты H и замкну-
тости M сходиться к y ∈ M .
Переходя в неравенстве (V.3) к пределу при n → ∞, получаем,
что kx − ykH = d. Покажем единственность этого элемента. Предпо-
ложим, что для некоторого z ∈ M выполнено равенство kx − zk = d.
Согласно равенству параллелограмма имеем
2
2 2 2 2
y + z
4d = 2kx − ykH + 2kx − zkH = ky − zkH + 4
x −
≥
2
H
ky − zk2H + 4d2 .
Из этого следует, что ky − zkH = 0 или y = z.
Смысл этой теоремы состоит в том, что для любого элемента x ∈
H существует единственное наилучшее приближение элементами из
M.
Аналогично можно ввести понятие расстояния от заданной точки
до подпространства. Пусть L ⊂ H есть подпространство в гильберто-
вом пространстве H. Для любого x ∈ H такого, что x ∈
/ L определим
расстояние по формуле
98
Введем еще пару важных понятий для гильбертова пространства.
Пусть L есть подпространство в гильбертовом пространстве H эле-
мент y ∈ L называется проекцией элемента x ∈ H, если
x = y + z,
y − y′ = z − z′,
соответственно
ky − y ′ kH = (z ′ − z, y − y ′ )H = 0,
M = H ⊖ L.
99
Декарта и Фурье? В известном смысле это обобщение получается в
сепарабельном гильбертовом пространстве.
Будем рассматривать гильбертово пространство H, которое бу-
дем предполагать бесконечномерным, поэтому в этом пространстве
существует бесконечное множество линейно независимых элементов
x1 , x2 , . . . . Согласно процедуре ортогонализации Шмидта существует
ортонормированная система элементов, которую мы будем обозна-
чать {ek }∞ k=1 и для нее будет верно
(ek , em )H = 0, k 6= m; kek kH = 1.
По аналогии с тригонометрическим рядом мы будем формаль-
ный6 ряд вида
∞
X
ak ek , ak ∈ C
k=1
называть рядом по ортогональной системе ek . Для любого x ∈ H
набор чисел
ck = (x, ek )H , k = 1, 2, . . .
называется коэффициентами Фурье элемента x по системе ek .
Линейной оболочкой для конечной системы элементов y1 , . . . , yN ∈
H называется N -мерное подпространство LN , состоящее из всех ком-
бинаций
XN
y= ak yk .
k=1
Рассмотрим вопрос о возможности наилучшего приближения любого
элемента x ∈ H подпространствами LN . Как мы помним этот вопрос
связан с вычислением расстояния от x до LN . Ответ содержится в
следующей теореме.
Теорема 21.1. Для любого x ∈ H имеет место
N
X
̺(x, LN ) = dN =
x − ck ek
, (V.4)
k=1 H
N
X
d2N = kxk2H − |ck |2 , (V.5)
k=1
6
То есть без вопроса о его сходимости.
100
где ck = (x, ek )H суть коэффициенты Фурье элемента x по системе
ek .
Доказательство. Для любого элемента L, представляемого в виде
N
P
ak ek , рассмотрим
k=1
N
2 N N
!
X
X X
x − ak ek
= x− ak ek , x − ak ek =
k=1 H k=1 k=1 H
N
X N
X N
X
(x, x)H − ak (ek , x)H − ak (x, ek )H + ak ak .
k=1 k=1 k=1
следовательно
N
2 N N
X
X X
2 2
x − ak ek
= kxkH − |ck | + |ak − ck |2 .
k=1 H k=1 k=1
Вычислим ̺(x, LN )
N
N
!1/2
X
X
dN = ̺(x, LN ) = inf
x − ak ek
= kxk2H − |ck |2 ,
a1 ,...,aN
k=1 H k=1
при этом ak = ck .
Из этой теоремы следует, что наилучшее приближение элемента
x ∈ H элементом из LN есть
N
X
ck ek , ck = (x, ek )H .
k=1
101
Поскольку ̺(x, LN ) ≥ 0, то для любого N имеет место оценка
N
X
|ck |2 ≤ kxk2H .
k=1
102
Доказательство. Пусть система ek есть базис, тогда
∞
X
0< kx0 k2H = |(x0 , ek )H |2
k=1
kx0 − y0 kH > 0.
(z, y)H = 0, y ∈ L.
kz + λykH ≥ kzkH .
или
λ(y, z)H + λ(z, y)H + |λ|2 kyk2H ≥ 0.
Полагая
(z, y)H
λ=− ,
kyk2H
получаем
|(z, y)H |2
− ≥ 0,
kyk2H
что возможно только, если (z, y) = 0. Это означает, что элемент z 6= 0
ортогонален всем ek и это противоречие говорит о том, что L = H.
103
Наконец, покажем, что любой элемент x ∈ H может быть раз-
ложен по системе ek в ряд Фурье. Поскольку L плотна в H, то для
любого ε > 0 существует такой xε ∈ L, что kx − xε kH < ε, при этом
xε есть конечная линейная комбинация ek . По теореме 21.1 мы имеем
оценку
N
X
x − ck ek
≤ kx − xε kH < ε,
k=1 H
для N > Nε , где ck суть коэффициенты Фурье. Следовательно,
∞
X
ck ek = x.
k=1
e1 , e2 , . . . , ek , . . . .
104
Рассмотрим пример базиса в гильбертовом пространстве L2 (0, 2π),
состоящего из тригонометрических функций
(2π)−1/2 , π −1/2 cos x, π −1/2 sin x, π −1/2 cos 2x, π −1/2 sin 2x, . . . (V.6)
Непосредственно проверяется, что эти функции являются ортонор-
мированной системой. Покажем их полноту. Возьмем произвольную
f ∈ L2 (0, 2π). Для любого ε1 > 0 существует такая f1 ∈ C[0, 2π], что
kf − f1 kL2 (0,2π) < ε1 .
Далее, для любого ε2 > 0 построим непрерывную на [0, 2π] функцию
f2 такую, что
kf1 − f2 kL2 (0,2π) < ε2
и
f2 (0) = f2 (2π),
то есть функция f2 есть непрерывная 2π-периодическая функция.
Такую функцию всегда можно построить с помощью линейной ин-
терполяции на достаточно малом сегменте [0, δ]. По теореме Вейер-
штрасса любую непрерывную 2π-периодическую функцию с любой
точностью можно приблизить тригонометрическим многочленом, то
есть конечной линейной комбинацией функций из (V.6). Таким об-
разом, замыкание в L2 (0, 2π) множества линейных комбинаций (V.6)
совпадает с L2 (0, 2π), что в свою очередь говорит о том, что толь-
ко нулевой элемент может быть ортогонален всем (V.6), поэтому по
теореме 21.2 рассматриваемая система тригонометрических функций
есть ортонормированный базис в L2 (0, 2π)
Мы видели, что при наличии ортонормированного базиса в гиль-
бертовом пространстве любой элемент этого пространства можно раз-
ложить по базису. С другой стороны, с помощью базиса возможно и
конструировать любые элементы гильбертова пространства.
Теорема 21.4 (Рисс-Фишер). Для любого гильбертова простран-
ства H и ортонормированного базиса ek и любой числовой после-
довательности c = {ck } ∈ l2 существует такой элемент f ∈ H,
что
ck = (f, ek )H
и ∞
X
kf k2H = |ck |2 = kck2l2 .
k=1
105
Доказательство. Построим
n
X
fn = ck ek .
k=1
n+p
|ck |2 → 0, при n → ∞,
P
Поскольку последовательность c ∈ l2 , то
k=n+p
что доказывает фундаментальность последовательности fn и соот-
ветственно ее сходимость к некоторому f ∈ H. Покажем, что коэф-
фициенты Фурье у f совпадают с последовательностью c. Для этого
при любом k рассмотрим
|(f − fn , ek )H | ≤ kf − fn kH < ε.
(f, ek )H = (fn , ek )H = ck .
при n → ∞.
Рассмотрим важнейшую теорему о гильбертовых пространствах,
которая устанавливает изоморфизм сепарабельных гильбертовых про-
странств.
106
Два гильбертовых пространства H и G изоморфны, если суще-
ствует взаимно однозначное отображение
ν:H→G
7
Имеются в виду комплексные пространства, соответственно, вещественные
изоморфны Rn .
107
Переходя к пределу при N → ∞, получаем
∞
X
(f, g)H = ck dk = ({c}, {d})l2 ,
k=1
Очевидно, что
√
kft′ (x) − ft′′ (x)kHS = 2, t′ 6= t′′ ,
108
Глава VI
Топологические пространства
109
В любом непустом множестве можно определить две тривиаль-
ные топологии — топологию, содержащую все свои подмножества, и
топологию, содержащую только X и ∅.
Множества, принадлежащие τ называются открытыми множе-
ствами в заданной топологии, или просто открытыми, когда это не
приводит к недоразумению. Соответственно, множества, являющие-
ся дополнением к открытым множествам называются замкнутыми.
Для любого метрического пространства X можно рассматривать
топологию, состоящую из всех открытых1 множеств. Таким образом,
любое метрическое пространство можно считать и топологическим,
с топологией, порожденной метрикой. Однако существуют топологи-
ческие пространства, где топология не может быть задана с помощью
метрики. Такие пространства называются неметризуемыми.
Для элемента x ∈ X окрестностью называется любое множество
U ∈ τ такое, что x ∈ U . Для любого множества A ⊂ X точка2 x назы-
вается точкой прикосновения для множества A, если каждая окрест-
ность x содержит хотя бы одну точку из A. Далее, точка x называется
предельной точкой множества A, если каждая окрестность точки x
содержит хотя бы одну точку из A, отличную от x. Совокупность всех
точек прикосновения называется замыканием множества A, которое
обозначаем A. Множество M ⊂ X называется всюду плотным, если
M = X. Топологическое пространство называется сепарабельным,
если в нем существует счетное всюду плотное множество.
На одном и том же множестве3 всегда можно ввести различные
топологии, и получить тем самым различные топологические про-
странства. Если на одном множестве заданы две топологии τ1 и τ2 ,
то мы будем говорить, что топология τ2 сильнее4 топологии τ1 , если
τ1 ⊂ τ2 .
110
Теорема 22.1. Пусть на одном множестве X задано произволь-
ное конечное или бесконечное число топологий τs , тогда пересечение
этих топологий \
τ= τs
s
111
Метрические пространства, в которых топология задается откры-
тыми множествами, являются нормальными топологическими про-
странствами.
112
Теперь дадим определение сходимости последовательности в то-
пологическом пространстве5 . Последовательность {xn } ⊂ X назы-
вается сходящейся к x ∈ X, если любая окрестность U (x) точки x
содержит все члены последовательности {xn }, начиная с некоторого
номера.
Легко видеть, что это понятие сходимости обобщает сходимость
в метрическом пространстве. Действительно, если топология зада-
на с помощью метрики, то сходимость эквивалентна сходимости по
метрике.
Теперь рассмотрим понятие непрерывного отображения в тополо-
гических пространствах. Пусть X и Y суть топологические простран-
ства с топологиями τX и τY соответственно. Рассмотрим отображение
F : X → Y.
113
С другой стороны, пусть для любого открытого G ⊂ Y множе-
ство D = F −1 [D] ∈ τX . Рассмотрим произвольную точку x ∈ D и
окрестность U (y), где y = F [x], тогда имеем
x ∈ F −1 [U (y)] ∈ τX .
24. Компактность
Одним из самых принципиальных понятий анализа (математическо-
го и функционального) является понятие компактности. При этом
проблема компактности имеет особое значение в бесконечномерных
пространствах. Компактные множества используются для многих
теорем существования решений, а также для построения численных
методов.
Пусть теперь X есть произвольное топологическое пространство.
Система конечная или бесконечная множеств {Ms } называется по-
крытием множества A ⊂ X, если
[
A⊂ Ms .
s
114
Покажем, что свойство компактности сохраняется при непрерыв-
ном отображении.
Теорема 24.1. Пусть X, Y — топологические пространства, F :
X → Y — непрерывное отображение, тогда для любого компактного
множества A ⊂ X его образ B = F [A] компактен.
Доказательство. Рассмотрим открытое покрытие множества B
[
B⊂ Bs .
s
115
Для любого ε > построим множество
√
Sε = {ε n/2(i1 , i2 , . . . , in ) : ik = 0, ±1, ±2, . . . ; k = 1, . . . , n} ∩ KA
116
Далее пусть ε0 > 0 выбрано так, что для любого x ∈ M шар
Bε (x) ⊂ Gs для некоторого s. Построим ε0 -сеть {x1 , x2 , . . . , xN } для
M , состоящую из точек этого множества. Поскольку расстояние от
любой точки x ∈ M до одной из точек xi меньше ε0 , то все множество
M разместится целиком в объединении шаров
N
[
F ⊂ U (xi ).
i=1
117
Пусть r0 = min rxi , тогда Br0 /3 (y) не пересекается ни с одним ша-
i
ром Brxi /3 (xi ), а следовательно, и с M . Это означает, что y не может
быть предельной точной для M , поэтому множество M содержит все
предельные точки.
Существование конечной ε-сети для множества в полном метри-
ческом пространстве эквивалентно предкомпактности этого множе-
ства. Этот факт часто используется для доказательства компактно-
сти конкретных множеств.
Теорема 24.3 (Хаусдорф). Для полного метрического простран-
ства X множество M ⊂ X предкомпактно тогда и только тогда,
когда в этом множестве существует конечная ε-сеть для любого
ε > 0.
Доказательство. Предположим, что множество M предкомпактно.
Построим ε-сеть. Возьмем любую точку x1 ∈ M . Если ̺(x, x1 ) < ε
для всех x ∈ M , то конечная ε-сеть уже построена. В противном
случае существует точка x2 ∈ M такая, что ̺(x1 , x2 ) ≥ ε. Добавляем
точку x2 в создаваемую ε-сеть. Если множество {x1 , x2 } не является
искомой ε-сетью, то аналогично добавляем x3 и продолжаем этот про-
цесс. Если процесс закончится построением конечной ε-сети, то дока-
зательство закончено. Предположим теперь, что этот процесс будет
продолжаться бесконечно. Но это противоречит предкомпактности
потому, что тогда мы получили бы бесконечную последовательность
{xn } такую, что
̺(xk , xm ) ≥ ε, k 6= m.
В этом случае эта последовательность не может содержать никакой
сходящейся подпоследовательности, тогда по теореме 24.2 множество
M является компактным.
Теперь предположим, что для M существует конечная ε-сеть для
любого ε > 0. Зафиксируем любое бесконечное множество T ⊂ M 7 .
Положим εn = 1/n. Выбираем конечную 1/n-сеть
S n = {xn1 , xn2 , . . . , xnNn }
для множества M . Поскольку T ⊂ Bε1 (S 1 ), то в окрестности как ми-
нимум одного из x1i содержится бесконечное подмножество T , кото-
рое мы обозначим через T1 . Аналогично рассуждая, можно получить
7
Если M конечное множество, то это множество, очевидно, компактно.
118
последовательность
T1 ⊃ T2 ⊃ . . .
бесконечных подмножеств множества T , при этом каждое подмноже-
ство Tn содержится в замкнутом шаре радиуса 1/n, следовательно,
расстояние между любыми двумя точками из Tn не превосходит 2/n.
Поэтому можно выбрать последовательность точек yn ∈ Tn . Эта по-
следовательность является фундаментальной
2
̺(yn+q , yn ) < .
n
В силу полноты пространства X эта последовательность сходится,
поэтому замыкание множества M является компактным, а само мно-
жество M — предкомпактно.
Из доказанных теорем видно, что для множеств в Rn предком-
пактность эквивалентна ограниченности, а компактность замкнуто-
сти и ограниченности.
В бесконечно мерном пространстве ограниченность, как мы виде-
ли не говорит о предкомпактности. Однако существуют различные
критерии компактности в конкретных пространствах. Рассмотрим
критерий предкомпактности в пространстве непрерывных функций.
Множество M в пространстве C[a, b] называется равномерно ограни-
ченным, если существует K такое, что
|f (x)| ≤ K, x ∈ [a, b]
|f (x1 ) − f (x2 )| ≤ ε
для всех x1 , x2 ∈ [a, b] таких, что |x1 − x2 | < δ для всех f ∈ M . Здесь
принципиально, что δ не зависит от f , а только от ε.
119
Доказательство. Пусть множество M предкомпактно в C[a, b], то-
гда для любого ε > 0 существует конечная ε-сеть S = {f1 , . . . , fN }.
Каждая из функций fi равномерно ограничена с константой Ki . То-
гда имеем
|f (x)| ≤ |fi (x)| + ε ≤ Ki + ε ≤ K
для любой f ∈ M . Таким образом, множество M равномерно огра-
ничено.
С другой стороны fi ∈ S являются равномерно непрерывными на
[a, b, поэтому для любого ε > 0 существует такое δi > 0, что
|g(xk )−g(xk+1 )| = |g(xk )−f (xk )+f (xk )−f (xk+1 )+f (xk+1 )−g(xk+1 )| ≤
120
|g(xk ) − f (xk )| + |f (xk ) − f (xk+1 )| + |f (xk+1 ) − g(xk+1 )| ≤ 3ε.
Пусть для произвольной точки x ∈ [a, b] точка xk — ближайшая к x.
Тогда имеем
121
25. Линейные топологические пространства
Как мы видели метрические пространства представляют собой при-
мер топологических пространств. С другой стороны, мы видели, что
в функциональном анализе большую роль играют и линейные про-
странства. В линейных пространствах тоже можно ввести топологию.
Однако в этих пространствах имеет смысл рассматривать только та-
кие топологии, в которых линейные операции (сложения и умноже-
ния на скаляр) будут непрерывными.
Таким образом, линейное топологическое пространство L пред-
ставляет собой линейное пространство, в котором задана тополо-
гия и линейные операции в этой топологии непрерывны. Непрерыв-
ность операции сложения означает, что для любых x′ , y ′ ∈ L и любой
окрестности U (x′ + y ′ ) существуют такие окрестности V (x′ ) и W (y ′ ),
что
x + y ∈ U (x′ + y ′ )
для всех x ∈ V (x′ ) и y ∈ W (y ′ ). Далее, непрерывность операции
умножения на скаляр означает, что для любых x′ ∈ L,. λ′ ∈ C и лю-
бой окрестности U (λ′ x′ ) существует такая окрестность V (x′ ) и такое
число ε > 0, что
λx ∈ U (λ′ x′ )
для всех x ∈ V (x′ ) и |λ′ − λ| < ε.
В силу непрерывности операции сложения в линейном топологи-
ческом пространстве, то для любого непрерывного множества G ⊂ L
и любого x ∈ L множество G + x будет открытым. Поэтому для того,
чтобы задать топологию в линейном пространстве достаточно задать
систему окрестностей нуля.
Примерами линейных топологических пространств являются все
нормированные пространства (соответственно банаховы и гильбер-
товы пространства).
Для любой функции f (x), заданной на Rn носителем этой функ-
ции называется множество
122
компактный) носитель называются финитными. Если supp f ⊂ Q,
где Q открытое множество, то функция называется финитной в Q.
Рассмотрим пространство финитных бесконечно дифференциру-
емых функций в Q ⊂ Rn . Это множество обозначается Ċ ∞ (Q). Оче-
видно, что это линейное пространство. В нем можно ввести норму,
но оно не будет полным ни с какой нормой. Мы будем рассматри-
вать это пространство, как линейное топологическое пространство, в
котором топология задается с помощью следующей системы окрест-
ностей нуля
max |f (k) (x)| < ε, k = 0, 1, 2 . . . , M
x∈Ks
123
Часть II
Линейные операторы
124
Глава VII
125
Для последовательности операторов {An } можно также определить
и другую сходимость — поточечную. Будем говорит, что последова-
тельность An поточечно сходится к оператору A, если
kAx − An xkY → 0, n → ∞,
для всех x ∈ X.
Теорема 26.1. Пусть пространство Y является банаховым про-
странством, то L(X, Y ) также является банаховым пространством.
Доказательство. Возьмем произвольную фундаментальную в L(X, Y )
последовательность операторов An . Для любого x ∈ X рассмотрим
последовательность An x в Y . Имеем
kAn+m x − An xkY = k(An+m − An )xkY ≤ kAn+m − An kkxkX ,
следовательно, эта последовательность фундаментальная в Y . В силу
полноты Y имеем lim An x = y. Таким образом, каждому элементу
n→∞
x ∈ X ставится в соответствие элемент y ∈ Y , то есть задано отобра-
жение A : X → Y . Оператор A является линейным. Действительно,
для любых x1 , x2 ∈ X и a, b ∈ C имеем
A(ax1 + bx2 ) = lim An (ax1 + bx2 ) =
n→∞
126
Теорема 26.2 (Банаха-Штейнгауза). Пусть X — банахово простран-
ство, а Y есть нормированное пространство и {As }s∈S семейство
линейных ограниченных операторов
As : X → Y
kAs k ≤ C1 , s ∈ S.
2. rn+1 ≤ rn /2,
127
Поскольку пространство X полное, то в силу теоремы 8.1 о вло-
женных шарах существует такой элемент x∗ общий для всех шаров
B rn (xn ). При этом будем иметь
kAsn x∗ kY ≥ n,
для любого n, что противоречит условию теоремы.
Из теоремы Банаха-Штейнгауза следует, в частности, следующая
важная для функционального анализа теорема.
Теорема 26.3. Пусть An — последовательность операторов из L(X, Y )
такая, что
1. kAn k ≤ M ,
2. kAx − An xkY → 0, при n → ∞ для всех x ∈ D, где D ⊂ X всюду
плотно в X.
Тогда последовательность операторов An поточечно сходится к опе-
ратору A ∈ L(X, Y ).
Доказательство. Если D = X, то доказательства не требуется. По-
этому пусть x′ ∈ X, но x′ ∈
/ D. В силу плотности множества D для
любого ε > 0 существует элемент x ∈ D такой, что
ε
kx′ − xkX < .
M
Имеем
kAn x′ − Ax′ kY ≤ kAn x′ − An xkY + kAn x − AxkY + kAx − Ax′ kY ≤
kAn x − AxkY + (kAn k + kAk)kx − x′ kX < kAn x − AxkY + 2ε.
Поскольку имеет место сходимость An x → Ax, то найдется такой
номер N , что для n > N имеем
kAn x − Axk < ε.
Следовательно, имеем
kAn x′ − Ax′ kY ≤ 3ε.
Поэтому последовательность An сходится поточечно к A на всем X.
128
27. Принцип открытости отображения
Основным объектом в функциональном анализе являются линейные
операторы. При этом принципиальное значение имеют ограниченные
линейные операторы. При решении операторных уравнений вида
Ax = f
A : X → Y.
A−1 : Y → Y.
129
Доказательство. Пусть A−1 есть обратный оператор. Для любых
y1 , y2 ∈ Y положим
Следовательно,
x = A−1 Ax = A−1 0 = 0,
то есть
A−1 (y1 + y2 ) = A−1 y1 + A−1 y2 ,
что означает аддитивность оператора A−1 . Покажем однородность
обратного оператора. Для любых y ∈ Y и λ ∈ C положим
Далее
Ax = AA−1 (λy) − λAA−1 y = λy − λy = 0.
Поэтому x = A−1 Ax = A−1 0 = 0, следовательно,
130
Доказательство. Пусть фиксирована окрестность нуля U в X. Вы-
берем такую окрестность нуля W в X, что W + W ⊂ U и W = −W .
Для любого x ∈ X существует такой n, что x ∈ nW . Это следует из
того, что x/n → 0, при n → ∞. Поэтому имеем
∞
[
X= (nW )
n=1
и ∞
[
R(A) = A(nW ).
n=1
A[nW ] = nA[W ],
Таким образом,
V ⊂ −y0 + A[W ] ⊂ A[U ].
131
Теорема 27.2 (Теорема Банаха об открытости отображения). Пусть
X, Y суть банаховы пространства, а A : X → Y — линейный огра-
ниченный оператор такой, что R(A) = Y . Тогда оператор A отоб-
ражает каждое открытое множество пространства X на откры-
тое множество пространства Y .
Доказательство. Поскольку полное метрическое пространство Y яв-
ляется множеством второй категории, то согласно лемме 27.1 замы-
кание образа при отображении A всякой окрестности нуля простран-
ства X содержит некоторую окрестность нуля пространства Y .
Для краткости обозначим Xr = Br (0) и Yr = Br (0) и εi = 2−i ε, для
любого ε > 0. Следовательно, существует такая последовательность
положительных чисел bi сходящаяся к нулю, что
Ybi ⊂ AXεi , i = 0, 1, 2 . . . . (VII.1)
Выберем произвольную точку y ∈ Yb0 покажем, что существует такая
точка x ∈ X2ε0 , что Ax = y. Из (VII.1) при i = 0 следует существова-
ние такой точки x0 ∈ Xε0 , что
ky − Ax0 kY < b1 .
Поскольку (y − Ax0 ) ∈ Yb1 , то из (VII.1) при i = 1 получаем суще-
ствование точки x1 ∈ Xε1 , для которой
ky − Ax0 − Ax1 kY < b2 .
Продолжая это процесс, мы получаем последовательность xi ∈ Xεi
такую, что
n
!
X
y − A xi
< bn+1 , n = 0, 1, 2 . . . .
i=0
Имеем
n
n n n
!
X
X X X
xk
≤ kxk kX ≤ εk ≤ 2−k ε0 .
k=m+1 X k=m+1 k=m+1 k=m+1
n
P
Следовательно последовательность zn = xk фундаментальная, по-
k=0
этому в силу полноты пространства X
∞
X
xk = x ∈ X.
k=1
132
Далее,
n
n ∞
X
X X
kxkX = lim
xk
≤ lim kxk kX ≤ ε0 2−k = 2ε0 .
n→∞
n→∞
k=1 X k=1 k=1
133
Будем говорить об ограниченных и непрерывных функционалах, по-
нимая эти термины, как для линейных ограниченных и непрерывных
операторов.
Приведем несколько примеров линейных функционалов. В про-
странстве C[a, b] рассмотрим функционал δ, определенный по фор-
муле
hf, δi = f (x0 ),
где x0 ∈ [a, b].
Для пространства C 1 [a, b] определим функционал D
Zb
hf, Di = f ′ (x)dx.
a
и
kf˜k = kf k.
134
Доказательство. Естественно, можно считать, что D 6= X. Пусть
/ D. Через D1 обозначим линейное многообразие в X элементов
x0 ∈
вида y + tx0 , где y ∈ D, t ∈ R. Покажем, что существует линейный
ограниченный функционал f1 , определенный на D1 , совпадающий с
f на D и kf1 k = kf k.
Каждый x ∈ D1 представим в виде x = y + tx0 единственным
образом. Действительно, из y + tx0 = y ′ + t′ x0 следует, что
y − y ′ = (t′ − t)x0 .
135
Для случая t < 0 имеем
y 1 1
f − c ≥ −kf kky/t + x0 kX = − kf kky + tx0 kX = kf kkzkX .
t |t| t
Отсюда получаем
y 1
ϕ(z) = t f − c ≤ t kf kkzkX = kf kkzkX .
t t
Таким образом, равенство (VII.3) справедливо для всех z ∈ D1 и
имеем оценку для нормы
kϕk ≤ kf k.
Поскольку функционал ϕ есть продолжение функционала f с D на
D1 , то
kϕk ≥ kf k.
Следовательно функционал ϕ ограничен и его норма равна kf k.
Мы показали, что существует (вообще говоря, не единственное)
продолжение функционала f с сохранением нормы. Рассмотрим все-
возможные продолжения Φ с сохранением нормы функционала f . На
множестве Φ введем частичный порядок, полагая, что
f ′ ≺ f ′′ ,
если линейное многообразие D′ на которое продолжен f ′ является
частью многообразия D′′ , на которое продолжен функционал f ′′ и
f ′ (x) = f ′′ (x) при всех x ∈ D′ .
Выберем произвольное упорядоченное множество {fs } ⊂ Φ. Это
множество имеет верхнюю грань (относительно введенного порядка),
то есть функционал f⋆ , определенный на линейном многообразии
[
D⋆ = Ds ,
s
136
Теорема Хана-Банаха доказана нами в случае вещественных нор-
мированных пространств. В 1938 году Г.А. Сухомлиновым эта тео-
рема была обобщена на случай комплексных нормированных про-
странств.
Теорема 28.2 (Сухомлинов). Пусть X — комплексное нормирован-
ное пространство, если на линейном многообразии D ⊂ X задан
линейных ограниченный функционал f , то существует линейный
ограниченный функционал f˜, определенный на всем X такой, что
и
kf˜k = kf k.
Доказательство. Пусть
поэтому
f1 (ix) = −f2 (x), f2 (ix) = f1 (x).
Отсюда и из (VII.4) следует, что
1
kf1 k = kf2 k = √ kf k.
2
Будем рассматривать f1 как вещественный функционал на D. По
теореме Хана-Банаха существует его продолжение f˜1 на X с сохране-
нием нормы. Определим функционал f˜2 на X по следующей формуле
137
Далее, f˜ определим следующим образом
Имеем
f˜(ix) = f˜1 (ix) + if˜2 (ix) = −f˜2 (x) + if˜1 (x) = if˜(x).
Таким образом, f˜(x) = f (x) для всех x ∈ D. Учитывая, что |fi (x)| ≤
√1 kf kkxkX , i = 1, 2, то получаем
2
q
kf˜k = sup |f˜(x)| = sup |f˜1 (x)|2 + |f˜2 (x)|2 ≤ kf k.
kxkX ≤1 kxkX ≤1
f (tx) = tkxkX .
138
Важный для приложений результат о существовании функциона-
лов, разделяющих элемент нормированного пространства от линей-
ного многообразия.
1. f (x) = 0, x ∈ L;
2. f (x0 ) = 1.
f (y) = t.
139
Глава VIII
Линейные функционалы
hxn , f i → hx, f i.
140
сходимостью по норме (будем говорит о сильной сходимости), то вве-
дем обозначение для слабой сходимости
x = w − lim xn .
n→∞
hx′ − x′′ , f i = 0.
141
Поскольку X ∗ является банаховым пространством, то можно рас-
сматривать пространство, сопряженное к X ∗ , которое будем обозна-
чать X ∗∗ .
(g1 , gk )H , k = 1, 2, . . . .
142
Далее, из ограниченной последовательности g1k можно извлечь под-
последовательность g2k такую, что
(g2 , g2k )H → h2 , k → ∞.
(gn , gnk )H → hn , k → ∞.
Если f ∈ F , то
(f, gkk )H , k = 1, 2, . . .
и, следовательно, предел
kJxkY = kxkX ,
143
Доказательство. Пусть x ∈ X фиксировано, поэтому каждому f ∈
X ∗ ставится в соответствие число hx, f i. При этом функционалу af1 +
bf2 ставится в соответствие число
hx, λf1 + µf2 i = λhx, f1 i + µhx, f2 i = λhx, f1 i + µhx, f2 i.
Поскольку |hx, f i| ≤ kxkX kf kX ∗ , то hx, f i определяет заданный всюду
на X ∗ линейный ограниченный функционал. Обозначим через x∗∗
этот функционал. Имеем
|x∗∗ (f )| = |hx, f i| ≤ kxkX kf kX ∗ ,
следовательно, kx∗∗ kX ∗∗ ≤ kxkX , тогда в силу теоремы 28.3 для всяко-
го x ∈ X существует f0 ∈ X ∗ такой, что kf0 kX ∗ = 1 и hx, f0 i = kxkX .
Поэтому
|hf0 , x∗∗ i| = |hx, f0 i| = kxkX kf0 kX ∗ .
Что означает kx∗∗ kX ∗∗ = kxkX .
В этом случае мы будем использовать запись X ⊂ X ∗∗ . Если все
линейные ограниченные функционалы на сопряженном пространстве
исчерпываются элементами X, то есть X ∗∗ = X, то пространство X
называется рефлексивным пространством.
Кроме сходимости по метрике, которую мы называем сильной схо-
димостью, мы ввели понятие слабой сходимости. Для элементов со-
пряженного пространства можно ввести еще понятие слабой∗ сходя-
щейся1 последовательности. Пусть X нормированное пространство,
тогда последовательность {fn } ⊂ X ∗ сходится слабо∗ к элементу
f ∈ X ∗ , если для всех x ∈ X имеет место
hx, fn i → hx, f i, n → ∞.
При этом пишут w ∗ −lim fn = f .
n→∞
Разумеется, в сопряженном пространстве можно ввести и силь-
ную сходимость по норме. При этом имеем простой факт.
Теорема 29.6. Пусть последовательность fn ∈ X ∗ сходиться силь-
но к f ∈ X ∗ , тогда имеет место w ∗ −lim fn = f .
n→∞
Доказательство. Для любого x ∈ X имеем
|hx, fn i − hx, f i| ≤ kfn − f kX ∗ kxkX .
1
Говорят, «слабой со звездой».
144
30. Теорема Рисса
Для банахова пространства задавать линейный ограниченный функ-
ционал можно не произвольно, поскольку он должен быть элемен-
том сопряженного пространства. Вообще говоря, определение сопря-
женного пространства задача сложная, но в случае гильбертова про-
странства этот вопрос может быть решен полностью. Фундаменталь-
ная теорема Ф. Рисса2 имеет важные приложения.
Теорема 30.1 (Теорема Рисса). Пусть H — гильбертово простран-
ство. Для любого линейного ограниченного функционала f на H су-
ществует единственный элемент yf ∈ H такой, что
f (x) = (x, yf )H ,
поэтому x∞ ∈ N (f ).
Если N (f ) = H, то очевидно, что yf = 0. Предположим, что
N (f ) 6= H. Тогда существует такой элемент y0 6= 0, y0 ∈ H ⊖ N (f )
(см. п. 20). Пусть x пробегает все H тогда рассмотрим элементы вида
145
Следовательно,
(f (x)y0 − f (y0 )x, y0 )H = 0
или
f (x)ky0 k2H = (x, f (y0 ), y0 )H .
Построим элемент yf по следующей формуле
f (y0 )
yf = y0 .
ky0 k2H
(x, y ′ )H = (x, y ′′ )H .
kf k ≤ kykH ,
146
Теорема Рисса верна и для несепарабельных гильбертовых про-
странств, но для гильбертовых пространств с ортонормированным
базисом действие любого линейного ограниченного функционала вы-
числяется через коэффициенты Фурье. Пусть любой элемент x ∈ H
представляется в виде
X∞
x= ck ek ,
k=1
где ck — коэффициенты Фурье по ортонормированному базису ek .
Тогда для любого функционала f имеем
∞
X
f (x) = c k fk ,
k=1
где {fk } ∈ l2 .
Для гильбертова пространства L2 (Q) значение любого функцио-
нала h вычисляется по формуле
Z
h(f ) = f (x)h(x)dx,
Q
147
Таким образом, мы получили линейный ограниченный оператор
A∗ : Y ∗ → X ∗ ,
который мы будем называть сопряженнным оператором к оператору
A.
Теорема 31.1. Для сопряженного оператора имеем
kA∗ k = kAk.
Доказательство. Из (VIII.1) следует
kϕk ≤ kAkkf kY ∗
отсюда следует, что kA∗ k ≤ kAk.
В силу теоремы Хана-Банаха для каждого x0 ∈ X и Ax0 6= 0
существует функционал f0 ∈ Y ∗ такой, что kf0 kY ∗ = 1 и
hAx0 , f0 i = kAx0 kY = |hx0 , A∗ f0 i| ≤ kA∗ kkf0 kY ∗ kx0 kX .
Следовательно, kAk ≤ kA∗ k, поэтому kA∗ k = kAk.
Сопряженные операторы наиболее интересно рассматривать в гиль-
бертовом пространстве. Пусть H — гильбертово пространство. Для
линейного ограниченного оператора
A:H→H
сопряженным оператором называется оператор A∗ : H → H такой,
что
(Ax, y)H = (x, A∗ y)H ,
для всех x, y ∈ H. Использование скалярного произведение оправ-
дывается теоремой Рисса об общем виде линейного ограниченного
функционала в гильбертовом пространстве.
Оператор A называется самосопряженным оператором, если A∗ =
A, то есть
(Ax, y)H = (x, Ay)H
для всех x, y ∈ H. Мы будем уделять большое внимание самосопря-
женным операторам, поскольку они обладают рядом замечательных
свойств, и главное, возникают во многих задачах, где применяется
функциональный анализ.
Докажем несколько простых, но важных результатов относитель-
но самосопряженных операторов.
148
Теорема 31.2. Для любых двух самосопряженных операторов A и
B и вещественных чисел a и b оператор aA + bB самосопряжен.
(Ax, x)H ≥ 0,
149
используется такое «определение»: δ(x) = 0, при x 6= 0 и δ(0) = ∞ и
такая, что Z
δ(x) = 1.
R
150
потому и называются распределениями, что не являются функциями
точки.
Как все-таки понимать интеграл от δ-функции? Этот интеграл
следует понимать как символ функционала. Дело в том, что в про-
странстве L2 действие любого функционала есть скалярное произве-
дение, которое в свою очередь представляет собой интеграл.
Впрочем, любая функция g(x), интегрируемая на любом ограни-
ченном множестве в Rn , определяет некоторую обобщенную функ-
цию, которую будем обозначать также g(x)
Z
hf, gi = f (x)g(x)dx.
Rn
151
Следовательно, последовательность обобщенных функций gn ∈ D′ (Q)
сходится к g ∈ D′ (Q), если для всех f ∈ D(Q) имеет место
hf, gn i → hf, gi.
Так уж получается, что обобщенные функции нельзя умножать
друг на друга, поэтому никто еще не видел «квадрата δ-функции».
Однако обобщенные функции можно умножать на бесконечно диф-
ференцируемые функции. Пусть α(x) бесконечно дифференцируемая
функция на Q. При этом не предполагаем, что функция α(x) имеет
компактный носитель. Умножение определим по следующей форму-
ле
hf, (αg)i = hαf, gi.
Это корректно, поскольку произведение бесконечно гладкой функ-
ции на функцию из D(Q) снова будет функция из D(Q).
Однако наиболее интересно, что любую обобщенную функцию
можно дифференцировать любое количество раз! Пусть g ∈ D′ (Q)
есть обобщенная функция. Тогда производной gxi , 1 ≤ i ≤ n называ-
ется обобщенная функция, определенная по формуле
hf, gxi i = −hfxi , gi.
Последнее выражение тоже корректно, поскольку производная функ-
ции из D(Q) принадлежит тому же множеству D(Q). Производную
обобщенной функции мы будем называть обобщенной производной.
Пусть обобщенная функция является регулярной функцией g(x), x ∈
Q, предположим, что функция g(x) непрерывно дифференцируема в
Q. Рассмотрим обобщенную производную этой функции
hf, gxi i = −hfxi , gi,
но для регулярной функции значение функционала есть интеграл
Z
−hfxi , gi = − fxi (x)g(x)dx.
Q
152
Поверхностный интеграл равен нулю, поскольку функция f (x) фи-
нитная в Q. А последний интеграл можно интерпретировать, как
действие обобщенной функции
Z
f (x)gxi (x)dx = hf, gxi i,
Q
ηx (x) = δ(x).
153
Глава IX
Неограниченные линейные
операторы
A:X→Y
154
называется образом оператора A. Через N (A) обозначим ядро опе-
ратора A, то есть множество таких u ∈ D(A), что Au = 0.
Можно, конечно, рассматривать всюду определенный оператор
A : D → Y , но обычно множество D не является замкнутым в X и
не является банаховым в интересующей нас норме X.
Если D(A) плотно в X, то оператор называется плотно опреде-
ленным. Пусть на ряду с оператором A мы рассматриваем оператор
A1 : X → Y при этом, если D(A) ⊂ D(A1 ) и Au = A1 u для всех
u ∈ D(A), то оператор A1 называется продолжением или расшире-
нием оператора A. В свою очередь оператор A называется сужением
оператора A1 . Будем использовать обозначения
A ⊂ A1 , A1 ⊃ A.
A−1 Au = u, u ∈ D(A)
и
AA−1 f = f, u ∈ R(A).
Оператор, для которого существует обратный, называется обрати-
мым оператором.
Рассмотрим два оператора A и B, действующих из X в Y . Суммой
этих операторов называется оператор A + B с областью определения
155
является использования замкнутых операторов, как аналог непре-
рывности. Оператор A : X → Y с областью определения D(A) на-
зывается замкнутым, если из условий un ∈ D(A), kun − ukX → 0,
kAun − ykY следует, что u ∈ D(A) и Au = y.
Можно дать другое эквивалентное определение замкнутости с ис-
пользованием понятия графика оператора. Введем новое банахово
пространство Z = X × Y , в котором определим норму следующим
образом
1/2
k(x, y)kZ = kxk2X + kyk2Y .
Графиком оператора A называется следующее множество Γ(A) в
пространстве Z
Γ(A) = {(u, Au) : u ∈ D(A)}.
Оператор A замкнут тогда и только тогда, когда его график — замк-
нутое множество. Если график является замкнутым, то замкнутость
оператора A очевидна. С другой стороны, если оператор замкнут,
то последовательность {(un , Aun )} ⊂ Z, u ∈ D(A) имеет предел
(u, Au) ∈ Γ(A), что означает замкнутость графика.
Для оператора A−1 обратного к A график будем рассматривать в
том же пространстве X × Y , как подмножество (A−1 v, v), v ∈ R(A),
в этом случае график обратного оператора Γ(A−1 ) совпадает с гра-
фиком Γ(A). Из этого сразу же следует, что оператор, обратный к
замкнутому оператору, сам замкнут.
Если оператор незамкнут и его график — незамкнутое множество,
то график можно замкнуть как множество в X × Y , однако эта про-
цедура не обязательно приведет к замкнутому оператору, поскольку
не любое подмножество в X × Y является графиком. Поэтому мы бу-
дем говорить, что оператор A замыкаем (допускает замыкание), если
замыкание его графика является графиком. При процедуре замыка-
ние, то есть при переходе к замыканию мы получаем наименьшее
замкнутое продолжение оператора A. Пусть оператор A1 есть замы-
кание оператора A. Тогда элемент u ∈ D(A1 ) тогда и только тогда,
когда существует последовательность un ∈ D(A) такая, что un → u
и Aun → A1 u.
156
34. Самосопряженные операторы
Мы уже упоминали о важности самосопряженных операторов в функ-
циональном анализе. Однако в приложениях часто возникают неогра-
ниченные самосопряженные операторы. Определения для сопряжен-
ных и самосопряженных операторов в неограниченном случае имеет
существенные нюансы в отличии от случая ограниченных операто-
ров.
Для плотно определенного оператора A : X → Y сопряженным
называется оператор A∗ : Y ∗ → X ∗ , если
hAu, vi = hu, A∗ vi,
для всех u ∈ D(A) и v ∈ D(A∗ ) и этот оператор не имеет собственных
расширений.
Покажем существование сопряженного оператора. Область опре-
деления D(A∗ ) состоит из всех таких v ∈ Y ∗ , что для некоторого
f ∈ X∗
hAu, vi = hu, f i
верно для всех u ∈ D(A). В силу плотности D(A) в X элемент f
определяется однозначно. При этом оператор A∗ : Y ∗ → X ∗ опреде-
ляется равенством A∗ v = f . Линейность оператора A∗ проверяется
непосредственно.
В дальнейшем в этом параграфе мы рассмотрим частный, но
принципиально важный случай, когда X = Y = H, где H есть гиль-
бертово пространство.
Оператор A : H → H с областью определения D(A) называет-
ся самосопряженным, если A = A∗ . При этом предполагается, что
D(A) = D(A∗ ) и для всех u, v ∈ D(A) имеет место
(Au, v)H = (u, Av)H .
Существенным моментом является то обстоятельство, что оператор
не имеет в H собственных замкнутых расширений.
Рассмотрим пример. Пусть в качестве H возьмем пространство
L2 (0, 1) вещественно значных функций2 . Рассмотрим, дифференци-
d2
альный оператор L = dx 2 с областью определения
157
Для любых двух u, v ∈ D(A) имеем
Z1
(Lu, v)L2 (0,1) = u′′ (x)v(x)dx.
0
158
Поскольку в гильбертовом пространстве ортогональное дополнение к
замкнутому многообразию само является замкнутым многообразием,
то график Γ(A∗ ) сопряженного оператора всегда является замкну-
тым множество, следовательно, оператор являющийся сопряженным
— замкнут, даже если исходный оператор A не является замкнутым.
Заметим, что этот факт верен и для операторов в банаховых про-
странствах.
Связь между сопряженным и обратным операторами устанавли-
вается в следующей теореме.
Теорема 34.1. Пусть линейный оператор A имеет обратный A−1
и пусть области определения D(A) и D(A−1 ) плотны в H. Тогда
имеет равенство ∗
(A∗ )−1 = A−1 .
Доказательство. Пусть u ∈ D(A), v ∈ D((A−1 )∗ ) — произвольные
элементы. Тогда имеем
A∗ (A−1 )∗ v = v. (IX.2)
следовательно
A∗ h ∈ D((A−1 )∗ )
и
(A−1 )∗ A∗ h = h
отсюда и из (IX.2) следует, что
∗
(A∗ )−1 = A−1 .
159
Теорема 34.2. Пусть плотно определенный оператор A допускает
замыкание, тогда оператор A∗∗ существует и имеет место равен-
ство
A∗∗ = A.
H = U Γ(A) ⊕ Γ(A).
H = Γ(A) ⊕ U Γ(A∗ )
или
H ⊖ U Γ(A∗ ) = Γ(A).
Теперь из (IX.1) следует, что существует A∗∗ и он совпадает с A.
Пусть теперь оператор A только замыкаем, тогда по доказанному
выше
(A)∗∗ = A.
Однако
(A)∗∗ = ((A)∗ )∗ = (A∗ )∗ = A∗∗ ,
следовательно
A∗∗ = A.
lim kA∗ vn kH = ∞.
n→∞
160
Построим последовательность функционалов fn по формуле
kfn k ≤ M.
A ⊂ A∗ ,
161
непрерывных функций недостаточно. Мы еще вернемся к этому во-
просу подробно.
Итак, допустим, что мы построили симметричный оператор. Как
узнать будет ли он самосопряженным? Кроме непосредственной про-
верки его замкнутости, есть еще удобное достаточное условие.
(Au, f )H = 0
162
35. Резольвента и спектр
Спектр линейного оператора A, действующего в банаховом простран-
стве X является непосредственным обобщением понятия собствен-
ных значений для квадратных матриц. Понятие спектра играет важ-
нейшую роль в теории линейных операторов их приложениях. В част-
ности, при построении численных методов, в квантовой механике и
многих других фундаментальных и прикладных вопросах.
В этом параграфе будем рассматривать линейный, вообще говоря,
неограниченный оператор, действующий в одном и том же банахо-
вом пространстве X над полем комплексных чисел. Помимо этого
оператора рассмотрим семейство операторов
(A − λI) : X → X,
R(A; λ) = (A − λI)−1
называется резольвентой3 .
Резольвента, если она существует, удовлетворяет равенству, уста-
навливаемому следующей теоремой.
163
Доказательство. Для произвольного x ∈ X имеем
и
R(A; µ)x = R(A, µ)(A − λI)R(A; λ)x.
Вычитая из первого соотношения второе — получаем соотношение
Гильберта для резольвент.
Для дальнейшего нам потребуется важная и в дальнейшем очень
полезная теорема.
∞
kAkk как сумма геометриче-
P
Поскольку kAk < 1, то числовой ряд
k=1
ской прогрессии сходится, то из (IX.3) сходиться ряд
N
X
SN = I + Ak → S,
k=1
164
Поскольку AN +1 → 0, при N → ∞, то переходя к пределу получаем
(I − A)S = S(I − A) = I.
Следовательно, (I −A) имеет обратный и (I −A)−1 = S. Далее, имеем
1
kSk ≤ 1 + kAk + kAk2 + kAk3 + · · · ≤ .
1 − kAk
165
Спектр оператора можно разделить на три класса. Множество
λ ∈ σ(A) называется точечным спектром, если оператор (A − λI) не
имеет обратного оператора.
Множество λ ∈ σ(A) называется непрерывным спектром, если
для оператора (A − λI) существует обратный с плотной областью
определения, но оператор A − λI)−1 не является ограниченным. Да-
лее, множество λ ∈ σ(A) называется остаточным спектром, если
существует обратный оператор A − λI)−1 , но этот оператор имеет
неплотную область определения.
Нас больше всего будет интересовать точечный спектр. Для то-
го, чтобы λ ∈ σ(A) принадлежала точечному спектру необходимо и
достаточно, чтобы уравнение
Ax = λx
Ly = y ′ (x),
L0 y = y ′ (x),
4
Если X функциональное пространство, то говорят о собственных функциях.
166
с областью определения D(L0 ) = {y ∈ C 1 [0, T ] : y(0) = 0}. Для
любого λ ∈ C рассмотрим уравнение
L0 y = λy, y ∈ D(L0 ).
y ′ (x) = λy(x),
y(0) = 0.
Однако эта задача Коши имеет единственное нулевое решение y(x) =
0. Поэтому резольвентное множество есть вся комплексная плоскость,
а спектра пуст: σ(L0 ) = ∅.
Рассмотрим теперь пространство X = C[0, π] и в этом простран-
стве оператор двойного дифференцирования
Ly = −y ′′ (x),
Ly = λy, y ∈ D(L).
−y ′′ (x) = λy(x)
y(0) = y(π) = 0.
Для λk = k 2 , k = 1, 2, . . . эта задача имеет нетривиальные решения
p
yk = sin λk x, k = 1, 2, . . . ,
167
имеет единственное решение для всех f ∈ C[0, π]. Таким образом, мы
имеем дискретный спектр
σ(L) = {k 2 : k = 1, 2, . . . },
состоящий из собственных значений.
В качестве примера остаточного спектра рассмотрим оператор в
гильбертовом пространстве l2 . Определим оператор следующим об-
разом
T (x1 , x2 , . . . ) = (0, x1 , x2 , . . . ),
с областью определения все l2 . Число λ = 0 принадлежит остаточно-
му спектру, поскольку область значений R(T ) не является плотным
в l2 .
Хорошо известно, что симметричная квадратная матрица имеет
только вещественные собственные значения. Обобщением этого фак-
та является следующая теорема.
Теорема 35.5. Пусть в гильбертовом пространстве H задан са-
мосопряженный оператор A с областью определения D(A). Тогда
имеем
σ(A) ⊂ R,
то есть может иметь только вещественный спектр.
Доказательство. Возьмем x ∈ D(A) и λ ∈ C с помощью неравенства
Коши-Буняковского будем иметь
k(A − λI)xkH kxkH ≥ |((A − λI)x, x)H | ≥ |(Ax, x)H − λkxk2H | ≥
| Im((Ax, x)H − λkxk2H )| = | Im λ|kxk2H .
Здесь использовано, что (Ax, x)H вещественно в силу самосопряжен-
ности оператора A. Следовательно, имеем
k(A − λI)xkH ≤ | Im λ|kxkH . (IX.4)
Отсюда при Im λ 6= 0 из (A − λI)x = 0 следует, что x = 0, поэтому
существует обратный (A − λI)−1 .
Покажем, что при Im λ 6= 0 область значений R(A − λI) плотна в
H. В противном случае существовал бы элемент y 6= 0, ортогональ-
ный R(A − λI) и такой, что при всех x ∈ D(A) выполнялось бы
((A − λI)x, y)H = 0. (IX.5)
168
Отсюда следует, что y ∈ D(A), действительно, в силу плотности D(A)
в H существует такая последовательность yk ∈ D(A), что ky−yk kH →
0, при k → ∞. Имеем
(x, (A − λ)y)H = 0.
lim (A − λI)xk = y.
k→∞
(A − λI)x = y.
(A − λI)xp = yp .
169
36. О спектральном разложении
самосопряженных операторов
Мы уже не раз упоминали, что самосопряженные операторы в гиль-
бертовых пространствах являются аналогами симметричных квад-
ратных матриц. Вспомним, что любую симметричную квадратную
матрицу можно диагонализовать, то есть для любой матрицы
a11 a12 . . . a1N
a21 a22 . . . a2N
A= ... ... ... ... .
aN 1 aN 2 . . . aN N
170
В этом случае, каждый элемент x ∈ H может быть представлен
в виде
X∞
x= (x, ϕk )H ϕk .
k=1
171
Глава X
Компактные операторы
172
Этот оператор отображает замкнутый шар единичного радиуса в сле-
дующее множество
1 1
Π = {x ∈ l2 : |x1 | ≤ 1, |x2 | ≤ , . . . , |xn | ≤ n−1 , . . . }.
2 2
Это множество называется гильбертовым кирпичом. Покажем, что
гильбертов кирпич — предкомпактное множество. Возьмем любое
фиксированное число ε > 0. Можно выбрать N так, чтобы 2−(N −1) <
ε/2. Рассмотрим множество ΠN следующего вида
ΠN = {x ∈ Π : xm = 0, m > N }.
Для x ∈ Π и x′ ∈ ΠN имеем
∞
!1/2 ∞
!1/2
X X 1 1 ε
kx − x′ kl2 = |xk |2 ≤ < < .
k=N +1 k=N +1
4k 2N −1 2
173
Теорема 37.1. Пусть A — компактный оператор в X, а B — огра-
ниченный в X оператор, тогда операторы AB и BA являются ком-
пактными.
Доказательство. Пусть M ⊂ X произвольное ограниченное мно-
жество. Тогда множество BM тоже ограниченное, вследствие огра-
ниченности оператора B, следовательно, множество ABM предком-
пактно в X и поэтому оператор AB является компактным.
Далее множество AM является предкомпактным, для любого огра-
ниченного M , но в силу ограниченности B множество BAM тоже
будет предкомпактным.
Из этой теоремы следует, важный факт — если пространство X
есть бесконечномерное гильбертово пространство1 тогда компактный
оператор A не может иметь ограниченного обратного. Действитель-
но, если предположить, что A−1 ограничен, то оператор AA−1 = I
будет компактным, но в бесконечномерном пространстве единичный
оператор не может быть предкомпактным. В самом деле, пусть
√ ek
— ортонормированный базис в X. Поскольку √ kek − em kX = 2, то в
этом множестве нет конечной ε-сети, для ε < 2/2.
Важная характеристика компактного оператора состоит в том,
что вполне непрерывный оператор переводить слабо сходящуюся по-
следовательность в сильно сходящуюся.
Теорема 37.2. Пусть A : x → Y — вполне непрерывный оператор.
Для любой последовательности xn ∈ X такой, что
w − lim xn = x0 .
n→∞
Тогда
lim Axn = Ax0 .
n→∞
174
Таким образом, последовательность Axn предкомпактна и слабо схо-
дится к Ax0 , покажем, что она сильно сходится к Ax0 . Предположим,
что Axn не сходится к Ax0 , тогда существует ε > 0 и такая подпосле-
довательность xn′ , что
kAxn′ − Ax0 kY ≥ ε. (X.1)
В силу предкомпактности последовательности Axn′ из нее можно из-
влечь сходящуюся подпоследовательность Axn′′ , сходящуюся к Ax′0
сильно, и соответственно, слабо, но из единственности слабого пре-
дела имеем Ax0 = Ax′0 , следовательно, Axx′′ → Ax0 , n′′ → ∞ сильно,
что противоречит (X.1).
175
и
̺(yn , en−1 ) = inf kyn − xkH > 1/2.
x∈En−1
Далее, поскольку
то элемент
xn − x∗
yn =
kxn − x∗ kH
удовлетворяет заданным условиям, в качестве возьмем y1 = x1 /kx1 kH .
Поскольку |λn | > δ, то последовательность λ−1
n yn будет ограни-
ченной, и тогда в силу компактности оператора A последователь-
ность λ−1
n Ayn должна иметь сходящуюся подпоследовательность. Од-
нако в наших предположениях это не так. Действительно, пусть
n
X
yn = α k xk .
k=1
Тогда
n−1
yn X αk λk
A = xk + α n xn = yn + z n ,
λn k=1
λn
где
n−1
X λk
zn = αk − 1 xk ∈ En−1 .
k=1
λn
Таким образом для любых p > q имеем
A y p yq
− A
= kyp + zp − (yq + zq )kH =
λp λq
H
176
Из этой теоремы следует, что собственные значения компактного
оператора дискретны и могут иметь точку накопления только в нуле.
Поэтому собственные значения можно перенумеровать следующим
образом
|λ1 | ≥ |λ2 | ≥ . . . .
Теперь рассмотрим самосопряженный компактный оператор в гиль-
бертовом пространстве. Теорема Гильберта-Шмидта указывает ка-
ким образом спектр компактного самосопряженного оператора мо-
жет быть использован.
и λk → 0, k → ∞.
177
получаем y = 0. Поэтому по теореме Гильберта-Шмидта получаем,
что оператор L−1 имеет счетный набор собственных значений λk и со-
ответствующие им собственные элементы ϕk такие, что для любого
x ∈ H имеет место представление
∞
X
x= c k ϕk .
k=1
L−1 ϕk = λk ϕ.
LL−1 ϕk = λk Lϕk .
Lϕk = λ−1
k ϕk .
для любого x ∈ H.
Сначала докажем две леммы.
178
Лемма 39.1. Пусть последовательность xn слабо сходится к x,
тогда
Q(xn ) → Q(x), n → ∞.
Доказательство. Имеем
Далее,
|(Axn , xx )H − (Ax, xn )H | ≤ kxn kH kA(xn − x)kH
и
|(Ax, xn )H − (Ax, x)H | = |(Axn , x)H − (Ax, x)H | ≤ kxkH kA(xn − x)kH .
179
и
Q(x) = Q(x0 ) + 2a(Ax0 , y)H + O(|a|2 )
при малых |a|. Если (Ax0 , y)H 6= 0, то можно так выбрать a так,
чтобы |Q(x)| > |Q(x0 )|, что невозможно, поскольку на x0 функционал
f (x) = |Q(x)| достигает максимума.
Доказательство теоремы Гильберта-Шмидта. Упорядочим собствен-
ные значения оператора A по невозрастанию модуля
|λ1 | ≥ |λ2 | ≤ . . . .
Рассмотрим функционал f (x) = |Q(x)| = |(Ax, x)H | покажем, что он
достигает максимума на замкнутом единичном шаре B1 (0). Пусть
M = sup f (x).
kxkH =1
180
Рассмотрим функционал f на F n ∩ B1 (0). Поскольку ALn = Ln , то
AF n = F n , поэтому проведенные выше рассуждения приводят к то-
му, что в F n найдется вектор ϕk+1 , который будет собственным для
оператора A, отвечающий собственному значению λk+1 .
Если в результате повторения этой процедуры после конечного
числа шагов мы получим F n0 такое, что f (x) = 0, для всех x ∈ F n0 , то
из леммы 39.2 следует, что подпространство F n0 переводится опера-
тором A в нуль. Следовательно это подпространство состоит из соб-
ственных элементов, соответствующих нулевому собственному зна-
чению. В этом случае искомая система состоит из конечного набора
собственных элементов {ϕ}nk=10
.
Далее будем предполагать, что при всех n функционал f не обра-
щается тождественно в нуль на F n . Следовательно, мы получаем по-
следовательность собственных элементов ϕk , соответствующих соб-
ственным значениям λk 6= 0. Покажем, что эта последовательность
стремится к нулю
λk → 0, k → ∞.
Поскольку ϕk слабо сходится к нулю, как ортонормированная по-
следовательность ибо числа
αk = (x, ϕk )H
являются коэффициентами Фурье, то Aϕk будет сходиться сильно к
нулю и
|λk | = kAϕk kH → 0, k → ∞.
Обозначим
F = H ⊖ L∞ ,
где L∞ подпространство, порожденное системой элементов ϕn . Ес-
ли F = 0, то доказательство завершено. Предположим, что F 6= 0.
Выберем произвольный элемент y ∈ F , y 6= 0, тогда для всех n име-
ем (Ay, y)H ≤ λn kyk2H . В силу стремления λn к нулю получаем, что
(Ay, y)H = 0. Из леммы 39.2 получаем, что Ay = 0, следовательно,
F ⊂ N (A).
Таким образом, для любого x ∈ H имеет место представление
X
x= ck ϕk + ξ,
где ck = (x, ϕk )H и ξ ∈ N (A). При этом имеют место все остальные
утверждения теоремы Гильберта-Шмидта.
181
Глава XI
Операторные уравнения
182
физик отвечает: «Хм, если бы я в этом сомневался, то я бы и не
взялся за решение этой задачи». Впрочем, эта ситуация встречается
и реальности. Но на самом деле, не все актуальные задачи имеют
решения, поскольку факт существования решения зависит не толь-
ко от физики, но и от определения функциональных пространств
X, Y и от определения оператора A. Поэтому доказательство суще-
ствования решения часто указывает «правильные» функциональные
пространства и удачную постановку задачи.
Второй вопрос об единственности решения имеет не меньшее, а в
определенном смысле большее значение. Как мы увидим в дальней-
шем, для линейных задач часто из единственности следует существо-
вание решения. Кроме того, знание, что задача не может иметь бо-
лее одного решения играет принципиальную роль при использовании
численных методов. Как правило, если задача не имеет единствен-
ности, то решение существует с точностью до элемента некоторого
подпространства. В этом случае можно перейти к другой постановке
задачи, в которой уже будет единственность.
Третий вопрос об устойчивости решения относительно изменения
параметров задачи играет важную роль в практическом использова-
нии решений. Действительно, если при сколь угодно малом измене-
нии параметров задачи, решение может существенно измениться, то
такое неустойчивое решение редко можно использовать в приложе-
ниях, не говоря уж о том, что, в этом случае часто затруднены или
становятся невозможными численные методы.
Если для задачи все три вопроса имеют положительные ответы,
то такая задача называется корректной по Адамару. Но следует от-
метить, что ряд задач приводят таки к некорректным задачам, на-
пример, отсутствию устойчивости решений. Для решения этих задач
была построена теория некорректных задач, начиная с классических
работ А.И. Тихонова, которым были предложены методы регуляри-
зации некорректных задач.
Перейдем теперь к точным формулировкам основных понятий,
касающихся разрешимости уравнения (XI.6). Это уравнение называ-
ется однозначно разрешимым на R(A), если N (A) = 0, то есть ядро
оператора A состоит только из нулевого элемента. В этом случае для
каждого y ∈ R(A) существует единственное решение x ∈ D(A).
Далее уравнение (XI.6) называется корректно разрешимым на
множестве R(A), если существует такая константа k > 0, что для
183
всех x ∈ D(A) выполнено неравенство
kxkX ≤ kkAkY .
Если уравнение корректно разрешимо на R(A), то оно и однозначно
разрешимо на R(A). Действительно, для любого u ∈ N (A) имеем
kukX ≤ kkAukY = 0,
следовательно u = 0. Обратное, вообще говоря неверно. В случае,
когда уравнение корректно разрешимо на R(A), то существует огра-
ниченный обратный оператор A−1 на R(A).
Уравнение (XI.6) нормально разрешимо, если R(A) является за-
мкнутым подпространством в Y . Будем говорить, что уравнение плот-
но разрешимо, если R(A) = Y . Наконец, уравнение (XI.6) везде раз-
решимо, если R(A) совпадает со всем Y .
Далее мы будем считать, что оператор A является замкнутым опе-
ратором. У замкнутого оператора ядро является замкнутым подпро-
странством. Если N (A) не является тривиальным подпространством,
но является замкнутым, то можно рассмотреть фактор-пространства.
Введем на множестве X отношение эквивалентности следующим об-
разом
x′ ∼ x′′ ,
если x′ = x′′ + ϕ, где ϕ ∈ N (A). Это означает, что два эквива-
лентных элемента X отличаются только слагаемым из N (A). Вве-
денное отношение порождает классы эквивалентности, множество
которых мы обозначим через X/N (A). Это множество называется
фактор-пространством. Очевидно, что оно является линейным про-
странством, более того в нем можно ввести норму по следующей фор-
муле
kx̃kX/N (A) = inf kx − ϕkX .
ϕ∈N (A)
184
сходится. В случае необходимости всегда можно перейти к подпосле-
довательности x̃nj . Построим теперь последовательность {xn }∞
n=0 в
X следующим образом
xn ∈ x̃n+1 − x̃n ,
и
kx̃n+1 − x̃n kX/N (A) ≥ 2−1 kxn kX ,
что всегда можно сделать по определению нормы в фактор простран-
стве. При этом мы считаем, что x̃0 = 0. В этом случае ряд
∞
X
kxn kX
n=1
Ãx̃ = Ax,
где x ∈ x̃. При этом ядро оператора Ã уже тривиально, то есть со-
стоит только из нулевого элемента. При этом факторизованное урав-
нение
Ãx̃ = y
является однозначно разрешимо. Таким образом, если исходный за-
мкнутый оператор A имеет нетривиальное ядро, то это говорит о
том, что решения соответствующего уравнения имеют единственное
решение с точности до слагаемого из N (A).
185
Установим теперь критерий корректной разрешимости для за-
мкнутых операторов1 .
A∗ y = x,
1
В дальнейшем в этой главе мы всегда будем считать оператор A замкнутым,
если не оговорено обратное.
186
где A∗ : Y ∗ → X ∗ — сопряженный оператор, которую будем называть
двойственной задачей. Для двойственной задачи можно рассматри-
вать понятия однозначной, нормальной и корректной разрешимости.
Рассмотрим что из себя представляет ядро сопряженного опера-
тора A∗ . Пусть y ∈ N (A∗ ), тогда для любого x ∈ D(A) имеем
Y = R(A) ⊕ N (A∗ ).
Tu = f
187
разрешимо для тех и только тех правых частей f ∈ H, которые
ортогональны каждому решению сопряженного однородного уравне-
ния
T ∗ u0 = 0,
то есть (f, u0 )H = 0.
yn = T xn = xn − Axn . (XI.2)
188
содержит сходящуюся подпоследовательность. Без ограничения общ-
ности, можно считать сходящейся последовательность Axn , и тогда
из (XI.2) следует, что сходится и xn к x, при этом T x = y. Этим
доказывается замкнутость образа R(A).
Лемма 41.2. Имеют место следующие разложения
и
H = N (A∗ ) ⊕ R(A). (XI.4)
Доказательство. Ядро оператора N (A) замкнуто, а по лемме 41.1
замкнутым является и образ R(A) (и R(A∗ )). Покажем что множе-
ства N (A) и R(A∗ ) ортогональны. Для любых x ∈ N (A) и z ∈ R(A∗ )
имеем
(x, z)H = (x, A∗ y)H = (Ax, y)H = 0.
Теперь покажем, что если некоторый элемент z ∈ H одновременно
ортогонален N (A) и R(A∗ ), то z = 0. Если вектор z ортогонален
R(A∗ ), то для любого x ∈ H имеем
H ⊃ H1 ⊃ H2 ⊃ . . . , (XI.5)
189
Поскольку xm + T xk − T xm ∈ H k+1 , то
kAxm − Axk kH ≥ 1.
190
Рассматриваемый нами метод будет относиться к большому се-
мейству проекционных методов, состоящих в том, что исходное бес-
конечномерное гильбертово пространство аппроксимируется после-
довательностью конечномерных пространств, и тем самым исходное
операторное уравнение приближается последовательностью конеч-
ных систем линейных уравнений.
Будем рассматривать следующую постановку задачи. Пусть H —
бесконечномерное, сепарабельное вещественное пространство. В этом
пространстве рассмотрим самосопряженный, вообще говоря, неогра-
ниченный оператор
A : D(A) ⊂ H → H
с областью определения D(A), которая является плотной в H. Будем
рассматривать задачу
Au = f, (XI.6)
где элемент f ∈ H является известным, а u — искомое решение.
Пусть оператор A является также положительным, то есть для
всех u ∈ D(A) имеет место неравенство
191
Рассмотрим линейный2 функционал (f, u)H на пространстве V и
покажем, что он ограничен
Действительно,
(u − v, u − v)V − (v, v)V = (u, u)V − (u, v)V − (v, u)V + (v, v)V − (v, v)V =
Следовательно, kv ′ − vk2V = 0 и v ′ = v.
Элемент u ∈ V , на котором достигается минимум функционала
F будем называть обобщенным решением задачи (XI.6). Обобщенное
решение, вообще говоря, не является решением3 задачи (XI.6).
192
Доказательство. Пусть v ∈ D(A) — обобщенное решение. Тогда для
любого u ∈ V имеет место
или
(Av − f, u)H = 0.
Поскольку по построению пространство V плотно в H, то из послед-
него соотношения получаем
Av = f,
или
(v, u)V = (f, u)H .
193
{ϕk } ⊂ V , что эти элементы линейно независимые, а вся система
всюду плотна в V (и, соответственно, в H). Для любого N > 0 через
H N обозначим конечномерное пространство, натянутое на множество
ϕ1 , . . . , ϕN .
Для фиксированного N приближенное решение будем искать в
виде
N
X
N
u = c k ϕk ,
k=1
Тогда имеем
N
2 N
!
X
X
F (c1 , c2 , . . . , cN ) =
ck ϕk
− 2 f, c k ϕk .
k=1 V k=1 H
AN c N = f N , (XI.9)
194
она является и положительно определенной. Возьмем произвольный
ненулевой вектор ξ ∈ H N . Имеем
N
N
2
N
2
X
X
X
N 2
(A ξ, ξ)RN = aij ξi ξj =
ξ k ϕk
≤ a
ξk ϕk
> 0.
i,j=1 k=1 V k=1 H
Положительно определенная матрица невырожденная, поэтому су-
ществует единственное решение системы (XI.9) и мы можем одно-
значно определить приближенное решение по формуле
N
X
N
u = c k ϕk .
k=1
195
Литература
[1] Балакришнан А.В. Прикладной функциональный анализ. М.:
Наука, 1980.
196
[15] Рисс Ф., Секефальви-Надь Б. Лекции по функциональному
анализу. М.: Мир, 1979.
197