- •Теория функций действительной переменной
- •Теория функций действительной переменной
- •П 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 Достаточность
§6. Множества на плоскости, в пространстве и в Rn
Поговорим немного о структуре открытых и замкнутых множеств в пространстве Rn, n > 1.
Теорема 1
Каждое открытое непустое ограниченное множество на плоскости есть объединение не более чем счетного семейства замкнутых прямоугольников без общих внутренних точек попарно.
► Выберем на плоскости прямоугольную систему координат xOy , проведем сетку прямых, параллельных осям, через 1
единицу масштаба. Эту сетку обозначим как Sl. Далее проводим прямые через 1 единицы, получаем сетку S2 и т. д. Сетка Sn
образована квадратами со стороны -1. Четыре квадрата сетки
Sk+1 составляют один квадрат сетки Sk .
Пусть G - данное непустое открытое ограниченное множество. Обозначим через F1 замкнутое множество, состоящее из всех квадратов сетки S1 , целиком входящих в G .
G з F1. Далее F2 - замкнутое множество, получающееся из F1 присоединением тех квадратов сетки S2 , которые входят в G, но не вошли в F1. Продолжим этот процесс. Обозначим
A = j Fn. Покажем, что A = G. A с G, очевидно, что
n=1 n
"n е N ^ Fn с G. Установим, что G с A. Пусть x0 е G - любая. Тогда существует последовательность квадратов (Kn )neN, стягивающаяся к точке x0. Так как G открыто, то x0 входит в G вместе с некоторой e -окрестностью. Начиная с n = n0 и далее, квадраты Kn входят в эту окрестность, а значит,
71
ив G. Пусть K - квадрат с наименьшим номером из
вошедших в G . Он входит в Fng (либо как квадрат сетки S , либо как часть квадрата сетки с меньшим номером). Значит, K с A ^ хп е A и G с A.
? "о 0
В итоге G = A . Семейство {Fn} счетно, ибо при конечном
m
количестве U Fn замкнуто ◄ .
n=1
Указанное разложение G = U F неоднозначно.
n=1
Этот результат можно, очевидно, обобщить на пространство
Rn.
Представление будет через n - мерные гиперкубы (см.[10], с. 114-116). Эти результаты, очевидно, есть обобщение теоремы 5 §4. Можно обобщить и теорему 5.
Теорема 2
Каждое непустое открытое множество G с R" есть объединение не более чем счетного семейства открытых гипершаров.
Обозначим гипершар с центром в т. хе R" и радиусом r
oo
через Ш(х0; г) . Ш(х0; г) = { х е R" : pE(х, хо) < г} . Рассмотрим два случая.
¥ o
G = R". Тогда G = U Ш(0; m).
m=1
o
G Ф R". В этом случае среди всех Ш(х; k), где хе G и
o
Ш(X; г) с G всегда имеется гипершар тах радиуса. Докажем это. Обозначим D = {г > 0: Ш(х z) с g}. D Ф0, т. к.
G открыто и такие гипершары имеются. G Ф Rn, поэтому D ограничено сверху. По принципу Вайерштрасса (см. курс
o
матанализа), 3r0 = sup D. Покажем, что Ш(x, z) с G. Это будет искомый гипершар.
o
Возьмем произвольно yе Ш(x г), т. е. pE (y, x) < г0.
o
o
o
Поскольку yе Ш(x,г), то yе G и Ш(x,r0) с G.
Далее обозначим GQ множество всех рациональных точек множества G . Оно непусто, поэтому счетно. Перенумеруем его:
o
x1, x2,..., xm,... "xm существует гипершар Шm max радиуса с центром в точке xm , содержащейся в G .
Покажем, что G = J Шm . Очевидно, J Шm с G.
m=1 m=1
¥ o
Покажем, что G с J Шm . Произвольно возьмем y е G, тогда
o
Ш( y, e) с G при определенном e> 0 . Подберем рациональную
e
точку x е Rn так, чтобы pE (y, x) < —. Поскольку
o o e
x е Ш(y, e) с G, то x е Gq . Пусть x = xk. Ш(x,—) с G
oe
(неравенство треугольника для метрики). Из Ш(xkс G
o e o
видно, что Шк имеет радиус > — ^ y е Шk. yе G -
произвольно, тогда G с J Sm.
m=1
Решение типовых задач к главе 2 Задача 1
Найти расстояние между точками A (1,3,0,4,5) и B (2,1,1,3,1) в пространстве R5.
Решение
По эквклидовой метрике
r A, B) = V( 2 -1)2 +(1 - 3)2 +(1 - 0 )2 +(3 - 4)2 + (1 - 5)2 = = у] 12 + (-2)2 +12 + (-1)2 + (-4)2 = V 1 + 4 +1 +1 +16 = V23 .
Задача 2
Доказать, что в пространстве
1 1 3 R , A(1 + - ,2 — ,2 + —) ® A0 (1,2,2) при n ® +¥ n n n
Решение
1 1 3
r An, Ao) = < (1 + - -1)2 + (2---2)2 + (2 + - - 2)2 n n2 n3
1 1 9
= J -7 + ^ + ® 0.
V n2 n n6 Задача 3
Имеет ли множество N внутренние точки? Решение
Выберем произвольно n е N, тогда окрестность 11
(n , n +—) при m > 2 не содержит, кроме n, других чисел из
m m
N. Все точки из N невнутренние и IntN = 0 . Задача 4
Найти предельные точки множества A = {1,2,3,4}. Решение
Предельных точек это множество не имеет, т. к. в достаточно малой окрестности каждой точки из A , кроме нее,
нет других точек из A. Следовательно, A = 0 . Задача 5
Найти внутренность, предельное множество, замыкание множества A = ( 1,2] j { 5} . Решение
Точки, не входящие в A, внутренними быть не могут. (1,2) с IntA, т. к. каждая точка входит в A вместе с некоторой окрестностью. Точка 5 - изолированная следовательно, IntA = (1,2).
A = [1,2], т. к. 1,2 предельные. A = [1,2] j {5} по формуле
A = A j A'.
Задача 6
Является ли множество A = (1,5] множеством типа Gs ? Решение
Поскольку (1,5]= п (1,5 +1), то A имеет тип Gs.
n=1 n
Задача 7
Является ли множество A = Nх R открытым в R2 ? Решение
Не является, т. к. нет круга на плоскости, содержащего точку (n, a), n е N,aе R и полностью входящего в A.
Задачи к главе 2
Входят ли точки A (1,1,2,1) в шар Ш(0, г),0(0,0,0,0) в пространстве R4?
Доказать, что последовательность точек An (1, 1 - 1)
n ir
сходится к точке A0 (0,1,1) в пространстве R3.
Выяснить, являются ли открытыми или замкнутыми множества N, Z, Q, I на прямой.
Найти IntA, A, A, FrA для A = (-1,9] j {11} j {12} на прямой.
Найти IntA, A, F2 A, A
для множества A = {M(x, y) :1 < x2 + y2 < 9} на плоскости.
Найти множество A , если A = {0}.
Найти множество A , если A = {0,1,2}.
Найти множество A, если A = J -1 L n е N.
I n2
Является ли множество A = [1,2] j {3} множеством типа
Gs ?