matanaliz
.pdfË å ê ö è ÿ 2
ФУНКЦИИ
2.1. Предельное значение функции
Определение 2.1. Если каждому значению переменной x 2 X ½ R ставится в соответствие по известному закону
некоторое число y 2 Y ½ R, то говорят, что на множестве X задана вещественная функция y = f(x). Множества X è Y называются областями определения и значения функции
соответственно.
Рассмотрим функцию y = f(x), определенную на некотором множестве X и точку a 2 X. Эта точка может и не принадлежать множеству X, но любая "-окрестность этой точки содержит точки множества X, отличные от a
Приведем два эквивалентных определения предельного зна- чения функции в точке.
Определение 2.2.
1. Число b называется переделом функции y = f(x) в точке
x = a, если для любой последовательности fxng значений аргумента x, отличных от a и сходящей к a, последователь-
ность значений функции ff(xn)g сходится к числу b
2.Число b называется переделом функции y = f(x) в точке
x = a, åñëè 8" > 0 9± > 0 : jx ¡ aj < ± =) jf(x) ¡ bj < ":
Условное обозначение такое же, как для предела последовательности
Аналогичное определение имеет место, если аргумент стремится к бесконечности
Определение 2.3. Число b называется переделом функции y = f(x) ïðè x ! 1 , если для любой бесконечно большой
последовательности fxng значений аргумента x последовательность значений функции сходится к числу b
Условное обозначение
lim f(x) = b:
x!1
2.1. Предельное значение функции |
33 |
Часто возникает необходимость вычислить односторонние пределы, когда x стремится к числу a слева или справа.
Определение 2.4. Число b называется правым (левым) переделом функции y = f(x) в точке x = a , если для любой
последовательности fxng значений аргумента x > a (x < a), отличных от a и сходящей к a, последовательность значе-
ний функции ff(xn)g сходится к числу b
Условное обозначение правого и левого пределов:
lim f(x) = b, lim f(x) = b:
x!a+0 x!a¡0
2.1.1. Арифметические операции над функциями, которые имеют предельное значение. Используя результаты теорем 1.6-1.8, можно доказать следующую теорему.
Теорема 2.1. Пусть имеются две функции f(x) è g(x), имеющие предел в точке a
lim f(x) = b, lim g(x) = c |
(2.1) |
|
x!a |
x!a |
|
Тогда справедливы следующие равенства:
1 |
lim(f(x) |
§ |
g(x)) = lim f(x) |
|
|
lim g(x) = b |
§ |
c, |
|||||||
|
|
: x!a |
|
x!a |
|
§ x!a |
|
|
|||||||
|
|
2 |
lim(f(x) |
¢ |
g(x)) = lim f(x) |
¢ |
lim g(x) = b |
¢ |
c, |
(2.2) |
|||||
|
|
|
: x!a |
|
x!a |
|
|
x!a |
|
||||||
3 |
|
lim(f(x)=g(x)) = lim f(x)= lim g(x) = b=c, c = 0: |
|||||||||||||
|
: x!a |
|
|
|
x!a |
x!a |
|
|
6 |
|
|||||
Д о к а з а т е л ь с т в о. Из условий теоремы имеем равенства (2.1). Из определения 2.1 следует, что последовательности ff(xng , fg(xn)g сходятся к числам b è c, если после-
довательность fxng сходится к a. В соответствии с теоремами
1.6-1.8 , если последовательность fxng имеет пределом числоa, то последовательности
ff(xn) § g(xn)g , ff(xn) ¢ g(xn)g , ff(xn)=g(xn)g
имеют пределы b § c, b ¢ c, b=c, c =6 0 соответственно. Тогда, из определения 2.1 получаем равенства (2.2).¤
При вычислении пределов по формулам (2.2) часто hвозникают0i h i
1
неопределенности следующего вида: [1 ¡ 1], [0 ¢ 1], 0 , 1 . Иными словами, когда вычисляется предел от исходной функции, то может получиться одна из возможных неопределенностей. В этом случае необходимо выполнить эквивалентные преобразования, чтобы неопределенность исчезла.
Пример 2.1.
2 Цыкунов А. М.
34 |
Лекция 2. Функции |
a) Вычислить предел функции
lim |
2x3 + 3x2 + 5 |
|
= |
lim (x3 |
+ 3x2 |
+ 5) |
= |
|
1 |
|
|
|
x!1 |
|
|
|
|
: |
|||||
|
+ 5x2 |
h |
1i |
||||||||
x!1 4x3 + 5x2 + 3x |
|
xlim (4x3 |
+ 3x) |
|
|||||||
|
|
|
!1 |
|
|
|
|
|
|
|
|
Имеем неопределенность. Преобразуем исходную функцию. Вынесем x3 за скобки и сократим числитель и знаменатель на x3, â
результате чего получим
|
|
|
2 + 3 + |
5 |
|
|
|
|
2 + lim |
3 |
+ lim |
5 |
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
lim |
|
|
x |
|
x2 |
= |
|
|
x!1 x |
|
|
|
x!1 x2 |
|
= 1: |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
x!1 4 + 5 + |
3 |
|
|
|
4 + lim |
5 |
+ lim |
3 |
2 |
|
|
||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
x |
|
x2 |
|
|
|
x!1 x |
|
|
|
x!1 x2 |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 ¡ 3x + 2 |
|
|
|
|
h |
0 |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
á) lim |
|
= |
|
: |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
x!1 x2 ¡ 4x + 3 |
|
|
|
0i |
|
|
|
|
|||||||||||||||||
Разложим многочлены на множители |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
lim |
x2 ¡ 3x + 2 |
|
= lim |
(x ¡ 2)(x ¡ 1) |
= lim |
x ¡ 2 |
|
= 1: |
||||||||||||||||||||||||
|
(x ¡ 3)(x ¡ 1) |
|
||||||||||||||||||||||||||||||
x!1 x2 |
¡ |
4x + 3 |
|
x!1 |
|
x!1 x ¡ 3 |
2 |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x2 + x |
12 |
|
|
|
|
|
0 |
|
|
|
|
|
|
|||||||
|
|
|
â |
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
) x!3 px ¡ 2 ¡¡p4 ¡ x = h0i: |
|
|
|
|
|||||||||||||||||||||||
Числитель разложим на множители и умножим и разделим на |
|||||||||||||||||||||||||||||||||
"сопряженное"выражение знаменателя |
|
|
0 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
x2 + x |
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
x!3 px ¡ 2 ¡¡p4 ¡ x = h0i = |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
||
= lim |
|
(x + |
4 |
)(x ¡ |
3 |
)( |
x ¡ |
2 |
+ |
4 |
¡ x ) |
|
= |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
p |
|
|
|
2 |
|
¡ |
p4 |
|
|
|
|
p |
|
|
|
2 |
+ |
p4 |
¡ x ) |
||||||||||||||
x! |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
( x ¡ |
|
|
|
|
|
¡ x )( x ¡ |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
||
= lim |
(x + |
4 |
)(x ¡ |
3 |
)( |
x ¡ |
2 |
+ |
4 |
¡ x ) |
= |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
2x ¡ 6 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
x!3 |
|
|
|
|
|
|
|
|
p |
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
(x + |
4 |
|
|
|
2 |
|
+ |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
= lim |
|
)( |
|
x ¡ |
|
|
|
|
|
¡ x ) |
= 7: |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
x!3 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Существуют и другие типы неопределенности, когда вычисля- |
||||||
ются пределы вида lim f(x)g(x). Могут возникнуть следующие |
||||||
x!a |
1 |
1], ò. å. lim f(x) = 1, lim g(x) = |
|
|||
неопределенные ситуации. [ |
|
, |
||||
|
|
x a |
x |
! |
a |
1 |
[00], [10] |
|
! |
|
|
|
|
|
g(x), в которых возника- |
|||||
Для вычисления пределов lim f(x) |
|
|
|
|
||
x!a
ет неопределенность, пользуются следующим правилом. Вве- дем обозначение y = f(x)g(x). Логарифмируем слева и справа.
2.1. Предельное значение функции |
35 |
lny = g(x)lnf(x), откуда получаем y = eg(x)lnf(x). В результате
получили выражение, предел которого можно вычислить, либо получим неопределенности вида
h0i h1i
0 , 1 :
2.1.2. Бесконечно малые и бесконечно большие функции. Определение 2.5. Функции y = ¯(x) называется беско-
нечно малой в точке x = a, åñëè¯(x) = 0:
Бесконечно малые функции обладают такими же свойствами, как и бесконечно малые последовательности (теоремы 1.1-1.5).
Пусть ®(x) è ¯(x) являются бесконечно малыми функциями в точке x = à
Определение 2.6. Функции ®(x) называется бесконечно малой более высокого порядка, чем ¯(x) (имеет более высокий
порядок малости), если lim ®(x) = 0.
x!a ¯(x)
Условно это записывается в виде ®(x) = î(¯(x)):
Определение 2.7. Функции ®(x), ¯(x) называются беско-
нечно малыми одного порядка, если lim |
®(x) |
|
|
|||||
|
|
|
||||||
равен константе. |
x!a ¯(x) существует и |
|||||||
|
|
|
|
|
|
|
||
Определение 2.8. Функции ®(x), ¯(x) называются эквива- |
||||||||
лентными бесконечно малыми, если lim |
®(x) |
= 1: |
||||||
|
||||||||
|
|
x!a ¯(x) |
||||||
Если две бесконечно малые функции эквивалентны, то при |
||||||||
вычислении пределов одну функцию можно заменять другой. |
||||||||
Приведем таблицу эквивалентных бесконечно малых в при |
||||||||
x ! 0 |
sinx » x; 4) arctg x » x; 7) ln(1 + x) » x;x |
|||||||
1) |
||||||||
2) |
tg x » x; 5) ex ¡ 1 » x; 8) loga(1 + x) » |
|
; |
|||||
lna |
||||||||
3) |
arcsin x » x; 6) ax ¡ 1 » xlna: |
|
|
|
|
|
|
|
|
|
Пользуясь этой таблицей, легко доказать существование пре- |
||||||||||||
äåëà lim |
sinx |
: |
lim |
sinx |
= lim |
x |
= 1 Этот предел носит название |
|||||||
|
|
|
||||||||||||
|
|
x!0 |
x |
x!0 |
x |
|
x!0 x |
|
||||||
первого замечательного предела. |
|
|||||||||||||
|
|
Åñëè ®(x) бесконечно малая в точке x = 0, то справедлива |
||||||||||||
следующая таблица |
|
4) |
|
arctg ®(x) » ®(x); |
7) ln(1 + ®(x)) » |
|||||||||
|
|
1) sin®(x) » ®(x); |
|
|||||||||||
» ®(x); |
|
|
|
|
|
|
e |
®(x) |
¡ 1 » ®(x); 8) |
loga(1 + ®(x)) » |
||||
|
|
2) tg ®(x) » ®(x) 5) |
|
|||||||||||
» |
®(x)x |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lna ; |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
3) arcsin ®(x) » x; 6) a®(x) ¡ 1 » ®(x)lna: |
|
|||||||||||
2* |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
36 Лекция 2. Функции
Пример 2.2. |
|
|
|
|
2sin2 |
x |
2 |
³ |
x |
´ |
2 |
|
|
|||||||||
|
1 ¡ cosx |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
à) lim0 |
= lim0 |
2 |
|
= lim0 |
2 |
|
= 1 |
; |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
x! |
|
x2 |
|
|
x! |
x2 |
|
|
|
x! |
|
|
x2 |
|
2 |
|
||||||
á) lim |
ln(1 + x2) |
= lim |
x2 |
|
= 1; |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
x!0 arctg5(x2) |
x!0 x2 |
5 |
|
|
|
|
|
|
|
|
|
|||||||||||
|
sin ³ |
|
´ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
â) lim0 |
x |
|
= lim0 |
|
|
x |
= 5: |
|
|
|
|
|
|
|
|
|||||||
³ |
|
´ |
|
|
1 |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
y = f(x) |
|
|
|
|
|
|
||||||||
x! ln 1 + 1 |
|
x! |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Определение 2x.9. Функцииx |
|
|
называется бесконечно |
|||||||||||||||||||
большой в точке x = a справа (слева), если для любой по-
следовательности fxng x > a (x < a) сходящей к точке x = a,
последовательность значений функции ff(xn)g является бесконечно большой последовательностью определенного знака.
Функция y = |
1 |
|
|
|
|
|
|
||
x ¡ 1 является бесконечно большой и слева и |
|||||||||
|
|
||||||||
справа при x |
! § |
1. lim |
1 |
= + , lim |
1 |
= |
: |
||
|
|
||||||||
|
x!1+0 x ¡ 1 |
1 x!1¡0 x ¡ 1 |
|
¡1 |
|||||
Определение 2.10. Функции f(x) имеет в точке x = a более высокий порядок роста, чем '(x) справа (слева) если функция
f(x) x =
'(x) является бесконечно большой справа (слева) в точке
= a:
Определение 2.11. Функции f(x), '(x) имеют одинаковый
порядок роста справа (слева) в точке x = a, åñëè lim |
f(x) |
||||||||||||||||||
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x!a '(x) |
||
справа (слева) существует и равен константе. |
|
|
|||||||||||||||||
Пример 2.3. |
|
|
|
x2 + 1 |
|
|
|
|
|
|
|
|
|
|
|||||
à) Функции f(x) = |
|
'(x) = |
|
1 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
x2 |
|
è |
|
x2 имеют одинаковый по- |
||||||||||
рядок роста слева и справа в точке x = 0, òàê êàê |
|
|
|||||||||||||||||
lim |
|
f(x) |
|
= lim(x2 + 1) = 1: |
|
|
|||||||||||||
|
'(x) |
|
|
||||||||||||||||
x!0 |
|
|
|
x!0 |
|
|
|
|
|
|
|
|
|||||||
á) Функции f(x) = |
x2 + 1 |
|
|
'(x) = |
|
1 |
|
|
|
|
|
|
|||||||
x |
|
|
|
1 è |
x |
¡ |
1 имеют одинаковый по- |
||||||||||||
|
|
|
|
|
|
|
|||||||||||||
рядок роста слева и |
справа в точке |
|
1, òàê êàê |
|
|
||||||||||||||
|
¡ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
|
|
|
|
||
lim |
|
f(x) |
|
= lim(x2 + 1) = 2: |
|
|
|||||||||||||
|
'(x) |
|
|
||||||||||||||||
x |
1 |
|
|
|
x |
1 |
|
|
|
|
|
|
|
|
|||||
! |
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
2.2. Непрерывность функции |
37 |
2.2. Непрерывность функции
Определение 2.12. Функции y = f(x), определенная в
окрестности точки a, называется непрерывной в точки a,
åñëè 9 lim f(x) = f(a)
x!a
Принимая во внимание равенство
lim f(x) = f(lim x) = f(a):
x!a x!a
Приведем два эквивалентных определения непрерывности функции в точке.
Ðèñ. 2.1. |
Ðèñ. 2.2. |
Определение 2.13. Функции y = f(x) называется непрерыв-
ной в точки a,если если для любой последовательности fxng значений аргумента x, сходящей к a, последовательность
значений функции ff(xn)g сходится к локальному значению функции f(a)
Определение 2.14. Функции y = f(x) называется непрерывной в точки a,если 8" > 0 9±(x, ") > 0 : jx ¡ aj < ±(x, ") =)
) jf(x) ¡ f(a)j < "
Сравните два рисунка. На рис. 2.1, какую бы мы не взяли "- окрестность для значения f(a), всегда 9±(x, ") > 0 : jx ¡ aj <
< ±(x, ") =)
=) jf(x) ¡ f(a)j < " На рис 2.2 существует два значе- ния f(a). f(x) = f1(a), f(x) = f2(a): Для данной функции выполнены условия: 9±(x, ") > 0 : x > a jx ¡ aj < ±(x, ") =)
) jf(x) ¡ f1(a)j < "
9±(x, ") > 0 : x < a jx ¡ aj < ±(x, ") =) jf(x) ¡ f2(a)j < "
В данном случае функция непрерывна справа в точке a и слева. Однако, она не является непрерывной в точке a. Если бы, например f2(a) не существовало, то функция будет непрерывной справа, а слева она была бы не непрерывной в точке a.
38 Лекция 2. Функции
Таким образом, условием для проверки непрерывности функ- |
||
ции в точке является равенство |
|
|
lim f(x) = |
lim f(x) = f(a): |
(2.3) |
x!a+0 |
x!a¡0 |
|
Ðèñ. 2.3. Ðèñ. 2.4.
На рис. 2.3 выполнено условие lim f(x) = lim f(x) = 0.
x!a+0 x!a¡0
Однако, значения f(0) не существует. Следовательно, функция в точке x=0 не является непрерывной. На рис. 2.4 пределы справа
и слева равны бесконечности, а функция на бесконечности не определена.
Определение 2.15. Åñëè lim f(x) = lim f(x), а функция
x!a+0 x!a¡0
f(a) не определена, то говорят, что функция имеет устрани-
мый разрыв. |
= const:, lim f(x) = ¯, ¯ = |
Åñëè lim f(x) = ®, ® |
|
x!a+0 |
x!a¡0 |
= const:, ® 6= ¯, то говорят, что функция имеет разрыв в точке x=a первого рода.
Если хотя бы один предел слева или справа равен 1èëè ¡
¡ 1, то говорят, что функция имеет разрыв второго рода.
½ jxj , åñëè x 6= 0,
2, åñëè x = 0: Эта функция имеет устранимый разрыв в точке x=0. Если доопределить функцию
ó = 0 ïðè x = 0, то разрыв устраняется. |
|
||||
á |
) |
y = ½ |
x, åñëè x < 0, |
lim x = 0, |
2 |
|
2 + x2, åñëè x > 0: |
имеем x!0¡0 |
lim ( + |
||
+ x2) = 2:
Эта функция в точке x=0 имеет разрыв первого рода.
â |
) y = |
21=x. lim |
0 2 |
1=x = 0, lim 1=x = + . Следователь- |
||
|
x 0 |
¡ |
x 0+0 2 |
1 |
||
|
|
! |
|
! |
|
|
но, имеем разрыв второго рода в точке x=0. |
|
|||||
Определение 2.16. Функция y = f(x) называется равно- |
||||||
мерно непрерывной, если 8" > 0 9±(") > 0, |
зависящее только |
|||||
2.2. Непрерывность функции |
39 |
îò " такое, что для любых двух точек x0, x00 |
, удовле- |
|||||||||||||||||
творяющих условию |
|
x00 |
¡ |
x0 |
¯ |
< ±(") выполняется |
неравен- |
|||||||||||
ñòâî |
f(x00) |
¡ |
f(x0) <¯": |
|
|
|
|
|
|
|
||||||||
|
¯ |
|
|
¯ |
¯ |
|
|
|
|
¯ |
|
|
|
|
|
|
||
2.2.1.¯ |
|
Свойства¯ |
непрерывных функций. Теорема 2.2. |
|||||||||||||||
Пусть функции f(x), g(x) непрерывны в точке x=a. Тогда, |
||||||||||||||||||
функции: f(x) § g(x), |
f(x) ¢ g(x), f(x)= g(x) тоже непрерывны |
|||||||||||||||||
в точке x=a, при условии, что при делении g(a) 6= 0 |
|
|
||||||||||||||||
Ä î ê à ç à ò |
|
å ë |
ü |
ñ |
т в о. Принимая во вни- |
|||||||||||||
мание |
непрерывность |
|
функций |
|
f(x), g(x), |
имеем lim f(x) = |
||||||||||||
= f(a), |
lim g(x) = g(a). Тогда, |
|
|
x!a |
|
|||||||||||||
по свойству |
пределов |
(теорема |
||||||||||||||||
|
|
x!a |
|
|
g(x)) = f(a) + g(a) |
|
|
|
||||||||||
2.1) lim(f(x) |
§ |
|
|
|
||||||||||||||
x a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¤ |
lim(f(x) |
¢ |
g(x)) = f(a) |
¢ |
g(a), |
|
lim(f(x)=g(x)) = f(a)=g(a): |
||||||||||||
x |
a |
|
|
|
|
|
|
|
|
|
x |
a |
|
|
||||
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
Пусть задана сложная функция y = f(z), z = '(x): |
|
|
||||||||||||||||
Теорема 2.3. Если функция z = '(x) непрерывна в толчке |
||||||||||||||||||
x=a, а функция y = f(z) непрерывна в точке b, где b= '(a), то сложная функция y = f('(x)) является непрерывной в точке
a |
Д о к а з а т е л ь с т в о. Из условий теоремы имеем. Для |
любой последовательности fxng значений аргумента x, сходя- |
|
ùåé ê à последовательность значений функции f'(xn)g сходится к локальному значению функции b = '(a) (определение 2.13).
Функция y = f(z) непрерывна в точке b. Последовательность
f'(xn)g является для нее последовательностью аргумента z. Следовательно, последовательность ff('(xn)) g сходится к числу
f('(à)):¤
Эта теорема дает возможность вычислять пределы слож- |
||||||||
ных непрерывных функций, пользуясь формулой lim(f('(x)) = |
||||||||
= f(lim '(x)) = f('(a)): |
|
|
|
|
|
x!a |
||
x!a |
|
|
|
|
|
|
|
|
Пример 2.5. |
|
|
|
|
|
|
|
|
lim log4 |
1 + lim |
|
3x2 + x |
= |
||||
|
x2 + 4 |
|||||||
x!a |
|
|
µ |
x!a |
|
¶ |
||
|
|
|
µ |
|
|
¶ |
||
= log4 |
1 + lim |
3x2 + x |
= |
|||||
|
|
|
|
x!a |
x2 + 4 |
|
||
|
|
@ |
3 + 1 |
|
||||
|
|
! 1 + 4 A |
|
|||||
|
4 |
|
1 |
lim |
|
|
x |
= 1: |
= log |
|
0 |
+ x a |
1 |
|
|||
x2
40 |
|
|
|
|
|
|
|
|
|
Лекция 2. Функции |
|
|
|
|
|
|
|
|
|
|
|||||||
который |
|
|
называется вторым |
замечательным |
|
|
|
|
³ |
|
|
´ |
x, |
||||||||||||||
Пример |
|
|
2.6. |
|
Требуется |
вычислить |
предел |
|
lim |
1 + 1 |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x!1 |
|
x |
|
|
||
зуемся |
|
|
правилом |
|
раскрытия |
|
|
|
|
|
пределом. |
Ïîëü- |
|||||||||||||||
|
|
|
неопределенности типа |
´ |
[11]. |
||||||||||||||||||||||
y = |
|
|
+ x |
x |
= |
|
lny = xln |
1 + x |
, |
y |
= e |
|
³ |
= |
|
||||||||||||
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
xln |
1+ 1 |
|
|
|
||
|
|
|
|
|
|
|
= ex!1 |
³ |
x ´ |
|
|
|
³ |
|
|
|
x |
|
|
|
|||||||
|
|
lim |
|
|
1 + 1 |
|
= ex!1 x!1 |
|
x ´. Аргумент |
||||||||||||||||||
³ |
|
|
|
´ |
|
´ |
x ) |
lim xln |
1+ 1 |
³ |
lim |
´x |
lim |
ln |
|
1+ 1 |
|
|
|
) |
|||||||
) x!1 ³ |
x |
|
|
|
|
|
|
|
|
|
|
|
lim xln |
1+ 1 |
|
|
|||||||||||
|
1 |
стремится к нулю, тогда ln |
1 + 1 |
|
1 |
= |
|
ex!1 |
³ |
x ´ = |
|||||||||||||||||
|
|
|
|
||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
x |
» x |
) |
|
|
|
|
|
|
|
|
|||
|
|
lim |
|
|
1 |
|
|
|
|
|
|
³ |
|
|
´ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
= ex!1 |
|
|
|
= e.xАналогичным образом можно доказать равенство |
|||||||||||||||||||||||
|
lim |
³ |
1 |
|
1 |
|
|
= |
å |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x!¡1 |
|
|
+ x´ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
2.2.2. |
|
Непрерывность функции на сегменте (отрез- |
|||||||||||||||||||||||||
êå). |
Определение 2.16. Если функция y = f(x) непрерывна |
||||||||||||||||||||||||||
в каждой точке сегмента [a; b], то она непрерывна на всем
сегменте.
Теорема 2.3. ( Теорема о сохранении знака) Если функцèÿ y = f(x) непрерывна в точке x=a, f(a)=6 0, то существует
"-окрестность точки a, в которой функция имеет знак, сов-
падающий со знаком f(a).
Д о к а з а т е л ь с т в о. Так как функция f(x) непрерывна 8" > 0 9± > 0 : jx ¡ aj < ± =) jf(x) ¡ f(a)j < " Выберем величину " из условия " < jf(a)j. Тогда, из неравенства
jf(x) ¡ f(a)j < " получим " + f(a) < f(x) < " + f(a), откуда
следует утверждение теоремы.¤
Теорема 2.4. Если функция y = f(x) непрерывна на сегменте [a; b], и на концах отрезка принимает значения разных
знаков, то |
9c 2 [a; b] : f(c) = 0: |
|
Д о к а з а т е л ь с т в о. Пусть f(b) > 0, f(a) < 0 Если функция y = f(x) непрерывна на сегменте [a; b] то график
функции непрерывная кривая. График не может перейти из нижней полуплоскости координатной плоскости в верхнею, не пересекая, хотя бы в одной точке, ось абсцисс. Следовательно,
9c 2 [a; b] : f(c) = 0: ¤
Теорема 2.5. Если функция y = f(x) непрерывна на сегменте [a; b], è f(a) < C < f(b), где С любое число, то
9c 2 [a; b] : f(c) = Ñ:
Д о к а з а т е л ь с т в о. Введем вспомогательную функцию
Ã(x) = f(x) ¡ C =) Ã(a) = f(a) ¡ C < 0, Ã(b) = f(b) ¡
¡ C > 0: Функция Ã(x) удовлетворяет условиям теоремы 2.4.
2.2. Непрерывность функции |
41 |
Следовательно, 9c 2 [a; b] : '(c) = 0 =) f(c) ¡ C = 0 =) f(c) =
= C:¤
Теорема 2.6. (первая теорема Вейерштрасса) Если функция y = f(x) непрерывна на сегменте [a; b], то она ограничена на
этом сегменте.
Д о к а з а т е л ь с т в о. Предположим, что функция не ограничена сверху. Тогда для 8A > 0 9c 2 [a; b] : f(c) < A
fxng значений аргумента x 2 [a; b], сходящая к точке x = c: Тогда, в соответ-
ствии с теоремой 1.5, из этой последовательности можно выделить подпоследовательность fxnk g, сходящую к точке x = c. В этом случае, подпоследовательность ff(xnk )g должна сходиться к значению f(c), которое является неограниченным. Это невоз-
можно, так как по условию теоремы функция f(x) непрерывна
на сегменте [a; b],а, следовательно, в точке x = c 2 [a; b]
правосторонний и левосторонний пределы должны быть равны и иметь конечное значение Противоречие доказывает теорему.¤
Теорема 2.7. (вторая теорема Вейерштрасса) Если функция y = f(x) непрерывна на сегменте [a; b], то она достигает на
этом сегменте своих точных верхней и нижней граней.
Д о к а з а т е л ь с т в о. Пусть sup f(x) = M: Предполо-
x2[a;b]
жим, что функция не достигает значения M. Тогда M ¡ f(x) > 0.
Введем вспомогательную функцию '(x) = M ¡1f(x). Ýòà ôóíê- ция непрерывна на заданном сегменте по свойствам непрерывных функций. По теореме 2.6, она является ограниченной. То-
ãäà 9B : M ¡1f(x) 6 B. Разрешив это неравенство, получим
1 |
M |
f(x) 6 M ¡ B . В соответствии с этим неравенством, число |
не является точной верхней гранью. Противоречие доказывает теорему.¤
Теорема 2.8. (теорема о равномерной непрерывности) Если функция y = f(x) непрерывна на сегменте [a; b], òî îíà ðàâ-
номерно непрерывна на этом сегменте.
Д о к а з а т е л ь с т в о. Пусть функция не является равномерно непрерывной. Тогда для некоторого " > 0
не выполняется услîâèå jf(x00) ¡ f(x0)j < ": Поэтому для каж-
äîãî ± = 1=n, n = 1, n > 0 найдутся точки xn00 |
, xn0 |
такие, что |
||
при выполнении неравенства jxn00 ¡ xn0 j < 1=n будет справедливо |
||||
jf(x00) ¡ f(x0)j > ": Из последовательности xn0 |
можно выделить |
|||
подпоследовательность x0 |
), которая будет сходится к некото- |
|||
nk |
|
|
|
|
