
- •1.4. Введение в математический анализ Для замечаний
- •Кванторы.
- •Отрицание высказываний, содержащих кванторы
- •Операции над множествами Объединение ав множеств а и в
- •Взаимно однозначное соответствие и эквивалентность множеств
- •Прямое произведение двух множеств
- •1.4.1.2.Вещественные числа и их изображение на числовой оси Основные свойства рациональных чисел
- •Измерение отрезков числовой оси
- •1.4.1.3. Ограниченные множества вещественных чисел
- •1.4.1.4. Некоторые конкретные множества вещественных чисел
- •1.4.2. Теория последовательностей
- •1.4.2.1. Понятие числовой последовательности
- •1.4.2.2. Бесконечно большие и бесконечно малые последовательности
- •1.4.2.3. Основные теоремы о бесконечно малых последовательностях
- •1.4.2.4. Сходящиеся последовательности. Основные определения
- •1.4.2.5. Основные свойства сходящихся последовательностей
- •1.4.2.6. Арифметические свойства сходящихся последовательностей
- •1.4.2.7. Монотонные последовательности
- •1.4.2.8. Число е
- •1.4.2.9. Предельный переход в неравенствах
- •1.4.2.10. Подпоследовательности числовых последовательностей
- •1.4.2.11. Предельные точки последовательности
- •1.4.3. Понятие функции. Предел функции. Непрерывность
- •1.4.3.1. Определение функции
- •1.4.3.2. Способы задания функций
- •1.4.3.3. Монотонные функции
- •1.4.3.4. Сложная функция
- •1.4.3.5. Обратная функция
- •1.4.3.6. Допустимые области определения функций
- •1.4.3.7. Определение предела функции в точке
- •1.4.3.8. Односторонние пределы
- •1.4.3.9. Пределы на бесконечности
- •1.4.3.10. Арифметические операции над функциями, имеющими предел
- •1.4.3.11. Бесконечно малые и бесконечно большие функции
- •1.4.3.12. Предельный переход в функциональных неравенствах
- •1.4.3.13. Определение непрерывности функции в точке и на множестве
- •1.4.3.14. Арифметические действия над непрерывными функциями
- •1.4.3.15. Сложная функция и ее непрерывность
- •1.4.3.16. Замечательные пределы Первый замечательный предел
- •Второй замечательный предел
- •1.4.3.17. Точки разрыва функций
- •Разрыв первого рода
- •Разрыв второго рода
- •1.4.3.18. Свойства непрерывных функций Устойчивость знака непрерывной в точке функции
1.4.3.15. Сложная функция и ее непрерывность
Пусть функция x=(t) задана на множестве {t}, и пусть {x}- множество ее значений. Допустим, что на множестве {x} задана функция y=f(x). Тогда на множестве {t} задана сложная функция y=f((t))=F(t). Предположим, что a(t) является предельной точкой множества {t}; a(t); b=(a) {x} является предельной точкой множества {x}.
Теорема. Пусть x=(t) C{a}, y=f(x) C{b}, где b=(a). Тогда y=f((t))=F(t) C{a}.
1.4.3.16. Замечательные пределы Первый замечательный предел
Доказательство.
Сначала
установим справедливость неравенства
0<sinx<x<tgx при 0<x<
. (1)
Рассмотрим следующие фигуры (см. рис. 1):
треугольники AOB и АОС и сектор АОВ Для них SAOB<Sсект. АОВ<SАОС, т.е.
Сокращая на
Пусть 0<x< . |
рис.10
|
Из (1) деля на sinx,
имеем 0<1<
или cosx<
.
Эти неравенства
справедливы и для значений x, удовлетворяющих
условиям
,
так как cosx=cos(-x) и
.
Функция y=cosx - непрерывна на всей числовой
оси (см., например, Ильин В.А., Позняк Э.Г.
Основы математического анализа.- М.:
Наука, 1971, ч.1, гл.4, ?5, п.6, с.120) поэтому
.
Итак, для функции cosx, 1,
в некоторой -окрестности
точки x=0 выполняются все условия теоремы
2 п.3.12. о предельном переходе в
функциональных неравенствах(f(x)=cosx,
g(x)=1, h(x)=
и =
).
Следовательно,
.
Второй замечательный предел
Число е
было определено
как
Можно доказать,
что е=
.
1.4.3.17. Точки разрыва функций
Устранимый разрыв.
Определение
1. Точка а
называется точкой устранимого разрыва
функции y=f(x), если существует
,
но в т. а f(x) либо не определена, либо
f(а)
.
Пример 1.
|
Рис.11 |
Так
как
,
то т. x=0 является для этой функции точкой
устранимого разрыва.
Замечание 1. В точке а устранимого разрыва функции f(x) можно переопределить (или доопределить) так, чтобы она стала непрерывной, положив ее равной в т. а значению предела f(x) при xа. В примере 1 достаточно положить f(0)=1 и f(x) станет непрерывной в т. x=0 (и на всей числовой прямой в силу теоремы п.1.4.3.14.).
Разрыв первого рода
Определение 2. Точка а называется точкой разрыва первого рода, если
.
Пример
2.
Точка а=0
является точкой разрыва первого рода.
Действительно, односторонние пределы
в т. 0 существуют, но не равны между собой
Разрыв второго рода
Определение 3. Точка а называется точкой разрыва второго рода функции y=f(x), если f(x) в этой точке не имеет хотя бы одного одностороннего предела или хотя бы один из односторонних пределов бесконечен.
Пример
3.
.
Эта функция бесконечно большая при
x,
следовательно, т. а=0 - точка разрыва
второго рода.
Пример
4.
Рис. 12.
Эта функция в точке x=0, не имеет ни правого, ни левого пределов.
В силу нечетности функции достаточно проверить, что нет правого предела. Построим две положительные последовательности, сходящиеся к нулю, на которых соответствующие последовательности значений имеют разные пределы, тогда по определению Гейне функция не будет иметь правого предела в точке 0.
Таким образом, x=0 - точка разрыва 2-го рода.
Пример
5.
не имеет только правого предела в т. 0. Точка x=0 - точка разрыва 2-го рода.
Определение 4. Функция f(x) называется кусочно непрерывной на сегменте [a,b], если эта функция определена всюду на сегменте [a,b], непрерывна во всех внутренних точках этого сегмента, за исключением, быть может, конечного числа точек, в которых она имеет разрыв первого рода, кроме того, имеет правый предел в точке а и левый предел в точке b.