Вы находитесь на странице: 1из 185

Т . В . Родина , Е. С . Трифанова

КУРС ЛЕКЦИЙ ПО МАТЕМАТИЧЕСКОМУ АНАЛИЗУ – I

для напр . «Прикладная математика и информатика »

математика и информатика » Учебное пособие под редакцией

Учебное пособие под редакцией проф. И. Ю. Попова

Санкт­Петербург

2010

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ

Т.В. Родина, Е.С. Трифанова

КУРС ЛЕКЦИЙ ПО МАТЕМАТИЧЕСКОМУ АНАЛИЗУ - I

(для напр. «Прикладная математика и информатика»)

Учебное пособие

Под редакцией проф. И.Ю. Попова

пособие Под редакцией проф . И . Ю . Попова Санкт - Петербург 2010

Санкт-Петербург

2010

Т.В. Родина, Е.С. Трифанова Курс лекций по математическому анализу - I (для напр. «Прикладная математика и информатика»). Учебное пособие. – СПб: СПбГУ ИТМО, 2010. –183с.

Предлагаемое пособие предназначено для студентов ЕНФ и ФИТИП специальности «Прикладная математика и информатика». В пособии представлен курс лекций по математическому анализу, читаемых для студентов этой специальности в первом семестре. Данное пособие может быть использовано студентами других специальностей, желающими углубить свои знания в области математического анализа.

Авторы выражают глубокую признательность редактору И.Ю. Попову за внимательное отношение к работе и ряд ценных замечаний.

Рекомендовано к печати Ученым советом естественнонаучного факультета, 02.03.2010, протокол №6

факультета , 02.03.2010, протокол № 6 В 2009 году Университет стал

В 2009 году Университет стал победителем многоэтапного конкурса, в результате которого определены 12 ведущих университетов России, которым присвоена категория «Национальный исследовательский университет». Министерством образования и науки Российской Федерации была утверждена Программа развития государственного образовательного учреждения высшего профессионального образования «Санкт- Петербургский государственный университет информационных технологий, механики и оптики» на 2009–2018 годы.

© Санкт-Петербургский государственный университет информационных технологий, механики и оптики, 2010

©Т.В. Родина, Е.С. Трифанова, 2010

СОДЕРЖАНИЕ

ГЛАВА I. ВВЕДЕНИЕ §1 Логическая символика…………………………………………… §2 Бином Ньютона…………………………………………………… §3 Множества……………………………………………………………

§3 Множества ……………………………………………………………
§3 Множества ……………………………………………………………
§3 Множества ……………………………………………………………

3.1. Множество……………………………

7

8

9

………………………

9

3.2. Подмножество. Равенство множеств…………………………. 10

3.3. Операции над множествами…………………………………… 10

3.4. Свойства операций над множествами………………………… 11

3.5. Отображения множеств………………………………………

12

§4 Аксиомы вещественных чисел…………………………………… 14

4.1. Аксиомы сложения…………………………………………… 14

4.2. Аксиомы умножения………………………………………… 16

18

4.4. Аксиома порядка……………………………………………… 18

4.5. Аксиома непрерывности……………………………………… 20

4.3. Аксиома, связывающая сложение и умножение…………

§ 5 Ограниченность числовых множеств……………………………

27

§ 6 Счетные и несчетные множества………………………………

29

§ 7 Понятие о метрическом пространстве…………………………

33

7.1. Два замечательных неравенства………………………………

33

7.2. Определение метрического пространства……………………

34

§ 8 Точки и множества в метрическом пространстве……………

36

ГЛАВА II. ПРЕДЕЛ ПОСЛЕДОВАТЕЛЬНОСТИ

§1 Последовательность точек метрического пространства. Предел последовательности………………………………………… 40

1.1. Основные определения. Способы задания……………………. 40

1.2. Предел последовательности в метрическом пространстве… 42

45

существования предела числовой последовательности……………….

1.4. Единственность предела сходящейся последовательности…. 46

1.5. Ограниченность сходящейся последовательности…………… 47

………………………. 47

1.3. Бесконечно малые последовательности. Критерий

