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

Мат. анализ, 1 часть; 1 семестр(1)

.pdf
Скачиваний:
414
Добавлен:
10.02.2015
Размер:
1.17 Mб
Скачать

т.е.

f (x)~g(x) при x *.

Теорема доказана.

Теорема. Сумма бесконечно малых (бесконечно больших) различного порядка малости эквивалентна слагаемому низшего порядка малости (высшего порядка роста).

Доказательство. Пусть (x)

и (x) б.м. (б.б.) при x *, причем o( ). Тогда

 

(x) (x)

 

(x)

 

 

(x)

1.

lim

lim 1

 

1 lim

(x)

(x)

 

x *

x *

 

x * (x)

Следовательно,

(x) (x)~ (x) при x *.

Теорема доказана.

Нетрудно убедиться, что эта теорема справедлива для любого конечного числа слагаемых.

Пример. x3/2 2 x ~2 x

при x 0

 

 

 

 

 

 

 

 

 

x являются

Соотношения эквивалентности

для многочлена

 

при x 0

или при

следствиями доказанной теоремы.

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. Предел отношения двух бесконечно малых (двух бесконечно больших)

функций не изменится при замене этих функций на эквивалентные, т.е.

 

 

 

если f (x)~ f0(x)

при x *, а g(x)~g0(x) при x *, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

f (x)

lim

f0(x)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

x * g(x)

x * g0(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

f (x)

lim

f (x)

 

g0 (x)

 

f0(x)

lim

f (x)

lim

g0(x)

lim

f0(x)

lim

f0(x)

.

 

 

 

 

 

 

 

 

x * g(x)

x * f0(x) g(x)

 

g0(x) x * f0(x) x * g(x)

x * g0(x)

x * g0(x)

Теорема доказана.

§6. Использование соотношений эквивалентности для вычисления пределов и асимптотического сравнения функций.

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

Пример. Найдем предел

lim

ln(1 x2) (sin x)2

.

 

 

 

 

 

 

 

5x4 x6

 

 

 

 

 

 

 

x 0

 

 

 

 

 

 

 

 

Поскольку при x 0 ln(1 x2)~x2

(ln(1 t)~t

при t 0,

t x2 ), sinx ~x, 5x4 x6 ~5x4 ,

то

 

 

 

 

 

 

 

 

 

 

ln(1 x2) (sin x)2

 

x2

x2

1

 

 

 

lim

 

lim

 

 

 

 

.

 

 

5x4 x6

 

 

 

 

 

x 0

x 0 5x4

5

 

 

 

Соотношения эквивалентности (табл. 1) удобно также использовать для асимптотического сравнения функций.

Пример. Предел

 

 

0

 

 

 

 

 

x2

 

 

 

 

ln(cosx)

 

 

ln(1 (1 cosx))

1 cosx

 

1

 

 

0

.

lim

 

lim

 

lim

 

lim

 

 

 

x2

x2

 

 

 

x 0

 

 

x 0

x 0 x2

x 0 2x2

2

 

41

Здесь использованы соотношения эквивалентности ln(1 t)~t при t 0 (t 1 cosx) и

1 cosx ~

x2

при x 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Предел

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

e

x

 

1

 

lim

2/ x

2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

x 1/ x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tg

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь использованы соотношения эквивалентности et

1~t

при t 0

(t

, очевидно,

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что при x t 0) и tgt ~t при t 0 t

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Предел

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

 

 

0

 

 

 

 

 

 

 

cos

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

y

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

2

 

 

lim

 

 

 

 

 

 

 

 

 

lim

2

 

 

lim

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x

 

 

 

 

y 0

 

 

 

 

 

 

y 0

y

 

 

 

 

 

 

 

y 0 2y

2

y 0 при

x ), формула

Здесь использована замена переменной

