ВУЗ:
Составители:
Рубрика:
[a; b]
f [a, b] x
0
∈ (a; b)
lim
x→x
0
−0
f(x) = f(x
0
− 0)
lim
x→x
0
+0
f
(
x
) =
f
(
x
0
+ 0) f
sup
x∈[a;x
0
)
f(x) = f(x
0
− 0) 6 f(x
0
) 6 f(x
0
+ 0) = inf
(x
0
;b]
f(x),
a b
lim
x→a+0
f(x) = f(a + 0) > f(a) lim
x→b−0
f(x) = f(b − 0) 6 f(b)
f
x < x
0
f(x) 6 f(x
0
) sup
x<x
0
f(x) 6 f(x
0
)
f(x
0
)
sup
x<x
0
f(x) = A lim
x→x
0
−0
f(x) = A
ε > 0
x
1
< x
0
A−ε < f(x
1
) 6 A f x ∈ (x
1
; x
0
)
A − ε < f(x
1
) 6 f(x) 6 A f(x) ∈ U
ε
(A),
f
x
0
∀ε > 0 ∃δ > 0 ∀x
0
, x
00
:
(
0 < |x
0
− x
0
| < δ
0 < |x
00
− x
0
| < δ
⇒ |f (x
0
) − f(x
00
)| < ε
∀ε > 0 ∃δ > 0 ∀x
0
, x
00
∈
◦
U
δ
(x
0
) ⇒ |f(x
0
) − f(x
00
)| < ε.
Ëåêöèÿ 11 77 Åñëè ôóíêöèÿ âîçðàñòàåò (èëè óáûâàåò) íà âñåì ïðîìåæóòêå [a; b], òî ãîâîðÿò, ÷òî îíà ìîíîòîííà íà ýòîì ïðîìåæóòêå. Òåîðåìà. Åñëè f ìîíîòîííà íà [a, b], òî â êàæäîé òî÷êå x0 ∈ (a; b) ñóùåñòâóþò êîíå÷íûå îäíîñòîðîííèå ïðåäåëû lim f (x) = f (x0 − 0) è x→x0 −0 lim f (x) = f (x0 + 0), ïðè÷åì åñëè f âîçðàñòàåò, òî x→x0 +0 sup f (x) = f (x0 − 0) 6 f (x0 ) 6 f (x0 + 0) = inf f (x), x∈[a;x0 ) (x0 ;b] à åñëè óáûâàåò, òî íåðàâåíñòâà ïðîòèâîïîëîæíûå.  êðàéíèõ òî÷êàõ a è b ñóùåñòâóþò ñîîòâåòñòâóþùèå îäíîñòîðîí- íèå ïðåäåëû lim f (x) = f (a + 0) > f (a) è lim f (x) = f (b − 0) 6 f (b) x→a+0 x→b−0 (äëÿ âîçðàñòàþùåé ôóíêöèè). Ä î ê à ç à ò å ë ü ñ ò â î. Ïðåäïîëîæèì, ÷òî f âîçðàñòàåò. Òîãäà ïðè ëþáûõ x < x0 èìååì f (x) 6 f (x0 ), ïîýòîìó sup f (x) 6 f (x0 ) (íàèìåíüøàÿ x0 íàéäåì òàêîå ÷èñëî x1 < x0 , ÷òî A−ε < f (x1 ) 6 A.  ñèëó âîçðàñòàíèÿ f äëÿ ëþáûõ x ∈ (x1 ; x0 ) áóäåì èìåòü A − ε < f (x1 ) 6 f (x) 6 A òî åñòü f (x) ∈ Uε (A), ÷òî è òðåáîâàëîñü äîêàçàòü. Ñóùåñòâîâàíèå ïðåäåëà ñïðàâà äîêàçûâàåòñÿ àíàëîãè÷íî è îñòàåòñÿ äëÿ ñàìîñòîÿòåëüíîé ðàáîòû. Êðèòåðèé Êîøè äëÿ ôóíêöèè Îïðåäåëåíèå. Ãîâîðÿò, ÷òî ôóíêöèÿ f óäîâëåòâîðÿåò óñëîâèþ Êîøè â òî÷êå x0 , åñëè ( 0 0 < |x0 − x0 | < δ 00 ∀ε > 0 ∃δ > 0 ∀x , x : ⇒ |f (x0 ) − f (x00 )| < ε 0 < |x00 − x0 | < δ Èñïîëüçóÿ ïîíÿòèå ïðîêîëîòîé îêðåñòíîñòè, ýòî óñëîâèå ìîæíî çàïèñàòü íåìíîãî êîðî÷å: ◦ ∀ε > 0 ∃δ > 0 ∀x0 , x00 ∈ U δ (x0 ) ⇒ |f (x0 ) − f (x00 )| < ε.
Страницы
- « первая
- ‹ предыдущая
- …
- 75
- 76
- 77
- 78
- 79
- …
- следующая ›
- последняя »