1.6. Сходимость последовательности в

1.7. Свойства сходящихся числовых последовательностей,

m

связанные с неравенствами…………………………………………… 48

1.8. Теорема о трех последовательностях…………………………. 49

1.9. Теорема Кантора……………………………………………… 52

§ 2 Бесконечно малые и бесконечно большие последовательности. Арифметические свойства предела………………………………… 52

2.1. Бесконечно малая последовательность……………………… 52

2.2. Бесконечно большая последовательность……………………. 53

3

2.3.

Связь между бесконечно малой и бесконечно большой

последовательностями………………………………………………… 56

2.4. Арифметические свойства пределов………………………… 56

2.5. Неопределенности……………………………………………… 58

58

3.1. Определения…………………………………………………… 58

3.2. Теорема Вейерштрасса…………………………………………. 59

3.3. Число e………………………………………………………… 60

61

4.1. Частичные пределы…………………………………………… 61

4.2. Теорема Больцано-Вейерштрасса……………………………

65

4.3. Критерий Коши…………………………………………………. 65

68

5.1. Основные понятия……………………………………………… 68

5.2. Положительные ряды………………………………………… 74

§5 Понятие о числовом ряде…………………………………………

§4 Частичные пределы. Теорема Больцано-Вейерштрасса……….

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

§6 Компактные множества……………………………………………

77

ГЛАВА III. ПРЕДЕЛ И НЕПРЕРЫВНОСТЬ ФУНКЦИИ

§1 Функция одной вещественной переменной……………………

80

1.1. Определения…………………………………………………… 80

1.2. Сложная функция………………………………………………. 80

1.3. График функции………………………………………………

81

1. 4. Обратная функция……………………………………………

81

1.5. Способы задания функции…………………………………… 82

1.6. Основные свойства функций………………………………… 85

§2 Определения предела функции……………………………………

87

2.1. Определение предела функции по Коши……………………

88

2.2. Определение предела функции по Гейне…………………… 89

2.3. Эквивалентность определений………………………………… 90

2.4. Бесконечные пределы………………………………………… 91

2.5. Пределы на бесконечности……………………………………. 93

2.6. Односторонние пределы……………………………………… 94

95

3.1. Ограниченность функции, имеющей предел…………………. 95

3.2. Предельный переход в неравенстве…………………………… 96

3.3. Теорема о сжатой переменной………………………………… 96

3.4. Теорема отделимости от нуля………………………………….

97

3.5. Арифметические свойства пределов………………………… 98

§3 Свойства пределов функции……………………………………

3.6. Пределы монотонной функции………………………………

98

3.7. Бесконечно малые функции. Критерий существования

предела……………………

……………………………………………

99

3.8. Критерий Коши…………………………………………………. 100

4

§4 Непрерывность функций…………………………………………

101

4.1. Непрерывность функции в точке……………………………… 101

4. 2. Точки разрыва…………………………………………………

103

4.3. Критерий непрерывности функции……………………………

104

4.4. Непрерывность функции на множестве……………………….

106

4.5. Равномерная непрерывность………………………………… 110

112

5.1. Определения……………………………………………………. 112

5.2. Исследование простейших функций………………………… 112

5.3. Некоторые важные пределы…………………………………… 122

124

6.1. Сравнение функций…………………………………………… 124

6.2. Эквивалентность функций…………………………………… 126

§5 Элементарные функции и их непрерывность…………………

§ 6 Сравнение функций. Символы Ландау………………………….

ГЛАВА IV. ПРОИЗВОДНАЯ ФУНКЦИИ ОДНОЙ ПЕРЕМЕННОЙ И ЕЕ ПРИЛОЖЕНИЯ

§1

129

1.1. Определение производной…………………………………… 129

1.2. Задачи, приводящие к производной…………………………… 130

1.3. Дифференцируемость функции……………………………… 131

1.4. Дифференциал………………………………………………… 132

1.5. Односторонние и бесконечные производные………………… 133

134

2.1. Дифференцирование суммы, произведения, частного……… 134

2.2. Дифференцирование обратной функции……………………… 136

2.3. Дифференцирование сложной функции……………………… 137

