
- •2. Метрические пространства. Основные примеры. Сходящиеся последовательности и последовательности Коши. Непрерывные и равномерно непрерывные отображения. Условияе Липшица.
- •3. Топология метрического пространства.
- •4. Полные метрические пространства. Примеры полных и неполных пр-в Принцип вложенных шаров.
- •4. Полные метрические пространства. Примеры полных и неполных пр-в Принцип вложенных шаров.
- •5. Теорема Бэра в разных формулировках.
- •6. Продолжение тождеств в метрич пр-вах. Продолжение отображений в метрических пространствах
- •7. Пополнение метрического пространства
- •8. Необходимость пересмотра понятия интеграла.
- •9. Системы подмножеств: кольца, полукольца, алгебра.
- •10.Общее понятие меры. Монотоность, сигма-аддитивность,непрерывность, субаддитивность. Полнота меры,
- •11.Продолженне мера но Лебегу: конструкция(внешняя мера, измеримые множества). Субаддитигзность, критерий измеримости.
- •12. Основная теорема о продолжении меры по Лебегу
- •13. Мера Лебега на отрезке и на прямой: конструкция, множество Кантора. Неизмеримые множества, сравнение измеримых множествс борелевкими.
- •14. Меры Лебега-Стилтьеса: конструкция, мера одноточесного множества, множества меры нуль
- •15. Абсолютная непрерывность меры относительно другой меры. Абсолютные непрерывные функции и порожденные ими меры Лебега-Стилтьеса.Функция Кантора.
- •15. Абсолютная непрерывность меры относительно другой меры. Абсолютные непрерывные функции и порожденные ими меры Лебега-Стилтьеса.Функция Кантора.
- •16. Измеримые функции. Различные типы сходимости. Теорема о пределе последовательности измеримых функций, замкнутость относительно алгебраических операций.
- •17. Простые функции. Приближение измеримых функций простыми.
- •18. Теорема Егорова.
- •19. Интергал Лебега: определение, элементарные свойства, неравенство Чебышева,сравнение с конструкцией интеграла Римана
- •20. Свойство абсолютной обсалютной непрерывности интеграла Лебега
- •21. Теорема Лебега о мажорированной сходимости.
- •22. Теорема б.Леви. Следствие для рядов
- •23. Теорема Фату
- •24. Заряды. Взаимная сингулярность мер и зарядов. Теорема Радон-Никодима. Формула Ньютона-Лейбница.
- •25. Продолжение сигма-конечных мер. Интеграл по сигма-конечной мере.
- •26. Произведение мер. Теорема Фубини.
- •27. Пространство l1(X,m): конструкция‚ метрика, полнота.
- •2. Метрические пространства. Основные примеры. Сходящиеся последовательности и последовательности Коши. Непрерывные и равномерно непрерывные отображения. Условияе Липшица.
9. Системы подмножеств: кольца, полукольца, алгебра.
сигма-алгебра. Борелевская алгебра.
Определение
1.
Пусть X — непустое множество. Непустое
семейство К c
Р(X) подмножеств множества X называется
(кольцом если оно замкнуто относительно
операций пересечения и симметрической
разности, т. е. из выполнения условий А
К, В
К следует, что А
В
К, А ∆B
K.
Определение 2. Кольцо К подмножеств множества X называется алгеброй, если X является элементом К. Таким образом, если К—алгебра, то для любого А К следует, что Х\А К, т. е. алгебра замкнута относительно операции перехода к дополнениям.
Определение
3.
Кольцо К называется σ-кольцом, если
объединение счетного числа множеств
из К принадлежит К, т. е. если A k
K, то
K.
Кольцо
К называется δ-кольцом, если пересечение
счетного числа множеств из K
принадлежит К, т. е. если A k
K, то
Кольцо, являющееся одновременно алгеброй и σ-кольцом, называется σ-алгеброй.
Примеры.
1.К=Р(Х) есть кольцо и алгебра и σ-алгебра.
2.К=
{
,
X} — также кольцо и алгебра.
3.X=R, К состоит из всех конечных множеств и пустого множества; К— кольцо, но не алгебра.
4.X = R, К состоит из всех ограниченных множеств и пустого множества; К — кольцо, но не алгебра.
5.X=R, К состоит из всех конечных и счетных подмножеств в R; К— кольцо, но не алгебра.
6. Топология на R, т. е. совокупность открытых множеств на R, не является кольцом (разность двух открытых множеств может не быть открытым множеством).
7.Р(Х)
является σ-кольцом и
-кольцом.
8.Кольцо из примера 3 не является σ-кольцом, но является -кольцом.
9. Кольцо из примера 4 не является σ-кольцом, но является -кольцом.
10. Кольцо из примера 5 является и σ-кольцом, и -кольцом.
Определение
4.
Непустая система подмножеств Sc P(X)
называется полукольцом, если для любых
А, B
S выполнено: 1) А
В
S
2) существует конечный набор
S, i = 1, ... , n,
такой, что A\B=
.
Примеры.
1.Совокупность промежутков вида [а1, Ь1[ на прямой R образует полукольцо, но не кольцо.
2.X=
R2.
Совокупность прямоугольников вида [а1,
Ь1[
[а2,
Ь2
[образует полукольцо множеств.
Действительно, разность двух таких
прямоугольников разбивается на конечное
число (не более четырех) прямоугольников
такого же вида
3.Совокупность параллелепипедов вида [а1, Ь1[ [а2, Ь2 [ … [аn, Ьn[ в пространстве Rn образует полукольцо
Определение 5. Пусть (X, τ) — топологическое пространство. Борелевской алгеброй на X называется σ-алгебрa, порожденная топологией τ. Элементы борелевской алгебры называются борелевскими множествами.
10.Общее понятие меры. Монотоность, сигма-аддитивность,непрерывность, субаддитивность. Полнота меры,
сигма-аддитивность меры, пороженной функцией распределения.
Опр 1.Будем говорить, что на полукольце S задана мера µ, если любому элементу А S
Поставлено
в соответствие вещественное число µ(A)
таким образом, что выполнены следующие
аксиомы: 1) если А=
,
А,
S,
то µ(A)
=
(аддитивность)
2) µ(A) ≥0 (положительность)
Таким образом, мера есть числовая функция множества, т. е. отображение из S в R.
Примеры.
1.Рассмотрим полукольцо множеств S, состоящее из полуинтервалом на прямой R.Естественная мера полуинтервала — его длина µ([a, b[) = b—а — удовлетворяет аксиомам 1), 2) определения 1, т. е. является мерой в смысле определения 1.
2.Пусть
полукольцо S
состоит из конечных подмножеств
некоторого множества X.
Положим µ(А)=
,T.
е. µ(A)
— количество точек в множестве A
S.
Аксиомы 1) и 2) выполняются очевидным
образом.
3.Пусть S — полукольцо, состоящее из полуоткрытых прямоугольников на плоскости R2 со сторонами, параллельными осям координат . Тогда площадь µ(A) прямоугольника А удовлетворяет аксиомам 1) и 2) определения 1, т. е. является мерой.
4.Пусть S — полукольцо, состоящее из прямоугольных полуоткрытых параллелепипедов в пространстве R3со сторонами, параллельными осям координат . Тогда объем параллелепипеда также удовлетворяет аксиомам 1) и 2), т. е. является мерой.
5.Пусть S — полукольцо из примера 4 и пусть в пространстве R3 распределено некоторое вещество. Тогда для каждого параллелепипеда A S положим число µ(А) равным массе вещества, находящегося в параллелепипеде А. Свойство аддитивности 1) выполняется и выражает закон сохранения количества вещества. Аксиома 2) выполняется.
Определение
2. Мера µ:S->R называется счетно- аддитивной
(σ-аддитивной), если A=
,
А,
S,
следует, что µ(A)
=
Теорема 1. Длина является σ-аддитивной мерой на полукольце S, состоящем из полуинтервалов вида [a, b[.
Доказательство.
Нужно доказать, что если А = [а, Ь[
представлен в виде A=
,
где
=
[ak,
bk[
то µ(A)=
т. е. b-a=
=
(2)
Так
как
с [а, b
[ для любого n,
то имеем
≤b-a.
Следовательно, ряд, стоящий в правой
части (2), сходится и
≤b-a.
Докажем обратное неравенство: ≥b-a. Возьмем произвольное число ε > 0 и по каждому из полуинтервалов [аk, bk [ построим содержащий его открытый интервал Bk =]ak — ε/2k+1, bk [. Вместо полуинтервала [a, b[ возьмем содержащийся в нем отрезок В= [а,b-ε/2].
Тогда
В c
Ac
c
,
т. е. отрезок В покрыт системой открытых
интервалов Bk.
Согласно лемме Бореля о покрытии, из
этого покрытия можно выделить конечное
покрытие, т. е.существует такое n,
что В с
.