ВУЗ:
Составители:
Рубрика:
(
)
(
)
2 2
0 2 2 0
( ), ( ) | ( ) ( ) ( )
O A O x x D f O x f x O A
+ +
ε δ δ ε
∃ δ = δ ε ∀ ∈ ∩ ⇒ ∈
& &
.
Положим
{
}
1 2
min ,
δ = δ δ
(заметим, что
( )
δ = δ ε
, ибо
1 1
( )
δ = δ ε
,
2 2
( )
δ = δ ε
). Тогда
0
( ) ( )
x D f O x
−
δ
∀ ∈ ∩
&
и для
0
( ) ( )
x D f O x
+
δ
∀ ∈ ∩
&
, т.е. в силу (13.3)
(
)
0
( ) ( ) ( )
x D f O x f x O A
δ ε
∀ ∈ ∩ ⇒ ∈
&
. Получили:
(
)
(
)
0 0
( ), ( ) | ( ) ( ) ( )
O A O x x D f O x f x O A
ε δ δ ε
∀ ∃ δ = δ ε ∀ ∈ ∩ ⇒ ∈
&
,
а это означает по определению, что
0
lim ( )
x x
f x A
→
∃ =
.
Назовём теорему 13.1
вторым признаком существования конечного предела функции в точке
(первым признаком суще-
ствования конечного предела функции в точке была названа теорема 12.1)
К важнейшим понятиям математического анализа относится понятие непрерывности функции.
Рассмотрим функцию
( )
y f x
=
,
( )
x D f
∈
. Пусть
0
x
– предельная точка множества
( )
D f
и
0
( )
x D f
∈
.
Определение 13.10. Функция
( )
f x
называется
непрерывной
в точке
0
x
, если существует конечный предел функции
( )
f x
в точке
0
x
, равный значению функции
( )
f x
в точке
0
x
:
0
0
lim ( ) ( )
x x
f x f x
→
∃ =
. (13.9)
Если функция
( )
f x
непрерывна в точке
0
x
, то
0
x
называется
точкой непрерывности функции
( )
f x
.
Согласно определению предела функции в точке (см. определение 10.11) непрерывность функции
( )
f x
в точке
0
x
оз-
начает следующее:
0 0
0 ( ) 0 | ( ) : ( ) ( )x D f x x f x f x
∀ε > ∃δ = δ ε > ∀ ∈ − < δ ⇒ − < ε
.
(13.10)
Запись (13.10) получена из (10.5) заменой
A
на
0
( )
f x
, при этом условие
0
0
x x
− >
, т.е.
0
x x
≠
из (10.5) опущено, ибо
при
0
x x
=
разность
0
( ) ( )
f x f x
−
равна нулю и, следовательно, удовлетворяет неравенству
0
( ) ( )f x f x
− < ε
при любом
0
ε >
.
Заметим, что при определении предела функции
( )
f x
в точке
0
x
её значение в данной точке не рассматривалось (предель-
ная точка
0
x
множества
( )
D f
не обязательно принадлежит этому множеству (см. пример 10.1), в этом случае
( )
f x
не оп-
ределена в точке
0
x
; но и в случае
0
( )
x D f
∈
значение
(
)
0
f x
в определении предела функции
( )
f x
в точке
0
x
не учитыва-
лось). А при определении непрерывности функции
( )
f x
в точке
0
x
значение
0
( )
f x
имеет важное значение.
Согласно геометрическому определению предела функции в точке (см. определение 10.12) непрерывность функции
( )
f x
в точке
0
x
означает следующее:
(
)
0
( )
O f x
ε
∀
(
)
0 0 0
( ), ( ) | ( ) ( ) ( ) ( )
O x x D f O x f x O f x
δ δ ε
∃ δ = δ ε ∀ ∈ ∩ ⇒ ∈
. (13.11)
Используя (13.9) и теорему 12.1, приходим к
первому признаку непрерывности функции в точке
:
( )
f x
непрерывна в точке
0
x
⇔
0
( ) ( ) ( )
f x f x x
= + α
, (13.12)
где
( )
x
α
– б.м.в. в точке
0
x
.
Используя (13.9) и теорему 13.1, приходим ко
второму признаку непрерывности функции в точке
:
( )
f x
непрерывна в точке
0
x
⇔
∃
конечные
0 0
( 0), ( 0)
f x f x
− +
и
0 0 0
( 0) ( 0) ( )
f x f x f x
− = + =
. (13.13)
Определение 13.11. Функция
( )
f x
называется
непрерывной в точке
0
x
слева
, если
(
)
0 0
0 ( )
f x f x
∃ − =
.
Определение 13.12. Функция
( )
f x
называется
непрерывной в точке
0
x
справа
, если
(
)
0 0
0 ( )
f x f x
∃ + =
.
В силу (13.13) получаем
третий признак непрерывности функции в точке
:
( )
f x
непрерывна в точке
0
x
⇔
( )
f x
непрерывна в точке
0
x
слева и справа. (13.14)
Пусть функция
( )
f x
непрерывна в точке
0
x
, т.е. выполняется (13.10). Положим
0
x x x
∆ = −
,
0
( ) ( )
y f x f x
∆ = −
. Вели-
чина
x
∆
называется приращением аргумента в точке
0
x
, а величина
y
∆
– приращением функции в точке
0
x
(обозначения
x
∆
,
y
∆
нужно рассматривать как цельные символы, не отделяя
∆
от
x
и
y
). Соотношение (13.10) принимает следующий
вид
0 ( ) 0 | ( ) :x D f x y
∀ε > ∃δ = δ ε > ∀ ∈ ∆ < δ ⇒ ∆ < ε
,
а это означает, по определению предела, что
Страницы
- « первая
- ‹ предыдущая
- …
- 69
- 70
- 71
- 72
- 73
- …
- следующая ›
- последняя »