1. Необходимость.
По 120 найдём F(x), неубывающую и ограниченную. Положим
g (x) = F (x), h (x) = F (x)- f (x). Тогда f (x) = g (x)- h (x). Покажем, что h(x) неубывающая. Пусть x* < x**.
h(x*)-h(x) = (F(x**)-F(x))-( f (x**)-f (x))> 0
по свойствам F( x) .
2. Достаточность. Если f (x) = g(x)- h(x), то возьмем F( x) = g( x) + h( x) - ограниченную и неубывающую. |f(x*)-f(x*)|<(g(x*)-g(x )) + (h(x**)-h(x )) = = F (x**)- F (x*). Так что F (x) удовлетворяет 120,
следовательно, f (x) есть ФОВ ◄. Замечание
Поскольку g( x) , h( x) ограниченные, то, добавив к ним одну и ту же const , можно добиться их положительности на
[a, b]. Добавив к ним одну и ту же строго возрастающую ограниченную функцию (например, arctgx), получим g (x), h (x) строго возрастающими. Итак, в 130. Всегда можно считать, что g (x), h (x) строго возрастают и положительны на
[ a, b].
Из представления f (x) = g (x)- h (x) получаем несколько
следствий ФОВ. Следствие 1
ФОВ может иметь разрывы только 1-го рода с конечным скачком. Следствие 2
Множество точек разрыва ФОВ не более чем счетно. Следствие 3
ФОВ есть функция не выше 1-го класса Бэра. Как уже отмечалось, ФОВ необязательно непрерывна. Рассмотрим специальные свойства непрерывных ФОВ.
140. Если f (x)e V [ a, b] непрерывна в точке x0, то в этой
же точке непрерывна и функция g(x) = V ( f (t)).
► Пусть x0 e(a, b). Покажем, что g(x0 + 0) = g(x) "e > 0.
Возьмем (T) - разбиение [x0; b]: x < x1 < ... < xn = b так, чтобы
b b
V( f (t); T) > v( f (t)) - e . Поскольку f (x) непрерывна в т. x0, то
x0 x0
можно считать, что при этом | f(xj)- f(x0)| < e . Тогда имеем:
b b b b V (/(f)) < e + v(f; T) < 2e+ v(t; T) < 2e + v(f).
x0 x0 x1 x1
x
Отсюда: V( f) < 2e, т. е. g(x;) - g(x^) < 2e. Тем более
x>
0 < g(x0 + 0) - g(x0) < 2e . В силу произвольности
e
g(X, + 0) = g(x0) . Аналогично g(x0 - 0) = g(x0) . Следовательно, g(x) непрерывна в т. x0. Так же получаем непрерывность g(x) в т. x = a справа, в т. x = b слева ◄ .
150. Если f (x) е V[a; b] и непрерывна, то f (x) = g(x) - h(x)
непрерывна и неубывающая (которые можно при необходимости считать положительными или строго возрастающими).
Вытекает из 140 ◄.
b b 160. иf) = lim V(f;T).
a 1(T)®0 a
b
v(f; T) при добавлении новых точек разбиение не
a
<
| f ( xk+1 )- f ( xk )| = f (xk+1)- f (x*)+ f (x*)- f (xk) f (x,+1)-f (x*)| + | f (x*)- f (x,) .
При xk < x* < xk+1. С другой стороны, это увеличение < 2w( f) на [хк; xk+1 ].
Возьмем a< b( f) и (T*): a = x-* < xj3 <... < x*m = b такое, что
a
V( f;T*)>a.
a
при
<
a
Выберем d> 0, так, что f (xx )- f (x)
|x -x| <d. Это возможно, т. к. f(x) равномерно непрерывна на [a; b]
.
Покажем, что при l (T)< d будет V ( f; T)> а. Имея (T*),
a
составим по имеющемуся такому (T) новое разбиение (T **), получающееся как (T) u (T*).
Тогда V( f; T**) > V( f; T*). С другой стороны, (T*) получается
aa
из (T) добавлением не более чем m точек (по одной).
Каждый раз вариация по разбиению увеличивается меньше, чем
b
V (f; T *) -а
на a
2m
2
Тогда V ( f; T**)- V ( f;T)
aa
b
<
b, , ^ Va( f;T )-а а+ V (f;T *) у( f;T)> V(f;T**)- > ^ > а.
Значит, при l(T) < d, V ( f; T )>а, также у ( f;T )< I/ ( f):
bb это и означает, что V( f) = lim V( f; T) ◄.
a 1(T)®0
a
Решение типовых задач к главе 3 Задача 1
Доказать непрерывность функции f(x) = 3x + 5 в точке x = 1 по Коши, Гайне и Бэру. Решение
По Коши. Зададим произвольно e > 0 .
Рассмотрим условие | f (x) - f (x0 )| < e . (*)
Имеем: |(3x+ 5)-(3*1 + 5) = |3x-3\ = 3|x-1| <e. Если
ee |x -1 < —, то (*) выполнена. Положим 5(e; x0 )=^, т. е.
|x -1| <e, тогда |x - x0| <5^| f (x)- f (x0 )|<e и условие (C) выполнено.
По Гайне. Пусть xn ® 1 при n . Зададим "e > 0. Рассмотрим условие | f (xn) - f (x0)| < e. Имеем:
|(3xn + 5)-(3*1 + 5) = 3|xn -1| <e. Поскольку xn ® 1, то
e
"5 > 0 n0 (5): n > n0 ^ |xn - x0| = |xn -1| < 5. Поскольку |xn -1| < —
влечет | f (xn)- f (x0)| <e, то положим 5 = ^ и по нему найдем
n0(5). При n>n0 будет |f (xn)- f (x0)|<e, т. е. f (x ) ® f (x0) и условие (Н) выполнено.
По Бэру. Пусть xeV5( x0), т. е. |x-1 <5^ 1 -5< x< 1 + 5. Поскольку f (x) возрастает, то при таких x будет: f(1 -5)< f(x)< f(1 + 5), т. е. 3(1 -5) + 5<3x+ 5<3(1 + 5) + 5, 8-35< f(x)<8 + 35
.
Колебание функции w( f;1;8)< 68. Колебание в точке: w( f; 1) = idif {68} = 0 и условие (В) выполнено.
Задача 2
Найти множество A1 для функции Дирихле на [0,1].
5
Решение
В любой окрестности V( f; x^,8), x0 e[0,1] колебание функции Дирихле равно 1 - 0 = 1. Поэтому "e > 0, Ae=[0,1]. В частности, Aj =[0,1].
5
Задача 3
Найти наибольшее и наименьшее значения функции f (x) = x2 на множестве F = [1,2] U {5} .
Решение
F замкнуто, поэтому указанные значения существуют. f( x) возрастает, поэтому m = f (1) = 1, m = f (5) = 25.
Задача 4
На множестве X = [0, +¥) задана функциональная
последовательность f (x) = —2—1 . Найти предельную
л"2 +1 + 5n
функцию, если она существует, и выяснить характер
сходимости.
Решение
xe X lim f (x) = lim —2—1 = 0, так что f0 (x) ° 0.
n®+¥ n®+~ xc +1 + 5n
0 x2 + 5n +1
1 1 1
—2 < — "xe X. Если — < e, то
x2 + 5n+1 5n 5
n
fn (x)- f0 (x)| <e Vxe X. Таким образом, можно выбрать 1
+1 зависящим только от e. Следовательно,
5e
сходимость равномерная.
Задача 5
Найти полную вариацию функций
n '7, x = 0,
f (x) =
3x +1, 0 < x< 1, 0, x = 1, Решение
Выполним произвольное (T) - разбиение:
[°Д] : 0 = x0 < x1 < x2 < ... < xk < xk+1 < ... < xn-1 < xn =1.
Рассмотрим:
1 n 1
[0,1]. на
=к=0
= | f (x)- f (x0)|+| f (x2)- f (x1 )| + | f (x)- f (x2)| +...
+ | f (xn-1)- f (xn-2)| + | f (xn)-f (xn-1 )| =
= |-7 + (3x1 +1) + |(3x2 + 1)-(3x1 +1)| + |( 3x, +1)-( 3x2 +1) +...
+ |( 3xn-1 +1)-( 3xn-2 +1) + |0-(3xn-1 +1) = = 7 -3x1 -1 + 3x2 -3x1 + 3x3 -3x2 +... + 3xn-1 -3xn-2 + 3xn-1 +1 = = 7 - 6x1 + 6xn-1. Это значение будет увеличиваться при
x ® +0, xn-1 ® 1 - 0. Тогда V( f) = SUP(7 - 6x1 + 6xn-1) = 13
.
Задачи к главе 3
Доказать непрерывность функции f (x) = x2 в точке x = 1 по Коши, Гайне и Бэру.
Найти наибольшее и наименьшее значения функции f (x) = x2 - 5x + 7 на множестве X = [0,1] U [4,5] U {7} .
Какова мощность множества точек разрыва функции Di (x) ?
Построить функцию, непрерывную в т. x0 = 0 , и
разрывную в остальных точках прямой.
Построить функцию, непрерывную в точках x = m, mе Z, и разрывную в остальных точках прямой.
Построить какую-либо функцию 1-го класса Бэра.
Построить какую-либо функцию 2-го класса Бэра.
Найти полную вариацию функции
'x-1, xе [0,1), f (x) = J5, x = 1,
-x + 3, xe (1,2].
Установить равномерность или неравномерность сходимости функциональной последовательности
nx
f (x) = на множестве X = [0,1].
nV ' 1 + n + x L J
Yandex.RTB R-A-252273-3- Теория функций действительной переменной
- Теория функций действительной переменной
- П 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 Достаточность