Вы находитесь на странице: 1из 14

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ

ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ

«ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»

ПОЛИТЕХНИЧЕСКИЙ ИНСТИТУТ

Кафедра: «Математика и суперкомпьютерное моделирование»

Курсовая работа по математическому анализу на тему:

«Измеримые функции»

Выполнил: ст. гр. 18ВМ1 Кан Н. В.


Научный руководитель: Куприянова С. Н.

Пенза, 2019
Оглавление

1. ПОНЯТИЕ ИЗМЕРИМОЙ ФУНКЦИИ 3

2. СВОЙСТВА ИЗМЕРИМОЙ ФУНКЦИИ 7

3. АРИФМЕТ. ОПЕР. НАД ИЗМЕРИМЫМИ ФУНКЦИЯМИ 9

4. ПОСЛЕДОВАТЕЛЬНОСТИ ИЗМЕРИМЫХ ФУНКЦИЙ 11

СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ 13

2
1.Понятие измеримой функции.
Договоримся называть расширенной числовой прямой обычную
числовую прямую −∞ < 𝑥 < ∞ с добавлением двух новых элементов −∞
и +∞. Для распространения арифметических операций на расширенную
числовую прямую договоримся считать, что
𝑎 + (+∞) = +∞, 𝑎 + (−∞) = −∞ (для любого конечного 𝑎);
(+∞) + (+∞) = +∞, (−∞) + (−∞) = −∞; (+∞) − 𝑎 = +∞, (−∞) −
−𝑎 = −∞ (для любого конечного 𝑎);
(+∞) − (−∞) = +∞, −∞ − (+∞) = −∞;
𝑎 ∙ (+∞) = +∞ при 𝑎 > 0;
0 ∙ (+∞) = 0, 𝑎 × (+∞) = −∞ при 𝑎 < 0;
(+∞) ∙ (+∞) = +∞, (+∞) ∙ (−∞) = −∞;
(−∞) ∙ (−∞) = +∞, 0 ∙ (−∞) = 0, 𝑎 ∙ (−∞) = −∞ при 𝑎 > 0;
𝑎 ∙ (−∞) = +∞ при 𝑎 < 0;
±∞ 1
= (±∞) ∙ при любом конечном 𝑎 ≠ 0;
𝑎 𝑎
𝑎
= 0 при любом конечном 𝑎.
±∞

Неопределенными остаются только следующие операции: (+∞) +


±∞
+(−∞), (+∞) − (+∞), (−∞) − (−∞), .
±∞

Всюду в дальнейшем мы будем рассматривать функции, определенные


на измеримых множествах обычной числовой прямой и принимающие
значения, принадлежащие расширенной числовой прямой.
Примером такой функции может служить
−∞ при 𝑥 < −1,
𝑓 (𝑥 ) = { 0 при − 1 ≤ 𝑥 ≤ 1,
+∞ при x > 1.
Договоримся всюду в дальнейшем обозначать символом Е
[𝑓 удовлетворяет условию 𝐴] множество всех принадлежащих Е
значений 𝑥, для которых 𝑓(𝑥) удовлетворяет условию 𝐴.
Например, 𝐸[𝑓 ≥ 𝑎] — множество тех принадлежащих Е значений 𝑥 ,
для которых 𝑓 (𝑥 ) ≥ 𝑎.

3
Определение 1.1. Функция 𝑓 (𝑥 ), определенная на измеримом множестве
Е, называется измеримом на это множестве, если для любого
вещественного числа 𝑎 множество 𝐸[𝑓 ≥ 𝑎] измеримо.
Теорема 1. Для измеримости 𝑓(𝑥) yна множестве Е необходимо и
достаточно, чтобы одно из следующих трех множеств
𝐸 [𝑓 > 𝑎], 𝐸 [𝑓 < 𝑎], 𝐸[𝑓 ≤ 𝑎] (1)
было измеримо при любом вещественном 𝑎.
Доказательство. 1) Из определения измеримости функции 𝑓(𝑥) из
элементарных соотношений

1
𝐸 [𝑓 > 𝑎] = ⋃ 𝐸 [𝑓 ≥ 𝑎 + ] ,
𝑛
𝑛=1

