Автор: Макаров Юрий Николаевич, преподаватель курса высшей математики

Лекции по математическому анализу для студентов первого курса Химфака мгу

Обозначения и логические символы 3

§ 1. Полнота множества действительных чисел 4

§ 2. Предел последовательности 5

§ 3. Предел монотонной и ограниченной последовательности. Число е 8

§ 4. Предел функции 10

§ 5. Односторонние пределы. Предел монотонной и ограниченной функции 14

§ 6. Предел сложной функции 16

§ 7. Переход к пределу в неравенстве 17

§ 8. Предел 18

§ 9. Предел и три следствия из него 19

§ 10. Сравнение бесконечно малых величин 21

§ 11. Непрерывность функции в точке 22

§ 13. Непрерывность монотонной функции. 24

§ 14. Непрерывность обратной функции 25

§ 15. Непрерывность основных элементарных функций и обратных к ним 26

§ 16. Свойства функций непрерывных на отрезке 28

§ 17. Равномерная непрерывность. Теорема Кантора 31

§ 18. Производная функции в точке 32

§ 19. Дифференцирование обратной функции 34

§ 20. Дифференцирование сложной функции 35

§ 21. Дифференциал функции и его свойства 37

§ 22. Производные произвольных порядков. Формула Лейбница 39

§ 23. Теоремы о конечных приращениях 41

§ 24. Формула Тейлора 45

§ 25. Представление основных элементарных функций с помощью формулы Тейлора 47

§ 26. Правило Лопиталя 49

§ 27. Исследование функций 52

Обозначения и логические символы

− символ принадлежности ( − элемент принадлежит множеству );

− символ принадлежности ( − элемент принадлежит множеству );

− множество натуральных чисел;

− множество целых чисел;

− множество рациональных чисел;

− множество рациональных чисел;

− множество комплексных чисел;

− замкнутый числовой интервал или отрезок;

− открытый интервал;

− окрестность точки , т.е. открытый интервал, содержащий точку ;

− -окрестность точки ;

− множество функций, непрерывных в точке ( − функция , непрерывная в точке );

− множество функций, дифференцируемых в точке ( − функция дифференцируема в точке );

− множество функций, непрерывных на отрезке;

− множество функций, раз дифференцируемых в точке ;

− для всякого;

− существует;

− следует;

− эквивалентно.

§ 1. Полнота множества действительных чисел

Множество действительных чисел является расширением множества рациональных чисел посредством добавления новых (иррациональных) чисел, существование которых устанавливается с помощью аксиомы полноты, которую мы сформулируем ниже:

Определение. Множество называется ограниченным сверху, если такой, что ; число называется верхней гранью множества . Наименьшая из верхних граней называется точной верхней гранью множества и обозначается (от латинского supremum – наивысший).

Аксиома полноты (аксиома 1). Если множество ограничено сверху, то существует точная верхняя грань множества , т.е. .

Определение. Множество называется ограниченным снизу, если такой, что ; число называется нижней гранью множества . Наибольшая из нижних граней называется точной нижней гранью множества и обозначается (от латинского infinum – наименьший).

Утверждение. Если множество ограничено снизу, то . Доказательство. Пусть , тогда ограничено сверху и по аксиоме полноты , тогда , что и требовалось доказать.

В качестве аксиомы полноты можно взять другое утверждение, эквивалентное аксиоме 1, которое называется аксиомой отделимости. Ниже мы сформулируем эту аксиому, а доказательство эквивалентности этих аксиом предлагаем сделать самостоятельно.

Определение. Говорят, что множества и отделимы, если и .

Аксиома отделимости (аксиома 2). Если множества и отделимы, то существует элемент такой, что .

Определение. Система отрезков называется вложенной, если , т.е. каждый последующий отрезок содержится в предыдущем.

Лемма Кантора о вложенных отрезках. Пусть дана система вложенных отрезков , тогда найдётся точка , принадлежащая всем отрезкам. Доказательство. Пусть – множество левых концов отрезков , а – множество правых концов, тогда по аксиоме отделимости , т.е. , что и доказывает лемму Кантора.

Замечание. Лемма Кантора будет неверна, если вместо вложенных отрезков рассматривать систему вложенных интервалов, например,

Определение. Вложенная система отрезков называется стягивающейся, если длины этих отрезков становятся сколь угодно малыми с ростом числа .

Утверждение. Если система отрезков стягивающаяся, то существует единственная (!) точка , принадлежащая всем отрезкам одновременно. (Доказать самостоятельно).