y x (x y ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

приведения

cos

 

 

 

 

sin и соотношение

эквивалентности sint~t

при t 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Предел

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

limex2 ln(cosx)

 

 

 

 

 

 

 

 

 

 

 

 

lim(cosx)x2

 

limeln(cosx)x2

e

2

,

 

 

 

 

 

 

 

т.к.

 

x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

x 0

 

 

 

 

 

 

 

 

x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln(cosx)

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 0

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(см. выше) и на основании теоремы о пределе сложной функции (внутренняя функция

y

ln(cosx)

, внешняя –

g(y) ey ). Здесь использован тот факт, что любое

x2

 

 

 

положительное число a можно представить в виде a elna (т.к. экспонента и натуральный логарифм – взаимно-обратные функции).

Вообще, при x x0

 

0 , удобно использовать замену переменной y x x0 .

Пример. Найдем порядок малости функции

 

f (x) относительно функцииg(x), где

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(x) 1

1

 

 

1, x .

f (x) 2ln 1 sin

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

2

 

 

x

4

x

3

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Видим, что при x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

2

 

2

2

 

 

 

 

 

 

 

 

 

 

f (x)~2sin

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

~

 

 

, а

 

 

 

 

 

 

 

 

 

2

x

4

 

 

x

2

x

4

x

2

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(x)~

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому порядок малости

 

f (x)

 

относительно g(x)

при k

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

Действительно,

42

 

f (x)

 

2

 

 

1

x

3

lim

lim

x2

 

lim

2

 

.

 

 

 

 

 

 

2

 

x g

(x)

x 12x3

x

x

 

 

 

 

 

 

 

Очевидно, что этот предел не равен ни нулю, ни бесконечности только при 2 (при

3

2 он равен , а при 2 - нулю). 3 3

Вообще, как при вычислении пределов, так и при асимптотическом сравнении функций, эквивалентная функция обычно ищется в одном из указанных в приведенной ниже таблице видов, в зависимости от стремления аргумента и функции (везде подразумевается, что 0).

 

x 0

x

x x0

f (x) 0

f (x)~Cx

f (x)~C / x

f (x)~C(x x0)

f (x)

f (x)~C / x

f (x)~Cx

f (x)~C /(x x0)

Эквивалентная не всегда существует в таком виде, но если существует, то единственна.

Опр. Пусть б.м. (б.б.)

функции f (x) и g(x)

определены в некоторой проколотой

 

представима в виде

 

окрестности u (*). Если f (x)

 

f (x) g(x) o(g(x)), x *,

 

 

то g(x) называется главной частью функции

f (x)

при x *. Не трудно показать, что

g(x) является главной частью функции f (x),

тогда и только тогда, когда f (x)~g(x)

(при рассматриваемом стремлении аргумента).

 

 

Лекция 6

§ 1. Понятие непрерывности функции в точке.

Опр. Функция f(x), определенная в некоторой (не проколотой!) окрестности точки

x0 называется непрерывной в этой точке,если:

 

 

 

 

 

 

1) существует lim

f (x) ;

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

2) этот предел равен значению функции в точке x0 .

 

 

 

 

Класс (множество) функций, непрерывных в точке

x0

обозначается

C(x0).

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

точке

x0

можно записать

в виде:

f (x) C(x0). Итак, по определению

 

 

 

 

 

 

 

 

 

{f (x) C(x )} df

{lim

f (x) f (x )}.

 

 

 

 

 

0

x x0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

Так функция

y x2

является непрерывной в точке

x 0

(как и во всех других

точках вещественной оси),

рис. 1. Действительно, при x достаточно близких к нулю, эта

функция будет сколь угодно близка к нулю, но y(0)=0.

 

 

 

 

Функция, график которой представлен на рис. 2, не является непрерывной в точке

x0 . Действительно,

эта функция имеет различные пределы при x x0 и при

x x0

( f (x0 ) и

f (x0 ),

соответственно). Поэтому

двустороннего

предела при x x0 не

существует.

 

 

 

 

 

 

 

 

 

43

Рис. 1. График функции y x2 .

Рис. 2. Пример функции, не являющейся непрерывной.

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

С учетом определения предела, определение непрерывности функции можно дать в более развернутой (более подробной) форме:

Опр. Функция f (x), определенная в некоторой окрестности точки x0 называется непрерывной в этой точке, если в достаточно малой окрестности точки x0 значения этой функции сколь угодно близки к f (x0):

f (x) C(x0) df 0 0: x u (x0) | f (x) f (x0 )| .

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

Опр. Функция f(x), определенная в некоторой окрестности точки x0 называется непрерывной в этой точке, если:

44

1) существует

lim

f (x) ;

 

 

 

 

x x0

 

 

 

 

