Академический Документы
Профессиональный Документы
Культура Документы
М Н О Г О М Е Р Н Ы Й А Н А Л И З , И Н Т Е Г РА Л Ы И РЯ Д Ы
БИЛЕТЫ К ЭКЗАМЕНУ
II СЕМЕСТР
Лектор: Редкозубов Вадим Витальевич
весна 2023
Математический анализ Назад к содержанию
Содержание
1. Преобразование Абеля. Леммы Абеля для последовательностей и интегра-
лов. Несобственные интегралы Римана и их свойства. Критерий Коши. Аб-
солютная и условная сходимости несобственных интегралов. Интегралы от
неотрицательных функций. Признак сравнения и его следствия. Интегралы
от знакопеременных функций. Признаки Дирихле и Абеля. Несобственные
интегралы с несколькими особенностями. 4
⃒∫︀ 𝑥 ⃒
Лемма 2 (Абель). Пусть 𝑓 ∈ ℛ[𝑎, 𝑏], 𝑔 монотонна на [𝑎, 𝑏], и пусть ∀𝑥 ∈ [𝑎, 𝑏] ⃒ 𝑎 𝑓 (𝑡)𝑑𝑡⃒ ⩽ 𝑀 .
Тогда: ⃒∫︁ 𝑏 ⃒
⃒ ⃒
⃒
⃒ 𝑓 (𝑥)𝑔(𝑥)𝑑𝑥⃒⃒ ⩽ 2𝑀 (|𝑔(𝑎)| + |𝑔(𝑏)|).
𝑎
∫︀ 𝑏
Доказательство. Зафиксируем 𝜀 > 0. Положим 𝐼 = 𝑎 𝑓 (𝑥)𝑑𝑥. Тогда ∃𝛿 > 0 ∀(𝑇, 𝜉) (|𝑇 | < 𝛿 →
|𝜎𝑇 (𝑓, 𝜉) − 𝐼| < 2𝜀 ).
Выберем одно такое разбиение 𝑇 = {𝑥𝑖 }𝑛𝑖=0 .
Пусть 𝑇𝑘 = {𝑥𝑖∫︀}𝑘𝑖=0 — соответствующее разбиение [𝑥0 , 𝑥𝑘 ], 𝑘 = 1, . . . , 𝑛. По критерию Дарбу
𝑥
числа 𝜎𝑇𝑘 (𝑓, 𝜉𝑘 ) и 𝑥0𝑘 𝑓 (𝑥)𝑑𝑥 лежат на отрезке [𝑠𝑇𝑘 (𝑓 ), 𝑆𝑇𝑘 (𝑓 )], и верно 𝑆𝑇𝑘 (𝑓 ) − 𝑠𝑇𝑘 (𝑓 ) ⩽ 𝑆𝑇 (𝑓 ) −
𝑠𝑇 (𝑓 ).
𝜀 𝜀
𝐼− < 𝜎𝑇 (𝑓, 𝜉) < 𝐼 + ,
2 2
𝜀 𝜀
𝐼− ⩽ 𝑠𝑇 (𝑓 ) ⩽ 𝑆𝑇 (𝑓 ) ⩽ 𝐼 + ,
2 2
𝑥𝑘
⃒ ∫︁ ⃒
⃒ ⃒
⃒𝜎𝑇 (𝑓, 𝜉𝑘 ) − 𝑓 (𝑥)𝑑𝑥⃒⃒ ⩽ 𝜀.
⃒ 𝑘
𝑥0
∑︀𝑘
Положим 𝐴𝑘 = 𝑖=1 𝑓 (𝑐𝑖 )∆𝑥𝑖 . Тогда 𝐴𝑘 = 𝜎𝑇𝑘 (𝑓, 𝜉𝑘 ) и, значит, из последнего неравенства
|𝐴𝑘 | ⩽ 𝑀 + 𝜀. Применим лемму 1 для 𝑎𝑘 = 𝑓 (𝑐𝑘 )∆𝑥𝑘 , 𝑏𝑘 = 𝑔(𝑐𝑘 ), получим
⃒ ⃒
⃒∑︁𝑛 ⃒
𝑓 (𝑐𝑘 )𝑔(𝑐𝑘 )∆𝑥𝑘 ⃒ ⩽ 2(𝑀 + 𝜀)(|𝑔(𝑐1 )| + |𝑔(𝑐𝑛 )|).
⃒ ⃒
⃒
⃒ ⃒
𝑘=1
Неравенство верно для любого набора отмеченных точек, в том числе и 𝑐1 = 𝑎, 𝑐𝑛 = 𝑏. Предель-
ным переходом по мелкости разбиения в случае 𝑐1 = 𝑎, 𝑐𝑛 = 𝑏 получим искомое неравенство.
Определение 3. Пусть −∞ < 𝑎 < 𝑏 ⩽ +∞, и 𝑓 локально интегрируема на [𝑎, 𝑏). Предел
∫︁ 𝑏 ∫︁ 𝑐
𝑓 (𝑥)𝑑𝑥 := lim 𝑓 (𝑥)𝑑𝑥
𝑎 𝑐→𝑏−0 𝑎
Свойство 1 (принцип локализации). Пусть 𝑓 локально интегрируема на [𝑎, 𝑏), 𝑎* ∈ (𝑎, 𝑏). Тогда
∫︀ 𝑏 ∫︀ 𝑏
интегралы 𝑎* 𝑓 (𝑥)𝑑𝑥 и 𝑎 𝑓 (𝑥)𝑑𝑥 сходятся или расходятся одновременно, и если сходятся, то
∫︁ 𝑏 ∫︁ 𝑎* ∫︁ 𝑏
𝑓 (𝑥)𝑑𝑥 = 𝑓 (𝑥)𝑑𝑥 + 𝑓 (𝑥)𝑑𝑥
𝑎 𝑎 𝑎*
Теорема 1 (критерий Коши). Пусть 𝑓 локально интегрируема на [𝑎, 𝑏). Для сходимости ин-
∫︀ 𝑏
теграла 𝑎 𝑓 (𝑥)𝑑𝑥 необходимо и достаточно выполнения условия Коши:
(︂⃒∫︁ 𝜂 ⃒ )︂
⃒ ⃒
∀𝜀 > 0 ∃𝑏𝜀 ∈ [𝑎, 𝑏) ∀𝜉, 𝜂 ∈ (𝑏𝜀 , 𝑏) ⃒⃒ 𝑓 (𝑥)𝑑𝑥⃒⃒ < 𝜀 .
𝜉
∫︀ 𝑥 ∫︀ 𝜂
Доказательство. Положим 𝐹 (𝑥) = 𝑎 𝑓 (𝑡)𝑑𝑡, 𝑥 ∈ [𝑎, 𝑏). Поскольку 𝜉 𝑓 (𝑥)𝑑𝑥 = 𝐹 (𝜂) − 𝐹 (𝜉),
то доказательство утверждения является переформулировкой критерия Коши существования
предела 𝐹 при 𝑥 → 𝑏 − 0.
∫︀ 𝑏
Определение 4. Пусть 𝑓 локально интегрируема на [𝑎, 𝑏). Несобственный интеграл 𝑎 𝑓 (𝑥)𝑑𝑥
∫︀ 𝑏 ∫︀ 𝑏
называется абсолютно сходящимся, если сходится интеграл 𝑎 |𝑓 (𝑥)|𝑑𝑥. Если интеграл 𝑎 𝑓 (𝑥)𝑑𝑥
сходится, но не сходится абсолютно, то он называется условно сходящимся.
Лемма 3. Пусть 𝑓 локально интегрируема и неотрицательна на [𝑎, 𝑏). Тогда сходимость ин-
∫︀ 𝑏 ∫︀ 𝑥
теграла 𝑎 𝑓 (𝑥)𝑑𝑥 равносильна ограниченности функции 𝐹 (𝑥) = 𝑎 𝑓 (𝑡)𝑑𝑡 на [𝑎, 𝑏).
По теореме о пределах монотонной функции существует lim𝑥→𝑏−0 𝐹 (𝑥) = sup[𝑎,𝑏) 𝐹 (𝑥). Отсюда,
учитывая неотрицательность, заключаем, что ограниченность 𝐹 равносильна наличию конечного
предела, то есть сходимости интеграла.
Следствие 2. Пусть 𝑓, 𝑔 локально интегрируемы и неотрицательны на [𝑎, 𝑏). Если 𝑓 (𝑥) = 𝑂(𝑔(𝑥)),
то справедливо заключение теоремы 2.
Доказательство. По определению и неотрицательности функции
3. lim 𝑔(𝑥) = 0.
𝑥→𝑏−0
∫︀ 𝑏
Тогда несобственный интеграл 𝑓 (𝑥)𝑔(𝑥) 𝑑𝑥 сходится.
𝑎
∫︀ 𝑏
Доказательство. Покажем, что интеграл 𝑎 𝑓 (𝑥)𝑔(𝑥) 𝑑𝑥 удовлетворяет условию Коши.
Пусть |𝐹 | < 𝑀 на [𝑎, 𝑏), тогда для любого 𝜉 ∈ [𝑎, 𝑏) выполнено:
⃒∫︁ 𝑥 ⃒
⃒ ⃒
⃒
⃒ 𝑓 (𝑡) 𝑑𝑡⃒⃒ = |𝐹 (𝑥) − 𝐹 (𝜉)| < 2𝑀.
𝜉
Зафиксируем 𝜀 > 0. Тогда, по определению предела для 𝑔(𝑥), ∃𝑏′ ∈ [𝑎, 𝑏) ∀𝑥 ∈ (𝑏′ , 𝑏) |𝑔(𝑥)| < 𝜀
(︀ )︀
8𝑀 .
Тогда по лемме Абеля (1) для любого [𝜉, 𝜂] ⊂ (𝑏′ , 𝑏):
⃒∫︁ 𝜂 ⃒ (︁ 𝜀
⃒ ⃒
⃒ ⩽ 2 · 2𝑀 (|𝑔(𝜉)| + |𝑔(𝜂)|) < 4𝑀 𝜀 )︁
⃒ 𝑓 (𝑡)𝑔(𝑡) 𝑑𝑡 + = 𝜀.
⃒
𝜉
⃒ 8𝑀 8𝑀
∫︀ 𝑏
По критерию Коши интеграл 𝑎 𝑓 (𝑥)𝑔(𝑥) 𝑑𝑥 сходится.
Определение 5. Пусть 𝑎, 𝑏 ∈ R, 𝑎 < 𝑏 и функция 𝑓 определена на (𝑎, 𝑏), кроме, быть может,
конечного множества точек.
Точка 𝑐 ∈ (𝑎, 𝑏) называется особенностью 𝑓 , если 𝑓 ̸∈ ℛ[𝛼, 𝛽] для любого [𝛼, 𝛽] ⊂ (𝑎, 𝑏),
𝛼 < 𝑐 < 𝛽.
Точка 𝑏 называется особенностью 𝑓 , если 𝑏 = +∞, или 𝑏 ∈ R и 𝑓 ̸∈ ℛ[𝛼, 𝛽], для любого [𝛼, 𝛽].
Аналогично вводится особенность 𝑎.
Замечание. Если на (𝑐, 𝑑) нет особенностей функции 𝑓 , то 𝑓 локально интегрируема на (𝑐, 𝑑).
Определение 6. Пусть 𝑐1 < 𝑐2 < . . . < 𝑐𝑁 −1 – все особенности функции 𝑓 на (𝑎, 𝑏), 𝑐0 = 𝑎,
𝑐𝑁 = 𝑏. Пусть 𝜉𝑘 ∈ (𝑐𝑘−1 , 𝑐𝑘 ), 𝑘 = 1, . . . , 𝑁 . Несобственным интегралом функции 𝑓 по (𝑎, 𝑏)
называется
𝑁
∫︁ 𝑏 (︃∫︁ )︃
∑︁ 𝜉𝑘 ∫︁ 𝑐𝑘
𝑓 (𝑥)𝑑𝑥 = 𝑓 (𝑥)𝑑𝑥 + 𝑓 (𝑥)𝑑𝑥 ,
𝑎 𝑘=1 𝑐𝑘−1 𝜉𝑘
если все интегралы в правой части (понимаются как несобственные) и их сумма имеет смысл в
R. ∫︀ 𝑏
При этом 𝑎 𝑓 (𝑥)𝑑𝑥 называется сходящимся, если все интегралы в правой части сходятся,
иначе – расходящимся.
называется суммой ряда 7. Если предел конечен, то ряд называется сходящимся, иначе – расхо-
дящимся.
Замечание. Ряд 𝑟𝑁 = +∞
∑︀
𝑛=𝑁 +1 𝑎𝑛 называется 𝑁 -ым остатком ряда 7.
Принцип локализации можно переформулировать так: если ряд сходится, то сходится и любой
его остаток. И если сходится некоторый остаток ряда, то и весь ряд сходится.
∑︀+∞ ∑︀+∞
Лемма 6 (Линейность).
∑︀+∞ Пусть ряды 𝑛=1 𝑎𝑛 и 𝑛=1 𝑏𝑛 сходятся, и 𝛼, 𝛽 ∈ R (или C), то
сходится и ряд 𝑛=1 (𝛼𝑎𝑛 + 𝛽𝑏𝑛 ), причем верно равенство
+∞
∑︁ +∞
∑︁ +∞
∑︁
(𝛼𝑎𝑛 + 𝛽𝑏𝑛 ) = 𝛼 𝑎𝑛 + 𝛽 𝑏𝑛 .
𝑛=1 𝑛=1 𝑛=1
∑︀+∞
Доказательство. Пусть 𝑆 = 𝑛=1 𝑎𝑛 . Так как 𝑎𝑛 = 𝑆𝑛 − 𝑆𝑛−1 (считаем, что 𝑆0 = 0), то 𝑎𝑛 →
(𝑆 − 𝑆) = 0.
Лемма 8. 1. Если ряд сходится, то сходится и любая его группировка, причем к той же
сумме.
∑︀𝑛𝑘
2. Пусть ∃𝐿 ∀𝑘 (𝑛𝑘 − 𝑛𝑘−1 ⩽ 𝐿). Если 𝑎𝑛 → 0 и группировка +∞
∑︀
𝑘=1 𝑏𝑘 , где 𝑏𝑘 = 𝑗=𝑛𝑘−1 +1 𝑎𝑗 ,
∑︀+∞
сходится, то сходится и ряд 𝑛=1 𝑎𝑛 , причем к той же сумме.
* – 𝑁 -ую частичную сумму
Доказательство. Пусть 𝑆𝑁 обозначает 𝑁 -ую частичную сумму 7, 𝑆𝑁
группировки.
* =𝑆
1. Пусть 𝑆𝑁 → 𝑆. Так как 𝑆𝑁 *
𝑛𝑁 , то 𝑆𝑁 → 𝑆 как подпоследовательность.
Применяя критерий Коши для последовательности частичных сумм получаем критерий Коши
сходимости числового ряда.
9. Ряд +∞
∑︀ ∑︀+∞
Определение
∑︀+∞ 𝑛=1 𝑎𝑛 называется абсолютно сходящимся, если сходится ряд 𝑛=1 |𝑎𝑛 |.
Если ряд 𝑛=1 𝑎𝑛 сходится, но не сходится абсолютно, то он называется условно сходящимся.
2. Если +∞
∑︀ ∑︀+∞ ∑︀+∞
𝑛=1 𝑏𝑛 абсолютно сходится, то 𝑛=1 (𝑎𝑛 + 𝑏𝑛 ) и 𝑛=1 𝑎𝑛 либо одновременно расхо-
дятся, либо одновременно сходятся условно, либо одновременно сходятся абсолютно.
Доказательство.
2. Вытекает из пункта 1.
∫︀ +∞
Лемма 10. Ряд +∞
∑︀
𝑛=1 𝑎𝑛 и 1 𝑓𝑎 (𝑥)𝑑𝑥 сходятся или расходтся одновременно, и если сходятся,
то к одному значению.
∑︀𝑛 ∫︀ 𝑛+1
Доказательство. Пусть 𝑆𝑛 = 𝑘=1 𝑎𝑘 . Так как 𝑆𝑛 = 1 𝑓𝑎 (𝑥)𝑑𝑥, то сходимость интеграла
влечет сходимость ряда. Обратное утверждение следует из оценки
⃒ ∫︁ 𝑥 ⃒
⃒ ⃒
⃒𝑆𝑛 − 𝑓𝑎 (𝑥)𝑑𝑥⃒⃒ ⩽ |𝑎𝑛 | → 0
⃒
1
1. Если ряд ∞
∑︀ ∑︀∞
𝑛=1 𝑏𝑛 сходится, то сходится и ряд 𝑛=1 𝑎𝑛 ;
2. Если ряд ∞
∑︀ ∑︀∞
𝑛=1 𝑎𝑛 расходится, то расходится и ряд 𝑛=1 𝑏𝑛 .
̸ 0 и ряд ∞
∑︀
2. Если 𝑞 > 1, то 𝑎𝑛 → 𝑛=1 𝑎𝑛 расходится.
√
Доказательство. 1. Пусть 𝑞0 ∈ (𝑞, 1). Выберем 𝑁 так, что sup𝑛⩾𝑁 𝑛 𝑎𝑛 < 𝑞0 при всех 𝑛 ⩾ 𝑁
и, значит, 𝑎𝑛 < 𝑞0𝑛 . Следовательно, ряд сходится по признаку сравнения с геометрическим
рядом.
√
2. Так как 𝑞 — частичный предел, то ∃{𝑛𝑘 } 𝑛𝑘 𝑎𝑛𝑘 → 𝑞. Поэтому ∃𝑘0 ∀𝑘 ⩾ 𝑘0 (𝑎𝑛𝑘 > 1), следо-
вательно, 𝑎𝑛 ̸→ 0 и ряд расходится.
𝑎𝑛+1
Доказательство. 1. Пусть 𝑟 ∈ (𝑟, 1). Выберем 𝑁 так, что sup𝑛⩾𝑁 𝑎𝑛 < 𝑟 при всех 𝑛 ⩾ 𝑁 , и,
значит,
∀𝑛 > 𝑁 𝑎𝑛+1 < 𝑟𝑎𝑛 < . . . < 𝑟𝑛+1−𝑁 𝑎𝑁 = 𝑟1−𝑁 𝑎𝑁 𝑟𝑛 ,
и, значит, ряд сходится по признаку сравнения с геометрическим рядом ∞ 𝑛
∑︀
𝑛=1 𝑟 .
(︁ )︁
2. Пусть 𝑟 > 1. Тогда ∃𝑁 inf 𝑛⩾𝑁 𝑎𝑛+1𝑎𝑛 > 1 и, значит, 𝑎𝑛+1 > 𝑎𝑛 > . . . > 𝑎𝑁 > 0 для всех
𝑛 > 𝑁 . Следовательно, 𝑎𝑛 ̸→ 0 и ряд расходится.
Теорема 10 (признак Гаусса). Пусть 𝑎𝑛 > 0 для всех 𝑛 ∈ N и существуют такие 𝑠 > 1 и
ограниченная последовательность {𝛼𝑛 }, что для всех 𝑛 выполнено
𝑎𝑛+1 𝐴 𝛼𝑛
=1− + 𝑠.
𝑎𝑛 𝑛 𝑛
∑︀+∞
Тогда ряд 𝑛=1 𝑎𝑛 сходится при 𝐴 > 1 и расходится иначе.
Теорема
∑︀+∞ 11 (признак Лейбница). Пусть последовательность {𝛼𝑛 } монотонна и 𝛼𝑛 → 0. Тогда
ряд 𝑛=1 (−1)𝑛−1 𝛼𝑛 сходится, причем
|𝑆 − 𝑆𝑛 | ⩽ |𝛼𝑛+1 |.
1. Последовательность 𝐴𝑁 = 𝑁
∑︀
𝑛=1 𝑎𝑛 ограничена,
2. {𝑏𝑛 } монотонна,
3. lim𝑛→+∞ 𝑏𝑛 = 0.
Тогда ряд +∞
∑︀
𝑛=1 𝑎𝑛 𝑏𝑛 сходится.
2. {𝑏𝑛 } монотонна,
3. {𝑏𝑛 } ограничена.
Тогда ряд +∞
∑︀
𝑛=1 𝑎𝑛 𝑏𝑛 сходится.
Ряд +∞
∑︀ ∑︀𝑛
Определение
∑︀+∞ 11.
∑︀+∞ 𝑛=1 𝑐𝑛 , где 𝑐𝑛 = 𝑘=1 𝑎𝑘 𝑏𝑛+1−𝑘 , называется произведением по Коши
рядов 𝑛=1 𝑎𝑛 и 𝑛=1 𝑏𝑛 .
Определение 12. Последовательность {𝑓𝑛 } поточечно сходится к 𝑓 на 𝐸, если 𝑓 (𝑥) = lim𝑛→+∞ 𝑓𝑛 (𝑥)
для всех 𝑥 ∈ 𝐸.
Пишут 𝑓𝑛 → 𝑓 на 𝐸 и 𝑓 называют предельной функцией последовательности {𝑓𝑛 }.
Доказательство.
(︂ )︂
(∀𝑥 ∈ 𝐸 (|𝑓𝑛 (𝑥) − 𝑓 (𝑥)| ⩽ 𝜀)) ⇔ sup |𝑓𝑛 (𝑥) − 𝑓 (𝑥)| ⩽ 𝜀 .
𝑥∈𝐸
∑︀+∞
Рассмотрим функциональный ряд 𝑛=1 𝑓𝑛 , где 𝑓𝑛 : 𝐸 → R (или C)
∑︀+∞
Определение 14. Функциональный ряд 𝑛=1 𝑓𝑛 поточечно сходится ∑︀+∞ на 𝐸, если числовой ряд
∑︀+∞
𝑛=1 𝑓𝑛 (𝑥) сходится для любого 𝑥 ∈ 𝐸. В этом случае 𝑆(𝑥) = 𝑛=1 𝑓𝑛 (𝑥), 𝑥 ∈ 𝐸, называется
суммой ряда +∞
∑︀
𝑓
𝑛=1 𝑛 .
Функциональный ряд +∞
∑︀
∑︀𝑁 𝑛=1 𝑓𝑛 равномерно сходится на 𝐸, если последовательность частич-
ных сумм 𝑆𝑁 = 𝑛=1 𝑓𝑛 равномерно сходится на 𝐸.
2. Пусть +∞
∑︀ ∑︀+∞ ∑︀+∞
𝑛=1 𝑓𝑛 и 𝑔𝑛 равномерно сходятся
𝑛=1 ∑︀ на 𝐸. Тогда 𝑛=1 𝛼𝑓𝑛 + 𝛽𝑔𝑛 также равно-
мерно сходится на 𝐸 и +∞ +∞ +∞
∑︀ ∑︀
𝑛=1 𝛼𝑓𝑛 + 𝛽𝑔𝑛 = 𝛼 𝑓
𝑛=1 𝑛 + 𝛽 𝑛=1 𝑛 .
𝑔
|(𝛼𝑓𝑛 (𝑥) + 𝛽𝑔𝑛 (𝑥)) − (𝛼𝑓 (𝑥) + 𝛽𝑔(𝑥))| ⩽ |𝛼| · |𝑓𝑛 (𝑥) − 𝑓 (𝑥)| + |𝛽| · |𝑔𝑛 (𝑥) − 𝑔(𝑥)|.
1. Если 𝑓𝑛 ⇒ 𝑓 на 𝐸, то 𝑔𝑓𝑛 ⇒ 𝑔𝑓 на 𝐸.
2. Если +∞
∑︀ ∑︀+∞
𝑛=1 𝑓𝑛 равномерно сходится на 𝐸, то 𝑛=1 𝑔𝑓𝑛 также равномерно сходится на 𝐸 и
+∞
∑︁ +∞
∑︁
𝑔𝑓𝑛 = 𝑔 𝑓𝑛
𝑛=1 𝑛=1
Доказательство.
Доказательство.
(⇒) Пусть 𝜀 > 0. Из условия равномерной сходимости:
(︁ 𝜀 )︁
∃𝑁 ∈ N ∀𝑛 ⩾ 𝑁 ∀𝑥 ∈ 𝐸 |𝑓𝑛 (𝑥) − 𝑓 (𝑥)| < .
2
Тогда для всех 𝑛, 𝑚 ⩾ 𝑁 и 𝑥 ∈ 𝐸 имеем:
𝜀 𝜀
|𝑓𝑛 (𝑥) − 𝑓𝑚 (𝑥)| ⩽ |𝑓𝑛 (𝑥) − 𝑓 (𝑥)| + |𝑓𝑚 (𝑥) − 𝑓 (𝑥)| < + = 𝜀.
2 2
(⇐) Пусть {𝑓𝑛 } удовлетворяет (17). Тогда для каждого 𝑥 ∈ 𝐸 числовая последовательность
{𝑓𝑛 (𝑥)} фундаментальна и, значит, сходится. Положим 𝑓 (𝑥) = lim𝑛→∞ 𝑓𝑛 (𝑥), 𝑥 ∈ 𝐸. Пусть 𝜀 > 0
и номер 𝑁 из условия (17). Зафиксируем 𝑛 ⩾ 𝑁 в неравенстве и перейдем к пределу при 𝑚 → ∞.
Получим, что |𝑓𝑛 (𝑥) − 𝑓 (𝑥)| ⩽ 𝜀 при всех 𝑛 ⩾ 𝑁 и 𝑥 ∈ 𝐸. Так как 𝜀 > 0 – любое, то 𝑓𝑛 ⇒ 𝑓 на
𝐸.
𝑆𝑇 (𝑓 ) − 𝑠𝑇 (𝑓 ) ⩽ 𝜀.
1. 𝑓𝑛 → 𝑓 на [𝑎, 𝑏];
1. ∀𝑛 ∈ N ∀𝑥 ∈ 𝐸 (|𝑓𝑛 (𝑥)| ⩽ 𝑎𝑛 );
2. числовой ряд ∞
∑︀
𝑛=1 𝑎𝑛 сходится.
Доказательство. Пусть 𝜀 > 0. Пользуясь критерием Коши как необходимым условием, найдем
𝑁 , что 𝑛𝑘=𝑚 𝑎𝑘 < 𝜀 при всех 𝑛 ⩾ 𝑚 ⩾ 𝑁 . Тогда для таких 𝑛, 𝑚 и всех 𝑥 ∈ 𝐸 справедлива оценка:
∑︀
⃒ ⃒
𝑛
⃒ ∑︁ ⃒ ∑︁𝑛 𝑛
∑︁
𝑓𝑘 (𝑥)⃒ ⩽ |𝑓𝑘 (𝑥)| ⩽ 𝑎𝑘 < 𝜀.
⃒ ⃒
⃒
⃒ ⃒
𝑘=𝑚 𝑘=𝑚 𝑘=𝑚
∑︀∞ ∑︀∞
Пользуясь теперь критерием Коши как достаточным условием, получаем, что 𝑛=1 𝑓𝑛 и 𝑛=1 |𝑓𝑛 |
равномерно сходятся на 𝐸.
1. 𝐴𝑁 = 𝑁
∑︀
𝑛=1 𝑎𝑛 равномерно ограничена на E;
3. 𝑏𝑛 ⇒ 0 на 𝐸.
Тогда ∞
∑︀
𝑛=1 𝑎𝑛 𝑏𝑛 равномерно сходится на 𝐸.
для всех 𝑥 ∈ 𝐸.
Из равномерной сходимости {𝑏𝑛 } следует, что
(︁ 𝜀 )︁
∃𝑁 ∀𝑛 ⩾ 𝑁 ∀𝑥 ∈ 𝐸 |𝑏𝑛 (𝑥)| < .
8𝐶
Тогда при 𝑛 ⩾ 𝑚 ⩾ 𝑁 и 𝑥 ∈ 𝐸 по лемме Абеля
⃒ ⃒
𝑛
⃒ ∑︁ ⃒
𝑎𝑘 (𝑥)𝑏𝑘 (𝑥)⃒ ⩽ 2 · 2𝐶 (|𝑏𝑚 (𝑥)| + |𝑏𝑛 (𝑥)|) < 𝜀.
⃒ ⃒
⃒
⃒ ⃒
𝑘=𝑚
∑︀∞
По критерию Коши 𝑛=1 𝑎𝑛 𝑏𝑛 сходится равномерно на 𝐸.
Тогда ∞
∑︀
𝑛=1 𝑎𝑛 𝑏𝑛 равномерно сходится на 𝐸.
Положим 𝑓 (𝑥) = ∞ 1 𝑛
∑︀
𝑛=1 𝑓𝑛 (𝑥), 𝑓𝑛 (𝑥) = 4𝑛 𝜙(4 𝑥). Функция 𝑓 непрерывна как сумма равномерно
сходящегося ряда (по признаку Вейерштрасса) из непрерывных функций, но не дифференцирума
ни в одной точке.
Определение 17. Величина 𝑅 из теоремы (24) называется радиусом сходимости ряда (16).
𝐵𝑅 (𝑥0 ) = {𝑥 : |𝑥 − 𝑥0 | < 𝑅} называется интервалом сходимости (кругом сходимости в
комлексной плоскости).
Из теоремы (24) получаем:
Следствие 8. Пусть для 𝑅 ∈ [0, +∞] выполнено следующее: при |𝑥 − 𝑥0 | < 𝑅 ряд абсолютно
сходится и при |𝑥 − 𝑥0 | > 𝑅 ряд абсолютно расходится, то 𝑅 — радиус сходимости.
Теорема 25 (Абель). Если степенной ряд (16) сходится в точке 𝑥1 ̸= 𝑥0 , то он сходится
равномерно на отрезке с концами 𝑥1 , 𝑥0 .
Доказательство. По условию ряд ∞ 𝑛
∑︀
𝑛=0 𝑎𝑛 (𝑥1 − 𝑥0 ) сходится. Рассмотрим последовательность
{𝑡 𝑛
∑︀∞} : она монотонна при любом 𝑡 ∈ [0, 1] и равномерно ограниченна. По признаку Абеля (23) ряд
𝑛 𝑡𝑛 равномерно сходится на [0, 1]. Сделав замену 𝑡 = 𝑥−𝑥0 , получим, что ряд
𝑎 (𝑥
𝑛=0 𝑛 1 − 𝑥 0 ) 𝑥1 −𝑥0
(16) равномерно сходится на {𝑥 : 𝑥 = 𝑥0 + 𝑡(𝑥1 − 𝑥0 )}.
Следствие ∑︀10. Сумма степенного ряда с радиусом сходимости 𝑅 > 0 имеет первообразную
𝐹 (𝑥) = 𝐶 + +∞ 𝑎𝑛
𝑛=0 𝑛+1 (𝑥 − 𝑥0 )
𝑛+1 при |𝑥 − 𝑥 | < 𝑅.
0
Пример. Рассмотрим 𝑓 : R → R,
{︃
0, 𝑥 ⩽ 0;
𝑓 (𝑥) = 1
𝑒− 𝑥 , 𝑥 > 0.
𝑚
поскольку по правилу Лопиталя lim𝑡→+∞ 𝑡𝑒𝑡 = 0 для всех 𝑚 ∈ N0 . Это доказывает, что 𝑓 (𝑛+1) (0) =
0.
Таким образом, ряд Маклорена функции 𝑓 нулевой, но он не сходится к 𝑓 ни в какой окрест-
ности нуля.
Следствие 11. Ряды Маклорена функций exp, sin, cos сходятся на R к самим функциям, то есть
∀𝑥 ∈ R :
+∞ 𝑛
𝑥
∑︁ 𝑥
𝑒 = ,
𝑛!
𝑛=0
+∞
∑︁ (−1)𝑛 2𝑛+1
sin(𝑥) = 𝑥 ,
(2𝑛 + 1)!
𝑛=0
+∞
∑︁ (−1)𝑛
cos(𝑥) = 𝑥2𝑛 .
(2𝑛)!
𝑛=0
+∞
∑︁ (−1)𝑛−1 𝑥𝑛
ln(1 + 𝑥) = , |𝑥| < 1.
𝑛
𝑛=1
Ряд в правой части сходится при 𝑥 = 1, поэтому его сумма непрерывна на (−1, 1] и, значит,
(−1)𝑛−1
равенство имеет место при 𝑥 = 1. Получаем известный нам результат, что +∞
∑︀
𝑛=1 𝑛 = ln 2.
𝛼·(𝛼−1)·...·(𝛼−𝑛+1)
Теорема 27 (биномиальный ряд). Если 𝛼 ̸∈ N0 и 𝐶𝛼𝑛 = 𝑛! , 𝐶𝛼0 = 1, то
+∞
∑︁
(1 + 𝑥)𝛼 = 𝐶𝛼𝑛 𝑥𝑛 , |𝑥| < 1.
𝑛=0
Если |𝑥| < 1, то ряд абсолютно сходится по признаку Даламбера. Если |𝑥| > 1, то ряд абсо-
лютно расходится по признаку Даламбера. Следовательно, 𝑅сх = 1.
Обозначим 𝑔(𝑥) = +∞ 𝑛 𝑥𝑛 , и покажем, что 𝑔 ≡ 𝑓 на (−1, 1), т.е. (1 + 𝑥)−𝛼 𝑔(𝑥) = 1 при
∑︀
𝐶
𝑛=0 𝛼
𝑥 ∈ (−1, 1). Для этого найдем производную функции (1 + 𝑥)−𝛼 𝑔(𝑥). По теореме (26) имеем
+∞
∑︁ +∞
∑︁
((1 + 𝑥)−𝛼 𝑔(𝑥))′ = (1 + 𝑥)−𝛼 𝑛𝐶𝛼𝑛 𝑥𝑛−1 − 𝛼(1 + 𝑥)−𝛼−1 𝐶𝛼𝑛 𝑥𝑛 =
𝑛=1 𝑛=0
[︃ +∞ +∞ +∞
]︃
∑︁ ∑︁ ∑︁
= (1 + 𝑥)−𝛼−1 𝑛𝐶𝛼𝑛 𝑥𝑛−1 + 𝑛𝐶𝛼𝑛 𝑥𝑛 − 𝛼 𝐶𝛼𝑛 𝑥𝑛 .
𝑛=1 𝑛=0 𝑛=0
В первой сумме произведем замену индекса суммирования. После приведения подобных сла-
гаемых получим
[︃ +∞ +∞
]︃
∑︁ ∑︁
((1 + 𝑥)−𝛼 𝑔(𝑥))′ = (1 + 𝑥)−𝛼−1 (𝑛 + 1)𝐶𝛼𝑛+1 𝑥𝑛 − (𝛼 − 𝑛)𝐶𝛼𝑛 𝑥𝑛 = 0.
𝑛=0 𝑛=0
1. 𝜌(𝑥, 𝑦) ⩾ 0, 𝜌(𝑥, 𝑦) = 0 ⇔ 𝑥 = 𝑦;
2. 𝜌(𝑥, 𝑦) = 𝜌(𝑦, 𝑥);
3. 𝜌(𝑥, 𝑦) ⩽ 𝜌(𝑥, 𝑧) + 𝜌(𝑧, 𝑦) (неравенство треугольника).
1. ‖𝑥‖ ⩾ 0, ‖𝑥‖ = 0 ⇔ 𝑥 = 0;
2. ‖𝛼𝑥‖ = |𝛼|‖𝑥‖;
3. ‖𝑥 + 𝑦‖ ⩽ ‖𝑥‖ + ‖𝑦‖ (неравенство треугольника).
1. Точка 𝑥 называется внутренней точкой множества 𝐸, если ∃𝜀 > 0 (𝐵𝜀 (𝑥) ⊂ 𝐸).
2. Точка 𝑥 называется внешней точкой множества 𝐸, если ∃𝜀 > 0 (𝐵𝜀 (𝑥) ⊂ 𝑋 ∖ 𝐸).
Обозначим ext 𝐸 — множество внешних точек 𝐸. Очевидно, ext 𝐸 = int(𝑋 ∖ 𝐸).
Определение 23. Множество 𝐺 ⊂ 𝑋 называется открытым, если все точки 𝐺 являются внут-
ренними (то есть 𝐺 = int 𝐺).
Множество 𝐹 ⊂ 𝑋 называется замкнутым, если 𝑋 ∖ 𝐹 открыто.
1. 𝐸 замкнуто;
Доказательство.
(1 ⇒ 2) 𝑥 ∈ 𝑋 ∖ 𝐸 ⇒ ∃𝐵𝜀 (𝑥) ⊂ 𝑋 ∖ 𝐸 ⇒ 𝑥 ̸= 𝜕𝐸 ⇒ 𝜕𝐸 ⊂ 𝐸.
⏟ ⏞
откр.
(2 ⇒ 3) Любая предельная точка является внутренней или граничной, значит 𝐸 содержит все
предельные точки.
˚𝜀 (𝑥) ∩ 𝐸 =
(3 ⇒ 1) Пусть 𝑥 ∈ 𝑋 ∖ 𝐸. Точка 𝑥 не является предельной для 𝐸, т.е. ∃𝜀 > 0 (𝐵
∅) ⇒ 𝐵𝜀 (𝑥) ⊂ 𝑋 ∖ 𝐸. Значит, 𝑋 ∖ 𝐸 открыто.
Доказательство. Если 𝑥 ∈ 𝐸 ∪ 𝜕𝐸, то ∀𝜀 > 0 (𝐵𝜀 (𝑥) ∩ 𝐸 ̸= ∅). Выберем точку 𝑥𝑛 ∈ 𝐵 1 (𝑥) ∩ 𝐸.
𝑛
Так как 𝜌(𝑥𝑛 , 𝑥) < 𝑛1 , то 𝑥𝑛 → 𝑥.
Обратно, если 𝑥 ∈ 𝑋 ∖ 𝐸, то 𝑥 – внешнаяя точка 𝐸 и, значит, 𝑥 не может быть пределом
последовательности точек из 𝐸.
⏟ 𝑈⏞ ⇔∃ ⏟ 𝑉⏞ (𝑈 = 𝑉 ∩ 𝐸).
откр. в 𝐸 откр. в 𝑋
𝐸 (𝑥) ⊂ 𝑈 и, значит, 𝑈 = 𝐸
⋃︀
Доказательство. (⇒) Пусть 𝑈 открыто в 𝐸. Тогда ∀𝑥 ∈ 𝑈 ∃𝐵 𝜀 𝑥 𝑥∈𝑈 𝐵𝜀𝑥 (𝑥).
Положим 𝑉 = 𝑥∈𝑈 𝐵𝜀𝑋𝑥 (𝑥). Тогда 𝑉 открыто в 𝑋 и 𝑉 ∩𝐸 = 𝑥∈𝑈 (𝐵𝜀𝑋𝑥 (𝑥)∩𝐸) = 𝑥∈𝑈 𝐵𝜀𝐸𝑥 (𝑥) = 𝑈 .
⋃︀ ⋃︀ ⋃︀
(⇐) Пусть 𝑥 ∈ 𝑈 и 𝑈 = ⏟ 𝑉⏞ ∩𝐸, тогда 𝑥 ∈ 𝑉 ⇒ ∃𝐵𝜀𝑋 (𝑥) ⊂ 𝑉 ⇒ 𝐵𝜀𝐸 (𝑥) = 𝐵𝜀𝑋 (𝑥) ∩ 𝐸 ⊂
откр. в 𝑋
𝑉 ∩ 𝐸 = 𝑈 , то есть 𝑈 открыто в 𝐸.
Следствие 13.
⏟ 𝑍⏞ ⇔∃ ⏟ 𝐹⏞ (𝑍 = 𝐹 ∩ 𝐸).
замк. в 𝐸 замк. в 𝑋
1. Покажем, что для любого 𝜀 > 0 𝐾 можно покрыть конечным набором открытых шаров
радиуса 𝜀.
Докажем от противного – пусть нельзя покрыть. Индуктивно построим последовательность
⋃︀𝑛−1
{𝑥𝑛 }, 𝑥1 ∈ 𝐾, 𝑥𝑛 ∈ 𝐾 ∖ 𝑖=1 𝐵𝜀 (𝑥𝑖 ).
По построению 𝜌(𝑥𝑖 , 𝑥𝑗 ) ⩾ 𝜀, и, значит, из {𝑥𝑛 } нельзя выделить сходящуюся подпоследова-
тельность – противоречие.
Имеем {𝑥𝑛 } ⊂ 𝐾 ⇒ ∃𝑥𝑛𝑘 → 𝑥 ∈ 𝐾, следовательно, ∃𝜆0 ∈ Λ(𝑥 ∈ 𝐺𝜆0 ) ⇒ ∃𝐵𝛼 (𝑥) ⊂ 𝐺𝜆0 .
⏟ ⏞
откр.
1 𝛼
Выберем 𝑘 так, чтобы 𝑥𝑛𝑘 ∈ 𝐵 (𝑥) и 𝛼
2 𝑛𝑘 < 2. Если 𝑧 ∈ 𝐵 1 (𝑥𝑛𝑘 ) ⇒ 𝜌(𝑧, 𝑥) ⩽ 𝜌(𝑧, 𝑥𝑛𝑘 ) +
𝑛𝑘
𝛼 𝛼
𝜌(𝑥𝑛𝑘 , 𝑥) < 2 + 2 = 𝛼.
Следовательно, 𝑧 ∈ 𝐵𝛼 (𝑥), 𝐵 1 (𝑥𝑛𝑘 ) ⊂ 𝐵𝛼 (𝑥) ⊂ 𝐺𝜆0 — противоречие.
𝑛𝑘
По (1) ∃𝑥1 , 𝑥2 , ..., 𝑥𝑚 ∈ 𝐾, что 𝐾 ⊂ 𝐵𝜀 (𝑥𝑖 ) ∪ ... ∪ 𝐵𝜀 (𝑥𝑚 ) ⊂ 𝐺𝜆1 ∪ ... ∪ 𝐺𝜆𝑚 , где 𝜆𝑖 удовлетворяет
условию 𝐵𝜀 (𝑥𝑖 ) ⊂ 𝐺𝜆𝑖 .
Следовательно, 𝐾 – компакт.
Доказательство.
Пусть {𝑥𝑘 } – фундаментальная последовательность в R𝑛 , 𝑥𝑘 = (𝑥1,𝑘 , . . . , 𝑥𝑛,𝑘 )𝑇 . Так как |𝑥𝑖,𝑘 −
𝑥𝑖,𝑚 | ⩽ 𝜌2 (𝑥𝑘 , 𝑥𝑚 ), то из фундаментальности {𝑥𝑘 } следует фундаментальность {𝑥𝑖,𝑘 } в R для
𝑖 = 1, . . . , 𝑛. По критерию Коши √︀∑︀для числовых последовательностей 𝑥𝑖,𝑘 → 𝑎𝑘 ∈ R. Рассмотрим
𝑛
𝑎 = (𝑎1 , . . . , 𝑎𝑛 )𝑇 . 𝜌2 (𝑥𝑘 , 𝑎) = 2 𝑛
𝑖=1 𝑘,𝑖 − 𝑎𝑖 ) → 0 при 𝑘 → ∞. Значит, 𝑥𝑘 → 𝑎 ⇒ R – полное
(𝑥
метрическое пространство.
Свойство 9. 𝑓, 𝑔 : 𝑋 ∖ {𝑎} → R и lim𝑥→𝑎 𝑓 (𝑥) = 𝑏, lim𝑥→𝑎 𝑔(𝑥) = 𝑐. Тогда lim𝑥→𝑎 (𝑓 (𝑥) + 𝑔(𝑥)) =
𝑏 + 𝑐, lim𝑥→𝑎 𝑓 (𝑥)𝑔(𝑥) = 𝑏𝑐.
∀𝜀 > 0 ∃𝛿 > 0 ∀𝑥, 𝑥′ ∈ 𝑋 (𝜌𝑋 (𝑥, 𝑥′ ) < 𝛿 ⇒ 𝜌𝑌 (𝑓 (𝑥), 𝑓 (𝑥′ )) < 𝜀).
𝛿𝑎𝑖 𝛿𝑎
𝜌𝐾 (𝑥′ , 𝑎𝑖 ) ⩽ 𝜌𝐾 (𝑥′ , 𝑥) + 𝜌𝐾 (𝑥, 𝑎𝑖 ) < + 𝑖 = 𝛿𝑎𝑖 ,
2 2
и, значит, 𝑥, 𝑥′ ∈ 𝐵𝛿𝑎𝑖 (𝑎𝑖 ). Поэтому
𝜀 𝜀
𝜌𝑌 (𝑓 (𝑥), 𝑓 (𝑥′ )) ⩽ 𝜌𝑌 (𝑓 (𝑥), 𝑓 (𝑎𝑖 )) + 𝜌𝑌 (𝑓 (𝑎𝑖 ), 𝑓 (𝑥′ )) < + = 𝜀.
2 2
𝛿𝑥 + 𝛿𝑦
𝜌(𝑥, 𝑦) ⩽ 𝜌(𝑥, 𝑧) + 𝜌(𝑧, 𝑦) < ⩽ 𝑚𝑎𝑥{𝛿𝑥 , 𝛿𝑦 }.
2
Если 𝑚𝑎𝑥{𝛿𝑥 , 𝛿𝑦 } = 𝛿𝑥 , то 𝑦 ∈ 𝐵𝛿𝑥 (𝑥); если же 𝑚𝑎𝑥{𝛿𝑥 , 𝛿𝑦 } = 𝛿𝑦 , то 𝑥 ∈ 𝐵𝛿𝑦 (𝑦). Обе эти ситуации
невозможны. Следовательно, 𝑈 ∩ 𝑉 = ∅.
Доказательство. По теореме (37) множество 𝑓 (𝑆) связно в R и, значит, по теореме (36) является
промежутком.
Выделим класс множеств, для которых проверка связности осуществляется несколько проще.
Определение 39. Метрическое пространство 𝑋 называется линейно связным, если для любых
точек 𝑥, 𝑦 ∈ 𝑋 существует такая непрерывная функция 𝛾 : [0, 1] → 𝑋, что 𝛾(0) = 𝑥, 𝛾(1) = 𝑦.
Замечание. ‖𝐿‖ ∈ R. По определению супремума ‖𝐿(𝑥)‖ ⩽ ‖𝐿‖‖𝑥‖ для всех 𝑥 ∈ 𝑋, и для всякого
𝜀 > 0 найдется такое 𝑥𝜀 ∈ 𝑋, что ‖𝐿(𝑥)‖ > (‖𝐿‖ − 𝜀)‖𝑥𝜀 ‖. Это означает, что ‖𝐿‖ – наименьшее из
чисел 𝐶 > 0, таких что ‖𝐿(𝑥)‖ ⩽ 𝐶‖𝑥‖ для всех 𝑥 ∈ 𝑋.
Нетрудно проверить, что (ℒ(𝑋, 𝑌 ), ‖ · ‖) является нормированным пространством, причем
‖𝐿2 𝐿1 ‖ ⩽ ‖𝐿2 ‖‖𝐿1 ‖.
Замечание. Формула (42) не определяет значение 𝛼 в нуле. В дальнейшем будем считать, что
𝛼(0) = 0 и, значит, функция 𝛼 непрерывна в нуле.
Формулу (42) можно написать в виде
Доказательство. Для 𝑣 = 0 утверждение верно. Пусть 𝑣 ̸= 0. Выберем 𝛿 > 0 так, что 𝐵𝛿 (𝑎) ⊂ 𝑈 .
𝛿
Тогда для всех 𝑡 ∈ R с |𝑡| < |𝑣| , получим
В силу линейности 𝑑𝑓𝑎 (𝑡𝑣) = 𝑡𝑑𝑓𝑎 (𝑣). Далее, по непрерывности 𝛼 в 0 имеем 𝛼(𝑡𝑣) → 0 при 𝑡 → 0,
поэтому
𝜕𝑓 𝑓 (𝑎 + 𝑡𝑣) − 𝑓 (𝑎)
(𝑎) = lim = lim(𝑑𝑓𝑎 (𝑣) ± 𝛼(𝑡𝑣)‖𝑣‖) = 𝑑𝑓𝑎 (𝑣).
𝜕𝑣 𝑡→0 𝑡 𝑡→0
𝑔(𝑓 (𝑎 + ℎ)) = 𝑔(𝑏 + κ(ℎ)) = 𝑔(𝑏) + 𝑑𝑔𝑏 (𝑑𝑓𝑎 (ℎ) + 𝛼(ℎ)‖ℎ‖) + 𝛽(κ(ℎ))‖κ(ℎ)‖ =
= 𝑔(𝑏) + 𝑑𝑔𝑏 (𝑑𝑓𝑎 (ℎ)) + 𝑑𝑔𝑏 (𝛼(ℎ)) · ‖ℎ‖ + 𝛽(κ(ℎ)) · ‖κ(ℎ)‖ =
‖κ(ℎ)‖
= 𝑔(𝑏) + 𝑑𝑔𝑏 (𝑑𝑓𝑎 (ℎ)) + 𝛾(ℎ)‖ℎ‖, 𝛾(ℎ) = 𝑑𝑔𝑏 (𝛼(ℎ)) + 𝛽(κ(ℎ)) .
‖ℎ‖
Лемма 23. Функция 𝑓 дифференцируема в точке 𝑎 тогда и только тогда, когда все координат-
ные функции 𝑓𝑖 дифференцируемы в точке 𝑎.
𝑓𝑖 (𝑎 + ℎ) = 𝑓𝑖 + 𝐿𝑖 (ℎ) + 𝛼𝑖 (ℎ)|ℎ|.
Следствие 20. Если 𝑓 : 𝑈 → R дифференцируема ∑︀𝑛 𝜕𝑓в точке 𝑎, то она имеет𝑛 в этой точке частные
𝜕𝑓
производные 𝜕𝑥 𝑘
(𝑎), 𝑘 = 1, . . . , 𝑛, и 𝑑𝑓 𝑎 (ℎ) = 𝑘=1 𝜕𝑥𝑘 (𝑎)ℎ𝑘 для всех ℎ ∈ R .
𝜕𝑓
Доказательство. По теореме (39) существуют 𝜕𝑥 𝑘
(𝑎) = 𝑑𝑓𝑎 (𝑒𝑘 ), следовательно, в силу линейно-
сти (︃ 𝑛 𝑛 𝑛
)︃
∑︁ ∑︁ ∑︁ 𝜕𝑓
𝑑𝑓𝑎 (ℎ) = 𝑑𝑓𝑎 ℎ𝑘 𝑒𝑘 = ℎ𝑘 𝑑𝑓𝑎 (𝑒𝑘 ) = (𝑎)ℎ𝑘 .
𝜕𝑥𝑘
𝑘=1 𝑘=1 𝑘=1
𝜕𝑓 𝜕𝑓
Определение 45. Вектор ( 𝜕𝑥 1
(𝑎), . . . , 𝜕𝑥𝑛
(𝑎))𝑇 называется градиентом функции 𝑓 в точке 𝑎 и
обозначается 𝑔𝑟𝑎𝑑𝑓 (𝑎) или ∇𝑓 (𝑎).
Следствие 21. Пусть 𝑓 дифференцируема в точке 𝑎, и 𝑔𝑟𝑎𝑑𝑓 (𝑎) ̸= 0. Тогда для любого 𝑣 ∈ R𝑛
с |𝑣| = 1 выполнено ⃒ ⃒
⃒ 𝜕𝑓 ⃒
⃒ (𝑎)⃒ ⩽ |𝑔𝑟𝑎𝑑𝑓 (𝑎)|,
⃒ 𝜕𝑣 ⃒
𝑔𝑟𝑎𝑑𝑓 (𝑎)
причем равенство достигается лишь при 𝑣 = ± |𝑔𝑟𝑎𝑑𝑓 (𝑎)| .
𝜕𝑓
Доказательство.
⃒ ⃒ Так как 𝜕𝑣 (𝑎) = 𝑑𝑓𝑎 (𝑣) = (𝑔𝑟𝑎𝑑𝑓 (𝑎), 𝑣), то по неравенству Коши-Буняковского-
Шварца ⃒ 𝜕𝑓
𝜕𝑣 (𝑎)⃒ ⩽ |𝑔𝑟𝑎𝑑𝑓 (𝑎)| · |𝑣| = |𝑔𝑟𝑎𝑑𝑓 (𝑎)|, причем равенство достигается лишь в случае кол-
⃒ ⃒
𝑔𝑟𝑎𝑑𝑓 (𝑎)
линеарности 𝑔𝑟𝑎𝑑𝑓 (𝑎) и 𝑣, то есть 𝑣 = ± |𝑔𝑟𝑎𝑑𝑓 (𝑎)| .
Замечание. По лемме 1 следует, что 𝑑𝑓 (ℎ) = (𝑑𝑓1 (ℎ), . . . , 𝑑𝑓𝑚 (ℎ))𝑇 , поэтому 𝑖𝑗-й элемент матрицы
𝜕𝑓𝑖
Якоби в точке 𝑎 равен значению 𝑑(𝑓𝑖 )𝑎 (𝑒𝑗 ), то есть 𝜕𝑥 𝑗
(𝑎). Таким образом, строками матрицы
Якоби являются градиенты ее координатных функций в этой точке.
𝑛
∑︁ 𝑛
∑︁
𝑓 (𝑎 + ℎ) − 𝑓 (𝑎) = (𝑓 (𝑥𝑘 ) − 𝑓 (𝑥𝑘−1 )) = (𝑓 (𝑥𝑘−1 + ℎ𝑘 𝑒𝑘 ) − 𝑓 (𝑥𝑘−1 )).
𝑘=1 𝑘=1
𝑛 (︂ )︂
∑︁ 𝜕𝑓 𝜕𝑓 ℎ𝑘
= (𝑐𝑘 ) − (𝑎) |ℎ| =: 𝛼(ℎ)|ℎ|.
𝜕𝑥𝑘 𝜕𝑥𝑘 |ℎ|
𝑘=1
𝜕𝑓
В силу непрерывности 𝜕𝑥 𝑘
в точке 𝑎 и неравенства |ℎ𝑘 | ⩽ |ℎ| функция 𝛼(ℎ) → 0 при ℎ → 0.
Следовательно, 𝑓 дифференцируема в точке 𝑎.
Пусть ⏟ 𝑈⏞ ⊂ R𝑛 , 𝑓 : 𝑈 → R, 𝑘 ∈ N.
откр.
𝜕𝑘𝑓 𝜕 𝑘−1 𝑓
(︂ )︂⃒
𝜕 ⃒
:= ⃒
𝜕𝑥𝑖𝑘 𝜕𝑥𝑖𝑘−1 . . . 𝜕𝑥𝑖1 𝜕𝑥𝑖𝑘 𝜕𝑥𝑖𝑘−1 . . . 𝜕𝑥𝑖1 ⃒𝑥=𝑎
𝜕2𝑓 𝜕2𝑓
(𝑎, 𝑏) = (𝑎, 𝑏).
𝜕𝑦𝜕𝑥 𝜕𝑥𝜕𝑦
𝜕𝑓 𝜕𝑓
Доказательство. Выберем окрестность 𝐵𝛿 (𝑎, 𝑏), в которой определены 𝜕𝑥 и 𝜕𝑦 . Рассмотрим вы-
ражение
𝜕𝑓 𝜕𝑓
∆(𝑡) = 𝑔 ′ (𝜉)𝑡 =
(𝑎 + 𝜉, 𝑏 + 𝑡)𝑡 − (𝑎 + 𝜉, 𝑏)𝑡 =
𝜕𝑥 𝜕𝑥
𝜕2𝑓 𝜕2𝑓 𝜕2𝑓
(︂ )︂ (︂ )︂
𝜕𝑓 √︀ 𝜕𝑓
= (𝑎, 𝑏) + 2 (𝑎, 𝑏)𝜉 + (𝑎, 𝑏)𝑡 + 𝛼(𝑡) 𝜉 2 + 𝑡2 𝑡 − (𝑎, 𝑏) + 2 (𝑎, 𝑏)𝜉 + 𝛽(𝑡)|𝜉| 𝑡 =
𝜕𝑥 𝜕 𝑥 𝜕𝑦𝜕𝑥 𝜕𝑥 𝜕 𝑥
(︃ √︂ )︃
𝜕2𝑓 𝜉2 |𝜉| 2
= (𝑎, 𝑏) ± 𝛼(𝑡) 1 + 2 ± 𝛽(𝑡) 𝑡 ,
𝜕𝑦𝜕𝑥 𝑡 |𝑡|
Δ(𝑡) 𝜕2𝑓
где 𝛼(𝑡) → 0, 𝛽(𝑡) → 0 при 𝑡 → 0. Следовательно, существует lim𝑡→0 𝑡2
= 𝜕𝑦𝜕𝑥 (𝑎, 𝑏).
Δ(𝑡) 𝜕2𝑓
Аналогично lim𝑡→0 𝑡2
= 𝜕𝑥𝜕𝑦 (𝑎, 𝑏), что и доказывает теорему.
𝜕𝑘𝑓 𝜕𝑘𝑓
(𝑎) = (𝑎)
𝜕𝑥𝑖𝑘 . . . 𝜕𝑥𝑖1 𝜕𝑥𝑗𝑘 . . . 𝜕𝑥𝑗1
при условии, что списки (𝑖1 , . . . , 𝑖𝑘 ) и (𝑗1 , . . . , 𝑗𝑘 ) отличаются лишь порядком.
Следствие 23. Функция 𝑓 дифференцируема 𝑘 раз в точке 𝑎, тогда и только тогда, когда все
частные производные до порядка 𝑘 − 2 дифференцируемы в некоторой окрестности точки 𝑎, а
все частные производные порядка 𝑘 − 1 дифференцируемы в точке 𝑎.
Пусть 𝐵 = 𝐼1 × . . . × 𝐼𝑛 , тогда
𝑛 (︂ )︂ (︂ )︂
l 1 1 1 1 𝑛
|𝐵| = lim # 𝐼𝑗 ∩ Z = lim # 𝐵∩ Z .
𝑁 →∞ 𝑁 𝑁 𝑁 →∞ 𝑁 𝑛 𝑁
𝑗=1
⋃︀𝑚
Если 𝐵 ⊂ 𝑖=1 𝐵𝑖 , то
(︂ )︂ 𝑛 (︂ )︂
1 1 𝑛 1 ∑︁ 1 𝑛
# 𝐵∩ Z ⩽ 𝑛 # 𝐵𝑖 ∩ Z .
𝑁𝑛 𝑁 𝑁 𝑁
𝑖=1
Свойство 13. Для любого бруса 𝐵 и 𝜀 > 0 найдутся замкнутый брус 𝐵 ′ и открытый брус 𝐵 𝑜 ,
так что 𝐵 ′ ⊂ 𝐵 ⊂ 𝐵 𝑜 и |𝐵 ′ | > |𝐵| − 𝜀, |𝐵 𝑜 | < |𝐵| + 𝜀.
Так как |𝐵𝛿′ |, |𝐵𝛿𝑜 | → |𝐵| при 𝛿 → +0, то искомые брусы существуют и определяются выбором
𝛿. Если же 𝐵 – вырожденный брус, то положим 𝐵 ′ = ∅, 𝐵𝛿𝑜 как выше.
1. ∅ ∈ 𝒜;
2. если 𝐸 ∈ 𝒜, то 𝐸 𝑐 = R𝑛 ∖ 𝐸 ∈ 𝒜;
3. если 𝐸, 𝐹 ∈ 𝒜, то 𝐸 ∪ 𝐹 ∈ 𝒜.
Пример.
1. 𝜎-алгебра, содержащая все одноэлементные множества, также содержит все не более чем
счетные множества и множества, дополнение к которым не более чем счетно.
2. если 𝐸 = ∞
⋃︀ *
∑︀∞ *
𝑘=1 𝐸𝑘 , то 𝜇 (𝐸) ⩽ 𝑘=1 𝜇 (𝐸𝑘 ) (счетная полуаддитивность);
Доказательство. Докажем пункт 2. Будем предполагать, что 𝜇* (𝐸) < +∞, иначе утверждение
очевидно. Зафиксируем 𝜀 > 0 и рассмотрим семейство брусов {𝐵𝑖,𝑘 }∞𝑖=1 , образующее покрытие
𝐸𝑘 , такие что
∞
∑︁ 𝜀
|𝐵𝑖,𝑘 | < 𝜇* (𝐸𝑘 ) + 𝑘 .
2
𝑖=1
⋃︀∞
Семейство {𝐵𝑖,𝑘 }∞
𝑖,𝑘=1 образуют покрытие 𝐸 = 𝑘=1 𝐸𝑘 и
+∞ ∑︁
+∞ +∞ (︁ +∞
*
∑︁ ∑︁
* 𝜀 )︁ ∑︁ *
𝜇 (𝐸) ⩽ |𝐵𝑖,𝑘 | ⩽ 𝜇 (𝐸𝑘 ) + 𝑘 = 𝜇 (𝐸𝑘 ) + 𝜀.
2
𝑘=1 𝑖=1 𝑘=1 𝑘=1
𝑁 𝑁 ∞ (︁ ∞
⋃︁ ∑︁ ∑︁ 𝜀 )︁ ∑︁
𝑅⊂ 𝐵𝑖𝑜 ⇒ |𝑅| ⩽ |𝐵𝑖𝑜 | ⇒ |𝑅| ⩽ |𝐵𝑖 | + = |𝐵𝑖 | + 𝜀.
2𝑖
𝑖=1 𝑖=1 𝑖=1 𝑖=1
Определение 52. Множество 𝐸 ⊂ R𝑛 называется измеримым (по Лебегу), если для любого
𝐴 ⊂ R𝑛 : 𝜇* (𝐴) = 𝜇* (𝐴 ∩ 𝐸) + 𝜇* (𝐴 ∩ 𝐸 𝑐 ).
𝐵𝑖1 = 𝐵𝑖 ∩ 𝐻, 𝐵𝑖2 = 𝐵𝑖 ∩ 𝐻 𝑐 .
∞
∑︁ ∞
∑︁ ∞
∑︁
|𝐵𝑖 | = |𝐵𝑖1 | + |𝐵𝑖2 | ⩾ 𝜇* (𝐴 ∩ 𝐻) + 𝜇* (𝐴 ∩ 𝐻 𝑐 ).
𝑖=1 𝑖=1 𝑖=1
Следовательно, 𝜇* (𝐴) ⩾ 𝜇* (𝐴 ∩ 𝐻) + 𝜇* (𝐴 ∩ 𝐻 𝑐 ).
Аналогичное утверждение верно и для других неравенств между 𝑥𝑘 и 𝑎.
Доказательство. ∅ ∈ ℳ, 𝐸 ∈ ℳ ⇒ 𝐸 𝑐 ∈ ℳ.
1. Пусть 𝐸, 𝐹 ∈ ℳ. Покажем, что 𝐸 ∪ 𝐹 ∈ ℳ.
Пусть 𝐴 ⊂ R𝑛 , тогда
= 𝜇* (𝐴 ∩ 𝐸) + 𝜇* (𝐴 ∩ 𝐸 𝑐 ∩ 𝐹 ) + 𝜇* (𝐴 ∩ 𝐸 𝑐 ∩ 𝐹 𝑐 ) = 𝜇* (𝐴 ∩ 𝐸) + 𝜇* (𝐴 ∩ 𝐸 𝑐 ) = 𝜇* (𝐴).
𝜇* (𝐴 ∩ 𝐹𝑛 ) = 𝜇* (𝐴 ∩ 𝐹𝑛 ∩ 𝐸𝑛 ) + 𝜇* (𝐴 ∩ 𝐹𝑛 ∩ 𝐸𝑛𝑐 ) = 𝜇* (𝐴 ∩ 𝐸𝑛 ) + 𝜇* (𝐴 ∩ 𝐹𝑛−1 ).
Поскольку 𝐹𝑛 ∈ ℳ, то
𝑛
∑︁
* * *
𝜇 (𝐴) = 𝜇 (𝐴 ∩ 𝐹𝑛 ) + 𝜇 (𝐴 ∩ 𝐹𝑛𝑐 ) ⩾ 𝜇* (𝐴 ∩ 𝐸𝑘 ) + 𝜇* (𝐴 ∩ 𝐹 𝑐 ).
𝑘=1
∑︀∞
Переходя к пределу при 𝑛 → ∞, получим 𝜇* (𝐴) ⩾ 𝑘=1 𝜇
* (𝐴 ∩ 𝐸𝑘 ) + 𝜇* (𝐴 ∩ 𝐹 𝑐 ). Откуда по
свойству счетной полуаддитивности
∞
∑︁
𝜇* (𝐴) ⩾ 𝜇* (𝐴 ∩ 𝐸𝑘 ) + 𝜇* (𝐴 ∩ 𝐹𝑐 ) ⩾ 𝜇* (𝐴 ∩ 𝐹 ) + 𝜇* (𝐴 ∩ 𝐹 𝑐 ) ⩾ 𝜇* (𝐴).
𝑘=1
+∞ +∞
∑︁ ∑︁ 𝜀 𝜀
⩽ |𝐵𝑘 | + |𝐵𝑘 | − 𝜇* (𝐸) < + = 𝜀.
2 2
𝑘=𝑁 +1 𝑘=1
(⇐) Пусть 𝜇* (𝐸△𝐶) < 𝜀. Тогда тем более 𝜇* (𝐸 ∖ 𝐶) < 𝜀 и 𝜇* (𝐶 ∖ 𝐸) < 𝜀. Поскольку 𝐸 ⊂
𝐶 ∪ (𝐸 ∖ 𝐶) и 𝐸 𝑐 ⊂ 𝐶 𝑐 ∪ (𝐶 ∖ 𝐸), то для любого 𝐴 ⊂ R𝑛 имеем
𝜇* (𝐴 ∩ 𝐸) + 𝜇* (𝐴 ∩ 𝐸 𝑐 ) ⩽ 𝜇* (𝐴 ∩ 𝐶) + 𝜇* (𝐴 ∩ (𝐸 ∖ 𝐶)) + 𝜇* (𝐴 ∩ 𝐶 𝑐 ) + 𝜇* (𝐴 ∩ (𝐶 ∖ 𝐸)) ⩽
𝑥 ∈ 𝑉𝑖 ∩ 𝑉𝑗 ⇒ 𝑥𝑖 + 𝑟𝑖 = 𝑥𝑗 + 𝑟𝑗 ⇒ 𝑥𝑗 − 𝑥𝑖 ∈ Q.
⨆︀∞
2. [0, 1] ⊂ 𝑛=0 𝑉𝑛 ⊂ [−1, 2].
(левое включение: 𝑦 ∈ [0, 1] ⇒ 𝑦 ∈ 𝐻𝛼 ⇒ 𝑦 = 𝑥𝛼 + 𝑟, 𝑟 = 𝑦 − 𝑥𝛼∈[−1,1] ⇒ ∃𝑛(𝑟 − 𝑟𝑛 ))
(правое включение: 𝑉 ⊂ [0, 1] и 𝑟𝑛 ∈ [−1, 1])
3. Пусть 𝐴𝑛 ⊂ 𝑉𝑛 ⇒ 𝜇(𝐴𝑛 ) = 0.
⏟ ⏞
изм.
(𝐴𝑚 = 𝐴𝑛 − 𝑟𝑛 + 𝑟𝑚 ⊂ 𝑉𝑚 , 𝜇(𝐴𝑚 ) = 𝜇(𝐴𝑛 ) = 0, 𝜇( ∞
⨆︀ ∑︀∞ ∑︀∞
𝑛=0 𝐴𝑛 ) = 𝑛=0 𝜇(𝐴𝑛 ) = 𝑛=0 𝑎 ⩽
𝜇([−1, 2]) = 3 ⇒ 𝑎 = 0)
Определение 55. Функция 𝑓 называется измеримой (по Лебегу), если {𝑥 ∈ 𝐸 : 𝑓 (𝑥) < 𝑎} =
𝑓 −1 ([−∞, 𝑎)) измеримо для всех 𝑎 ∈ R.
1. 𝑓 измеримо;
Доказательство. 1. Докажем измеримость суммы. Поскольку 𝛼 < 𝛽 ⇔ ∃𝑟 ∈ Q(𝛼 < 𝑟 < 𝛽),
Q = {𝑟𝑘 }∞
𝑘=1 , то
∞
⋃︁
{𝑥 ∈ 𝐸 : 𝑓 (𝑥) + 𝑔(𝑥) < 𝑎} = {𝑥 ∈ 𝐸 : 𝑓 (𝑥) < 𝑎 − 𝑔(𝑥)} = {𝑥 ∈ 𝐸 : 𝑓 (𝑥) < 𝑟𝑘 < 𝑎 − 𝑔(𝑥)} =
𝑘=1
∞
⋃︁
= {𝑥 ∈ 𝐸 : 𝑓 (𝑥) < 𝑟𝑟 } ∩ {𝑥 ∈ 𝐸 : 𝑔(𝑥) < 𝑎 − 𝑟𝑘 }.
𝑘=1
+∞
⋂︁
{𝑥 ∈ 𝐸 : 𝑔(𝑥) ⩽ 𝑎} = {𝑥 ∈ 𝐸 : 𝑓𝑘 (𝑥) ⩽ 𝑎}
𝑘=1
Доказательство. По условию, 𝑍 = {𝑥 ∈ 𝐸 : 𝑓 (𝑥) ̸= 𝑔(𝑥)} имеет меру нуль. Тогда для любого
𝑎 ∈ R имеем {𝑥 ∈ 𝐸 : 𝑔(𝑥) < 𝑎} = ({𝑥 ∈ 𝐸 : 𝑓 (𝑥) < 𝑎} ∩ 𝑍 𝑐 ) ∪ ({𝑥 ∈ 𝐸 : 𝑔(𝑥) < 𝑎} ∩ 𝑍) –
измеримо.
Поскольку {𝑥 : I𝐴 (𝑥) < 𝑎} пусто при 𝑎 ⩽ 0, совпадает с 𝐴𝑐 при 𝑎 ∈ (0, 1] и совпадает с R𝑛 при
𝑎 > 1, то функция I𝐴 является измеримой ⇔ 𝐴 измеримо.
1. 0 ⩽ 𝜙1 (𝑥) ⩽ 𝜙2 (𝑥) ⩽ . . .
𝐹𝑘 = {𝑥 ∈ 𝐸 : 𝑓 (𝑥) ⩾ 𝑘}.
Множества 𝐸𝑘,𝑗 и 𝐹𝑘 измеримы и в объединении дают 𝐸.
∑︀𝑘·2𝑘 𝑗−1
Определим 𝜙𝑘 = 𝑗=1 2𝑘 I𝐸𝑘,𝑗 + 𝑘 · I𝐹𝑘 . Пусть 𝑥 ∈ 𝐸. Покажем, что {𝜙𝑘 (𝑥)}, возрастая,
стремится к 𝑓 (𝑥).
Если 𝑓 (𝑥) = +∞, то 𝜙𝑘 (𝑥) = 𝑘 для всех 𝑘 и утверждение верно.
Пусть 𝑓 (𝑥) ∈ R и 𝑘 ∈ N. Если 𝑓 (𝑥) ⩾ 𝑘+1, то 𝜙𝑘+1 (𝑥) = 𝑘+1 > 𝑘 = 𝜙𝑘 (𝑥). Если 𝑘 ⩽ 𝑓 (𝑥) < 𝑘+1,
то 𝜙𝑘+1 (𝑥) ⩾ 𝑘 = 𝜙𝑘 (𝑥).
Пусть 𝑓 (𝑥) < 𝑘, тогда 𝑗−1
2𝑘
⩽ 𝑓 (𝑥) < 2𝑗𝑘 для некоторого 𝑗, 1 ⩽ 𝑗 ⩽ 𝑘·2𝑘 . Возможны два варианта:
2𝑗−2
2𝑘+1
⩽ 𝑓 (𝑥) < 2𝑗−1
2𝑘+1
или 2𝑗−1
2𝑘+1
2𝑗
⩽ 𝑓 (𝑥) < 2𝑘+1 . В обоих случаях 𝜙𝑘+1 (𝑥) ⩾ 2𝑗−2
2𝑘+1
= 𝑗−1
2𝑘
= 𝜙𝑘 (𝑥) и
−𝑘
возрастание установлено. Кроме того, 0 ⩽ 𝑓 (𝑥) − 𝜙𝑘 (𝑥) < 2 при всех 𝑘 ⩾ [𝑓 (𝑥)] + 1, откуда
следует, что 𝜙𝑘 (𝑥) → 𝑓 (𝑥).
По монотонности ∫︁ ∫︁ ∫︁
𝑓𝑘 𝑑𝜇 ⩾ 𝑓𝑘 𝑑𝜇 ⩾ 𝑡 𝜙 𝑑𝜇.
𝐸 𝐸𝑘 𝐸𝑘
Пусть 𝜙 = 𝑁 𝑁
∑︀
𝑖=1 𝑎𝑖 · I𝐴𝑖 , где {𝐴𝑖 }1 — допустимое разбиение.
Тогда по свойству монотонности меры:
∫︁ 𝑁
∑︁ 𝑁
∑︁ ∫︁
𝜙 𝑑𝜇 = 𝑎𝑖 𝜇(𝐴𝑖 ∩ 𝐸𝑘 ) → 𝑎𝑖 𝜇(𝐴𝑖 ∩ 𝐸) = 𝜙 𝑑𝜇.
𝐸𝑘 𝑘→∞ 𝐸
𝑖=1 𝑖=1
∫︀ ∫︀ ∫︀
Свойство 18 (аддитивность). Если 𝑓, 𝑔 ⩾ 0 измеримы на 𝐸, то 𝐸 (𝑓 + 𝑔) 𝑑𝜇 = 𝐸 𝑓 𝑑𝜇 + 𝐸 𝑔 𝑑𝜇.
∑︀∞ ∑︀∞
Доказательство. Поскольку {𝐸𝑘 } образуют разбиение 𝐸, то I𝐸 = 𝑘=1 I𝐸𝑘 , 𝑓 = 𝑓 · I𝐸 = 𝑘=1 𝑓 ·
I𝐸𝑘 на 𝐸. Следовательно, по теореме Леви для рядов и
∫︁ ∞ ∫︁
∑︁ ∞ ∫︁
∑︁
𝑓 𝑑𝜇 = 𝑓 · I𝐸𝑘 𝑑𝜇 = 𝑓 𝑑𝜇.
𝐸 𝑘=1 𝐸 𝑘=1 𝐸𝑘
Учтем, что интеграл по множеству меры 0 от произведения измеримых функций равен 0. Это
вытекает из определения интеграла, для простых функций также следует учесть, что она огра-
ничена.
Доказательство.
Теорема 58. Пусть 𝑓 ограничена на [𝑎, 𝑏]. 𝑓 интегрируема по Риману на [𝑎, 𝑏] ⇔ 𝑓 непрерывна
почти всюду на [𝑎, 𝑏]. В этом случае функция интегрируема по Лебегу и оба интеграла совпа-
дают.
∫︀ 𝑏
Доказательство.
∫︀ 1. Пусть 𝑓 ∈ ℛ[𝑎, 𝑏], 𝐽 = 𝑎 𝑓 (𝑥)𝑑𝑥. Покажем, что 𝑓 непрерывна почти всюду
на [𝑎, 𝑏] и [𝑎,𝑏] 𝑓 𝑑𝜇 = 𝐽.
Для разбиения 𝑇 = {𝑥𝑘 }𝑚
𝑘=0 открытого на [𝑎, 𝑏] положим 𝑀𝑖 = sup[𝑥𝑖−1 ,𝑥𝑖 ] 𝑓 , 𝑚𝑖 = inf [𝑥𝑖−1 ,𝑥𝑖 ] 𝑓
и определим простые функции
𝑚
∑︁ 𝑚
∑︁
𝜙𝑇 = 𝑚𝑖 · I[𝑥𝑖−1 ,𝑥𝑖 ) , 𝜓𝑇 = I[𝑥𝑖−1 ,𝑥𝑖 ) · 𝑀𝑖 .
𝑖=1 𝑖=1
∫︀ ∫︀
В последний промежуток включим точку 𝑏 = 𝑥𝑛 . Очевидно, что [𝑎,𝑏] 𝜙𝑇 𝑑𝜇 = 𝑠𝑇 , [𝑎,𝑏] 𝜓𝑇 𝑑𝜇 =
𝑆𝑇 (сумма Дарбу).
Рассмотрим последовательность разбиений {𝑇𝑘 }, 𝑇𝑘 ⊂ 𝑇𝑘+1 и |𝑇 | → 0. Положим 𝜙𝑘 = 𝜙𝑇𝑘 ,
𝜓𝑘 = 𝜓𝑇𝑘 . Имеем 𝜙𝑘 (𝑥) ⩽ 𝜙𝑘+1 (𝑥) ⩽ 𝑓 (𝑥) ⩽ 𝜓𝑘+1 (𝑥) ⩽ 𝜓𝑘 (𝑥) для всех 𝑥 ∈ [𝑎, 𝑏]. Следователь-
но, существуют 𝜙(𝑥) = lim𝑘→+∞ 𝜙𝑘 (𝑥), 𝜓(𝑥) = lim𝑘→+∞ 𝜓𝑘 (𝑥).
Функции 𝜙, 𝜓 измеримы (как предел измеримых функций) и если |𝑓 | ⩽ 𝑀 , то |𝜙|, |𝜓| ⩽ 𝑀 и,
значит, по теореме Лебега о мажорированной сходимости
∫︁ ∫︁
(𝜓 − 𝜙)𝑑𝜇 = lim (𝜓𝑘 − 𝜙𝑘 )𝑑𝜇 = lim (𝑆𝑇𝑘 − 𝑠𝑇𝑘 ) = 0,
[𝑎,𝑏] 𝑘→+∞ [𝑎,𝑏] 𝑘→+∞
Имеем (︀ )︀2𝑛 √
(2𝑛)!! 22𝑛 (𝑛!)2 22𝑛 𝑐2 𝑛 𝑛𝑒 (1 + 𝑜(1))2 𝑐 𝑛
= = √ (︀ )︀2𝑛 = √ (1 + 𝑜(1)),
(2𝑛 − 1)!! (2𝑛)! 𝑐 2𝑛 2𝑛 (1 + 𝑜(1)) 2
𝑒
значит,
1 𝑐2 𝑛 𝑐2 √
𝜋 = lim (1 + 𝑜(1))2 = ⇒ 𝑐 = 2𝜋.
𝑛→+∞ 𝑛 2 2