- •Теория функций действительной переменной
- •Теория функций действительной переменной
- •П 2. Разделы тфвп
- •1. Литература для математиков-теоретиков научного направления. Содержит больше материала, чем наша программа предусматривает:
- •2. Литература для математиков-теоретиков педагогического направления. Содержит практически весь нужный материал и другие вопросы:
- •3. Сборники задач:
- •Раздел 1. Дескриптивная теория функций.
- •Глава 1. Элементы общей теории множеств.
- •§ 1. Множества, подмножества
- •§ 2. Действия над множествами
- •III. Разность множеств
- •IV. Дополнение к множеству
- •§ 3. Мощность множества
- •§ 4. Сравнение мощностей
- •§ 5. Счетные множества
- •1) Из каждого бесконечного множества можно выделить счетное подмножество, причем так, что останется бесконечное множество. Доказательство
- •4) Объединение конечного числа счетных множеств счетно. Доказательство
- •5) Объединение счетного дизъюнктного семейства конечных множеств счетно. Доказательство
- •§ 6. Мощность континуума
- •8O Если элементы множества определяются конечным или счетным количеством индексов, каждый из которых независимо от других принимает c значений, то это множество имеет мощность c. Следствие
- •9O Объединение континуального дизъюнктного семейства множеств мощности c есть множество мощности c . Доказательство
- •§ 7. Функциональная мощность
- •§ 8. Упорядоченные множества
- •§ 9. Вполне упорядоченные множества Определение
- •§ 10. Трансфинитные числа
- •§ 11. Континуум - гипотеза
- •Глава 2. Множества в пространстве Rn
- •§1. Метрические пространства
- •§2. Специальные точки множеств
- •§3. Открытые множества
- •40. Ш (x0, r) есть открытое множество.
- •§4. Замкнутые множества
- •0 С f с Rn. Vx0 е g. Точка X не может быть точкой
- •0 С g с Rn . Пусть x0 - любая точка прикосновения f,
- •30 . Пересечение произвольного непустого и объединение конечного семейств замкнутых множеств замкнуты.
- •1. Существует бесконечное множество номеров /
- •X е (X j y)' имеем (X j y)' с X' j y. /
- •§5. Структура откры1ты1х и замкнутыых множеств на прямой
- •§6. Множества на плоскости, в пространстве и в Rn
- •Глава 3. Функции вещественных переменных
- •§1. Непрерывность функций
- •§2. Непрерывные функции на замкнутых множествах
- •§3. Точки разрыва
- •2. Если не существует хотя бы одного из односторонних пределов, то это точка разрыва 2-го рода.
- •§4. Последовательности функций
- •§5. Классификация Бэра
- •§6. Функции ограниченной вариации
- •20. Функция класса Липшица (r. Lipschitz) есть фов. ► "(t),
- •60. Разность фов есть фов. Аналогично 50.
- •70. Произведение фов есть фов.
- •2. Достаточность
- •1. Необходимость.
- •Раздел 2. Метрическая теория функций
- •Глава 1. Измеримые множества § 1. Движения в пространстве Rn
- •§ 2. Проблемы построения меры
- •§ 3. Мера Жордана
- •2. Канторово множество f0.
- •4°. Конечная аддитивность меры Жордана. Если
- •§ 4. Построение меры Лебега
- •§ 5. Мера открытых множеств
- •§ 6. Мера замкнутых множеств
- •§ 7. Внутренняя и внешняя меры
- •§ 8. Измеримость множеств
- •§ 9. Класс измеримых множеств
- •§ 10. Сходимость почти всюду
- •§ 11. Мера Лебега в пространстве Rn
- •§ 12. Связь мер Жордана и Лебега
- •§ 13. Мера абстрактных множеств
- •5. Найти меру Лебега множества
- •§ 1. Измеримость функции
- •60. Если f измеримы на X, то измеримыми будут такие
- •§ 2. Последовательности измеримых функций Теорема 1
- •§ 3. Структура измеримых функций
- •2. F( X) не ограничена. По теореме 1 построим
- •Глава 3. Интеграл
- •§ 1. Интеграл Римана
- •1. Необходимость
- •2. Достаточность
- •1. Необходимость
- •§ 2. Интеграл Стилтьеса
- •§ 3. Интеграл Лебега
- •§ 4. Сравнение интегралов Римана и Лебега
- •§ 6. Обобщенный интеграл Лебега от функций произвольных знаков
- •10. Суммируемая функция почти всюду конечна.
- •20. На множестве меры нуль суммируема любая функция и интеграл равен нулю.
- •3 Lim Sr(t) - c(b- a) - (r)Jcdx.
- •5. Вычислить (l)j f (X)dx, f (X)
- •8. Суммируема ли на (-1,8), f (X) - dx
- •(0,1)Глава 4. Пространства суммируемых функций
- •§ 1. Линейные пространства
- •§ 2. Нормированные линейные пространства
- •III. Пространства последовательностей 1. Ограниченных последовательностей, m или .
- •§ 3. Эвклидовы и унитарные пространства
- •X становится линейным нормированным пространством. Примеры
- •§ 4. Гильбертовы пространства
- •§ 5. Пространство суммируемых функций l (х)
- •If (X )e l ( х), le r, то l ( х) есть вещественное линейное
- •§ 6. Пространство функций с суммируемым квадратом
- •§ 7. Пространства функций, суммируемых с данной
- •X X у Имеем требуемое неравенство. Теорема доказана.
- •§ 8. Пространства последовательностей 1 p
- •§ 9. Пространства l2( X) и 12
- •1 В пространство
- •Теория функций действительной переменной конспект лекций
- •4 Достаточность
§ 2. Нормированные линейные пространства
Нормированным линейным пространством называется вещественное или комплексное линейное пространство, на котором задана норма, т. е. функция ||х||:Хг ® R,
удовлетворяющая аксиомам: Н1. Неотрицательность:
"xе X [|| x|| > 0 ]. Н2. Отделимость:
||x|| = 0 ^ x=q.
Н3. Абсолютная однородность: "xе X"Ле P[\\1x\\ = |1|Jx\\]. Н4. Субаддитивность (неравенство треугольника):
"x, Jе X[||x + j|| < \\x\\ j||].
202
Функция р( x, y ) = ||x - y|| является метрикой на X, поэтому нормированное линейное является метрическим линейным пространством. Отсюда следует, что в нормированных линейных пространствах имеют место понятия и результаты, касающиеся окрестностей, специальных точек множеств, открытых и замкнутых множеств, сходимости, непрерывности и т. п. Как и в общих метрических, в линейных нормированных пространствах сходимость по данной норме дает единственный предел. Может иметь место сравнимость сходимостей: сильнее - слабее. Рассматриваются также полные по данной норме пространства, которые называются банаховыми в честь С. Банаха. Как и метрика, норма является непрерывной функцией:
xn — ^ x0 ^ 11 xn II HI x0 II .
В нормированных линейных пространствах на ряду со сходимостью по данной норме также рассматривается так называемая слабая сходимость:
xn xo::= l (xn)—l (xo )"lе X' xo.
Здесь l означает непрерывный линейный функционал на X, а X' - множество всех таких l топологически сопряженное к X пространство. Сходимость по норме также называется сильной сходимостью. Всегда из сильной следует слабая сходимость. Аналогично метрическим пространством, задавая на линейном пространстве различные нормы, мы получаем различные нормированные линейные пространства.
Примеры
I. X = Rn, x =( xb x2,..., xn ).
|| x|| = max | xk |. Это пространство обозначается R,
k=1+n
банахово. Другое обозначение: mn.
n
II x|| = £| xk |Обозначение: Rn, банахово.
k=1
f n Л2
3. ||x|| = I £ Xt Это En, или R2, банахово.
V k=1 J
II. X = C [ a, b ]
II x(t)|| = max | x(t) | Обозначение: C[ a, b], банахово.
fe[a,b]
b
|| x( t)|| = (R) J| x(t) \dt. Обозначение: CL[a, b], Qa, b]
(R)Jx2(t)dt.
Обозначение:
CE[a,
b], C2[a,
b]
3.
II
x(t)||
= V
Неполно по этой норме.
III. Пространства последовательностей 1. Ограниченных последовательностей, m или .
I Х|| = sup | xk \.
keN
Сходящихся последовательностей, c. Норма, как в m.
Сходящихся к нулю, c0. Норма, как в m .
§ 3. Эвклидовы и унитарные пространства
Специальным классом линейных пространств являются пространства со скалярным умножением, позволяющие перенести на общий случай линейных пространств некоторые геометрические понятия и результаты.
Скалярным произведением на линейном пространстве X называется функция X2 ® R(C),(a, b) ® ab e R(C),
удовлетворяющая аксиомам:
СУ1. Инволютивность
.
"a, b e х [ ba - ab ] .
СУ2. Левая аддитивность.
"a1, a2, be х[(a1 + a2)b - a1b + a2b].
СУ3. Левая однородность.
"a e R(C)"a, b e х^^ - a(ab)].
Число ab e R называется скалярным произведением векторов a, b e R. a • a называется скалярным квадратом и
обозначается
a2.
Если "a
Ф
в
^
a2
Ф
0, то скалярное умножение называется
невырожденным. Если "a
Ф
0
^
a2
>
0, то скалярное умножение называется
положительно определенным. Вещественное
линейное пространство с положительно
определенным скалярным умножением
называется эвклидовым пространством,
комплексное - унитарным пространством.
Примеры эвклидовых пространств
Геометрические пространства, D2, D3.
a • b -11 a || || b ||cos(a, b).
Rn, a - (a1,a2,...,an), b - (Д,А,...,А,),
ab -ab+a2p2 +... + anb
C [ a, b].
b
x (f) j (t)-(R) j x(f) j<f)df.
a
Примером
унитарного пространства является
Cn
со
скалярным произведением
ab
-
a1b1
+
a2fi2
+...
+
anfin.
В частности,
a2
-
a1a1
+
a2a2
+...
+
anan.
Простейшие свойства эвклидовых пространств
"a е X[ a
6=6a =66= 0].ab =
6"a е X ^ b =6.Правая аддитивность:
"a1, b1, b2 е X [ a (b + b2) = at\ + ab2 ].
Правая однородность:
"a,bе
X"bе
R[a(bb)
=
b(ab)].
Дистрибутивность для разностей:
"a, b, се X[( a - b) с = ac- bc a a(b - c) = ab - ac].
Свойства унитарных пространств аналогичны эвклидовым, кроме свойств, связанных с умножением второго вектора на число:
су1
a
(bb)
=
(bb)a
=
bba
=
b
•
ba
=
bab
и
т. д.
Важной отличительной особенностью эвклидовых и унитарных пространств является рассмотрение ортогональности векторов, являющейся обобщением геометрической перпендикулярности: a 1 b :: = ab = 0.
Примеры
D2, D3 a 1 b a ^ b) = 90°.
Rn, a 1 b ^ a1b1 + a2b2 +... + a„b„ = 0.
C„, a 1 b ^ a1b1 +
a2b2+... + a„b„ = 0 .
b
C[ a, b], x( t )1 j( t)«( R) j x( t) j( t) dt = 0.
a
Свойства ортогональности
a 1 b ^ b 1 a.
a 1 b "a е X ^ b = 6.
a 1 a ^ a = 6.
a 1 b ^ aa 1 bb.
5. a 1 bk, k = 1 + m ^ a 1ДА+ДЬ + ... + fimbm. Пусть S = { ak}keI - не более чем счетное множество векторов. Если k Ф j ^ ak 1 aj, то S :: = ортогональная. Известно, что ортогональная система ненулевых векторов линейно независима. Линейно независимое множество векторов можно ортогонализовать процессом ортогонализации Грамма - Шмидта.
Пусть S = { ak }keI линейно независима. Необходимо
построить по S систему T = { bk }keI ортогональную. Принимаем
1 1 a2b a3b a3b2 b = a1 . b2 = a2 b ' b3 = a3 " -jjT b b2" Ъ2 и т. д.
Если dim X < IC0, то ортогонализовав Bas X, получим
ортогональный Bas1X. a 1 S означает a 1 b, "b e S. S1 1 S2 ^ a 1 b"a e S1, "b e S2.
В эвклидовых и унитарных пространствах выполняется важное неравенство.
Теорема 1 (Неравенство Коши - Буняковского - Шварца)
" a, b e X [| ab\ <y[a2yfb2 ] .
Доказательство 1
При b = в, ab = ad = 0, 4b2 = sfd2 =40 = 0,
VO^Vb2 = 0, 0 = 0.
b Ф 0. Рассмотрим скалярный квадрат
(а -lb)2 > 0,"ie R(C).
(а - lb)2 - (а - 1b)(a - lb) = aa - a(ib) - (lb)a + (1b)(1b) =
= a2 - lab -lab + lib2 > 0. ab
Положим
I
=
— (при
b
Фв^
b2
>
0 ), b2
a2 - ab - a~b + lib2 > 0. b2 b2
Умножим
на b2
>
0
11
=|
112
=
^.
Имеем:
a2b2 - (ab)(ab) - (ab)(ab)+ | ab |2 = a2b2 - | ab |2 - | ab |2 + | ab |2 = = a2b2 - | ab |2 > 0 ab |2 < a2b2.
Поскольку обе части неотрицательны, то | ab |< .
Теорема доказана.
Наличие положительно определенного скалярного произведения позволяет ввести норму.
Теорема 2
Функция V (a) = "[а2 есть норма на X.
Доказательство
Проверим выполнение аксиом нормы.
Неотрицательность. V(a) = +V02 > 0 "a е X.
Отделимость. V(6>) = л/в2 = V0 = 0 .
(a ) = 0 ^VO2 = 0 ^ a2 = 0 => a = в.
Абсолютная однородность.
V(la)
=
V(la)2
=
V(1a)(1a)
=
V(11)a2
=
V1112
a2
=
=|
11
уШ2
=|
11
V(a).
Субаддитивность.
V(a + b) = V(a + b)2, V(a) + V(b) = Va2 + Эти числа
неотрицательны.
Сравним квадраты.
2(a + b) = (a + b)2 = (a + b)(a + b) = a2 + ab + bc + b2 = = a2 + ab + ab + b2.
Если
ab
=
a
+
fii,
то ab
=
a
-
fii.
ab + ab = 2a е R
.
(V(a)+V(b))2=(ja)2 = a2+b2+27a7 vb2.
2a < 2yl a2 + b2 = 2 | ab |. По теореме 1: 2 | ab |<
Тогда V2(a + b) < (V(a) + V(b))2 ^ V(a + b) < V(a) + V(b). Теорема доказана.
Эта норма называется эвклидовой.