2) существует

lim

f (x) ;

 

 

 

 

x x0

 

 

 

 

3) lim

f (x)

lim

f (x)

f (x0 ) .

 

x x0

 

 

x x0

 

 

 

Еще одну (эквивалентную предыдущим) формулировку определения

непрерывности можно дать в терминах приращений.

 

Пусть функция

f (x)

определена в некоторой окрестности точки x0 .

Выберем

какое-нибудь

значение

 

x

из этой

окрестности и назовем разность

x x x0

приращением аргумента. Отметим, что приращение аргумента может быть как положительным, так и отрицательным. Соответствующую разность y f (x) f (x0)

назовем приращением функции (рис. 3).

Рис. 3. Иллюстрация понятия приращения функции.

Опр. Функция f (x) называется непрерывной в точке x0 если бесконечно малому

приращению аргумента в этой точке соответствует бесконечно малое приращение функции:

{f (x) C(x0)} df {lim y 0}.

x 0

Эквивалентность этой формулировки определения непрерывности самой первой формулировке, очевидна из того факта, что x 0 тогда и только тогда, когда x x0 , а

y 0 тогда и только тогда, когда f (x) f (x0).

Итак, в настоящем параграфе дано четыре равносильных формулировки определения непрерывности функции в точке.

§ 2. Понятие односторонней непрерывности.

Рассмотрим функцию y x . Бессмысленно говорить о том непрерывна ли она в точке x=0, поскольку она определна только при x 0. Однако можно ввести понятие правосторонней непрерывности.

Опр. Функция f (x), определенная в правосторонней окрестности точки x0

называется правосторонне-непрерывной в этой точке (непрерывной в точке x0 справа),

если существует предел данной функции при x x0 и он равен значению функции в точке x0 :

lim f (x) f (x0 ).

x x0

Нетрудно видеть, что функция y x является правосторонне-непрерывной в точке x0 .

Аналогично определяется левосторонняя непрерывность.

45

Опр. Функция f (x), определенная в левосторонней окрестности точки x0

называется левосторонне-непрерывной в этой точке (непрерывной в точке x0 слева), если существует предел данной функции при x x0 и он равен значению функции в точке x0 :

lim f (x) f (x0).

x x0

Теорема. Для того, чтобы функция f (x) была непрерывна в точке x0, необходимо и достаточно, чтобы она была непрерывна в этой точке, как слева, так и справа.

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

§3. Арифметические операции над непрерывными функциями.

Теорема. Сумма функций, непрерывных в точке x0, есть функция непрерывная в этой точке.

Доказательство. Пусть функции f (x) и g(x), определенные в некоторой

окрестности точки x0 непрерывны в этой точке. По определению непрерывности (первая формулировка) это означает, что

lim f (x) f (x0) и lim g(x) g(x0).

 

x x0

 

x x0

 

Значение функции (x) f (x) g(x) в точке x0

очевидно равно (x0) f (x0) g(x0).

В силу теоремы о пределе суммы, существует

 

lim (x) lim

f (x) lim g(x) f (x0) g(x0) (x0),

x x0

x x0

x x0

 

что и означает непрерывность функции (x) в точке x0 .

Теорема доказана.

Очевидно, что эта теорема справедлива для любого конечного числа слагаемых. Аналогично доказываются две следующие теоремы.

Теорема. Произведение функций, непрерывных в точке x0, есть функция непрерывная в этой точке.

Следствие. Произведение непрерывной функции на число – функция непрерывная. Действительно, число (т.е. постоянная) есть функция непрерывная на R .

Теорема. Частное двух функций непрерывных в точке x0 есть функция непрерывная в этой точке, при условии, что делитель (функция, стоящая в знаменателе) не равен нулю.

§4. Переход к пределу под знаком непрерывной функции. Непрерывность сложной функции (композиции функций).

Теорема. Пусть функция z g(y) непрерывна в точке y0 , а функция, y f (x)

имеет конечный предел при x x0 равный y0 :

lim f (x) y0 .

x x0

Тогда

lim g(f (x))

x x0

g(lim f (x))

x x0

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

Поскольку g(y) непрерывна в точке y0,

46

lim g(y) g(y0).

y y0

По условию теоремы, существует также

