- •МНОЖЕСТВА И ФУНКЦИИ. ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА
- •1.2 ПОНЯТИЕ ФУНКЦИИ
- •1.4 ТОПОЛОГИЯ ЧИСЛОВОЙ ПРЯМОЙ. РАСШИРЕННАЯ ЧИСЛОВАЯ ПРЯМАЯ
- •ПРЕДЕЛ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.1 ПРЕДЕЛ ЧИСЛОВОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.2 ЛЕММА О ВЛОЖЕННЫХ ОТРЕЗКАХ. ТЕОРЕМА ВЕЙЕРШТРАССА
- •2.3 МОНОТОННЫЕ ОГРАНИЧЕННЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.4 КРИТЕРИЙ КОШИ
- •ПРЕДЕЛ ФУНКЦИИ
- •3.1 ПРЕДЕЛ ФУНКЦИИ. СВОЙСТВА ПРЕДЕЛОВ ФУНКЦИИ. ПЕРВЫЙ ЗАМЕЧАТЕЛЬНЫЙ ПРЕДЕЛ
- •3.2 КРИТЕРИЙ КОШИ СУЩЕСТВОВАНИЯ ПРЕДЕЛА ФУНКЦИИ
- •3.3 МОДИФИКАЦИЯ ПОНЯТИЯ ПРЕДЕЛА ФУНКЦИИ В ТОЧКЕ
- •3.4 ВТОРОЙ ЗАМЕЧАТЕЛЬНЫЙ ПРЕДЕЛ
- •3.5 ПОРЯДОК ФУНКЦИИ. ЭКВИВАЛЕНТНОСТЬ (АСИМПТОТИКА)
- •НЕПРЕРЫВНЫЕ ФУНКЦИИ
- •4.2 ТОЧКИ РАЗРЫВА
- •4.3 СВОЙСТВА ФУНКЦИЙ, НЕПРЕРЫВНЫХ НА ОТРЕЗКЕ
- •4.4 РАВНОМЕРНАЯ НЕПРЕРЫВНОСТЬ. ПРОДОЛЖЕНИЕ ПО НЕПРЕРЫВНОСТИ
- •4.5 НЕПРЕРЫВНОСТЬ ОБРАТНОЙ ФУНКЦИИ
- •4.6 ПОКАЗАТЕЛЬНАЯ ФУНКЦИЯ. ЛОГАРИФМИЧЕСКАЯ, СТЕПЕННАЯ, ГИПЕРБОЛИЧЕСКИЕ ФУНКЦИИ
- •ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
- •5.2 ДИФФЕРЕНЦИРУЕМЫЕ ФУНКЦИИ. ДИФФЕРЕНЦИАЛ ФУНКЦИИ
- •5.3 ТЕХНИКА ДИФФЕРЕНЦИРОВАНИЯ
- •5.5 ОСНОВНЫЕ ТЕОРЕМЫ
- •5.6 ПРАВИЛО ЛОПИТАЛЯ
- •5.7 ФОРМУЛА ТЕЙЛОРА
- •5.8 ФОРМУЛА ТЕЙЛОРА ДЛЯ НЕКОТОРЫХ ЭЛЕМЕНТАРНЫХ ФУНКЦИЙ
- •5.9 ЛОКАЛЬНАЯ ФОРМУЛА ТЕЙЛОРА
- •5.10 РЯД ТЕЙЛОРА
- •ПЕРВООБРАЗНАЯ И НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •6.3 ОТЫСКАНИЕ ПЕРВООБРАЗНЫХ ДЛЯ РАЦИОНАЛЬНЫХ ФУНКЦИЙ
- •ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •7.2 ВЕРХНИЕ И НИЖНИЕ ИНТЕГРАЛЬНЫЕ СУММЫ
- •7.3 НЕОБХОДИМОЕ И ДОСТАТОЧНОЕ УСЛОВИЕ ИНТЕГРИРУЕМОСТИ ФУНКЦИИ ПО РИМАНУ
- •7.4 НЕКОТОРЫЕ КЛАССЫ ИНТЕГРИРУЕМЫХ ФУНКЦИЙ
- •7.5 ОСНОВНЫЕ СВОЙСТВА ИНТЕГРАЛА РИМАНА
- •7.6 СВОЙСТВА ИНТЕГРАЛА РИМАНА, В КОТОРЫХ ФИГУРИРУЮТ НЕРАВЕНСТВА
- •7.7 ИНТЕГРАЛ КАК ФУНКЦИЯ ВЕРХНЕГО ПРЕДЕЛА
- •7.8 ФОРМУЛА НЬЮТОНА-ЛЕЙБНИЦА
- •7.9 ОБЩИЕ ПРИЕМЫ ИНТЕГРИРОВАНИЯ
- •7.10 НЕКОТОРЫЕ ПРИЛОЖЕНИЯ ИНТЕГРАЛА РИМАНА
- •НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ
- •8.2 НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ ОТ НЕОТРИЦАТЕЛЬНЫХ ФУНКЦИЙ
- •8.3 ИНТЕГРИРОВАНИЕ ПО ЧАСТЯМ
- •8.4 НЕСОБСТВЕННЫЙ ИНТЕГРАЛ И РЯД
§ 4.3 СВОЙСТВА ФУНКЦИЙ, НЕПРЕРЫВНЫХ НА ОТРЕЗКЕ
Определение. Функция называется непрерывной на отрезке [a; b], если она непрерывна на (a; b), непрерывна слева
в точке b и непрерывна справа в точке a.
Теорема 1. Если f непрерывна на отрезке [a; b], то она ограничена на [a; b].
|
Доказательство. Допустим, что f не ограничена на [a; b]. |
||||||||||||||||||||
Тогда для любого n 2 N существует xn 2 [a; b] |
такое, что |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
jf(xn)j > n: |
|
|
|
|
|
|
|
|
( ) |
|||||
Последовательность (xn) ограничена, т. к. xn |
2 [a; b]; |
n 2 N. |
|||||||||||||||||||
Поэтому (по следствию к теореме Вейерштрасса) (xn) |
|||||||||||||||||||||
содержит сходящуюся подпоследовательность (xnk ) : xnk ! c, |
|||||||||||||||||||||
причем |
c |
2 |
[a; b]. |
Так |
как f |
непрерывна |
на |
8 |
[a; b], |
то |
|||||||||||
k |
|
nk |
) |
= |
f(c) |
, т. |
е. |
8 |
" |
> |
0 |
9 |
N |
2 |
|
N |
k |
> |
N |
||
lim f(x |
|
|
|
|
|
|
|
|
|||||||||||||
(jf(xnk ) f(c)j<"). |
|
Отсюда |
|
и |
|
|
из |
|
неравенства |
||||||||||||
jf(xnk ) f(c)j jjf(xnk )j jf(c)jj |
следует: |
8k > |
N jf(xnk )j |
< |
|||||||||||||||||
jf(c)j + ". При k ! 1; nk |
! 1, поэтому можно выбрать k0 |
||||||||||||||||||||
таким большим, что nk0 будет больше jf(c)j + ". Таким образом, |
|||||||||||||||||||||
мы получили jf(xnk0 )j < nk0, что противоречит ( ). |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|||||||||||||||||
|
Теорема 2. Непрерывная на [a; b] |
функция f достигает на |
[a; b] своих точных граней, т. е. существуют точки и 2 [a; b],
для которых sup f(x) = f( ); |
inf |
f(x) = f( ) |
x2[a;b] |
x2[a;b] |
|
Доказательство. По теореме |
1 непрерывная на [a; b] |
функция ограничена: jf(x)j K (x 2 [a; b]), где K const.
Но тогда |
существует точная верхняя |
грань f(x) на [a; b] : |
sup f(x) |
= M. Из определения sup |
мы имеем: для любых |
x2[a;b]
n 2 N существует xn 2 [a; b] такое, что
1 |
< f(xn) M: |
( ) |
M n |
Таким образом, мы получили последовательность (xn) [a; b]. Следовательно, (xn) – ограничена, и, по следствию к теореме Вейерштрасса, из неё можно выделить подпоследовательность
54
xnk |
! , причем 2 [a; b]. |
Так как f(x) |
непрерывна на |
||||
[a; b], а значит, и в точке , то |
lim f(xnk ) = |
f( ). С другой |
|||||
стороны из ( ) |
|
k!1 |
M. Отсюда, |
||||
видно, что M nk |
< f(xnk ) |
||||||
|
|
|
|
1 |
|
|
|
по "свойству двух милиционеров", |
lim f(xnk ) = M. Но f(xnk ) |
||||||
|
|
|
|
k!1 |
|
|
|
может сходиться только к одному пределу, поэтому M = f( ). |
|||||||
Аналогично доказывается другая часть теоремы. |
|||||||
|
Замечание. Очевидно, что в случае теоремы 2 sup f(x) = |
||||||
max f(x); |
inf |
f(x) = min f(x). |
|
|
x2[a;b] |
||
|
|
|
|
||||
x2[a;b] |
x2[a;b] |
x2[a;b] |
|
|
|
|
|
|
|
|
|
||||
x |
Теорема 3. |
Если f непрерывна на [a; b] |
и числа f(a) 6= |
||||
0; f(b) 6= 0 и имеют разные знаки, то на |
интервале (a; b) |
||||||
существует точка c такая, что f(c) = 0. |
|
|
|||||
|
Доказательство. Построим индуктивно последовательность |
вложенных отрезков I1 I2 : : :. Положим I1 = [a; b] и пусть |
|
x1 середина I1: если f(x1) = 0, то c = x1, если f(x1) 6= 0, то |
|
в качестве I2 возьмем тот из отрезков [a; x1]; [x1; b], на концах |
|
которого f(x) имеет различные знаки. Если I1 I2 : : : In 1 |
|
построены и xn 1 середина In 1, |
причем f(xn 1) 6= 0 (если |
f(xn 1) = 0, то c = xn 1), то In |
– тот из двух подотрезков |
In 1, на концах которого f имеет различные знаки. По лемме |
|
|
1 |
о вложенных отрезках существует точка c 2 n=1 In. Очевидно, |
|
f(c) = 0. Потому что, если мы |
допустим, что f(c) > 0, |
|
T |
то существует окрестность U(c) такая, что для любой точки
x |
2 U(c) : f(x) > 0, но при достаточно большом n |
: |
|||
In |
U(c). А так как на концах In f(x) принимает разные |
||||
знаки, то f(x) не может быть > 0 на всей окрестности U(c). |
|||||
Таким образом, f(c) = 0. |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
||
|
Теорема 4. Если f непрерывна на [a; b] и если число лежит |
||||
между f(a) и f(b), то существует число c |
2 (a; b) |
такое, что |
|||
f(c) = . |
функцию |
|
|
|
|
|
Доказательство. Определим новую |
g(x) |
= |
f(x) . Очевидно, что функция g(x) удовлетворяет условиям теоремы 3, поэтому применим к ней теорему: по теореме 3,
существует точка c 2 (a; b) такая, что g(c) = 0 или f(c) = .
x
55
Примеры.
1. Функция f(x) = x; x 2 (0; 1) – непрерывна на (0; 1), но своих точных граней на (0; 1) не достигает, так как sup f(x)=1;
x2(0;1)
inf f(x) = 0. И не существует x 2 (0; 1), для которых f(x) = 1
x2(0;1)
или 0.
2. Функция f(x) = 1=x; x 2 (0; 1] – непрерывна, но не ограничена на (0; 1].
Приведенные примеры позволяют сделать заключение, что условие непрерывности функции на отрезке (замкнутом множестве) является существенным.
§ 4.4 РАВНОМЕРНАЯ НЕПРЕРЫВНОСТЬ. ПРОДОЛЖЕНИЕ ПО НЕПРЕРЫВНОСТИ
Определение. Функция f : E ! R (E R) называется равномерно непрерывной на E, если 8" > 0 9
> 0 8x; y 2 E (jx yj < ) jf(x) f(y)j < ").
Замечание. Если f(x) определена в некоторой окрестности любой точки из E, то из равномерной непрерывности f(x) на E следует непрерывность f(x) на E. Обратное утверждение, вообще говоря, не верно. Например: f(x) = 1=x; x 2 (0; 1)
– непрерывна, но не равномерно непрерывна на (0; 1).
Действительно, для |
x |
= |
> |
0 y |
= =2 мы |
имеем |
|||||||
jx yj |
< , но jf(x) f(y)j |
= jx1 y1j |
= 1 |
> 1 |
|||||||||
при |
всех |
|
2 (0; 1). |
Функция |
f : E |
! |
R будет |
не |
|||||
равномерно |
непрерывной на |
E, если 9" |
> |
0 8 |
> |
0 |
|||||||
9x; y |
|
2 |
E |
(jx yj |
< |
; но jf(x) |
|
||||||
f(y)j |
|
"). Мы |
же |
показали: |
при |
" |
= |
1 |
|||||
81 |
2 (0; 1) 9x = ; y = =2 2 (0; 1) (jx yj < ; но jf(x) f(y)j = |
||||||||||||
|
> " = |
1), что доказывает неравномерную непрерывность |
|||||||||||
f(x) = 1=x на (0; 1). |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||
|
Теорема. Если f непрерывна на [a; b], то она и равномерно |
||||||||||||
непрерывна на [a; b]. |
|
|
|
противное. Тогда |
9" |
|
|
||||||
|
Доказательство. Предположим |
> |
0 8 > 09x; y 2 [a; b] (jx yj < ; но jf(x) f(y)j "). Будем брать = 1=k; k = 1; 2; 3; : : :. Тогда существуют пары чисел
56
xk; yk 2 [a; b] такие, что |
|
|||
jxk ykj < |
1 |
; |
но jf(xk) f(yk)j "; k = 1; 2; : : : : |
( ) |
k |
Последовательность (xk) – ограниченная, поэтому из неё можно выделить сходящуюся подпоследовательность (xkj ) : xkj !
c; c 2 [a; b]. Заметим, что ykj ! c, так как ykj = (ykj xkj ) + xkj
и 0 < jykj |
xkj j < kj |
при любых kj 2 N. Функция f непрерывна |
|
1 |
|
в точке c 2 [a; b], поэтому f(xkj ) f(ykj ) ! f(c) f(c) = 0, что противоречит ( ).
ПРОДОЛЖЕНИЕ ПО НЕПРЕРЫВНОСТИ
Теорема. Пусть f : E ! R(E R) – равномерно
непрерывна на E и E0 – множество всех предельных точек множества E. Тогда f допускает равномерно непрерывное
продолжение на множество F = E |
E0. (Другими словами, |
|||||||||||
˜ |
: F |
! |
R |
, равномерно |
непрерывная на F , причем |
|||||||
существует f |
|
|
|
|
S |
|
|
|||||
˜ |
|
|
2 E). |
|
|
|
|
|
|
|
|
|
f (x) = f(x), если x |
|
2 |
|
|
. Так как |
|
– предельная |
|||||
Доказательство. Пусть |
|
0 |
|
|||||||||
|
|
|
|
|
a |
|
E |
|
|
a |
|
точка множества E, то любая U(a) содержит бесконечное множество точек из E. Функция f равномерно непрерывна на
, поэтому для любых 2 j j , где
E x; y U(a): f(x) f(y) < "
" > 0 – произвольное число. Это значит, что для функции f выполняется условие "Критерия Коши существования предела функции" и, следовательно, существует lim f(x). Определим
|
|
x!a |
˜ |
f(a); |
если a 2 E; |
(x!a |
если a 2 E0nE: |
|
f (a) = |
lim f(x); |
|
|
|
|
˜ |
: F ! R |
равномерно непрерывна на F . |
Убедимся, что f |
||
Пусть " > 0 – произвольно и > 0 такое, что |
||
8 x0; x00 2 E : jx0 |
x00j < 3 ) jf(x0) f(x00)j < "=3: (1) |
Пусть z; y 2 F и jy zj < . Тогда существуют числа 0; 00 2 (0; ) такие, что
0 |
0 |
0 |
˜ |
(2) |
jx |
yj < |
) jf(x |
) f (y)j < "=3; |
57