
книги из ГПНТБ / Мараева, И. Б. Введение в анализ бесконечно малых учеб. пособие
.pdf80 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Найденная |
простейшая |
бесконечно |
малая, |
эквивалентная |
|
|||||||||||||
данной, является ее главной частью. |
Итак, |
главная |
часть |
oi(x) |
||||||||||||||
равна |
|
|
|
|
|
|
|
|
|
j_ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
' |
С |
- |
х У |
|
|
|
|
|
|
|
|
Пример |
2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Найти |
главную |
|
часть |
бесконечно |
малой |
|
|
|
|
|
|
|||||||
|
|
|
х + / |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сс( X) = |
|
|
|
|
|
|
при |
X. —-СО |
|
|
|
|
|
|
||||
Сравним |
<Х.(Х) |
с |
простейвей |
бесконечно |
малг.й |
в |
данной |
|||||||||||
шкале, т . е . jS{x)=-L |
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
||||
eim C E ± i i * = / |
|
|
|
|
|
при л- |
=3. |
|
|
|
|
|||||||
X - *o e (х*+- |
f) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Главной |
частьо |
о с ( х ) |
|
является |
бесконечно |
иалая |
(•—) |
|
||||||||||
Пример |
3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Лычвслить |
приблихенно |
COS f". |
|
|
|
|
|
|
|
|||||||||
Так |
как |
{-COSX- |
|
х г , |
то |
/ - c o S x |
= ^ х г п р и |
х |
, |
|||||||||
близких |
к |
0. |
Тогда |
|
cosxst |
|
1--*-x.z. |
|
|
|
|
|
|
|
||||
Возьмем |
X = |
/ * = - 2 L |
|
|
Z |
= 4 г 7 Г |
~ |
° > 0 |
Z • |
|
|
|
||||||
радиан |
|
|
|
|||||||||||||||
Тогда |
C O S / 0 |
* |
|
ISO |
• |
|
_ z |
|
|
|
|
|
|
|
|
|||
|
г |
|
i'"±(OtQzf=1-0,OQte=0,9998. |
|
|
|
||||||||||||
Итак, |
W i / " « |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
0,999». |
|
|
|
|
|
|
|
|
|
|
|||||||
|
§ |
14. |
Классификац,:«, порядок |
и главная |
часть |
|
|
|||||||||||
|
|
|
|
бесконечно |
большой |
дувший |
|
|
|
|
|
|||||||
Все |
рассуждения, |
проведенные |
в |
предыдущих |
параграфах |
от |
носительно бесконечно малых, можно перенести и на бесконечно
большие функции. Они классифицируются |
аналогично: |
|
||||
|
I . Бесконечно |
большая и(х) |
называется бесконечно |
боль |
||
шой |
в ы с ш е г о |
|
п о р я д к а |
по сравнению с |
беско |
|
нечно |
большой V(X) |
, |
если |
|
|
|
|
|
йт |
HiSk |
= о о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
81 |
|
|
Например, |
при ж — « о |
u(3c)=xs*- |
S |
и V(x.) = |
х.-{ |
яв |
||||||||||
ляется |
бесконечно |
большими; |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
»• |
а(х) |
|
»• |
xs+2 |
_ |
^_ |
|
|
|
|
|
||||
|
|
|
Х-о»о |
|
|
|
! - » « , X— 1 |
|
|
|
|
|
|
|
||||
|
|
Поэтому |
и(х) |
|
- |
бесконечно большая |
высшего |
порядка по |
||||||||||
сравнению с |
v(x) . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
2 . |
Бесконечно |
большая |
t/fa:> |
называется |
бесконечно боль |
|||||||||||
ной |
н и з ш е г о |
|
п о р я д к а |
|
по сравнению с |
беско |
||||||||||||
нечно большой V(x) |
, |
если |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
•Х-+з:0 |
|
1г(Х) |
|
|
|
|
|
|
|
|
|||
|
|
ii |
этой |
случае |
v(x) |
- бесконечно большая высшего поряд |
||||||||||||
ка |
по сравнению |
с |
u f o e ) . |
|
|
|
|
|
|
|
|
|
||||||
|
|
Например, ц ( ж ) = |
* |
|
и vex) |
= — |
бесконечно |
боль- |
||||||||||
пше в окрестности |
точки |
хв= |
£ |
j |
1 |
|
' |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
з |
|
|
|
|
|
т . е . |
|
- |
бесконечно |
большая низшего порядка по сравнению |
||||||||||||||
с |
гг(эе} . Здесь |
v(x) |
|
умеет высший |
порядок |
по |
|
сравнению |
||||||||||
с |
и ( ж ; . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
3. |
Две бесконечно большие называются бесконечно больши |
|||||||||||||||
ми |
|
о д и н а к о в о г о |
|
п о р я д к а , |
если |
Birn |
||||||||||||
= с |
, где С Ф О - |
конечное число. |
|
|
|
|
|
|
vtx) |
|||||||||
|
|
Например, и(х)= |
^ |
- ^ |
j |
vvtx)=— |
при а: — о |
явля |
||||||||||
ются |
бесконечно |
большими; |
|
|
|
|
|
|
|
|
|
|||||||
поэтому |
i/CcO |
и v f x ) |
имеют |
одинаковый |
порядок. |
|
|
|
||||||||||
|
|
Бели предел отношения бесконечно больших равен I , |
то |
|||||||||||||||
они |
называются |
|
|
э к в и в а л е н т н ы м и . |
|
|
|
|||||||||||
|
|
Например, и(х) |
= Zх£-3 |
эс + / |
и |
v(x) = 2x*+ |
/ |
эквива |
||||||||||
лентны |
при х -~<х» |
, |
так как |
|
|
|
|
|
|
|
|
|||||||
|
|
|
ж-»е«э UCX) |
|
ое—оо 2x*-*-f |
|
|
|
|
|
||||||||
|
|
Очевидно, теорема о возмохностх замены бесконечно боль |
||||||||||||||||
ших на их эквивалентные |
при вычислении |
предела |
|
отношения |
82 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
справедлива |
и доказывается |
так |
же, |
как |
теорема |
г, |
§ |
|
2 . |
|
|
||||||||||||||
|
Ц. |
Если |
предела отношения двух бесконечно больших |
|
не |
||||||||||||||||||||
существует, |
то |
они |
называется |
|
|
н е с р а в н и ы ы ы и . |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
ЗЕ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Например, |
u |
W |
= |
^ |
n |
V(x) |
= х |
- |
бесконечно |
большие |
||||||||||||||
при |
ас |
— » о с . |
|
|
|
|
|
ilnxx-£Lrri |
|
|
|
|
|
|
|
|
|
|
|||||||
|
Но & m |
^ / ^ 1 ' ^ ' т |
|
I I T J I |
н е |
суиествует, |
по- |
||||||||||||||||||
этому |
irfse) |
и |
i / f x ; |
- |
несравнимы |
друг |
с |
другом. |
|
|
|
|
|
||||||||||||
|
П о р я д к о м |
|
бесконечно |
большой |
u f x ) |
|
относительно |
||||||||||||||||||
бесконечно |
больной |
V(x) |
|
называется такое |
число |
к |
> О , |
при |
|||||||||||||||||
котором |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
х - » х 0 |
|
LV(3cU* |
|
|
|
|
|
|
|
|
|
|
|
|||||
где |
с |
'ф О |
|
- |
конечное |
число. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Например, |
и(х)=х*~ |
|
/ |
имеет |
второй |
порядок |
относитель |
|||||||||||||||||
но "У(а:):=-гжа пин |
а с — « э |
, |
так |
как |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
tint |
-—-—J _ J ' |
— & Л 1 |
—— |
7"J — ~ . |
|
|
|
|
|
|
||||||||||||
|
Порядок |
бесконечно |
большой |
определяют |
ооычно |
|
относи |
||||||||||||||||||
тельно простейшей в данной шкале. Так, если |
и(х) |
|
- |
бесконеч |
|||||||||||||||||||||
но |
больная |
в |
окрестности |
точки х0 =°«=> , |
то |
ее удобно |
|
срав |
|||||||||||||||||
нивать |
с |
i f Сое) ж х . При х . - « х 0 |
, |
|
где |
Х0 |
- |
конечное |
|
число, |
|||||||||||||||
за |
простейшую |
бесконечно |
большую берут |
v(x) |
=.—— . |
|
|
|
|||||||||||||||||
|
Простейшая |
бесконечно |
больная, |
эквивалентная ж *заданной |
|||||||||||||||||||||
в данной шкале, называется ее |
|
|
г л а в н о й |
|
ч а с т ь ю . |
||||||||||||||||||||
|
Пример I . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
U(x)» |
|
а з д + / |
|
~ бесконечно |
большая |
функция |
|
|
|
при |
||||||||||||||
х - * о о |
. Сравним |
ее |
с |
простейией |
|
в данной |
шкале, |
т . е . |
с |
v(x)= |
|||||||||||||||
|
= |
х |
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
р. |
|
|
и(х) |
|
|
_ |
|
|
|
|
z x s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"JZU |
№x)F~ |
|
s^L |
(х>-3я«)х*~ |
а |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при |
К-2. |
|||
|
Тогда |
|
|
|
|
и(х) |
~ а х ! |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Главной |
частью |
и(х) |
|
является |
бесконечно |
большая |
2 |
ж * . |
||||||||||||||||
|
Пример |
2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Найдем |
главную |
часть |
бесконечно большой u(x)z |
|
|
|
|
при |
||||||||||||||||
ас ~ W . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
ft* |
|
^ |
^ |
Я |
|
= |
|
Rm |
(x-0(x+/) |
|
= |
|
/ |
|
/р</ |
K-i. |
||||||
|
|
|
as-*/ |
|
as* - / |
|
|
|
a . o / |
|
|
Z |
|
" |
|
|
83
Тогда
Главной часть» и(Ю является бесконечно большая
|
|
|
|
|
_ |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
Контрольные |
|
вопросы |
и примеры |
|
|
|
|||||||||
1 а |
Сравните |
ыекду |
собой сл едущие бесконечно |
малые: |
|||||||||||||
|
a) |
<2зе - |
ж * |
и |
зс |
|
при |
|
as —*-Q ; |
|
|
|
|
||||
|
б) |
|
-/зГ |
|
и |
~ |
|
при |
я - » + в о . |
|
|
|
|
||||
2о Сравните нежду собой следующие бесконечно большие: |
|||||||||||||||||
|
**) |
т |
|
|
|
|
|
и |
X |
|
при |
|
: |
|
|
||
|
б) |
|
и |
——т- |
|
при |
се — > / ; |
|
|
|
|||||||
|
b) 2 с £ 5 — З х г - И |
л |
ж 3 |
|
при |
сс—»<С«=» . |
|
|
|
||||||||
3. |
Покажите, что |
|
при |
ж — » / |
, |
бесконечно малые величина |
|||||||||||
( У - з с , ) |
и а ( i-fx |
) |
, |
rg,e |
|
аФ |
|
О к |
к |
> О ~ |
целое |
число, |
бу |
||||
дут одного порядка малости. При каком значении |
а |
они |
будуе |
||||||||||||||
эквивалентны? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
4 . |
Вычислите данные |
пределы: |
|
|
|
|
|
|
|
||||||||
|
. |
„. |
1cos |
эс —^со5 |
х |
|
; |
|
|
|
|
|
|||||
|
а ) |
Вит. |
|
|
|
;—-—— |
|
|
|
|
|
|
|
|
|||
|
|
г - о |
|
|
|
s i n * * |
|
|
|
|
|
|
|
|
|
||
|
б) |
dim |
(/ - iosce) |
|
ctgx |
|
; |
|
|
|
|
|
|
||||
|
|
ж - *о |
|
|
|
|
|
» |
|
|
|
|
|
|
|
|
|
|
в ) |
& т |
|
|
|
|
|
|
• |
|
|
|
|
|
|
|
|
|
Г ) & ' т |
х |
|
- sin.231 |
|
|
|
|
|
|
|
||||||
|
ж |
~* |
. |
„ |
|
|
|
|
|
|
|
|
|
||||
|
|
•я—о |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
з: -* Д |
|
I—Zcosac |
|
|
|
|
|
|
|
|
|||||
|
в ) |
ftm, |
- |
s m x - ^ g |
|
|
|
|
|
|
|
||||||
5 . |
Определите порядок |
каждой |
из |
следующий |
функции: |
|
|||||||||||
|
а ) |
|
— у * * |
втпоситедьио |
ж |
при |
at- |
|
|
б) |
зСа(У?+се |
- /,? относительно |
ж |
при ж — О; |
||
|
У ж ' 0 |
|
|
|
|
|
в ) |
— ~ = — |
относительно |
сс |
при |
х |
—""О; |
г ) ( £ ж —Sx |
относительно х |
|
при |
а с - * |
||
д ) |
- = т — — |
относительно |
— |
пои |
х — » * * о - |
|
ч а / ^ : £ с х |
относительно |
/ |
при |
ас — |
||
в ) |
-3—— |
— - |
6. Выделите главные части следующих бесконечно малых и бесконечно больиих:
а ) (cos сс - со$2х)п1>и ос-*о ,
б) |
|
" |
при |
|
сс — • + о о ; |
|
СС -И |
|
|
|
|
В) — |
L |
— |
При |
СС |
» о-о; |
г ) |
- £ с с |
- |
fi-Зх |
при |
- х — » 0 ; |
д ) |
S i n |
~ - |
при Се — > * х > , |
***V * -
|
|
/ / 4 - Х |
|
|
|
|
, |
|
|
|
|
|
|
е ) |
(/-— |
при |
ос—» |
/ , |
|
|
|
|
|||
|
|
| / — sc |
|
|
|
|
|
|
|
|
|
|
|
s ) |
а г 3 - З ж |
+ 2 |
при |
|
х—» |
/ ; |
|
|
|
|
|
|
з ) |
|
/ |
|
при |
з а — " У . |
|
|
|
|
||
|
— : — = — |
|
|
|
|
|
||||||
|
|
Sin |
Кос |
|
|
|
|
|
|
|
|
|
|
|
|
Дополнитеяьные примеры |
|
|
|
||||||
|
БЕРИАН Г.Н. "Наука", 1969, |
Э 322, |
327, |
329, |
330, |
333, |
||||||
334, |
336, |
340, |
342, |
345, |
347, |
349, |
389, |
393, |
395, |
405, |
407, |
|
409, |
« К , |
412 |
( I , 2, |
б, |
9,- 10, |
12), |
425 |
( I , |
6 ) , 426 ( I , |
3 ) . |
85
Г л а в а |
У |
МОНОТОННЕЕ ФУНКЦИИ И ПРИЗНАКИ СУЩЕСТВОВАНИЯ ПРЕДЕЛА. ЧИСЛО " « " И НАТУРАЛЬНЫЕ ЛОГАРИФМЫ
§15. Монотонные функции
Спонятиен монотонных функций читатель знаком из курса
средней школы. Поэтому здесь мы кратко повторим основные определения и рассмотрим некоторые свойства монотонных функ
ций, полезные для |
дальнейшего. |
|
|
|
|
|
|
|
|
||||||
Функция f(x) |
называется |
в о з р а с т а ю щ е й |
на |
||||||||||||
множестве |
X |
> если для |
любых |
Xf |
, |
Х& |
кз |
X |
» Удовдетво-? |
||||||
ряющих |
неравенству |
< а ^ |
, соответствующие -.начения функции |
||||||||||||
удовлетворяют неравенству f(scf)^ |
|
fi^g)- |
|
|
|
||||||||||
Если |
из |
неравенства |
xf < ж л |
следует |
ftX)^f^jjtxo |
функ |
|||||||||
ция f(x) |
|
называется |
с т р о г о |
|
в о з р а с т а ю щ е е |
||||||||||
на мноиестве |
X |
» |
|
|
|
|
|
|
|
|
|
|
|
||
Аналогично определяется убывающая функция: если для лю |
|||||||||||||||
бых X f |
, |
& г |
из мнозества |
|
X |
> удовлетворяющих |
неравенству |
||||||||
ccf < а?л |
, соответствующие |
значения |
f(x.) |
|
удовлетворяют |
не |
|||||||||
равенству ^"(а;) >/£(хя) |
i |
то |
функция |
£(х) |
назнвается |
||||||||||
у б ы в а ю щ е й |
|
на множестве ЗС |
• Если из |
неравенства |
|||||||||||
Xf < зсл |
следует |
строгое |
|
неравенство f(&t)}f(3£A) |
, |
то |
функ |
||||||||
ция называется |
с т р о г о |
у б ы в а ю щ е й |
|
на мно |
|||||||||||
жестве X. |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Примеры. |
|
|
|
|
|
|
|
|
|
|
|
|
|||
I . |
ij = |
|
~ с |
т Р о г о |
|
возрастающая |
функция |
на |
( 5 s * < s « ) ; |
||||||
2/. ц=со$х |
- строго убывающая функция на |
£ |
О ; |
.JTJj |
|||||||||||
3 . у = . { /, |
/ |
$х<£, |
|
|
|
|
|
|
t, |
|
|||||
|
|
|
U, |
|
Х>,2. |
|
|
|
|
|
|
|
|
На рис. 47 показан график функции.
86 |
|
|
|
|
|
|
|
|
Lj |
- |
возраставшая функ |
||
|
|
ция |
на С Of +*9?J. |
|
||
|
|
|
Возрастающие |
или |
||
|
|
убывающие функции |
назы |
|||
|
|
ваются |
ионотонныии |
на |
||
|
|
соответствующем |
множе |
|||
|
|
с т в е . |
|
|
|
|
| |
Рис. 47 |
|
|
|
|
|
§ |
16. Признаки |
существования |
предела |
|
|
|
Из гл . П нам известно, |
что далеко не |
все функции |
имеют |
|||
пределы в предельных точках области своего |
задания. |
Напри |
||||
мер, yssinx |
не имеет предела прих — « с о . |
Естественно |
тог |
да задаться вопросом: не существует ли признаков, по которым
можно |
судить |
о наличии или отсутствии предела функции? |
Ко |
|||
нечно, |
такие |
признаки существуют. С одним из |
них мы уже по |
|||
знакомились |
в гл . П. Это теорема о сжатой функции, на |
|
осно |
|||
вании которой было доказано существование предела у |
функции |
|||||
Sinx |
. |
тригонометрический |
|
. • |
||
у — — — — |
при ас — *0 (основной |
предел). |
||||
В этом параграфе мы познакомимся |
еще с одним признаком |
су |
||||
ществования |
предела. |
|
|
|
|
|
Теорема. |
|
|
|
|
||
ЕслиуЧзс) - монотонна на множестве X |
к хд |
- |
пре |
дельная точка множества, то существуют односторонние пределы ftm ^F(sc) и^С^/С3 *) » причем, если в левой или правой ок
рестностях ТОЧКЕ х 0 функция ограничена, то соответствующий односторонний, предел конечен, а если неограничена, - тс бес конечен.
|
Доказательство. |
Пусть /(х) |
возрастает на множестве X и ха - предель |
ная точка множества, рассмотрим какую-нибудь из окрестностей
точки хв |
|
, например, левую, т . е . и(х)сX |
,х<ха, |
|
|
|||||
I . |
Пусть у (з:) |
- |
неограничена в и(хд) |
, х |
<хо |
и |
воз |
|||
растает. |
Тогда для любого £*> О |
найдется |
такой |
хЧи(х) |
, |
|||||
* * < з ^ |
, |
ч т о / ( а § > £ |
. Так гак |
f(z) |
возрастает в |
и(х) , |
||||
Яе<ссв |
, |
то для всех х>х*ух0 |
, и подавно -f(x) >£ „ |
|
||||||
f . e . |
для в е к |
ж |
, удовлетворяющих неравенству/зе - х 0 /< |
|||||||
</ае - з^/, |
выполняется |
неравенство f(x)>E |
. Итак, |
для |
лш~ |
87 бого Е > О найдено такое о"=/л*—а?о />0, чтобы для всех аг , удовлетворяющих неравенству Jcc—xj <<Г , соответствующие зна чения функции удовлетворяли бы неравенству > £ , а это и значит, что
ZMJI бы в левой окрестности 11(зсф , х < <го функция была убывающей п неограниченной снизу, то такие же рассуждения привели бы к выведу о существовании
я — хо-0
Аналогичные выводы можно сделать при рассмотрении правой
окрестности U (СЕ) |
, х > а г о |
о правостороннем |
пределе |
функции. |
На рис. 48-51 |
показаны |
возможные случаи |
графиков |
моно |
тонных и неограниченных функций. |
|
|
|«*)
Рис. 50 |
Рис. 51 |
88 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 . |
Пусть f(x) |
|
ограничена |
и возрастает |
в |
левой |
|
окрест |
|||||||||||||
ности точки х а |
. Тогда существует точная |
верхняя |
|
|
граница |
||||||||||||||||
(см . введение) значений функции |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Возьмем |
любое |
£ > 0 |
. Так |
как |
М |
|
|
- |
точная |
верхняя |
гра |
||||||||||
ница, то |
найдется такой vr6€U(x) |
|
, |
х в |
' < |
хд |
, |
н^и |
которой |
||||||||||||
f(x*) |
УМ~£ |
. |
Но, |
по возрастанию f( |
х) |
, |
для |
всех х>х*> хд |
|||||||||||||
и подавно |
|
f(as))M-£, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Если |
по-прехнему |
обозначить/х*— ж 0 |
/ = <? ^ 0 |
, |
то |
для |
|||||||||||||||
всех ос |
|
, |
удовлетворяющих |
неравенству / х |
- |
х 0 /< <Р |
, |
соответ |
|||||||||||||
ствующие |
значения |
функции удовлетворяют |
неравенству |
|
|
|
|||||||||||||||
|
|
|
|
|
f(x)>M-£.. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Но, |
с |
другой |
стороны, |
для |
всех |
'X€.U(x)t |
|
х |
< |
|
x0,f(x)4M, |
||||||||||
т . е . f(x)<M |
+ £. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Тогда |
для |
всех |
х |
, |
для |
которых / х-Х01 |
|
< о" , |
будет |
||||||||||||
выполняться |
неравенство ЬА-£($(х)(М |
|
+ £ , |
t.e.jj^(x)~Mj<£. |
|||||||||||||||||
Так как |
|
|
|
|
х 0 / |
|
найдено |
по |
£ |
|
, |
а |
|
£ > |
О |
- |
|
любое |
|||
число, |
то |
это |
и означает, |
что |
существует |
|
& л г о |
|
f(x)=M. |
|
|||||||||||
Аналогично рассматриваются случаи убывающей функции |
и |
||||||||||||||||||||
правых |
окрестностей |
точки |
х 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
На рис. 52-55 показаны возможные случаи графиков |
моно |
||||||||||||||||||||
тонных |
и ограниченных |
функций. |
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 52 |
Рис. 53 |
89
|
Sim |
ffx) |
|
|
|
|
|
|
|
|
Elm. f(x) |
= rn |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
Рис. |
54 |
|
|
|
|
|
|
Рис. |
55 |
|
|
|
||
Полезно |
обратить |
|
внимание на |
следующие |
|
з а |
л е й - |
|||||||||
н и я |
|
к этой |
теореме: |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|||||||
I . |
В теореме |
утверждается |
наличие только |
односторонних |
||||||||||||
пределов для монотонной функции. Это совсем не значит, |
что |
|||||||||||||||
существует предел функции в данной точке. |
|
|
|
|
||||||||||||
Например, |
функция |
|
|
|
- |
возрастает |
при |
ж е ( - |
|
|||||||
х £ О „ |
Точка |
Хо=0 |
|
|
- предельная |
точка множества |
|
X |
||||||||
= ( - о в , * в о ) , |
хФ |
О |
|
Тогда |
существуют |
Sim |
|
и & т |
А х ) , |
|||||||
причем они конечны, так как |
|
|
ОС-»С-0 |
|
|
|
|
|||||||||
функция |
ограничена |
в |
|
|
ок |
|
|
|
|
У |
|
|
|
|||
рестности точки |
xg=Q, |
дей |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|||||||||
ствительно, Rmf(x)= |
- / |
, |
|
|
|
|
|
|
|
|
||||||
ein^f(x) |
= *T |
. |
Теорема |
|
|
|
1 |
|
|
|
|
|||||
выполнена. Но & т |
/С ж ) |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
||||||||
не существует, |
так |
как |
|
од |
|
|
|
|
|
|
|
|
||||
носторонние пределы не рав |
|
|
|
|
|
|
|
|
||||||||
ны между |
ообой |
(рис. |
5 6 ) . |
|
|
|
-1 |
|
|
|
||||||
2. Доказанный |
признак |
|
|
|
|
|
|
|
|
|||||||
существования предела |
|
явля |
|
|
|
|
|
|
|
|
||||||
ется достаточными |
но не |
не |
|
|
|
Рис, |
56 |
|
|
|
||||||
обходимым. I . e . , если |
|
функ |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
||||||||
ция монотонна к |
ограничена, |
то |
соответствующий односторонний |
|||||||||||||
предел существует н конечен, обратное неверно, т . е . |
|
если |
||||||||||||||
функция имеет конечный предел, |
то |
она не обязательно |
является |
|||||||||||||
монотонной (при существовании конечного предела |
ограничен |
|||||||||||||||
ность |
функция внпоаняется. обязательно, а монотонность |
- |
с о в |
|||||||||||||
сем не |
обязательно). |
|
|
|
|
|
|
|
|
|
|
|