23. Определения предела функции по Коши и по Гейне. Их эквивалентность.

Определение по Коши: f(x) сходится к числу А при хх₀ если Е>0 >0: 0<|х-х₀|< & хDf => |f(x)-А|<Е

Определение по Гейне: f(x) сходится к числу А при хх₀ если  последовательности х_Nх₀, х_Nх₀ f(x_N)А

Теорема: Два определения эквивалентны:

Д-во: Для эквивалентности определений достаточно доказать, что из сходимости по Коши следует сходимость по Гейне и из сходимости по Гейне следует сходимость по Коши.

1) (К)=>(Г)

Е>0 >0: 0<|х-х₀|< & хDf => |f(x)-А|<Е - определение Коши

х_Nх₀, х_Nх₀, т.к. х_Nх₀ =>  n₀: n>n₀ 0<|x_N-x₀|<Е (Е=) => 0<|x_N-x₀|< => по определению Коши |f(x_N)-А|<Е

2) (Г)=>(К) Воспользуемся законом логики: Если из отрицания B следует отрицание А, то из А следует В:

Таким образом нам надо доказать что из отрицания (К) => отрицание (Г)

Отрицание (К):  Е>0:  >0 x: 0<|x-x₀|< => |f(x)-A|E

Отрицание (Г):  х_Nх₀, х_Nх₀: |f(x_N)-A|E

 х_Nх₀, х_Nх₀ =>  n₀: n>n₀ 0<|x_N-x₀|<Е (Е=) => по отрицанию определения Коши |f(x_N)-А|Е

Для ф-ции хf(х) определенной на интервале (а,+), определяется предел при х_N следующим образом: limf(х) при х_N = Limf(1/t) t+0

(если последний существует). Таким же образом определяются Lim f(х) при х_N = Lim f(1/t) t0 и х_N = lim f(1/t) t0

24. Односторонние пределы. Классификация разрывов. Определение непрерывности.

Lim(х₀|h|) при h0 - называется односторонним правым (левым пределом) ф-ции f(x) в точке х₀

Теорема: Пусть интервал (x₀-,x₀+)\{x₀} принадлежит области определения ф-ции для некоторго >0. Тогда Lim f(x) в точке х₀ существует <=> когда cуществуют правый и левый предел f(x) в точке х₀ и они равны между собой.

Необходимость: Пусть предел f(х) существует и равен А => Е>0   >0: -<х-х₀< => |f(х)-А|<Е, т.е.  такое, что как только х попадает в -окрестность точки x₀ сразу f(х) попадает в интервал (f(х)-А,f(х)+А). Если х попадает в интервал (0, x₀+) => x попадает в интервал (x₀-,x₀+) => f(х) попадает в интервал (f(х)-А,f(х)+А) => правый предел существует и он равен А. Если х попадает в интервал (x₀-,0) => x попадает в интервал (x₀-,x₀+) => f(х) попадает в интер вал (f(х)-А,f(х)+А) => левый предел существует и он равен А.

Достаточность: Lim (х₀|h|) при h0: Lim(х₀+|h|) = Lim(х₀-|h|)=А

Е>0  ’ >0: 0<х-х₀<’ => |f(х)-А|<Е

Е>0  ” >0: -”<х-х₀<0 => |f(х)-А|<Е

Получили Е>0  0<=min{’,”}: - <х-хо< => |f(х)-А|<Е

Определение: Функция f(x) называется непрерывной в точке х₀ если при хх₀ Lim f(х)=f(х₀). Заменяя в определениях предела фнкции по Коши и по Гейне А на f(х₀) получаем определения по Коши и по Гейне непрерывности ф-ции f(x) в точке х_0. Поскольку в опр-нии по Коши нер-во |f(х)-f(х₀)|<Е выполнено и при х=х₀ => в определении можно снять ограничение хх₀ => получим второе равносильное определение:

Определение 2: Функция f(x) называется непрерывной в точке х₀, если Е>0 >0: - <х-хо< => |f(х)-f(а)|<Е

Аналогично сняв ограничение хх₀ - получим определение по Гейне:

Определение 3: Функция f(x) называется непрерывной в точке х₀, если  посл-ти х_Nх₀, f(x_N)f(a)

Если при хх₀ limf(х)f(х₀), то говорят что функция f(x) имеет разрыв в точке х₀. Это происходит если:

а) f(х) неопределена в точке х₀

б) Предел f(х) в точке х₀ не существует

в) f(х) определена в х₀ и limf(х) в точке х₀ существует но равенство Дшь f(х)=f(а) не выполняется

Различают:

1) точки разрыва I рода, для которых существуют конечные односторонние пределы (либо они неравны друг другу либо равны, но неравны f(х₀)

2) точки разрыва II рода - не существует хотя бы один односторонний предел.

Если правый и левый предел в х₀ совпадают, то х₀ называют устранимой точкой разрыва.

Если хотя бы один из односторонних пределов равен бесконечности, то х₀ - точка бесконечного разрыва.

Пусть x₀ - точка разрыва, x₀ называется изолированной, если в некоторой окрестности этой точки других точек разрыва нет.

Если значение правого (левого) предела в точке х₀ совпадает со значением f(x₀), то f(x) называется непрерывной справа (слева).

Если предел f(x) справа (слева) в точке х₀ не существует, а предел слева (справа) существует и равен значению f(х₀), то говорят что функция f(x) имеет в точке х₀ разрыв справа (слева). Такие разрывы называют односторонними разрывами f(x) в точке х₀.

Функция хf(x) называется непрерывной на множестве Х если она непрерывна в каждой точке х этого множества.