Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Zabotin_Dulliev_Chernyaev_-_Mat_an

.pdf
Скачиваний:
87
Добавлен:
22.03.2016
Размер:
3.78 Mб
Скачать

и)

lim(cos x)1/ sin x

;

 

x 0

 

 

 

 

 

 

sin x

sin x

 

 

к)

xsin x

 

lim

x

 

.

 

x 0

 

 

 

5*. Доказать, что если для функции

x =ϕ(t)

существует

предел

limϕ(t) = a , причём

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε0 > 0 t(0 <| t a |< ε0 ϕ(t) a) ,

 

 

 

 

 

 

 

 

а функция

y = f (x)

имеет предел

lim f (x) = b

и определена в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точках ϕ(t)

для всех t, достатично близких к a, то

 

 

 

ϕ

(t)]

=

b

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim f [

 

 

(Что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

t0

 

 

 

 

 

 

 

получится,

 

 

 

если

 

 

 

 

 

 

убрать

 

 

 

 

условие

« ε0 > 0 t(0 <| t a |< ε0 ϕ(t) a) »?)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6. Определить порядок малости α(x)

относительно

 

β ( x) = x

при

x 0 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а) α(x) =

3

x3

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) α(x) = 3 x2 x3 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) α(x) = sin(

 

x + 2

2) ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г) α(x) = 3 1 + 3 x 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д) α(x) = 3 x 1 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е) α(x) = 2x

cos x .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. а) Рассмотрим предел

lim

α(x)

= lim

 

3

x3

 

 

. После про-

 

x

r

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

x 0

 

 

 

 

x 0 (1 x)x

 

 

 

 

 

 

 

ведения вычислений получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α(x)

 

 

 

 

3 x

3

 

 

 

x

 

r

 

 

 

 

 

3

 

 

 

3, r =

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

r

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3lim x 2

 

 

 

 

 

 

 

lim

= lim

 

 

 

 

= 3lim

 

 

=

 

=

 

 

 

 

 

 

 

xr

(1 x)xr

 

 

 

 

 

 

 

 

 

 

 

x 0

 

x 0

x 0 1 x

 

 

x

0

 

 

 

 

 

0, r 3 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, α(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

относительно x.

 

– бесконечно малая порядка 2

 

7. Доказать, что если

α(x) = o(1)

при

x x0 , то при x x0 :

 

 

 

 

а) o(α2 ) = o(α) ;

б) α o(α) = o(α2 ) ;

71

в) o(α +α2 ) = o(α) ;

г) o2 (α) = o(α2 ) ;

д) o(α) + o(α) = o(α) .

Решение. а) Рассмотрим функцию ϕ(x) = o(α2 ) . Согласно определению символа «o» это означает, что существует такая функция ε(x) ,

где

lim ε(x) = 0

, и при

этом выполняется равенство

x x

 

0

 

 

ϕ(x) =α2 (x)ε(x) . Поскольку xlimx

α(x)ε(x) = 0 , то

 

 

0

 

ϕ(x) =α(x)[α(x)ε(x)] = o(α) .

Ответы. 1. б) -2; в) 2; д) +∞; е) 1/4; ж) –1/2; з) n; к) 0; л) 3x2 ; м) 6; н) 0. 2. б) 0; в) 1/2; г) –7/4; д) 2; е) 3/2; ж) 36 2 / 2 ; и) 3/5; к) 3; л) 1/6. 3. в) 1/π ; г) 3/4; д) 0; е) 2 / 4 ; ж) 1; з) 25/16. 4. б) e10 ; в) e10 ; г); д) e3 ; е) 2; ж)

1/(a ln a) ; з) a-b; и) 1; к) 1/e. 6. б) 2/3; в) 1; г) 1/3; д) 1/2; е) 1/2.

72

1.5. Непрерывные функции.

Наиболее интересными для практики являются функции, «график которых можно нарисовать, не отрывая карандаша от бумаги». Действительно, если мы рассматриваем некоторый опыт, в котором, например, наблюдается изменение температуры со временем (температура есть функция времени), то температура не может изменяться скачкообразно: в любом случае она изменяется на некотором интервале времени, пусть и очень коротком. То же можно говорить о любой физически реализуемой функции, аргументом которой является время или любой другой аргумент, область изменения которого можно интерпретировать как числовой отрезок или интервал. То есть «разрывных» функций, зависящих от «непрерывно» меняющегося времени, в природе нет.

