- •Определение по Гейне:
- •2. Определения предела функции по Коши и по Гейне. Их эквивалентность.
- •3.Критерий Коши существования предела функции
- •4. Односторонние пределы. Классификация разрывов. Определение непрерывности.
- •5.Предел сложной функции. Непрерывность сложной функции.
- •6. Тригонометрические функции. Непрерывность тригонометрических функций
- •8. Определение монотонной функции. Теорема Вейерштрасса о существовании односторонних пределов у монотонной функции Монотонные функции
- •9. Теорема Больцано-Коши для непрерывной функции на отрезке
- •10.Теорема Вейерштрасса об ограниченности непрерывной функции на отрезке.
- •11.Теорема Вейерштрасса о точке максимума и точке минимума непрерывной функции на отрезке
- •12. Обращение непрерывной монотонной функции.
- •15. Определение показательной функции вещественной переменной. Непрерывность показательной функции.
- •20.Точки разрыва функций. Классификация точек разрыва
- •21. Сравнение функций. Символы o(f) и о(f). Эквивалентность функции в предельной точке
15. Определение показательной функции вещественной переменной. Непрерывность показательной функции.
Определение: Показательная функция на множестве действительных чисел: Функция вида аX, а>0, а1 xR.
Докажем
что
.
Доказательство.
Так как для любого аргумента можно найти
два последовательных натуральных числа,
что будут выполнены условия n
< x
< n
+ 1. По свойству неравенств имеем
.
При а > 1 показательная функция является монотонно возрастающей, поэтому
.
Так
как
,
то по теореме о пределе промежуточной
функции справедливо соотношение
Далее
имеем,
,
что и требовалось доказать.
16. Св-ва показательной функции
Свойства: x,yR.
1) aX * aY = aX+Y
xNx, yNy => aXn * aYn = aXn+Yn => Lim aXn * aYn = Lim aXn+Yn => Lim aXn * lim aYn = Lim aXn+Yn => aX * aY = aX+Y
2) aX / aY = aX-Y
3) (aX)Y=aX*Y
xNx, yKy => (aXn)Yk = aXn*Yk => (n) (aX)Yk=aX*Yk =>(k) (aX)Y=aX*Y
4) x<y => aX<aY (a>1) - монотонность.
x<x’ x,x’R; xNx x’Nx’ xN,x’NQ => xN<x’N => aXn < aX’n => (n) aXaX’- монотонна
x-x`>q>0 => aX-X’ aQ>1 => aX-X’1 => aX<aX’ - строго монотонна
5) при x n0 aX 1
Т.к. Lim a1/N=1 (n), очевидно, что и Lim a-1/N=Lim1/a1/N=1 (n). Поэтому Е>0 n0: n>n0 1-E<a-1/N<a1/N<1+E, а>1. Если теперь |x|<1/n0, то
a-1/N<aX<a1/N => 1-E<aX<1+E. => Lim aX=1 (при x0)
6) aX - непрерывна
Lim aX=1 (n из (5) - это означает непрерывность aX в точке 0 => aX-aXo= aXo(aX-Xo - 1) при хx0 x-x0 n0 => aX-x0 n1 => при хx0 lim(aX - aXo)=
Lim aXo*Lim(aX-Xo - 1) = x0 * 0 = 0 => aX - непрерывна
18.Последовательность (1+1/n)n и ее предел.
xN=
;
yN=
;
zN=yN
+
xN монотонно возрастает: докажем:
xN=(1+1/n)n=1+ n/1!*1/n + n*(n-1)/2!*1/n2 +... < 1 + 1/1! + 1/2!+...+1/n! = yN => yN<zN<3
Воспользуемся неравенством Бернулли (1+x)n1+nx, x>-1) (доказывается по индукции):
x=1/n => (1+1/n)n1+n/n=2
Получили: 2 xN<3 => xN - ограничена, учитывая что xN - монотонно возрастает => xN - сходится и ее пределом является число е.
20.Точки разрыва функций. Классификация точек разрыва
Если функция f (x) не является непрерывной в точке x = a, то говорят, что f (x) имеет разрыв в этой точке. На рисунке 1 схематически изображены графики четырех функций, две из которых непрерывны при x = a, а две имеют разрыв.
|
|
|
Непрерывна при x = a. |
|
Имеет разрыв при x = a. |
|
|
|
Непрерывна при x = a. |
|
Имеет разрыв при x = a. |
Рисунок 1. |
||
Классификация точек разрыва функции
Все точки разрыва функции разделяются на точки разрыва первого и второго рода. Говорят, что функция f (x) имеет точку разрыва первого рода при x = a, если в это точке
Существуют
левосторонний предел
и
правосторонний предел
;
Эти односторонние пределы конечны.
При этом возможно следующие два случая:
Левосторонний предел и правосторонний предел равны друг другу:
Такая точка называется точкой устранимого разрыва.
Левосторонний предел и правосторонний предел не равны друг другу:
Такая
точка называется точкой
конечного разрыва.
Модуль разности значений односторонних
пределов
называется
скачком
функции.
Функция f (x) имеет точку разрыва второго рода при x = a, если по крайней мере один из односторонних пределов не существует или равен бесконечности.