1
𝐸 [𝑓 ≥ 𝑎] = ⋂ 𝐸 [𝑓 > 𝑎 − ]
𝑛
𝑛=1

и из теорем 2 и 3
Теорема 2. Сумма конечного или счетного числа измримыз множеств
является измеримым множеством.
Теорема 3. Пересечение конечного или счетного числа измеримых
множеств является измеримым множеством.
вытекает, что измеримость (при любом вещественном 𝑎 ) множества
𝐸 [𝑓 > 𝑎] является необходимым и достаточным условием измеримости
функции 𝑓(𝑥) на множестве Е.
2) Из соотношения 𝐸 [𝑓 < 𝑎] = 𝐸\𝐸[𝑓 ≥ 𝑎] и из теорем 2 и 4
Теорема 4. Разность двух измеримых множеств является измеримым
множеством.
вытекает, что измеримость (при любом вещественном 𝑎) множества
𝐸 [𝑓 < 𝑎] является необходимым и достаточным условием измеримости
функции 𝑓(𝑥) на множестве Е.
3) Наконец, из соотношения 𝐸 [𝑓 ≤ 𝑎] = 𝐸\𝐸[𝑓 > 𝑎], из тех же теорем 2 и
4 и из доказанного в 1) вытекает, что измеримость (при любом
вещественном 𝑎) множества 𝐸[𝑓 ≤ 𝑎] является необходимым и
достаточным условием измеримости функции 𝑓(𝑥) на множестве Е.
Теорема доказана.

4
Замечание. В силу теоремы 1 измеримость (при любом вещественном
𝑎 ) любого из трех множеств (1) можно принять за новое определение
измеримости функции 𝑓(𝑥) на множестве Е, эквивалентное определению,
сформулированному выше.

5
2. Свойства измеримых функций.
1. Если функция 𝑓(𝑥) измерима на множестве Е, то она измерима и на
любой измеримой части 𝐸1 множестве Е.
Доказательство непосредственно вытекает из тождества 𝐸1[𝑓 ≥ 𝑎] ≡
𝐸1 ⋂ 𝐸[𝑓 ≥ 𝑎] и из теоремы 3.
2. Если множество Е представляет собой конечную или счетную сумму
измеримых множеств 𝐸𝑛 и если функция 𝑓(𝑥) измерима на каждом
множестве 𝐸𝑛 , то 𝑓(𝑥) измерима и на Е.
Доказательство непосредственно вытекает из тождества 𝐸 [𝑓 ≥ 𝑎] =
⋃∞
𝑛=1 𝐸𝑛 [𝑓≥ 𝑎] и из теоремы 2.
3. Любая функция 𝑓(𝑥) измерима на множестве Е меры нуль.
В самом деле, любое подмножество множества меры нуль измеримо и
имеет меру нуль.
Определение 2.1. Две определенные на измеримом множестве Е
функции 𝑓(𝑥) и 𝑔(𝑥) называются эквивалентными на этом множестве,
если множество 𝐸[𝑓 ≠ 𝑔] имеет меру нуль.
Для обозначения эквивалентных (на множестве Е) функций 𝑓(𝑥) и 𝑔(𝑥)
часто используют символику 𝑓 ≈ 𝑔.
4. Если функции 𝑓(𝑥) и 𝑔(𝑥) эквивалентны на множестве Е и функция
𝑓(𝑥) измерима на Е, то и функция 𝑔(𝑥 ) измерима на Е.
Доказательство. Положим 𝐸0 = 𝐸 [𝑓 ≠ 𝑔], 𝐸1 = 𝐸\𝐸0 . Так как на 𝐸1
функция 𝑔(𝑥) совпадает с 𝑓(𝑥), то (в силу свойства 1) 𝑔(𝑥) измерима на .
Согласно свойству 3 𝑔(𝑥) измерима и на 𝐸0 , а поэтому, согласно свойству
2, 𝑔(𝑥) измерима и на Е.
Определение 2.2. Мы будем говорить, что некоторое свойство А
справедливо почти всюду на множестве Е, если множество точек Е, на
котором это свойство несправедливо, имеет меру нуль.
Следствие из свойства 4. Если функция 𝑓 (𝑥 ) непрерывна почти всюду
на измеримом множестве Е, то 𝑓(𝑥) измерима на Е.
Доказательство. Заметим сначала, что если функция f (х) непрерывна
на замкнутом множестве F, то 𝑓(𝑥) измерима на F, ибо множество
𝐹 [𝑓 ≥ 𝑎] при любом вещественном 𝑎 замкнуто, а стало быть, и измеримо.
Предположим, что 𝑓(𝑥) непрерывна на произвольном измеримом
множестве Е почти всюду и обозначим через R подмножество всех точек

