Приводятся формулировки основных теорем и свойств предела функции. Даны определения конечных и бесконечных пределов в конечных точках и на бесконечности (двусторонних и односторонних) по Коши и Гейне. Рассмотрены арифметические свойства; теоремы, связанные с неравенствами; критерий сходимости Коши; предел сложной функции; свойства бесконечно малых, бесконечно больших и монотонных функций. Дано определение функции.
Определение функции
Функцией y = f(x) называется закон (правило), согласно которому, каждому элементу x множества X ставится в соответствие один и только один элемент y множества Y .
Элемент x ∈
X
называют аргументом функции
или независимой переменной
.
Элемент y ∈
Y
называют значением функции
или зависимой переменной
.
Множество X
называется областью определения функции
.
Множество элементов y ∈
Y
,
которые имеют прообразы в множестве X
,
называется областью или множеством значений функции
.
Действительная функция называется ограниченной сверху (снизу)
, если существует такое число M
,
что для всех выполняется неравенство:
.
Числовая функция называется ограниченной
, если существует такое число M
,
что для всех :
.
Верхней гранью
или точной верхней границей
действительной функции называют наименьшее из чисел, ограничивающее область ее значений сверху. То есть это такое число s
,
для которого для всех и для любого ,
найдется такой аргумент ,
значение функции от которого превосходит s′
:
.
Верхняя грань функции может обозначаться так:
.
Соответственно нижней гранью
или точной нижней границей
действительной функции называют наибольшее из чисел, ограничивающее область ее значений снизу. То есть это такое число i
,
для которого для всех и для любого ,
найдется такой аргумент ,
значение функции от которого меньше чем i′
:
.
Нижняя грань функции может обозначаться так:
.
Определение предела функции
Определение предела функции по Коши
Конечные пределы функции в конечных точках
Пусть функция определена в некоторой окрестности конечной точки за исключением, может быть, самой точки .
в точке ,
если для любого существует такое ,
зависящее от ,
что для всех x
,
для которых ,
выполняется неравенство
.
Предел функции обозначается так:
.
Или при .
С помощью логических символов существования и всеобщности определение предела функции можно записать следующим образом:
.
Односторонние пределы.
Левый предел в точке (левосторонний предел):
.
Правый предел в точке (правосторонний предел):
.
Пределы слева и справа часто обозначают так:
;
.
Конечные пределы функции в бесконечно удаленных точках
Аналогичным образом определяются пределы в бесконечно удаленных точках.
.
.
.
Их часто обозначают так:
;
;
.
Использование понятия окрестности точки
Если ввести понятие проколотой окрестности точки ,
то можно дать единое определение конечного предела функции в конечных и бесконечно удаленных точках:
.
Здесь для конечных точек
;
;
.
Любые окрестности бесконечно удаленных точек являются проколотыми:
;
;
.
Бесконечные пределы функции
Определение
Пусть функция определена в некоторой проколотой окрестности точки (конечной или бесконечно удаленной). f(x)
при x → x 0
равен бесконечности
, если для любого, сколь угодно большого числа M > 0
,
существует такое число δ M > 0
,
зависящее от M
,
что для всех x
,
принадлежащих проколотой δ M
- окрестности точки :
,
выполняется неравенство:
.
Бесконечный предел обозначают так:
.
Или при .
С помощью логических символов существования и всеобщности определение бесконечного предела функции можно записать так:
.
Также можно ввести определения бесконечных пределов определенных знаков, равных и :
.
.
Универсальное определение предела функции
Используя понятие окрестности точки, можно дать универсальное определение конечного и бесконечно предела функции, применимое как для конечных (двусторонних и односторонних), так и для бесконечно удаленных точек:
.
Определение предела функции по Гейне
Пусть функция определена на некотором множестве X
:
.
Число a
называется пределом функции
в точке :
,
если для любой последовательности ,
сходящейся к x 0
:
,
элементы которой принадлежат множеству X
:
,
.
Запишем это определение с помощью логических символов существования и всеобщности:
.
Если в качестве множества X взять левостороннюю окрестность точки x 0 , то получим определение левого предела. Если правостороннюю - то получим определение правого предела. Если в качестве множества X взять окрестность бесконечно удаленной точки, то получим определение предела функции на бесконечности.
Теорема
Определения предела функции по Коши и по Гейне эквивалентны.
Доказательство
Свойства и теоремы предела функции
Далее мы считаем, что рассматриваемые функции определены в соответствующей окрестности точки , которая является конечным числом или одним из символов: . Также может быть точкой одностороннего предела, то есть иметь вид или . Окрестность является двусторонней для двустороннего предела и односторонней для одностороннего.
Основные свойства
Если значения функции f(x) изменить (или сделать неопределенными) в конечном числе точек x 1 , x 2 , x 3 , ... x n , то это изменение никак не повлияет на существование и величину предела функции в произвольной точке x 0 .
Если существует конечный предел ,
то существует такая проколотая окрестность точки x 0
,
на которой функция f(x)
ограничена:
.
Пусть функция имеет в точке x 0
конечный предел, отличный от нуля:
.
Тогда, для любого числа c
из интервала ,
существует такая проколотая окрестность точки x 0
,
что для ,
,
если ;
,
если .
Если, на некоторой проколотой окрестности точки , - постоянная, то .
Если существуют конечные пределы и и на некоторой проколотой окрестности точки x 0
,
то .
Если ,
и на некоторой окрестности точки
,
то .
В частности, если на некоторой окрестности точки
,
то если ,
то и ;
если ,
то и .
Если на некоторой проколотой окрестности точки x 0
:
,
и существуют конечные (или бесконечные определенного знака) равные пределы:
,
то
.
Доказательства основных свойств приведены на странице
«Основные свойства пределов функции ».
Арифметические свойства предела функции
Пусть функции и определены в некоторой проколотой окрестности точки .
И пусть существуют конечные пределы:
и .
И пусть C
- постоянная, то есть заданное число. Тогда
;
;
;
,
если .
Если , то .
Доказательства арифметических свойств приведены на странице
«Арифметические свойства пределов функции ».
Критерий Коши существования предела функции
Теорема
Для того, чтобы функция ,
определенная на некоторой проколотой окрестности конечной или бесконечно удаленной точки x 0
,
имела в этой точке конечный предел, необходимо и достаточно, чтобы для любого ε > 0
существовала такая проколотая окрестность точки x 0
,
что для любых точек и из этой окрестности, выполнялось неравенство:
.
Предел сложной функции
Теорема о пределе сложной функции
Пусть функция имеет предел и отображает проколотую окрестность точки на проколотую окрестность точки .
Пусть функция определена на этой окрестности и имеет на ней предел .
Здесь - конечные или бесконечно удаленные точки: .
Окрестности и соответствующие им пределы могут быть как двусторонние, так и односторонние.
Тогда существует предел сложной функции и он равен :
.
Теорема о пределе сложной функции применяется в том случае, когда функция не определена в точке или имеет значение, отличное от предельного .
Для применения этой теоремы, должна существовать проколотая окрестность точки ,
на которой множество значений функции не содержит точку :
.
Если функция непрерывна в точке ,
то знак предела можно применять к аргументу непрерывной функции:
.
Далее приводится теорема, соответствующая этому случаю.
Теорема о пределе непрерывной функции от функции
Пусть существует предел функции g(t)
при t → t 0
,
и он равен x 0
:
.
Здесь точка t 0
может быть конечной или бесконечно удаленной: .
И пусть функция f(x)
непрерывна в точке x 0
.
Тогда существует предел сложной функции f(g(t))
,
и он равен f(x 0)
:
.
Доказательства теорем приведены на странице
«Предел и непрерывность сложной функции ».
Бесконечно малые и бесконечно большие функции
Бесконечно малые функции
Определение
Функция называется бесконечно малой при ,
если
.
Сумма, разность и произведение конечного числа бесконечно малых функций при является бесконечно малой функцией при .
Произведение функции, ограниченной на некоторой проколотой окрестности точки , на бесконечно малую при является бесконечно малой функцией при .
Для того, чтобы функция имела конечный предел ,
необходимо и достаточно, чтобы
,
где - бесконечно малая функция при .
«Свойства бесконечно малых функций ».
Бесконечно большие функции
Определение
Функция называется бесконечно большой при ,
если
.
Сумма или разность ограниченной функции, на некоторой проколотой окрестности точки , и бесконечно большой функции при является бесконечно большой функцией при .
Если функция является бесконечно большой при ,
а функция - ограничена, на некоторой проколотой окрестности точки ,
то
.
Если функция ,
на некоторой проколотой окрестности точки ,
удовлетворяет неравенству:
,
а функция является бесконечно малой при :
,
и (на некоторой проколотой окрестности точки ), то
.
Доказательства свойств изложены в разделе
«Свойства бесконечно больших функций ».
Связь между бесконечно большими и бесконечно малыми функциями
Из двух предыдущих свойств вытекает связь между бесконечно большими и бесконечно малыми функциями.
Если функция являются бесконечно большой при , то функция является бесконечно малой при .
Если функция являются бесконечно малой при , и , то функция является бесконечно большой при .
Связь между бесконечно малой и бесконечно большой функцией можно выразить символическим образом:
,
.
Если бесконечно малая функция имеет определенный знак при ,
то есть положительна (или отрицательна) на некоторой проколотой окрестности точки ,
то этот факт можно выразить так:
.
Точно также если бесконечно большая функция имеет определенный знак при ,
то пишут:
.
Тогда символическую связь между бесконечно малыми и бесконечно большими функциями можно дополнить следующими соотношениями:
,
,
,
.
Дополнительные формулы, связывающие символы бесконечности, можно найти на странице
«Бесконечно удаленные точки и их свойства ».
Пределы монотонных функций
Определение
Функция ,
определенная на некотором множестве действительных чисел X
называется строго возрастающей
, если для всех таких что выполняется неравенство:
.
Соответственно, для строго убывающей
функции выполняется неравенство:
.
Для неубывающей
:
.
Для невозрастающей
:
.
Отсюда следует, что строго возрастающая функция также является неубывающей. Строго убывающая функция также является невозрастающей.
Функция называется монотонной , если она неубывающая или невозрастающая.
Теорема
Пусть функция не убывает на интервале ,
где .
Если она ограничена сверху числом M
:
,
то существует конечный предел .
Если не ограничена сверху, то .
Если ограничена снизу числом m
:
,
то существует конечный предел .
Если не ограничена снизу, то .
Если точки a
и b
являются бесконечно удаленными, то в выражениях под знаками пределов подразумевается, что .
Эту теорему можно сформулировать более компактно.
Пусть функция не убывает на интервале ,
где .
Тогда существуют односторонние пределы в точках a
и b
:
;
.
Аналогичная теорема для невозрастающей функции.
Пусть функция не возрастает на интервале ,
где .
Тогда существуют односторонние пределы:
;
.
Доказательство теоремы изложено на странице
«Пределы монотонных функций ».
Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.
Теорема 1 . Если f (x ) = b , то f (x ) = b + a (x ), где a (x ) – б.м. при x ® a .
Доказательство. Пусть f (x ) = b . Рассмотрим функцию a (x ) = f (x ) – b и покажем, что a (x ) – б.м. при x ® +¥ .
Из определения f
(x
) = b
имеем, что "e
> 0 $x
0 "x > x
0 |f
(x
) – b
| < e
, но так как a
(x
) = f
(x
) – b
, то "e
> 0 $x
0 "x > x
0 |a
(x
)| < e
, а это означает, что a
(x
) – б.м. при
x
® +¥.
Итак, из равенства a (x ) = f (x ) – b имеем f (x ) = b + a (x ), где a (x ) – б.м. при x ® +¥.
Теорема 2.
Если функцию f
(x
) можно представить в виде: f
(x
) = b
+ a
(x
), где
b
– число, a
(x
) – б.м. функция при x
® a
, то f
(x
) = b
.
Доказательство. Пусть f (x ) = b + a (x ), где a (x ) – б.м. при x ® +¥, т.е.
"e > 0 $x 0 "x > x 0 |a (x )| < e . (*)
Но a (x ) = f (x ) – b , поэтому (*) можно записать так: "e > 0 $x 0 "x > x 0 |f (x ) – b | < e , что означает: f (x ) = b .
Следующие теоремы значительно облегчают нахождение пределов.
Теорема 3 . Предел суммы (разности) двух функций равен сумме (разности) их пределов, т.е. если
f 1 (x ) = b 1 , f 2 (x ) = b 2 , то (f 1 (x ) + f 2 (x )) = b 1 + b 2 , (f 1 (x ) – f 2 (x )) = b 1 – b 2 .
Доказательство. На основании теоремы 1: f 1 (x ) = b 1 + a 1 (x ), f 2 (x ) = b 2 + a 2 (x ), где a 1 (x ), a 2 (x ) – б.м. при x ® a , тогда
f 1 (x ) + f 2 (x ) = (b 1 + a 1 (x )) + (b 2 + a 2 (x )) = (b 1 + b 2) + (a 1 (x ) + a 2 (x )).
Но a 1 (x ) + a 2 (x ) – б.м. функция при x ® a (как сумма двух б.м. функций), поэтому из равенства f 1 (x ) + f 2 (x ) = (b 1 + b 2) + (a 1 (x ) + a 2 (x )) по теореме 2 следует, что
(f 1 (x ) + f 2 (x )) = b 1 + b 2.
Аналогично проводится доказательство для разности.
Теорема 4 . Предел произведения двух функций равен произведению их пределов, т.е. если f 1 (x ) = b 1 , f 2 (x ) = b 2 , то (f 1 (x ) f 2 (x )) = b 1 × b 2 .
Доказательство. По теореме 1: f 1 (x ) = b 1 + a 1 (x ), f 2 (x ) = b 2 + a 2 (x ), где a 1 (x ), a 2 (x ) – б.м. при x ® a , тогда f 1 (x )× f 2 (x ) = b 1 × b 2 + b 1 ×a 2 (x ) + b 2 ×a 1 (x ) + a 1 (x )× a 2 (x ).
На основании следствий 2, 3, теоремы 1 (разд. 1.6) функции b
1 ×a
2 (x
), b
2 ×a
1 (x
), a
1 (x
)×a
2 (x
) – б.м. при x
® a
и a
(x
) = b
1 ×a
2 (x
) + b
2 ×a
1 (x
) + a
1 (x
)×a
2 (x
) – бесконечно малая функция при x
® a
. Из равенства f
1 (x
) f
2 (x
) = b
1 b
2 + a
(x
) по теореме 2 следует, что
(f
1 (x
)f
2 (x
)) = b
1 b
2 .
Следствие 1
. Постоянный множитель можно выносить за знак предела, т.е.
(С
×f
(x
)) = С
f
(x
), где С
– постоянное число.
Доказательство. С f (x ) = С f (x ) = С f (x ), так как С = С.
Следствие 2 . Если n – натуральное число, то [(f (x )) n ] = (f (x )) n .
Теорема 5
. Предел дроби равен пределу числителя, деленному на предел знаменателя при условии, что предел знаменателя не равен нулю. Иначе, если f
1 (x
) = b
1 ,
f
2 (x
) = b
2 и b
2 ¹ 0, то .
Доказательство. По теореме 1: f 1 (x ) = b 1 + a 1 (x ), f 2 (x ) = b 2 + a 2 (x ), где a 1 (x ), a 2 (x ) – б.м. при x ® a , тогда
Обозначим последнюю дробь a
(x
) = , тогда + a
(x
). Остается показать, что a
(x
) – б.м. при x
® a
. Действительно, числитель дроби
b
2 a
1 (x
) – b
1 a
2 (x
) – б.м. по свойствам бесконечно малых функций, предел
(b
2 2 + b
2 a
2 (x
)) = b
2 2 ¹ 0, на основании теорем 3, 4. Поэтому – функция,ограниченная при x
® a
(по теореме 3 разд. 1.6). Значит, a
(x
) – б.м. при x
® a
(по теореме 4 разд. 1.6). Теорема доказана.
Рассмотрим применение доказанных теорем при нахождении пределов.
Пример . Найти .
Решение. Найдем сначала предел числителя и знаменателя. По свойствам пределов3 x = 3x = 3(–2) = –6, 1 = 1, поэтому (3x – 1) = –6 – 1 = –7. Аналогично, (5 – 4x ) = 5 – 4(–2) = 13. Используя теорему 5, получим:
.
Теорема 6 . Если f (x ) существует и f (x ) ³ 0 для всех x из области определения функции, то f (x ) ³ 0.
Доказательство. Пусть . Докажем методом от противного, предполагая, что f (x ) = b < 0. Зафиксируем e = –, e > 0. По определению предела по e найдется x 0 , такое, что "x > x 0 |f (x ) – b | < e , отсюда b – e < f (x ) < b + e . Но e = –, поэтому "x > x 0 f (x ) < b – , f (x ) < , т.е. f (x ) < 0, что противоречит условию. Теорема доказана .
Теорема 7
. Если "x
(f
1 (x
) ³ f
2 (x
)) и f
1 (x
), f
2 (x
) существуют, то
f
1 (x
) ³ f
2 (x
).
Доказательство.
Рассмотрим функцию F
(x
) = f
1 (x
) – f
2 (x
), тогда "x
(F
(x
) ³ 0) иF
(x
) существует. По теореме 6: F
(x
) ³ 0, (f
1 (x
) – f
2 (x
)) ³ 0, отсюда
f
1 (x
) ³ f
2 (x
). Теорема доказана
.
Основные теоремы о пределах .
Теорема (о предельном переходе в равенствах). Если в некоторой окрестности точки значения функций f(x) и g(x) совпадают, то их пределы в этой точке равны:
f(x)=g(x) => .
Теорема (о предельном переходе в неравенствах) . Если в некоторой окрестности точки выполняется неравенство f(x)≤ g(x), то верно и неравенство: .
Теорема . Предел постоянной равен самой постоянной: .
Док-во. Проводится на основании определения, где в качестве можно взять любое положительное число. Тогда при .▲
Теорема (о единственности предела). Функция не может иметь более одного предела в данной точке.
Док-во. Предположим противное. Пусть и , . Тогда по теореме о связи предела и БМ:
- БМ при ,
- БМ при . Вычитая эти равенства, получим:
На основании свойства 1 БМФ это есть БМ. Переходя в этом равенстве к пределу, получим:
,
Получено противоречие, доказывающее теорему.▲
Необходимые условия существования конечного предела функции.
Теорема (о локальной ограниченности) . Для существования конечного предела функции в точке необходимо, чтобы в некоторой окрестности этой точки (за исключением самой точки) функция была ограничена.
Теорема (о локальном повторении функцией свойств предела). Для существования в точке конечного предела необходимо, чтобы в некоторой окрестности этой точки (за исключением самой точки) .
Достаточные условия существования конечного предела функции.
Теорема (об арифметике) . Если для и существуют конечные пределы, то для их суммы и произведения также существуют конечные пределы, причем:
Если , то существует конечный предел частного:
Док-во. Докажем, например, второе равенство.
Пусть существуют конечные пределы и . Докажем, что существует конечный предел .
Итак, мы должны доказать, что:
Возьмем произвольное . Найдем из условия , т.е. для этого : .
Найдем из условия , т.е. для этого :
Т.к. для по условию существует конечный предел в т. , то эта функция будет ограниченной в некоторой окрестности т. (по теореме о локальной ограниченности), т.е. - некоторой константы.
Положим . Проверим, что это - искомое. Действительно,
Теорема (о промежуточной функции) . Пусть для функций и существуют конечные пределы в т., равные друг другу, и в некоторой окрестности т. , за исключением самой этой точки, выполняется условие:
. Тогда для тоже существует конечный предел в т. , равный значению пределов функций и .
Теорема (о пределе монотонной ограниченной функции) . Если функция монотонно возрастает (убывает) в некоторой окрестности т. и ограничена сверху (снизу), то она имеет в этой точке соответствующий односторонний предел.
Вычисление пределов функций .
Теорема об арифметике позволяет не только устанавливать факт существования конечного предела, но и вычислять его.
Пример. .
Однако, в ряде случаев теорема об арифметике не может быть применена.
, . Теорему применять нельзя, хотя
В этих случаях говорят, что имеет место неопределенность. Для вычисления предела необходимо преобразовать функцию тождественным образом так, чтобы теорема об арифметике стала применима (т.е. раскрыть неопределенность).
К неопределенностям относят следующие ситуации:
Замечательные пределы .
Теорема 1 (первый замечательный предел) . Предел отношения синуса бесконечно малой дуги к самой дуге, выраженной в радианах, равен единице:
Док-во. Рассмотрим круг радиуса R с центром в точке О. Пусть сначала . Из рисунка видно, что.
;
;
Таким образом,
Разделив обе части этого выражения на
>0, получим:
или .
Переходя в этом неравенстве к пределу при , получим: .
По теореме о промежуточной функции .
При полученные выводы также будут справедливы (доказать самостоятельно).▲
Следствия. ; ; .
Теорема 2 (второй замечательный предел) . Числовая последовательность имеет конечный предел, равный числу е:
, ()
Следствия. ; .
К числу е приводят многие задачи из области физики, биологии, ядерной физики, демографии и т.п. Рассмотрим применение второго замечательного предела в экономических расчетах.
Задача о непрерывном начислении процентов .
1. Простые проценты . В банк под проценты положена денежная сумма . Ежегодная процентная ставка составляет р %. Каков будет размер вклада Q через t лет?
При использовании простых процентов размер вклада ежегодно увеличивается на одну и ту же величину.
Через год сумма составит ,
Через два года: ;
Через t лет:
- формула простых процентов.
2. Сложные проценты . При использовании сложных процентов начисляются «проценты на проценты», т.е. размер вклада увеличивается ежегодно в одно и то же число раз:
- формула сложных процентов.
В практических финансово-кредитных операциях непрерывное начисление процентов не применяется, но используется в демографических, инвестиционных и др. расчетах.
Основные теоремы о пределах.
1. Предел алгебраической суммы двух, трех и вообще определенного числа переменных равен алгебраической сумме пределов этих переменных, т.е.
lim (u 1 + u 2 + … + u n) = lim u 1 + lim u 2 + … + lim u n
2. Предел произведения определенного числа переменнных равен произведению пределов этих переменных, т.е.
lim (u 1 × u 2 × … × u n) = lim u 1 × lim u 2 × … × lim u n
3. Предел частного двух переменных равен частному пределов этих переменных, если предел знаменателя отличен от нуля, т.е. если lim V ¹ 0 .
3. Если для соответствующих значений функций u = u(x), z = z(x), v = v(x) выполняются неравенства u £ z £ v и при этом u(x) и v(x) при х ® а (или х ® ¥ ) стремятся к одному и тому же пределу b , то z = z(x) при х ® а (или х ® ¥) стремится к тому же пределу.
Теорема 4 позволяет доказать справедливость важного соотношения, называемого первым замечательным пределом . (2.1)
Из (2.1) следует эквивалентность бесконечно малых х и sin x: sin x ~x.
y |
y = sin x |
x |
y = x |
Рис. 2.3 |
Еще одно важное соотношение теории пределов, называемое вторым замечательным пределом имеет
вид:
(2.2)
Число е – иррациональное (также как и число p ) и может быть записано в виде бесконечной десятичной непериодической дроби е = 2,71828… ; играет важную роль в вычислительной математике, служа, в частности, основанием натурального логарифма, обозначаемого ln x = log e x . Функцию у = е х называют экспоненциальной функцией (иногда обозначается как ехр х ). В решении задач теории пределов могут быть полезны следующие равенства: . Можно также заменять бесконечно малые величины эквивалентными им:
Непрерывность функций. Функцию у = f(х) а если:
1.Эта функция определена в некоторой окрестности точки а и в самой точке;
2.Существует предел функции и он равен значению функции в этой точке, т.е. . Можно предложить и иное определение. Пусть аргумент х 0 получит приращение Dх и примет значение х = х 0 + Dх . В общем случае функция также получит некоторое приращение Dу = f(х 0 + Dх) – f(х 0) .
Функцию f(х) называют непрерывной в точке х 0 , если она определена в этой точке и некоторой окрестности ее и если бесконечно малому приращению аргумента соответствует бесконечно малое приращение функции, т.е.
(2.3) или (2.3`)
Приведем формулировку теоремы: Всякая элементарная функция непрерывна в каждой точке, в которой она определена
и получим важное для решения задач теории пределов следствие. Запишем условие непрерывности в виде
или, что тоже самое, . Но и, следовательно, (2.4), т.е. для любой непрерывной функции во всех точках области определения ее справедливо соотношение (2.4) – предел функции равен функции предела
(символы (и соответствующие операции) предела и функции можно поменять местами): .
Пример:
В ряде случаев удобно использовать следующее соотношение:
Говорят, что если функция f(x) непрерывна в каждой точке некоторого интервала (а, b) , где a < b , то функция непрерывна на этом интервале. Точка внутри или на границе области определения, в которой нарушается условие непрерывности, называется точкой разрыва. Если существуют конечные пределы и , причем не все три числа b 1 , b 2 и f(a) равны между собой, точка а называется точкой разрыва первого рода . Эти точки подразделяются на точки скачка , когда b 1 ¹ b 2 (скачок равен b 2 - b 1 ) и точки устранимого разрыва, когда b 1 = b 2 . Точки разрыва, не являющиеся точками разрыва первого рода, называются точками разрыва второго рода . В этих точках не существует хотя бы один из односторонних пределов (Пример – “бесконечный” разрыв: ).
Рассмотрим некоторые свойства непрерывных функций (доказательства теорем можно найти в рекомендуемой литературе).
1. Если функция f(x) непрерывна на некотором отрезке , то на этом отрезке найдется по крайней мере одна точка х = х 1 такая, что значение функции в этой точке будет удовлетворять соотношению f(x 1) ³ f(x) , где х – любая другая точка отрезка, и найдется по крайней мере одна точка х 2 такая, что значение функции в этой точке будет удовлетворять соотношению f(x 2) ≤ f(x) .
y 1 |
y 2 |
y 3 |
x |
a |
m |
M |
в |
Рис. 2.4 |
(Отметим, что на интервале (а, b) утверждение теоремы может оказаться неверным. Пример: у = х – функция не имеет на интервале (а, b) наибольшего и наименьшего значений, т.к. не достигает значений а и b !)
у |
у 2 |
а |
в |
х |
у 1 |
Рис. 2.5 |
х |
3. Если функция f(x) определена и непрерывна на отрезке и на концах этого отрезка принимает неравные значения f(a) = A и f(b) = B то, каково бы ни было число m , заключенное между числами А и В , найдется такая точка х = с , заключенная между a и b , что f(c) = m (легко видеть, что теорема 2 является частным случаем теоремы 3).
Теорема 1. Предел алгебраической суммы двух, трех и вообще определенного числа функций равен алгебраической сумме пределов этих функций, т.е.
Доказательство . Проведем доказательство для двух слагаемых, так как для любого числа слагаемых оно проводится так же. Пусть.Тогда f(x)=b+б(x) и g(x)=c+в(x) , где б и в - бесконечно малые функции. Следовательно,
f(x) + g(x)=(b + c) + (б(x) + в(x)) .
Так как b + c есть постоянная величина, а б(x) + в(x) - функция бесконечно малая, то
Теорема 2. Предел произведения двух, трех и вообще конечного числа функций равен произведению пределов этих функций:
Доказательство . Пусть. Следовательно, f(x)=b+б(x) и g(x)=c+в(x) и
fg = (b + б)(c + в) = bc + (bв + cб + бв).
Произведение bc есть величина постоянная. Функция bв + c б + бв на основании свойств бесконечно малых функций есть величина бесконечно малая. Поэтому.
Следствие 1. Постоянный множитель можно выносить за знак предела:
Следствие 2. Предел степени равен степени предела:
Пример. .
Теорема 3. Предел частного двух функций равен частному пределов этих функций, если предел знаменателя отличен от нуля, т.е.
Доказательство . Пусть. Следовательно, f(x)=b+б(x) и g(x)=c+в(x) , где б, в - бесконечно малые. Рассмотрим частное
Дробь является бесконечно малой функцией, так как числитель есть бесконечно малая функция, а знаменатель имеет предел c 2 ?0.
3. Рассмотрим. При x>1 числитель дроби стремится к 1, а знаменатель стремится к 0. Но так как, т.е. есть бесконечно малая функция при x> 1, то.
Теорема 4. Пусть даны три функции f(x), u(x) и v(x) , удовлетворяющие неравенствам u(x)?f(x)? v(x) . Если функции u(x) и v(x) имеют один и тот же предел при x>a (или x>? ), то и функция f(x) стремится к тому же пределу, т.е. если
Смысл этой теоремы понятен из рисунка.
Доказательство теоремы 4 можно найти, например, в учебнике: Пискунов Н. С. Дифференциальное и интегральное исчисления, т. 1 - М.: Наука, 1985.
Теорема 5. Если при x>a (или x>? ) функция y=f(x) принимает неотрицательные значения y?0 и при этом стремится к пределу b , то этот предел не может быть отрицательным: b?0 .
Доказательство . Доказательство проведем методом от противного. Предположим, что b<0 , тогда |y - b|?|b| и, следовательно, модуль разности не стремится к нулю при x>a . Но тогда y не стремится к пределу b при x>a , что противоречит условию теоремы.
Теорема 6. Если две функции f(x) и g(x) при всех значениях аргумента x удовлетворяют неравенству f(x)? g(x) и имеют пределы, то имеет место неравенство b?c .
Доказательство. По условию теоремы f(x)-g(x) ?0 , следовательно, по теореме 5 , или.