FA1-2007
.pdfФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Федеральное государственное образовательное учреждение высшего профессионального образования
¾ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ¿
Сазонов Л. И.
ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ ДЛЯ ПРИКЛАДНЫХ МАТЕМАТИКОВ
Учебное пособие Часть 1
ЛИНЕЙНЫЕ НОРМИРОВАННЫЕ ПРОСТРАНСТВА
Ростов-на-Дону
2007
2
ПРЕДИСЛОВИЕ
Функциональный анализ возник на рубеже 19-го и 20-го столетий в трудах Гильберта (теория операторов в бесконечномерных евклидовых пространствах), Фреше, Хаусдорфа (теория топологических и метрических пространств), Фредгольма (теория интегральных уравнений), Лебега (теория интеграла и меры), Рисса, Банаха (теория линейных нормированных пространств) и др.
Для функциональнного анализа характерен общий абстрактный подход, при котором исследуются не отдельные функции и уравнения, а различные пространства и операторы в этих пространствах. Этот подход позволил с единой точки зрения рассматривать, например, вопросы решения дифференциальных и интегральных уравнений, граничных задач для уравнений в частных производных, бесконечных систем уравнений. В настоящее время общепризнана объединяющая роль функционального анализа. Его язык, идеи и методы используются в теории дифференциальных уравнений и математической физике, в теории численных методов, в математической экономике, в теории управления и других теоретических и прикладных дисциплинах.
Сегодня имеется большое количество первоклассных учебников и монографий по функциональному анализу. Но их объем далеко превосходит возможности семестрового лекционного курса. Поэтому возникает необходимость в учебном пособии в объеме лекционного курса, которое являлось бы в определенной мере логически завершенным введением в предмет. Именно такую цель ставил автор при написании данного пособия.
Его содержание кратко можно охарактеризовать как введение в теорию линейных ограниченных операторов в банаховых пространствах. Оно базируется на курсе "Функциональный анализ", читаемого автором на механи- ко-математическом факультете Южного федерального университета.
Глава 1
МЕТРИЧЕСКИЕ ПРОСТРАНСТВА
1.1OСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ПРИМЕРЫ
Понятие метрического пространства является обобщением трехмерного евклидового пространства. Более точно, обобщается возможность измерять расстояние между точками. В функциональном анализе принят аксиоматический подход. Поэтому свойства расстояния в обычном трехмерном евклидовом пространстве формализуются в виде аксиом метрики.
Аксиомы метрики
Пусть X – множество элементов fx; y; z; :::g. Метрикой на X называется функция ½ : X £ X ! R, удовлетворяющая следующим аксиомам:
1.аксиома тождества
½(x; y) ¸ 0 для всех x; y из X, причем ½(x; y) = 0 тогда и только тогда, когда x = y;
2.аксиома симметрии
½(x; y) = ½(y; x) для всех x; y из X;
3.неравенство треугольника
½(x; z) · ½(x; y) + ½(y; z) для всех x; y; z из X.
Элементы множества X обычно называют точками. Тогда ½(x; y) – есть расстояние между точками x и y.
Определение. Метрическим пространством будем называть пару (X; ½), где X – некоторое множество, а ½ – метрика на этом множестве.
3
4 |
Глава 1. МЕТРИЧЕСКИЕ ПРОСТРАНСТВА |
Любое множество можно рассматривать как метрическое пространство, определив метрику, полагая, например, ½(x; x) = 0 и ½(x; y) = 1 при x =6 y. Правда, такое введение метрики малосодержательно, так как все такие пространства будут отличаться лишь мощностью соответствующих множеств. Очевидно, что на данном множестве можно рассматривать различные метрики и в этом случае мы получаем различные метрические пространства.
Первые примеры метрических пространств
1.Вещественная прямая R с метрикой ½(x; y) = jx ¡ yj.
2.Вещественное линейное пространство Rn с метрикой
|
|
n |
|
|
X |
|
½1(x; y) = |
jxm ¡ ymj: |
|
|
m=1 |
3. |
Вещественное линейное пространство Rn с метрикой |
|
|
½1(x; y) = |
sup jxm ¡ ymj: |
|
1·m·n |
|
4. |
Множество C[a; b] всех непрерывных функций на конечном отрезке |
|
|
[a; b] с метрикой |
|
½(x; y) = max jx(t) ¡ y(t)j:
t2[a;b]
Проверка аксиом в данных случаях тривиальна и предоставляется читателю.
Неравенства Гельдера и Минковского
Для рассмотрения дальнейших примеров нам понадобятся два важных неравенства – неравенства Гельдера и Минковского. Имеются варианты этих неравенств для конечных последовательностей чисел, для числовых рядов и для функций. Наиболее общей является формулировка для функций. Остальные получаются из нее в качестве следствий.
Лемма 1.1.1 (неравенство Гельдера)
Пусть 1 < p ; q < 1, причем 1=p + 1=q = 1 (такие числа называют сопряженными показателями). Тогда для измеримых по Лебегу функций
1.1. OСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ПРИМЕРЫ |
|
|
|
|
5 |
|||||||
f; g справедливо неравенство |
|
|
f(t) p dt91=p 8 |
|
g(t) q dt91=q |
|
||||||
¯ |
b f(t)g(t) dt¯ |
|
8 |
Z |
b |
b |
; |
|||||
¯Z |
¯ |
· |
|
j |
j |
= |
Z |
j |
j |
= |
|
|
¯a |
¯ |
|
<a |
|
|
<a |
|
|
|
|||
¯ |
¯ |
|
|
|
|
|
|
|
|
|
|
|
¯ |
¯ |
|
: |
|
|
|
; |
: |
|
|
; |
|
¯ |
¯ |
|
|
|
|
|
|
|
причем интегралы понимаются в смысле Лебега и из сходимости интегралов справа следует сходимость интеграла слева.
Если p = 1; q = 1, то
|
¯Z |
|
¯ |
· Z |
j |
j |
|
|
j |
j |
|
¯ |
b |
f(t)g(t) dt¯ |
a |
b |
f(t) |
dt |
(ess sup |
|
g(t) ) ; |
|
¯a |
|
¯ |
|
|
|
|
|
|
|
где |
¯ |
|
¯ |
|
|
|
|
|
|
|
¯ |
|
¯ |
|
|
|
|
|
|
|
|
|
¯ |
|
¯ |
|
|
|
|
|
|
|
g t |
|
inf |
sup g(t) |
; |
|
ess sup j ( )j = |
f |
e: mes e=0 |
j |
j |
|
|
|
g [a;b]ne |
|
|
причем из конечности правой части следует сходимость интеграла слева.
Доказательство. Предварительно установим числовое неравенство: для a; b ¸ 0 верно ab · ap=p + bq=q.
Для этого заметим, что функция s(x) = xp=p + 1=q ¡ x убывает при 0 < x < 1, возрастает при x > 1 и s(1) = 0. Поэтому выполняется неравенство s(x) ¸ 0. Полагая в нем x = a=bq¡1 и умножая на bq, получаем нужное
неравенство. |
|
|
|
|
|
|
|
Введем функции |
|
|
|
|
|
|
|
®(t) = |
|
jf(t)j |
; ¯(t) = |
|
jg(t)j |
: |
|
(ab |
jf(t)jp dt)1=p |
(ab |
jg(t)jq dt)1=q |
||||
|
|
|
|||||
|
R |
|
|
R |
|
|
Интегрируя неравенство
®(t)¯(t) · ®p(t)=p + ¯q(t)=q;
получаем
Zb
®(t)¯(t) dt · 1;
a
6 |
Глава 1. МЕТРИЧЕСКИЕ ПРОСТРАНСТВА |
что и приводит к нужному неравенству Гельдера. Случай p = 1; q = 1 очевиден.¥
Лемма 1.1.2 (неравенство Минковского)
Пусть 1 · p < 1. Тогда справедливо неравенство
8Zb jf(t) + g(t)jp dt91=p |
· |
8Zb jf(t)jp dt91=p |
+ |
8Zb |
||
<a |
= |
|
<a |
= |
|
<a |
: |
; |
|
: |
; |
|
: |
|
g(t) |
p dt91=p |
; |
j |
j |
= |
|
|
|
; |
|
причем из сходимости интегралов справа следует сходимость интеграла слева.
Доказательство. Рассмотрим очевидное неравенство
Zb Zb Zb
jf(t) + g(t)jp dt · jf(t) + g(t)jp¡1jf(t)j dt + jf(t) + g(t)jp¡1jg(t)j dt:
a a a
Учитывая, что (p ¡ 1)q = p, и применяя к интегралам в правой части неравенство Гельдера, приходим к неравенству
· 08Zb jf(t)jp dt91=p |
|
Za b jf(t) + g(t)jp dt · |
|
|
|||||
+ |
8Zb jg(t)jp dt91=p18Zb jf(t) + g(t)jp dt91=q |
; |
|||||||
B<a |
= <a |
= |
C<a |
= |
|
||||
@ |
: |
; |
|
: |
; |
A |
: |
; |
|
|
|
|
|
||||||
из которого очевидным образом следует неравенство Минковского.¥ |
|
||||||||
Упражнение. Вывести для рядов неравенства Гельдера |
|
|
|||||||
|
|
¯ 1 fngn¯ |
· ( 1 |
jfnjp)1=p ( 1 jgnjq)1=q |
|
|
|||
|
|
¯X |
¯ |
X |
|
X |
|
|
|
|
|
¯ |
¯ |
|
|
|
|
|
|
|
|
¯n=1 |
¯ |
n=1 |
|
n=1 |
|
|
|
и Минковского |
¯ |
¯ |
|
|
|
|
|
|
( 1 |
jfn + gnjp)1=p · |
( 1 |
jfnjp)1=p + |
( 1 |
jgnjp)1=p : |
X |
|
X |
|
X |
|
n=1 |
|
n=1 |
|
n=1 |
|
1.1. OСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ПРИМЕРЫ |
7 |
Дальнейшие примеры метрических пространств 1. Метрики на Rn. Формула
½p(x; y) = |
( n |
jxk ¡ ykjp)1=p |
|
Xk |
|
|
=1 |
|
при 1 · p < 1 определяет метрику на Rn.
Неравенство треугольника следует из неравенства Минковского (достаточно положить fk = xk ¡ zk; gk = zk ¡ yk:)
Упражнение. Доказать, что метрики ½p ; 1 · p · 1 на Rn эквивалентны в смысле следующего определения:
метрики d1; d2 на множестве X называются эквивалентными, если существуют такие константы c1; c2 > 0, что для всех x; y выполняются неравенство
c1d1(x; y) · d2(x; y) · c2d1(x; y):
2. Пространства последовательностей
Обозначим через lp ; 1 · p < 1 – множество всех числовых последовательностей (бесконечных векторов) таких, что сходится ряд P1 jxkjp < 1.
Метрика определяется формулой |
k=1 |
|
|
||
½p(x; y) = |
( 1 |
jxk ¡ ykjp)1=p : |
|
Xk |
|
|
=1 |
|
В случае p = 1 определяем l1 как множество всех ограниченных последовательностей с метрикой
½1(x; y) = sup jxk ¡ ykj:
k
Упражнение. Показать, что все введенные метрики определены на l1, но не являются попарно эквивалентными.
3. Функциональные пространства Лебега
8 |
Глава 1. МЕТРИЧЕСКИЕ ПРОСТРАНСТВА |
Обозначим через Lp(a; b); 1 · p < 1 – множество всех измеримых по
Лебегу функций на (a; b) с конечным интегралом Rb jf(t)jp dt < 1, который
a
понимается в смысле Лебега. Метрика определяется формулой
½p(f; g) · |
8Zb jf(t) ¡ g(t)jp dt91=p |
: |
|
|
<a |
= |
|
|
: |
; |
|
Отметим, что равенство ½p(f; g) = 0 выполняется тогда и только тогда, когда f(t) = g(t) почти всюду. Поэтому для выполнения аксиомы тождества следует считать элементами пространства Lp(a; b) классы эквивалентных (т.е. совпадающих почти всюду) функций, а расстояние между классами определяется как расстояние между любыми представителями этих классов.
В случае p = 1 пространство L1(a; b) определяется как множество классов эквивалентных функций, для которых ess sup jf(t)j < 1, а метрика определяется соотношением
½1(f; g) = ess sup jf(t) ¡ g(t)j:
Упражнение. Показать, что неравенство Минковского справедливо для измеримых функций на пространстве с мерой, и определить функциональные пространства Лебега на пространствах с мерой.
Сходимость
Пусть задано метрическое пространство (X; ½): Наличие метрики позволяет ввести понятие сходимости.
Определение. Будем говорить, что последовательность элементов xn 2 X сходится к элементу x 2 X в метрике ½ при n ! 1, если
lim ½(xn; x) = 0:
n!1
Обычно пишут x = lim xn, если нужно указать в какой метрике понимает-
n!1
½
ся сходимость, то используют запись x = lim xn. Мы будем использовать
n!1
также запись xn ! x без указания, что n ! 1:
1.1. OСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ПРИМЕРЫ |
9 |
Понятие сходимости в метрическом пространстве – естественное обобщение понятия сходимости числовой последовательности. С другой стороны – второе понятие является частным случаем первого, как сходимость в метрическом пространстве R.
Сформулируем несколько простых утверждений относительно сходимости.
1. Единственность предела. Последовательность не может иметь более одного предела.
Доказательство. От противного. Пусть xn ! x и xn ! y. Из неравенства треугольника следует, что
½(x; y) · ½(x; xn) + ½(xn; y):
Переходя к пределу, получим, что ½(x; y) = 0. Вследствие аксиомы тождества x = y.¥
2.Если xn ! x, то ее подпоследовательность также сходится к x.
3.Непрерывность метрики. Если xn ! x; yn ! y, то ½(xn; yn) ! ½(x; y):
Доказательство. Имеем
j½(xn; yn) ¡ ½(x; y)j · j½(xn; yn) ¡ ½(xn; y)j + j½(xn; y) ¡ ½(x; y)j:
Далее ввиду неравенства
j½(x; y) ¡ ½(z; y)j · ½(x; z);
эквивалентного неравенству треугольника (докажите), получаем j½(xn; yn) ¡ ½(x; y)j · ½(y; yn) + ½(xn; x) ! 0
при n ! 1. ¥
Пример. Смысл сходимости в C[0; 1].
Пусть xn ! x в метрике пространства C[0; 1]. Это означает, что
½(xn; x) = max jxn(t) ¡ x(t)j ! 0
t2[0;1]
10 |
Глава 1. МЕТРИЧЕСКИЕ ПРОСТРАНСТВА |
при n ! 1. Таким образом, сходимость в пространстве непрерывных функций является равномерной сходимостью.
Упражнение. На множестве всех m - раз непрерывно дифференцируемых функций Cm[0; 1] ввести метрику так, чтобы сходимость в этой метрике совпадала с равномерной сходимостью последовательностей функций и их производных до порядка m включительно. Рассмотреть аналогичный вопрос для множества всех бесконечно дифференцируемых функций
C1[0; 1].
Открытые и замкнутые множества
Введем ряд важных для дальнейшего понятий. Пусть задано метрическое пространство (X; ½).
Определение. Шаром S(x0; r) ( замкнутым шаром S(x0; r) ) с центром в точке x0 радиуса r называется множество
S(x0; r) = fx 2 X; ½(x; x0) < rg (S(x0; r) = fx 2 X; ½(x; x0) · rg):
Определение. Точку a будем называть предельной точкой множества M, если существует такая последовательность fxng точек множества M, что xn =6 a и xn ! a.
Упражнение. Точка a – предельная точка множества M тогда и только тогда, когда для любого r > 0 M \ (S(a; r) n fag) =6 ®:
Определение. Замыканием множества M будем называть множество, полученное добавлением к M всех его предельных точек. Замыкание множества M обозначается следующим образом: M.
Определение. Множество называется замкнутым, если оно совпадает со своим замыканием.
Упражнение. Доказать, что замыкание любого множества является замкнутым множеством.
Определение. Множество U называется открытым, если его дополнение X n U замкнутое множество.