Однако для изучения явлений, в которых некоторые изменения могут происходить настолько быстро, что их длительностью можно пренебречь без ущерба для практики, вводят функции скачкообразные, ступенчатые, импульсные и т. п., «графики которых нельзя нарисовать, не отрывая

карандаша от бумаги». Например, таковой является функция f (x) =

 

x

 

. В

 

 

x

 

 

 

 

 

точке x0 =0 она не определена, но слева от x0 имеем f (x) ≡−1, а справа – f (x) 1. Ещё более разрывной является функция Дирихле:

0,

x рационально;

f (x) =

1,

x иррационально,

 

рассмотренная выше.

Разумеется, эти функции – идеализация реальности, но эта идеализация очень удобна и нужна для изучения той же реальности.

В этом разделе мы дадим строгие определения функциям непрерывным и разрывным и подробно их изучим.

Определение 1.5.1. Пусть функция f определена хотя бы в окрестности точки x0 .

Функция f называется непрерывной в точке x0 , если

1. lim f (x);

 

xx0

(1.5.1)

2. lim f (x) = f (x0 ).

 

xx0

 

Если f определена хотя бы в левой (правой) полуокрестности точки

x0 , т. е. в ( x0 −δ; x0 ] (в [ x0 ; x0 ) ),

1. lim f (x);

xx0

2. lim f (x) = f (x0 );

xx0

то f называется непрерывной слева

δ>0 , и при этом

 

1. lim f (x);

 

 

xx0

,

 

2. lim f (x) = f (x0 ).

 

xx0

 

(непрерывной справа) в точке x0 .

Из этих определений и теоремы 1.4.1 о связи односторонних пределов и предела функции в точке следует

73

Теорема 1.5.1. Пусть f определена хотя бы в окрестности Uδ (x0 ) , тогда f непрерывна в точке x0 в том и только в том случае, когда она непрерывна в этой точке слева и справа одновременно.

Функцию f будем называть разрывной в точке x0 , если не выполня-

ется хотя бы одно из условий (1.5.1).

Примем следующее соглашение: если f определена лишь в проколотой окрестности точки x0 (в проколотой полуокрестности точки x0 ), то её по определению будем считать разрывной в этой точке.

Например, f (x) =sinx x определена всюду, кроме точки x0 =0 . И хотя

lim sin x =1, эту функцию будем считать разрывной в точке x0 =0 . Также

x0 x

разрывной в точке x0 =0 будем считать функцию f (x) =1x и т. д.

Словесное определение непрерывности в точке выглядит так: f не-

прерывна в точке x0 , если у неё в этой точке существует предел, равный значению f (x0 ) . Это предложение можно сформулировать «на языке Ко-

ши»: f

непрерывна в точке x0 , если

 

Uε ( f (x0 )) Uδ (x0 ) x Uδ (x0 ): f (x) Uε ( f (x0 )) ,

или, что то же самое:

 

 

 

 

 

 

 

 

 

 

 

 

).

 

ε>0 δ>0 x : (

 

x x0

 

 

f (x) f (x0 )

 

 

 

 

 

 

Если же обозначить x x0 =

x , f (x) f (x0 ) = f (x0 ) , то это можно

записать и так:

 

 

 

 

 

 

 

 

 

 

),

 