lim f (x) y0 . Но, по теореме о пределе сложной функции, из этих двух фактов вытекает,

x x0

что

lim g(f (x)) g(y0) g

lim f (x)

 

.

 

x x0

x x0

 

 

 

Теорема доказана.

 

 

 

 

функции). Пусть функция y f (x)

Теорема (о непрерывности сложной

непрерывна в точке x0 , а функция g(y)

непрерывна в точке y0 , причем y0 f (x0). Тогда

сложная функция F(x) g( f (x)) непрерывна в точке x0 .

Доказательство. Поскольку функция f (x)

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

lim f (x) f (x0).

 

 

 

 

 

x x0

 

 

 

 

 

Но, в силу предыдущей теоремы,

lim F(x) lim g(f (x)) g

lim f (x)

 

g(f (x0))

x x0

x x0

x x0

 

что и означает непрерывность функции F(x) g( f

F(x0),

(x)) в точке x0 .

Теорема доказана.

§5. Локальные свойства функции, непрерывной в точке.

Теорема. Если функция f (x) непрерывна в точке x0 и f (x0) 0, то существует окрестность u (x0 ), в которой знак функции совпадает с ее знаком в точке x0 .

Доказательство. . Поскольку функция f (x) непрерывна в точке x0 ,

lim f (x) f (x0).

x x0

В силу теоремы о сохранении функцией знака предела, существует окрестность u (x0 ), в которой знак функции совпадает со знаком f (x0).

Теорема доказана.

Данная теорема проиллюстрирована на рис. 4. Очевидно, что раз непрерывная функция положительна в точке x0 , то она останется положительной и в некоторой (хотя бы малой)

окрестности этой точки.

Рис. 4. Иллюстрация сохранения знака непрерывной функцией.

47

Теорема. Функция, непрерывна в точке x0, локально ограничена в этой точке. Справедливость этой теоремы вытекает из теоремы о локальной ограниченности функции, имеющей предел и определения непрерывности. Доказательство опустим.

Лекция 7

§1. Непрерывность функции на промежутке.

Опр. Функция f (x), определенная на интервале (a,b) называется непрерывной на этом интервале, если она непрерывна в каждой его точке.

Опр. Функция f (x), определенная на полуинтервале [a,b), называется непрерывной на этом полуинтервале, если она

1.непрерывна на интервале (a,b);

2.правосторонне непрерывна в точке a.

Опр. Функция f (x), определенная на полуинтервале (a,b], называется непрерывной на этом полуинтервале, если она

1.непрерывна на интервале (a,b);

2.левосторонне непрерывна в точке b .

Опр. Функция f (x), определенная на отрезке [a,b], называется непрерывной на этом отрезке, если она

1.непрерывна на интервале (a,b);

2.правосторонне непрерывна в точке a.

3.левосторонне непрерывна в точке b .

Пример. Функция y 1 x2 непрерывна на отрезке x [ 1,1].

Класс (множество) функций, непрерывных на промежутке X обозначается C(X). Соответственно, факт непрерывности функции на промежутке X можно записать в виде: f (x) C(X). Например, если функция непрерывна на интервале (a,b), то f (x) C(a,b).

§2. Непрерывность элементарных функций.

Справедлива следующая теорема.

Теорема. Основные элементарные функции непрерывны в области определения. Эта теорема доказывается для каждой из основных элементарных функций (степенной, показательной, логарифмической, тригонометрических и обратных тригонометрических) по отдельности, на основе определения непрерывности функции в точке.

В качестве примера, докажем, что функция y sin x непрерывна на R . Очевидно,

что она является непрерывной в точке x 0: limsin x sin0 0, т.е. при xдостаточно

x 0

близких к нулю, значения этой функции будут сколь угодно близки к нулю. Рассмотрим произвольную точку x0 R . Приращению x аргумента в этой точке отвечает приращение функции

48

y sin(x

 

x) sin x

2sin

x

cos(x

 

x

).

 

 

 

 

 

 

 

 

 

0

 

 

x

 

 

0

2

0

2

 

 

 

 

Функция 2cos(x

 

) ограничена на R :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

2

 

 

 

 

 

 

 

 

 

 

 

 

|2cos(x

x

)| 2,

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

а функция sin

x

 

– б.м. при x 0,

по теореме о пределе сложной функции и в силу

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

того, что

limsin x 0.

По

теореме

о произведении

б.м.

функции на

локально

 

x 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ограниченную, y 0

при

x 0,

а последнее и означает непрерывность функции

y sin x в

точке x0 .

В

силу произвольности выбора

точки

x0 , функция

y sin x

непрерывна на R .

 

 

 

 

 

 

 

 

 

 

 

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

Теорема. Элементарные функции непрерывны в области определения.

Справедливость этой теоремы очевидна из предыдущей теоремы и теорем о непрерывности суммы, произведения, отношения и композиции непрерывных функций. В качестве примера докажем непрерывность многочлена.

Многочлен Pn (x) c0 c1x ... cnxn определен на R . Покажем, что он непрерывен на

R . Очевидно, что постоянная y c

есть непрерывная на R функция: для любого x R и

для любого x

 

y c c 0,

а следовательно при x 0 y 0.

(Впрочем, для того чтобы убедиться в непрерывности постоянной, достаточно изобразить

ее график).

Функция y x тоже непрерывна на R :

 

 

 

 

y x, следовательно, при x 0

y 0.

 

 

 

 

 

Функция

y x2

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

на

R ,

как

произведение непрерывных

функций.

Следовательно,

непрерывна

и

функция

y x3

x2 x и

т.д., вплоть

до

функции

y xn xn 1 x.

Функции

y c

 

xk

(k 0,1,...,n)

тоже

непрерывны

на

R , как

 

 

 

k

 

 

 

 

 

 

 

 

 

произведения двух непрерывных функций. Наконец,

многочлен Pn (x) непрерывен на R ,

как сумма непрерывных функций.

 

 

 

 

 

 

 

 

 

 

Теорема о непрерывности элементарных функций играет важнейшую роль для вычисления пределов. Действительно, именно из нее по определению непрерывности

следует, что если элементарная

функция

y f (x)

определена

в точке

x0 , то

lim

f (x) f (x0), чем мы постоянно пользуемся при

вычислении

пределов,

заменяя

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

предел функции на ее значение в предельной точке (см. лекцию 3). Например,

 

 

lim

tgx

lim

sin x

lim

sin x

lim

1

1 1 1.

 

 

 

 

 

 

xcosx

 

 

 

 

 

 

 

x 0 x

 

x 0

x 0 x

x 0 cosx

 

 

 

 

 

 

 

lim

sin x

1,

как первый

замечательный предел,

а lim

 

1

1, поскольку значение этой

 

 

 

x 0

x

 

 

 

 

 

 

 

 

x 0 cosx

 

 

функции в предельной точке равно единице.

49

§3. Классификация точек разрыва.

Опр. Пусть функция f (x) определена в некоторой проколотой окрестности точки

x0 . И пусть она непрерывна в любой точке этой окрестности, но не является непрерывной в самой точке x0 . В этом случае, точка x0 называется точкой разрыва функции f (x).

При классификации точек разрыва, будем отталкиваться от второй формулировки определения непрерывности функции в точке:

функция f (x) называется непрерывной в точке x0 , если существуют оба односторонних предела данной функции в этой точке, причем

lim

 

f (x)

lim

f (x) f (x0 ) .

x x0

 

x x0

 

Выделим несколько случаев нарушения указанных условий.

Опр. Если x0 – точка разрыва функции f (x), но существуют (конечные) пределы

lim

 

f (x)

f (x0

) и lim f (x) f (x0 ),

x x0

 

 

x x0

точка x0 называется точкой разрыва первого рода.

Можно выделить два подкласса таких точек разрыва.

Опр. Если f (x0 ) f (x0 ), точка разрыва первого рода x0 называется точкой

конечного разрыва (точкой скачка). При этом разность f (x0 ) f (x0 ) называется

скачком функции в точке x0.

Пример точки конечного разрыва представлен на рис. 2 лекции 6.

Опр. Если f (x0 ) f (x0 ) f (x0), в частности, если f (x0) не определено, точка разрыва первого рода x0 называется точкой устранимого разрыва.

Рис. 1. Пример точки устранимого разрыва.

Пример. Рассмотрим функцию f (x) sin x (рис. 1). Эта функция не определена в x

точке x 0. Но, как известно,

limsin x 1

x 0 x

50

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