Число A называется пределом функции y = f ( x ) при x, стремящемся к бесконечности, если для любого сколь угодно малого положительного числа ε>0 найдется такое положительное число S = S (ε), зависящее от ε, что для всех x таких, что | x |> S, верно неравенство | f (x)– A |<ε.
Такой предел функции обозначается f (x)= A или f (x)→ A при x →∞.
С использованием кванторов данное определение переписывается следующим образом:
.
Смысл определения аналогичен смыслу предела числовой последовательности: при достаточно больших по модулю значениях аргумента значения функции f (x) как угодно мало отличаются от числа A по абсолютному значению. Иными словами, число A есть предел функции y = f (x) при x →∞, если для любого ε>0 найдется такое число S >0, что для всех x таких, что | x |> S, соответствующие ординаты графика функции y = f (x) будут заключены в полосе A –ε< f (x)< A +ε, какой бы узкой эта полоса ни была.
Данное определение справедливо при неограниченном возрастании аргумента функции по абсолютной величине. Можно также сформулировать определения предела функции при стремлении аргумента к бесконечности определенного знака:
|
|
1) - стремление аргумента к ;
2) - стремление аргумента к .
Допустим теперь, что функция y = f (x) задана в некоторой окрестности точки x 0 кроме, может быть, самой точки x 0.
Число A называется пределом функции y = f ( x ) при x, стремящемся к x 0 (или в точке x 0), если для любого сколь угодно малого положительного числа ε>0 найдется такое положительное число δ=δ(ε)>0, зависящее от ε, что для всех x ≠ x 0 и удовлетворяющих условию | x – x 0|<δ выполняется неравенство | f (x)– A |<ε.
Такой предел функции обозначается f (x)= A или f (x)→ A при x → x 0.
С использованием кванторов данное определение записывается следующим образом:
.
Смысл определения предела функции y = f (x) в точке x 0 состоит в том, что при всех значениях x, достаточно близких к x 0, значения функции f (x) как угодно мало отличаются от числа A по абсолютной величине. Число есть предел функции y = f (x) при x → x 0, если для любого ε>0 найдется такая δ-окрестность точки x 0, что для всех x ≠ x 0 из этой окрестности (x 0–δ< x < x 0+δ) соответствующие ординаты графика функции f (x) будут заключены в полосе A –ε< f (x)< A +ε, какой бы узкой эта полоса ни была.
Замечание 1 Определение предела функции в точке не требует существования самой функции в самой точке x 0, поскольку рассматривает значения x ≠ x 0 в некоторой окрестности точки x 0. Другими словами, рассматривая f (x), мы предполагаем, что x стремится к x 0, но не достигает значения x 0. Поэтому наличие или отсутствие предела при x → x 0 определяется поведением функции в окрестности точки x 0, но не связано со значением функции или его отсутствием в самой точке x 0.
|
|
Замечание 2 Если при стремлении x 0 переменная x принимает значения только меньше или только больше x 0, и при этом функция стремится к некоторому числу A, то говорят об односторонних пределах функции f (x) соответственно слева f (x)= A и справа f (x)= A. Определения этих пределов в терминах кванторов переписываются следующим образом:
1) (предел слева) и
2) (предел справа).
При этом если f (x)= f (x)= A, то f (x)= A.