ε>0 δ>0: (

 

 

x

 

 

f (x0 )

 

 

 

 

 

 

т. е. lim

f (x0 ) =0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

Разумеется, можно использовать и язык Гейне:

f

непрерывна в точке x0 ,

если для любой последовательности xn

выполняется

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(xn nx0 ) (f (xn ) nf (x0 )).

Как следует из теоремы об эквивалентности определений предела по Коши и Гейне, эти определения непрерывности эквивалентны, и мы будем их использовать в зависимости от удобства применения.

Определение разрыва функции в точке x0 , данное выше, позволяет ввести классификацию точек разрыва.

10. Пусть существует конечный

lim f (x) , но либо f (x0 ) не опреде-

 

xx0

лено, либо lim f (x) f (x0 ) . В этом случае точка x0 называется точкой

xx0

устранимого разрыва f .

74

Например, f (x) =sinx x , x0 =0 . В этом случае x0 – точка устранимого разрыва. Если же доопределить функцию в точке так:

sin

x

,

x 0 ;

 

 

 

 

 

f (x) = x

 

 

 

 

 

 

x = 0 ,

c 1,

 

то по-прежнему точка x0 =0 будет точкой устранимого разрыва. И только если

sin

x

, x 0 ;

 

 

 

x

 

f (x) =

 

 

 

1,

 

x = 0 ,

 

 

то функция становится непрерывной в точке x0 =0 .

20.

Пусть существуют и конечны оба односторонних предела f в

точке x0

, но при этом lim f (x) lim f (x) . Тогда x0 называется точкой ко-

 

xx0

xx0

нечного скачка f или точкой разрыва первого рода.

Например,

 

 

f (x) =

 

 

sin x

 

 

имеет оба односторонних предела и они ко-

 

 

 

 

x

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

нечны: lim

 

 

 

 

=lim sin x =1, lim

 

 

 

 

=−lim sin x =−1.

То есть x0 =0 –

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

x

 

 

x0

 

 

 

xx0

 

x

 

 

x0

 

 

 

xx0

x

 

точка конечного скачка f .

 

 

 

 

 

 

 

 

 

 

 

30. Пусть существуют оба односторонних предела

f в точке x0 , но

хотя бы один из них бесконечен, тогда точку x0

называют точкой беско-

нечного скачка f

или точкой скачка второго рода.

 

Например,

f (x) =21/ x ,

x0 =0 . Тогда lim 21/ x =0, lim 21/ x =∞, т. е. x0 =0

 

 

x0

x0

– точка бесконечного скачка

f .

 

40. Пусть,

наконец, хотя бы один из односторонних пределов f в

точке x0 не существует ни в конечном, ни в бесконечном смысле. Тогда x0

называют точкой разрыва второго рода функции f .

Например, f (x) =sin 1

, x0

=0 . Покажем, что lim f (x) не существует.

x

 

x0

Для этого воспользуемся определением Гейне. Возьмём две последова-

тельности: xn =

1

 

, yn

=

2

. Очевидно lim xn

=lim yn =0 , однако

2πn

(4n +1)π

 

 

 

 

 

 

n

 

n

 

 

 

f (xn ) =sin 2πn 0 , т. е. f (xn ) n0 ;

 

 

f ( y

n

) =sin(4n +1)

π 1

, т. е. f ( y

n

) 1,

 

 

 

 

 

 

 

2

 

n

 

 

 

 

 

 

 

 

 

 

 

таким образом, правостороннего предела f (впрочем, как легко догадаться, и левостороннего предела) не существует и x0 =0 – точка разрыва f второго рода.

75

Мы рассмотрели все возможные случаи, когда f терпит разрыв в точке x0 и, следовательно, полностью классифицировали точки разрыва.

Если f непрерывна в каждой точке какого-либо множества D R ,

то её называют непрерывной на D .

Из правил действия с пределами функций следует следующее утвер-

ждение:

 

 

 

если f и g

– непрерывные в точке

x0 функции, то

f ±g , f g и

f g (в последнем случае предполагается,

что g(x0 ) 0 ) –

также непре-

рывные в точке x0

функции.

 

 

Теорема 1.5.2 (о непрерывности сложной функции). Если в окре-

стности точки x0 определена функция F(x) = f (g(x)) , при этом g непрерывна в точке x0 , а f непрерывна в точке y0 =g(x0 ) , то F непрерывна в точке x0 .

Доказательство

проведём

по

Гейне. Пусть xn nx0 .

Тогда

g(xn ) ng(x0 ) = y0 .

Но тогда

в

силу непрерывности f

имеем

f (g(xn )) nf ( y0 ) , т. е. F(xn ) nF(x0 ) , что и требовалось.

Теорема 1.5.3. (о сохранении знака непрерывной в точке функ-

ции). Если f непрерывна в точке x0 и f (x0 ) >0 ( f (x0 )<0 ), то найдётся

окрестность Uδ (x0 ) такая, что x Uδ (x0 ) f (x) >0 ( f (x) <0) .

Доказательство очевидным образом следует из теоремы о сохранении знака функцией, имеющей предел в точке x0 , поскольку в данном слу-

чае lim f (x) = f (x0 ) >0

(<0) .

 

 

 

 

 

 

 

 

xx0

 

 

f непрерывна в точке x0

 

и f (x0 ) >c ( f (x0 )<c ), то

Следствие. Если

 

найдётся окрестность Uδ (x0 ) такая, что

 

 

 

 

 

 

 

x Uδ (x0 ) f (x) >c ( f (x)<c) .

F(x) = f (x) c . Это

Доказательство.

Пусть

 

f (x0 ) >c , рассмотрим

непрерывная функция, поскольку

 

 

 

 

 

F(x

0

) =( f (x) c) ( f (x

0

) c) = f (x) f (x

0

) = f (x

0

) 0 .

 

 

 

 

 

 

 

x0

(Можно догадаться, что F(x)

непрерывна в точке x0

ещё и потому, что

ϕ(x) c непрерывна в любой точке, а тогда F непрерывна как разность непрерывных функций). Но F(x0 ) = f (x0 ) c>0 , значит F(x) сохраняет знак в некоторой окрестности x0 и, следовательно, в этой окрестности f (x) >c .

Теперь рассмотрим несколько важнейших теорем, которые объединим общим названием.

76

Свойства функций, непрерывных на отрезке.

Теорема 1.5.4 (Коши). О смене знака непрерывной функцией.

Пусть f непрерывна на отрезке [a, b] и при этом f (a) f (b) <0 , тогда найдётся точка ξ (a; b) такая, что f (ξ) =0 .

Доказательство. Пусть для определённости f (a)<0, f (b) >0 . Поделим отрезок [a, b] пополам точкой с. Возможны три случая:

1) f (c) =0 ; 2) f (c)<0 ; 3) f (c) >0 .