6
разрыва 𝑓(𝑥) , имеющее меру нуль. В силу свойств 2 и 3 достаточно
доказать измеримость 𝑓(𝑥) на множестве 𝐸1 = 𝐸/𝑅. Согласно теореме 5
Теорема 5. Если множество Е измеримо, то найдутся множество 𝐸1
типа 𝐹𝜎 , содержащееся в Е, и множество 𝐸2 типа 𝐺𝑛 , содержащее Е, для
которых |𝐸1 | = |𝐸| = |𝐸2 |.
найдется множество 𝐸2 типа 𝐹𝜎 , содержащееся в 𝐸1 и такое, что |𝐸2 | =
|𝐸1 | = |𝐸|. В силу тех же свойств 2 и 3 достаточно доказать, что 𝑓(𝑥),
измерима на множестве 𝐸2 . Но 𝐸2 (как множество типа 𝐹𝜎 ) представимо в
виде счетной суммы замкнутых множеств 𝐹𝑛 , на каждом из которых 𝑓(𝑥)
непрерывна и потому (в силу сделанного выше замечания) измерима. А
тогда в силу свойства 2 функция 𝑓(𝑥) измерима на 𝐸2 .
3амечание. Подчеркнем, что непрерывность функции 𝑓(𝑥) почти всюду
на множестве Е следует отличать от эквивалентности 𝑓(𝑥) на множестве Е
непрерывной функции. Так функция Дирихле 𝑓(𝑥 ) = 1 , если 𝑥
рационально, и 𝑓(𝑥 ) = 0, если 𝑥 иррационально, не является непрерывной
ни в одной точке сегмента [0, 1] (см. гл. 4 вып. 1), однако эта функция
эквивалентна на сегменте [0, 1] непрерывной функции 𝑔(𝑥) ≡ 0 , ибо
𝑓(𝑥) ≠ 𝑔(𝑥) только на множестве всех рациональных точек сегмента [0, 1],
которое счетно и потому имеет меру нуль. Тот факт, что счетное
множество точек имеет меру, равную нулю, вытекает из теоремы 6 и из
того, что мера множества, состоящего из одной точки, равна нулю.
Теорема 6. Мера суммы конечного или счетного числа попарно
непересекающихся измеримых множеств равна сумме мер этих
множеств.

7
3.Арифметические операции над измеримыми функциями.
Лемма 1. 1) Если функция 𝑓(𝑥) измерима на множестве Е, то и функция
|𝑓 (𝑥 )| измерима на этом множестве. 2) Если 𝑓(𝑥) измерима на множестве
Е, а С - любая постоянная, то каждая из функций 𝑓(𝑥 ) + С и С ∙ 𝑓(𝑥)
измерима на множестве Е. 3) Если 𝑓(𝑥) и 𝑔(𝑥) измеримы на множестве Е,
то множество 𝐸[𝑓 < 𝑔] измеримо.
Доказательство. 1) Достаточно учесть, что для любого
неотрицательного 𝑎

𝐸 [|𝑓| ≥ 𝑎] = 𝐸[𝑓 ≥ 𝑎] ⋃ 𝐸[𝑓 ≤ −𝑎]

и привлечь теорему 2. Если же 𝑎 < 0, то 𝐸[|𝑓| > 𝑎] совпадает с Е и также


измеримо.
2) Достаточно для любого вещественного 𝑎 воспользоваться
соотношениями
𝐸 [𝑓 + 𝐶 ≥ 𝑎] = 𝐸[𝑓 ≥ 𝑎 − 𝐶],
𝑎
𝐸 [𝑓 ≥ ] при 𝐶 > 0,
𝐸 [𝐶 ∙ 𝑓 ≥ 𝑎] = { 𝐶
𝑎
𝐸 [𝑓 ≤ ] при 𝐶 > 0.
𝐶
Если же 𝐶 = 0, то 𝐶 ∙ 𝑓(𝑥) ≡ 0 и также измерима.
3) Пусть {𝑟𝑘 } - все рациональные точки бесконечной прямой (−∞, ∞) .
Достаточно учесть, что