2.4. Таблица производных………………………………………… 138

2.5. Логарифмическое дифференцирование………………………. 139

2.6. Дифференцирование функций, заданных параметрически… 140

141

3.1. Производные высших порядков……………………………… 141

3.2. Дифференциалы высших порядков…………………………… 143

144

4.1. Экстремумы…………………………………………………… 144

4.2. Теорема Ферма………………………………………………… 145

4.3. Теорема Ролля………………………………………………… 145

4.4. Теорема Лагранжа……………………………………………… 146

4.5. Теорема Коши………………………………………………… 149

Производная и дифференцируемость функции……………

§2 Правила дифференцирования. Таблица производных………

§3 Производные и дифференциалы высших порядков……………

§4 Свойства дифференцируемых функций…………………………

§5 Формула Тейлора……………………………………………………

150

5.1. Многочлен Тейлора……………………………………………

150

5.2. Формула Тейлора……………………………………………… 151

5.3. Разложение основных элементарных функций по формуле Тейлора-Маклорена……………………………………………………. 153

5

§6 Правило Лопиталя………………………………………………….

156

156

6.1. Неопределенность вида 0

157

6.2. Неопределенность вида ……………………………………

159

7.1. Исследование функции на монотонность…………………… 159

7.2. Экстремумы функции………………………………………… 161

7.3. Наибольшее и наименьшее значения функции………………. 164

7.4. Выпуклость и вогнутость. Точки перегиба…………………… 165

7.5. Асимптоты графика функции………………………………… 169

7.6. Исследование функции и построение графика……………… 171

176

8.1. Определения…………………………………………………… 176

8.2. Предел и непрерывность……………………………………… 176

178

Литература……………………………………………………………… 180

0 ……………………………………

§7 Исследование функций с помощью пределов и производных

§8 Векторная функция скалярного аргумента……………………

8.3. Производная и дифференциал………………………………….

6

ГЛАВА I. ВВЕДЕНИЕ

§1 Логическая символика

Математика оперирует предложениями, про которые мы обычно можем определенно сказать, истинны они или ложны. Такие предложения называются высказываниями. Высказывания являются объектом изучения раздела матема- тики, который называется математической логикой. Мы не будем вдаваться в детали этого раздела, но будем использовать обозначения, которыми матема- тическая логика пользуется. Для краткой записи математических высказываний мы будем употреблять следующие логические символы:

1. Квантор всеобщности - , который читается как «любой», «всякий»,

«для любого», «для всякого».

2. Квантор существования - , который читается как «существует»,

«можно найти», «найдется». Знак является перевернутой буквой А, а знак перевернутой Е, кото- рые являются первыми буквами английских слов All – все и Exists – существу- ет.

Например, запись ∀∃x yx + y = 5 читается следующим образом: «для любого x можно найти y так, что x + y = 5 ».

α и β два высказывания, то запись α β

будет означать: «из α следует β », «α влечет за собой β », «если α , то β »,

3. Знак следования . Если

«для того чтобы было выполнено α необходимо, что выполнялось β » или «для того, чтобы выполнялось β , достаточно, чтобы было выполнено α ». Например, запись x 6 x 2 можно прочитать следующим образом: «если x делится на 6, то x делится на или «для того, чтобы x делился на 6, необходи- мо, чтобы x делился на или «для того, чтобы x делился на 2, достаточно, чтобы x делился на 6».

4. Знак равносильности . Запись α β означает: «α равносильно β »,

«из α следует β и из β следует α », «α необходимо и достаточно для выпол- нения β » или «α выполнено тогда и только тогда, когда выполнено β ».

можно

,

прочитать таким образом: «для того, чтобы многочлен P x делился на

необходимо и достаточно, чтобы

x x тогда и только тогда, когда x является корнем

гочлен

0 было корнем этого многочлена» или «мно-

P x делится на этого многочлена».

α означает «не α », «неверно, что α имеет

5. Знак отрицания

место». Замечание. Использование кванторов позволяет легко строить отрица-

не для любого») читается таким образом:

7

Например, P x многочлен Px x x ⇔−x корень P x