В первом случае с – искомая точка; во втором случае обозначим отрезок [c; b] через [a1 , b1 ]; в третьем случае обозначим через [a1 , b1 ] отрезок

[a; c].

Если f (c) 0 , то отрезок [a1 , b1 ] вновь поделим пополам и проведём

те же самые рассуждения, т. е. либо на этом шаге мы найдём точку ξ, либо построим отрезок [a2 , b2 ], на котором f меняет знак. Повторяя эту проце-

дуру, мы либо на конечном шаге найдём точку ξ такую, что f (ξ) =0 , либо будет построена система вложенных отрезков [ak , bk ] таких, что:

10. bk ak =b2ka k0 ; 20. f (ak ) <0 ; 30. f (bk ) >0 .

По принципу Кантора существует единственная точка ξ, принадлежащая всем отрезкам [ak , bk ] , при этом ak ↑ξ, bk ↓ξ. Но тогда из непрерывности f следует, что f (ak ) kf (ξ) , а из теоремы о предельном переходе в неравенствах f (ξ) 0 . По тем же причинам f (bk ) kf (ξ) и f (ξ) 0 . Таким образом f (ξ) =0 и ξ – искомая точка.

Замечание. Приведённое доказательство теоремы Коши интересно тем, что оно является конструктивным, т. е. даёт алгоритм, по которому с любой наперёд заданной точностью можно найти значение ξ. Этот алгоритм с успехом применяется на практике при решении уравнений f (x) =0

с непрерывной f : если нам известен отрезок, на котором f меняет знак, то, задавая точность ε>0 , с которой мы хотим вычислить ξ, строим по ука-

b + a

занному алгоритму последовательности ak , bk и полагаем ξ k 2 k , как только выполнится неравенство bk ak .

Следствие к теореме 1.5.4. Пусть f

непрерывна на

[a; b] ;

x1 , x2 [a; b] и число с заключено между значениями f (x1 )