𝐸 [𝑓 > 𝑔] = ⋃(𝐸[𝐹 > 𝑟𝑘 ] ⋂ 𝐸[𝑔 < 𝑟𝑘 ])


𝑘=1

и воспользоваться теоремами 2 и 3. Лемма доказана.


Теорема 7. Если функции 𝑓(𝑥) и 𝑔(𝑥) принимают на множестве Е
конечные значения и измеримы на этом множестве, то каждая из функций
𝑓 (𝑥 ) − 𝑔(𝑥 ), 𝑓 (𝑥 ) + 𝑔(𝑥 ), 𝑓 (𝑥 ) ∙ 𝑔(𝑥 ) и 𝑓(𝑥)/𝑔(𝑥)(для 𝑓(𝑥)/𝑔(𝑥) частного
дополнительно требуется, чтобы все значения 𝑔(𝑥) были отличны от нуля)
измерима на множестве Е.
Доказательство. 1) Для доказательства измеримости разности 𝑓 (𝑥 ) −
𝑔(𝑥) достаточно заметить, что для любого вещественного 𝑎 множество
𝐸[𝑓 − 𝑔] > 𝑎 совпадает с измеримым (в силу леммы 1) множеством 𝐸[𝑓 >
𝑔 + 𝑎].

8
2) Для доказательства измеримости суммы 𝑓 (𝑥 ) + 𝑔(𝑥) достаточно
учесть, что 𝑓 + 𝑔 = 𝑓 − (−𝑔) и что функция 𝑔(𝑥) измерима согласно
лемме 1.
3) Чтобы доказать измеримость произведения двух измеримых функций,
убедимся сначала, что квадрат измеримой функции является измеримой
функцией. В самом деле, если 𝑎 < 0, то множество 𝐸[𝑓 2 > 𝑎] совпадает с
Е и потому измеримо. Если же 𝑎 ≥ 0, то множество 𝐸[𝑓 2 > 𝑎]совпадает с
измеримым (согласно лемме 1) множеством 𝐸[|𝑓| > √𝑎]. Из измеримости
квадрата измеримой функции и из измеримости суммы и разности
1 1
измеримых функций, в силу соотношения 𝑓 ∙ 𝑔 = (𝑓 + 𝑔)2 − (𝑓 − 𝑔)2
4 4
вытекает измеримость произведения 𝑓 (𝑥 )𝑔(𝑥 ).
4) В силу измеримости произведения двух измеримых функций для
доказательства измеримости частного 𝑓/𝑔 достаточно доказать
измеримость 1/𝑔, но она вытекает из теорем 2 и 3 и из соотношения
1 E[g > О]ПЕ[g О, Е[.!. > а] = Е [g > О] при а = О, g E[g> O]UE[g < о.
Теорема полностью доказана.

1
𝐸 [𝑔 > 0] ⋂ 𝐸 [𝑔 < ] 1 при 𝑎 > 0,
1 𝑎
𝐸 [ > 𝑎] = 𝐸 [𝑔 > 0] при 𝑎 = 0,
𝑔
1
𝐸 [𝑔 > 0] ⋂ 𝐸 [𝑔 < ] при 𝑎 < 0.
{ 𝑎

9
4. Последовательности измеримых функций.
Докажем несколько важных утверждений, относящихся к
последовательностям измеримых функций.
Теорема 8. Если {𝑓𝑛 (𝑥)} – последовательность измеримых на множестве
Е функций, то как нижний, так и верхний пределы этой
последовательности являются измеримыми на множестве Е функциями.
Договоримся считать, что если последовательность не является
ограниченной снизу (сверху), то ее нижний (верхний) предел равен
−∞(+∞).
Доказательство. Сначала убедимся в том, что если последовательность
{𝑔𝑛 (𝑥)} состоит из измеримых на множестве Е функций, то каждая из
функций 𝜑(𝑥 ) = 𝑖𝑛𝑓𝑛 𝑔𝑛 (𝑥 ) и 𝜓(𝑥 ) = 𝑠𝑢𝑝𝑛 𝑔𝑛 (𝑥) является измеримой на
множестве Е.
Запись 𝜑(𝑥 ) = 𝑖𝑛𝑓𝑛 𝑔𝑛 (𝑥 ) означает, что в каждой точке 𝑥 значение 𝜑(𝑥 )
является точной нижней гранью значений в этой точке 𝑔1(𝑥 ), 𝑔2 (𝑥 ), … .
Аналогичный смысл имеет запись 𝜓(𝑥 ) = 𝑠𝑢𝑝𝑛 𝑔𝑛 (𝑥).
Достаточно принять во внимание соотношения

𝐸 [𝜑 > 𝑎] = ⋃ 𝐸 [𝑔𝑛 < 𝑎],


𝑛=1

𝐸 [𝜓 > 𝑎] = ⋃ 𝐸 [𝑔𝑛 < 𝑎]


𝑛=1

и использовать теорему 2. Обозначим теперь нижний и верхний пределы


последовательности {𝑓𝑛 (𝑥)} соответственно через 𝑓(𝑥) и 𝑓(𝑥) . Для
доказательства измеримости 𝑓(𝑥) и 𝑓(𝑥) на множестве Е достаточно
заметить, что

𝑓 (𝑥 ) = 𝑠𝑢𝑝𝑛≥1{𝑖𝑛𝑓𝑘≥𝑛 𝑓𝑘 (𝑥)}, 𝑓 (𝑥 ) = 𝑖𝑛𝑓𝑛≥1 {𝑠𝑢𝑝𝑘≥𝑛 𝑓𝑘 (𝑥)},

и воспользоваться доказанным выше утверждением. Теорема доказана.


Теорема 9. Если последовательность измеримых на множестве Е функций
{𝑓𝑛 (𝑥)} сходится почти всюду на Е к функции 𝑓(𝑥 ) , то функция 𝑓 (𝑥 )
измерима на множестве Е.
Доказательство. В случае, когда последовательность {𝑓𝑛 (𝑥)} сходится
К 𝑓 (𝑥 ) не почти всюду, а всюду на Е, утверждение теоремы об

10
измеримости 𝑓 (𝑥 ) сразу вытекает из теоремы 8. Если же {𝑓𝑛 (𝑥)} сходится
к 𝑓(𝑥 ) всюду на Е, кроме множества 𝐸0 меры нуль, то 𝑓 (𝑥 ) измерима на
𝐸\𝐸0 в силу теоремы 8 и измерима на 𝐸0 как на множестве меры нуль
(свойство 3 из п. 2), и потому измерима на множестве 𝐸 = (𝐸\𝐸0) ⋃ 𝐸0 (в
силу свойства 2 из п. 2). Теорема доказана.
Введем теперь важное понятие сходимости последовательности по мере на
данном множестве.
Определение. Пусть функции 𝑓𝑛 (𝑥 )(1, 2, . . . ) и 𝑓(𝑥 ) измеримы на
множестве Е и принимают почти всюду на Е конечные значения. Говорят,
что последовательность {𝑓𝑛 (𝑥)} сходится 𝑓(𝑥 ) по мере на множестве Е,
если для любого положительного числа ε
lim |𝐸[|𝑓 − 𝑓𝑛 | ≥ 𝜀]| = 0, (2)
𝑛→∞

т. е. если для любых положительных ε и δ найдется номер N такой, что при


𝑛 ≥ 𝑁 справедливо неравенство |𝐸[|𝑓 − 𝑓𝑛 | ≥ 𝜀]| < 𝛿.
А. Лебег доказал следующую теорему.
Теорема 10. Пусть Е - измеримое множество конечной меры, и пусть
функции 𝑓𝑛 (𝑥 )(1, 2, . . . ) и 𝑓 (𝑥 ) измеримы на множестве Е и прнимают
почти всюду на Е конечный значения. Тогда из сходимости
последовательности {𝑓𝑛 (𝑥)} к 𝑓 (𝑥 ) почти всюду на Е вытекает сходимость
{𝑓𝑛 (𝑥)} к 𝑓(𝑥 ) и по мере на множестве Е.
Доказательство. Положим 𝐴 = 𝐸 [|𝑓| = +∞], 𝐴𝑛 = 𝐸[|𝑓𝑛 | = +∞, 𝐵 =
𝐸\𝐸 [ lim 𝑓𝑛 = 𝑓] , 𝐶 = 𝐴 + 𝐵 + ⋃∞
𝑛=1 𝐴𝑛 .
𝑛→∞

Тогда по условию теоремы |𝐶| = 0 и всюду вне множества C


последовательность {𝑓𝑛 (𝑥)} сходится к 𝑓(𝑥 ) и все функции 𝑓𝑛 (𝑥) и 𝑓 (𝑥 )
имеют конечные значения.
Для произвольного 𝜀 > 0 положим 𝐸𝑛 = 𝐸[|𝑓 − 𝑓𝑛 | ≥ 𝜀] , 𝑅𝑛 =
⋃∞𝑘=𝑛 𝐸𝑘 Тогда, поскольку 𝐸𝑛 содержится в 𝑅𝑛 , справедливо неравенство
𝐸𝑛 ≤ 𝑅𝑛 , и для доказательства (2) достаточно доказать, что |𝑅𝑛 | →
|𝑅| при 𝑛 → ∞.
Обозначим через R пересечение всех множеств 𝑅1 , 𝑅2 , … и убедимся в
том, что |𝑅𝑛 | → |𝑅| при 𝑛 → ∞. По построению 𝑅𝑛+1 содержится в 𝑅𝑛 для
каждого номера 𝑛 и, стало быть, для каждого номера 𝑛

𝑅𝑛 \𝑅 = ⋃(𝑅𝑘 \𝑅𝑘+1),
𝑘=𝑛

11
причем множества, стоящие под знаком суммы, попарно не пересекаются.
Но тогда, в силу теоремы 6, для каждого номера 𝑛

|𝑅𝑛 \𝑅| = ∑|𝑅𝑘 \𝑅𝑘+1|, (3)


𝑘=𝑛

и, в силу сходимости ряда


|𝑅𝑛 \𝑅| = ∑|𝑅𝑘 \𝑅𝑘+1|,


𝑘=1

остаток этого ряда (3) стремится к нулю при 𝑛 → ∞ . Итак, |𝑅𝑛 \𝑅| →
0 при 𝑛 → ∞. Но это в силу соотношения |𝑅𝑛 | = |𝑅𝑛 \𝑅| + |𝑅| означает,
что |𝑅𝑛 | → |𝑅| при 𝑛 → ∞.
Теперь для доказательства (2) нам остается доказать, что |𝑅| = 0. Для
этого в свою очередь достаточно доказать, что R содержится в С.
Пусть 𝑥0 - любая точка, не принадлежащая C. Тогда для фиксированного
нами произвольного 𝜀 > 0 найдется номер 𝑁(𝑥0 , 𝜀) такой, что |𝑓𝑛 (𝑥0 ) −
𝑓 (𝑥0 ) < 𝜀 при 𝑛 ≥ 𝑁(𝑥0 , 𝜀). Но это означает, что при 𝑛 ≥ 𝑁(𝑥0 , 𝜀) точка 𝑥0
не принадлежит 𝐸𝑛 и тем более не принадлежит 𝑅𝑛 и множеству R,
являющемуся пересечением всех 𝑅𝑛 .
Итак, всякая точка 𝑥0 , не принадлежащая С, не принадлежит и R. Но это
и означает, что R содержится в С. Теорема доказана.
3амечание. Подчеркнем, что из сходимости последовательности {𝑓𝑛 (𝑥)}
к функции 𝑓 (𝑥 ) на множестве Е по мере не вытекает не только сходимость
{𝑓𝑛 (𝑥)} к 𝑓(𝑥 ) почти всюду на Е, но даже сходимость {𝑓𝑛 (𝑥)} к 𝑓 (𝑥 ) хотя
бы в одной точке множества Е. Построенная в этом примере
последовательность {𝑓𝑛 (𝑥)} расходится в каждой точке сегмента [0,1], но
поскольку каждая функция 𝑓𝑛 (𝑥) отлична от нуля только на сегменте 𝐼𝑛 ,
длина которого стремится к нулю при 𝑛 → ∞ , то последовательность
{𝑓𝑛 (𝑥)} сходится К функции 𝑓 (𝑥 ) ≡ 0 по мере на сегменте [0,1].
Тем не менее Ф. Рисс доказал следующую теорему.
Теорема 11. Пусть Е - измеримое множество конечной меры, и пусть
функции 𝑓𝑛 (𝑥 )(1, 2, . . . ) и 𝑓 (𝑥 ) измеримы на множестве Е и принимают
почти всюду на Е конечные значения. Тогда, если последовательность
{𝑓𝑛 (𝑥)} сходится к 𝑓 (𝑥 ) по мере на множестве Е, то из этой
последовательности можно выделить последовательность, сходящуюся к
𝑓 (𝑥 ) почти всюду на Е.

12
Доказательство. Не ограничивая общности, мы можем предположить,
что функции 𝑓𝑛 (𝑥) и 𝑓(𝑥 ) принимают конечные значения не почти всюду,
а всюду на Е (в противном случае мы ввели бы те же множества 𝐴 и 𝐴𝑛 ,
что и при доказательстве предыдущей теоремы, и проводили бы все
рассуждения для множества 𝐸\𝐴\ ⋃∞ 𝑛=1 𝐴𝑛 ). Из сходимости {𝑓𝑛 (𝑥)} к 𝑓(𝑥 )
по мере на множестве Е вытекает, что для любого номера k найдется номер
1
𝑛𝑘 такой, что для меры множества 𝐸𝑘 = 𝐸 [|𝑓 − 𝑓𝑛𝑘 | ≥ ] справедливо
𝑘
𝑘
неравенство |𝐸𝑘 | ≤ 1/2 . Положим, как и при доказательстве предыдущей
теоремы, 𝑅𝑛 = ⋃∞ ∞
𝑘=𝑛 𝐸𝑘 , 𝑅 = ⋂𝑛=1 𝑅𝑛 . Тогда в силу свойства внешней
меры
Если множество Е представляет собой сумму конечного или счетного
числа множеств {𝐸𝑘 } (символически 𝐸 = ⋃∞ ∗ ∞ ∗
𝑘=1 𝐸𝑘 ), то |𝐸| ≤ ∑𝑘=1 |𝐸𝑘 | .

|𝑅𝑛 | ≤ ∑∞ ∞
𝑘=𝑛 |𝐸𝑘 | , так что |𝑅𝑛 | ≤ ∑𝑘=𝑛 1/2
𝑛−1
. Таким образом, |𝑅𝑛 | →
0 при 𝑛 → ∞ . Как и в предыдущей теореме, доказывается, что |𝑅𝑛 | →
|𝑅| при 𝑛 → ∞. Тем самым мы получаем, что |𝑅𝑛 | = 0.
Остается доказать, что всюду вне R подпоследовательность {𝑓𝑛 (𝑥)}
сходится к 𝑓(𝑥 ) . Пусть 𝑥 - произвольная точка Е\R. Тогда 𝑥 не
принадлежит множеству 𝑅𝑁 при некотором 𝑁 = 𝑁(𝑥). Но это означает,
что 𝑥 не принадлежит 𝐸𝑘 при 𝑘 ≥ 𝑁(𝑥) . Иными словами, |𝑓(𝑥) −
1
𝑓𝑛𝑘 (𝑥)| < при 𝑘 ≥ 𝑁(𝑥). Теорема доказана.
𝑘

13
СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ

1. 4. Ильин В. А., Поздняк Э. Г. Основы математического анализа. Ч. II.


М.: Физматлит, 2001. – 464 с.
2. Математический энциклопедический словарь / Под ред. Ю. В. Про-
хорова. М.: Советская энциклопедия, 1988. – 847 с.
3. Кудрявцев Л.Д. Курс математического анализа. Т. 1, Т .2
4. Никольский С.М. Математический анализ. т.1. М., Наука, 1975.
5. У. Рудин. Основы математического анализа. М., Мир, 1976.

14

Вам также может понравиться