(

)

(

) (

0

)

n

(

)

nn

− x ⇔− x корень P x ( ) ( ) ( 0 ) n (

0

x

. Запись

P x ( ) ( ) ( 0 ) n ( ) nn 0 x .
P x ( ) ( ) ( 0 ) n ( ) nn 0 x .

,

0

n

(

)

0

x x

0

n

(

)

ние высказываний. Запись

«существует объект, не обладающий требуемым свойствам», и запись

не существует») можно прочитать: «любой объект не обладает указанным свойством».

∀∈n число 4n 1 простое означает: «не для

всякого натурального числа n число 4n 1 простое», что равносильно выска- зыванию: «существует натуральное число n, для которого число 4n 1 со-

ставное». А высказывание

∃∈n (2n + 14) означает: «не существует на-

турального числа n, для которого 2n + 1 делится на 4», что равносильно вы- сказыванию «для всякого натурального n число 2n + 1 не делится на 4».

§2 Бином Ньютона Приведем здесь одну важную формулу, которая является обобщением двух, хорошо известных школьных формул. Обозначим через n! (читается n-факториал) - произведение всех нату- ральных чисел от 1 до n. Кроме того, положим по определению, 0! = 1. Биномом Ньютона называется формула

Например, высказывание

формула Например , высказывание ∃ ( a + b ) n = 0 Ca n 1

Например , высказывание ∃ ( a + b ) n = 0 Ca n 1 Ca
Например , высказывание ∃ ( a + b ) n = 0 Ca n 1 Ca

(

a

+

b

)

n

=

0

Ca

n

1

Ca

+

nn

n

−− n

b

+

Ca

n

1

2

22

b

++

k

Ca

n

nk

b

k

++

n

Cb

n

n

,

где a и b - любые вещественные числа, n - натуральное число, а коэффициенты

012

CCC

nnn

,

,

,

,

C C называются биномиальными коэффициентами и вы-

n

,

,

n

k

n

числяются по формуле

k

C

n

=

n !

(

kn !

k

)

!

.

В школьном курсе формула бинома Ньютона приводится для n = 2 и n = 3 . Прежде чем доказывать формулу бинома Ньютона, сформулируем и дока- жем свойства биномиальных коэффициентов:

1.

2.

3.

4.

0

C

n

1

= C = ;

n

n

n

1

1

=

n

n

CC

n

=

;

k

C

n

=

C

n

nk

kk

CC

+

nn

+

1

;

=

k

1

+

C

n +

1

.

Первые два свойства очевидно следуют из формулы для вычисления коэф- фициентов. Докажем третье свойство:

+=

C

n

C

n

k

k

+

1

n

!

!

(

kn

k

)

!

+

 

n

!

=

(

nk

!

1

++ −

n

k

)

(

k

+

)(

1!

n

k

−−

1!

)

(

k

+

)(

1!

n

k

)

!

=

(

)

n + 1 !

(

1!

kn

)((

+

+− +

1

)

(

k

1

))

!

= C

n

+ 1

k

+ 1

.

=

Теперь докажем формулу бинома Ньютона. ►Доказательство проведем методом математической индукции.

1

База индукции. Очевидно, равенство ( a +=b ) Индукционная теорема. Пусть равенство

8

0

C

1

1

a + Cb верно.

1

(

a

+

b

)

m

=

0

Ca

m

+

Ca

1

mm

m

−− m

b

+

Ca

m

1

2

22

b

++

k

Ca

m

mk

b

k

++

m

Cb

m

m

верно при некотором натуральном m . Докажем, что будет верным равенство

(

a

+

b

)

m

+ 1

=

0

m

C

+

1

a

m

+

1

+

C

1

m

ab

C

2

++ 11

mm

+

a

m

12

b

++

k

m

C

+

1

a

m

+− 1

kk

b

++

m

C

m

+

1

+

1

b

m

+

1

Действительно,

(

a

=

+

a

= C

= C

b

+

)

m + 1

m

=

(

b

)(

a

1

mm

0

m +

a

+

C

1

+

C

0

a

01

m

a

m

+

b

)