и f (x2 ) . Тогда

найдётся ξ [a; b] такая, что f (ξ) =c .

 

 

 

Доказательство. Пусть для определённости

x1 <x2 и

f (x1 ) < f (x2 )

(если f (x1 ) = f (x2 ) , то в качестве ξ можно взять любую из точек

x1 или

x2 ). Пусть c ( f (x1 ); f (x2 )) . Тогда функция F(x) = f (x) c

меняет знак на

77

отрезке [ x1 , x2 ] и непрерывна

на нём, следовательно найдётся точка

ξ [ x1 , x2 ] такая, что F(ξ) =0 , т. е. f (ξ) =c , что и требовалось.

Словесно это свойство f

можно сформулировать так: непрерывная

на [a; b] функция принимает любое значение, заключённое между двумя

любыми её значениями.

В дальнейшем нам понадобится одно свойство числовых последовательностей, которое сформулируем в виде леммы.

Лемма 1.5.5. Пусть xn последовательность со значениями, лежащими в [a; b] , тогда из неё можно выделить сходящуюся подпоследовательность, предел которой принадлежит [a; b] .

Доказательство. Поскольку xn ограничена, существуют xnk и x0 такие, что xnk kx0 (теорема Больцано-Вейерштрасса). Пусть x0 [a; b],

например, x0 >b . Возьмём δ=x0 b . Тогда Uδ (x0 )I[a; b]= , но с другой стороны nε nk >nε : xnk Uδ (x0 ) . Поскольку xnk [a; b], это противоречит тому, что Uδ (x0 )I[a; b]= , т. е. предположение x0 >b неверно. Аналогич-

но убеждаемся, что

x0 <a

также невозможно, достаточно взять δ=a x0 .

Лемма доказана.

 

 

 

 

 

 

 

 

 

 

 

Теорема 1.5.6 (первая теорема Вейерштрасса). Если

f непрерывна

на отрезке [a; b] , то она ограничена на этом отрезке.

 

 

 

 

Доказательство. Предположим противное: пусть f

неограничена,

например, сверху. Тогда, очевидно, n N xn [a; b] : f (xn ) >n . Выделим

в силу леммы 1.5.5

x

x

0

[ a ; b ]

. Тогда, очевидно,

f ( x

n k

) > n

k .

 

n k

k

 

 

 

 

Поскольку nk k→+∞, а

f

непрерывна на [a; b] , то переход к пределу в

последнем неравенстве даст

f (x0 )≥+∞, чего быть не может, поскольку

f (x0 ) – действительное число:

 

f (x0 )<+∞. Полученное противоречие до-

казывает ограниченность

f сверху.

 

 

 

 

 

Ограниченность снизу доказывается аналогично: предположение

противного приводит к тому,

что n N xn [a; b]: f (xn ) <−n . Дальней-

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

 

 

Напомним, что число S

называется точной верхней гранью f

на

множестве D , если

 

 

 

1. x D : f (x)S ; 2. ε>0 xε D : f (xε ) >S −ε.

 

 

Обозначение: S =sup f .

 

 

 

x D

 

f на D : inf

f .

Аналогично вводится понятие точной нижней грани

 

 

x D

 

78

Теорема 1.5.7 (вторая теорема Вейерштрасса).

Если f непрерывна на [a; b] , то она достигает своих нижней и верхней граней; иными словами, найдутся x1 , x2 [a; b] такие, что

f (x1 ) = inf

f (x),

f (x2 ) = sup f (x) .

x [a;b]

 

x [a;b]

 

 

Доказательство. Докажем достижение верхней грани. По первой теореме Вейерштрасса f ограничена сверху, а значит, существует

S = sup f (x) . Но тогда

x [a;b]

n N xn [a; b]: f (xn ) >S 1n

и при этом f (xn ) S .

Вновь используя лемму 1.5.5, выделим xn k k x0 [ a ; b ] . Тогда

S

1

< f (xn k ) S . Переходя в этих неравенствах к пределу по k и учи-

 

 

nk

 

 

 

тывая, что в силу непрерывности f имеет место

lim

f (xn

) = f (x0 ) , по-

 

 

 