b

+

m

a

m

b

=

(

0

Ca

m +

1

Ca

m

1

b

mk

)(

m

−−

+

Ca

m

+

+

1

m

2

m

22

b

+

+

12

Ca

m

mk

−+

1

b

mk

−+

1

b

k

k

k

k

b

k

++

++

C

k

m

1

a

k

m

C

a

Cb

m

C

m

ab

m

m

a

+

b

)

=

mm

+

+

2

m

C

a

m

C

1

a

m

12

b

12

b

++

1

)

m

C

m

m

1

ab

m

)

a

mk

−+ 1

b

k

+

+

+

C

m

m

b

ab

m

+

mm

C

m

b

+

1

=

m

+

++

+

C

mk

−+

mm

(

++

C

1

mm

C

0

) + ()

m

ab

2

C

m

+

m

++

(

C

++

Cab

mm

(

C

m

+

C

m

mm

1

.

1

=

C

0

a

m

+

1

C

1

++

mm

11

+

m

ab

+

2

m

C

+

1

a

m

12

b

++

k

m

C

+

1

a

mk

−+

1

b

k

+

+

m

C

m

+

1

a

b

m

+

m

C

m

+

1

+

1

b

m

+

=

1

.

Таким образом, формула будет верна для любого натурального показателя n.

§3 Множества

3.1. Множество

Понятие множества одно из основных понятий в математике, поэтому точного определения этого понятия не существует. Как все основные понятия, оно определяется аксиоматически, но здесь мы не будем этого делать и вместо точного определения дадим синонимы этого понятия, позволяющие понять, что это такое. Синонимами понятия «множество» являются: совокупность, набор, а также все аналогичные слова, употребляющиеся в более конкретных ситуациях, такие как коллекция, группа, стая и т.п. Например, множество людей, служа- щих на одном корабле экипаж или команда, множество томов одного автора собрание сочинений. Один объект, входящий в данное множество, будем называть элементом этого множества. Количество элементов в множестве может быть любым. Если в множестве нет ни одного элемента, то такое множество будем называть

пустым. Например, множество вещественных решений уравнения

++=6x 10 0 пусто. Обозначать пустое множество будем символом . Если множества обозначать большими латинскими буквами, а элементы множества малыми, то запись a A будет читаться как «a есть элемент множе- ства А» или «элемент a принадлежит множеству А», а запись a A как «a не является элементом множества А» или «элемент a не принадлежит множеству А».

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

2

x

9

A = {1,3,6,10}. Также можно задать и бесконечные множества, если ясен закон образования их элементов.

Естественно считать, что перед нами множе-

ство квадратов натуральных чисел. Поэтому, если не возникает разночтений, в этой ситуации не задают общий член элементов множества. Множества очень часто задаются некоторым свойством, по которому можно определить, входит взятый объект в данное множество или нет. Это свойство будем называть характеристическим свойством множества. Для запи- си такого множества в фигурных скобках сначала пишут, как обозначается эле- мент множества, затем вертикальную черту, после которой записывается харак- теристическое свойство. Например, C = {xx| натуральное число, xn=+4 1, n = 0,1,2,3, - множество нату-

Например, B = {1,4,9,16,

}.

}

ральных чисел, которые при делении на 4 дают в остатке 1.

3.2. Подмножество. Равенство множеств

Если даны два множества A и B и известно, что каждый элемент множе- ства B является элементом множества A , то будем говорить, что множество B является подмножеством множества A или, что множество A содержит в себе множество B . Это обозначается следующей записью: B A. Два множества и B называются равными, если B A и A B . Очевид- но, что множества равны тогда и только тогда, когда они состоят из одинако- вых элементов.

3.3. Операции над множествами

Довольно часто в задачах требуется из двух (или более) данных множеств образовать тем или иным способом одно третье множество. Для этого вводится несколько операций над множествами. Объединением двух множеств A и B на- зывается множество C , состоящее из всех эле- ментов, которые входят хотя бы в одно из дан- ных множеств. Обозначается объединение следующим образом: CAB= ∪ .

Тогда

образом : CAB = ∪ . Тогда Bx = { |4 < x ≤ 7 }

Bx= { |4 < x 7}.

Пример 1. Пусть Ax= {

|2 x < 5},

AB

={x |2 ≤≤x

7}.

{ |2 ≤ x < 5 } , AB ∪ = { x |2 ≤≤ x

Пересечением двух множеств A и B называется множество C , состоящее из всех элементов, ко- торые входят в каждое из данных множеств. Обозначается пересечение CAB= ∩ . Пример 1.3.2. Рассмотрим множества A и B из предыдущего примера. Тогда AB∩ = {x |4 <<x 5}. Совершенно очевидно, что понятия объединения и пересечения распро- страняются на любое количество множеств. Тогда, если имеется некоторое

10

множество множеств A α , где α образуют некоторую совокупность индексов,

то через

мы будем обозначать объединение множеств A α , а через

A α

α

U

A α

- их пересечение.

α

U

U ∩ A α - их пересечение . α ∈ U Разностью двух множеств A и

Разностью двух множеств A и B называ- ется множество C , состоящее из всех

тов, которые входят в A , но не входят в B .

элемен-

Обозначается разность C = AB\ . В предыдущем примере AB\ = {x |2 x 4}.

Пусть дано некоторое множество, которое со- держит в себе все прочие множества, о которых может идти речь в данном круге задач. Такое множество бу- дем называть универсальным. Тогда дополнением множества A (или дополнением множества A до уни- версального множества) будем называть множество C , состоящее из всех элементов которые входят в универсальное множество, но не входят в множество A . Например, когда речь идет о числах, естественно за универсальное мно- жество принять множество всех вещественных (или комплексных) чисел. Тогда дополнением множества рациональных чисел является множество иррацио- нальных чисел и т.п.

иррацио - нальных чисел и т . п . Дополнение множества A будем

Дополнение множества A будем обозначать

A

d

.

Операции над множествами иллюстрируются на так называемых диа- граммах Венна, где каждое множество изображается в виде части плоскости.

3.4. Свойства операций над множествами

Операции над множествами обладают рядом свойств, которые полезно

знать:

1. A ∪=∪BB

A ;

5. A ∪∅= A ;

2. A ∩=∩BB

A ;

6. A ∩ ∅=∅ ;

3. A ∪∩=∪∩∪(BC) (

AB)

( AC) ;

4. A ∩∪=∩∪∩(BC) (

AB)

( AC) ;

7.

8.

(

(

A B

A B

)

)

d

d

d

=∩AB

d

=∪AB

d

d

;

.

Для доказательства этих свойств воспользуемся определением равенства множеств. Докажем, например свойства 3 и 7. Доказательство свойства 3. ► Пусть aA∈∪ (BC ), тогда

11

aA

aBC

∈∩

a

⎣⎩

a

a

A

B

C

⎧⎡ ∈

⎪⎢

a

a

⎪⎣

A

B

a A

C

⎩⎣

a

aAB ∈∪

aAC

∈∪

⇒∈ ∪ ∩ ∪

a

(

AB

)(

AC

)

.

Таким

образом, мы доказали, что из соотношения aA∈ ∪ (BC ) следует соотноше-

ние a ∈∪∩∪( AB)

( AC), что означает, что A ∪∩⊂∪∩∪(BC) (

AB)

(

AC).

Докажем обратное включение. Пусть a ( AB) ( AC). Тогда

aAB

aAC

, откуда следует, что

a

⎧⎡ ∈

a

⎪⎢

a

⎩⎣

A

B

a A

C

⎪⎣

a

⎣⎩

A

a

a

B

C

a

A

aBC ∈ ∩

. Последние со-

отношения означают, что aA∈∪ (BC ) и ( A B) ( AC) ⊂∪A (BC ) .

Окончательно, A =(BC) (

AB)

( AC) .

Доказательство свойства 7.

► Пусть

(

a AB

) d

,

тогда

aAB

,

a

⎪ ⎩ a

B

A

d

d

d

⇒∈ aA

B

d

и мы доказали, что (

A B

)

т.е.

a

a


A

B

d

d