k

 

k

лучим S f (x0 )S , т. е. f (x0 ) =S .

Таким образом, в точке x0 достигнута верхняя грань. Самостоятельно докажите, что достигается и нижняя грань f . Теорема доказана.

Вторая теорема Вейерштрасса имеет огромное значение как для теории, так и для практических приложений анализа: она доказывает, что непрерывная на отрезке функция имеет на нём наибольшее и наименьшее значения. Легко построить примеры, когда невыполнение одного из условий теоремы (того, что [a; b] – отрезок или то, что f непрерывна на нём)

приведёт к тому, что наибольшего или наименьшего значений у f не существует: f (x) =x на (0;1) имеет точные грани: inf f (x) =0 ; sup f (x) =1, но таких значений у f нет; а если

0, x =0 ; f (x) =

1 , x (0;1],

x

то на [0;1] f не имеет наибольшего значения в силу разрывности в точке x =0 .

Следствие к теореме 1.5.7. Непрерывная на отрезке функция принимает любое значение, заключённое между наибольшим и наименьшим. Иными словами, если f непрерывна на [a; b] , то множеством её значений

является отрезок [m; M ] , где m= inf f (x) , M = sup f (x) .

x [a;b]

x [a;b]

 

79

Доказательство следует из следствия к теореме 1.5.4, поскольку по

второй

теореме Вейерштрасса

найдутся x1 , x2 [a; b]

такие, что

f (x) =inf

f , f (x2 ) =sup f .

 

 

 

 

 

 

 

 

Определение 1.5.2. Функция

f называется равномерно непрерывной

на множестве D R , если

 

 

 

 

 

 

).

 

 

ε>0 δ>0 x, y D : (

 

x y

 

 

f (x) f ( y)

 

(1.5.2)

 

 

 

 

 

Это условие выражает следующее свойство f : в каком бы месте

множества D ни находились точки x и y, если они достаточно близки друг к другу, то и значения f в этих точках будут близки друг к другу на-

столько, насколько нам это нужно.

Легко видеть, что если f равномерно непрерывна на D , то она не-

прерывна в любой его точке. Действительно, если в условии (1.5.2) зафиксировать любую точку y D , то (1.5.2) станет условием непрерывности f

в точке y . То есть из равномерной непрерывности f всегда следует её не-

прерывность.

Обратное утверждение, однако, неверно.

Рассмотрим функцию f (x) =sin 1x , x (0;1]. Эта функция непрерывна на (0;1], т. к. терпит разрыв в точке x0 =0 , но x0 (0;1]. Как и выше, возь-

мём точки xn =

1

, yn =

2

. Тогда

 

f (xn ) f ( yn )

 

=1 для всех n, хотя

 

 

πn

(4n +1)π

 

 

 

 

 

 

 

xn yn n0 (это очевидно) и, следовательно, при соответствующем выборе значения n расстояние между xn и yn может быть сделано сколь

угодно малым; иными словами, если взять, например, ε=12 , то получим:

ε>0 δ>0 xn , yn (0;1]: ( xn yn ) f (xn ) f ( yn ) >12 ,

т. е. получено отрицание условия (1.5.2).

Существуют, однако, ситуации (и мы с ними столкнёмся ниже), когда нам нужно гарантировать, что непрерывная на D функция будет на D и равномерно непрерывной. Такую гарантию нам даёт следующая теорема.

Теорема 1.5.8 (Кантор. О равномерной непрерывности.) Непре-

рывная на отрезке [a; b] функция f равномерно непрерывна на этом от-

резке.

Доказательство. Предположим противное:

ε>0 δ>0 xδ , yδ [a; b]: ( xδ yδ f (xδ ) f ( yδ ) ≥ε).

Воспользуемся произвольностью выбора δ и положим δn =1n , n N . Тогда

ε>0 n N

x

 

, y

 

 

 

x

 

y

 

 

<

1

 

 

f (x

 

) f ( y

 

)

 

 

(1.5.3)

 

 

 

 

 

 

 

 

 

 

n

n

[a; b]:

 

n

n

 

 

 

n

n

 

≥ε

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

80

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]