Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Лосев-КлячинМиклюков МА в КИ

.pdf
Скачиваний:
863
Добавлен:
27.05.2015
Размер:
3.66 Mб
Скачать

§11. Число "e". Натуральные логарифмы

41

ЗАМЕЧАНИЕ. Условие замкнутости отрезков в условиях теоремы – существенно. В этом несложно убедиться рассмотрев последовательность интервалов

(0, 1) (0, 12) . . . (0, n1 ) . . . .

ЗАМЕЧАНИЕ. Предположим, что в результате измерения физической величины a (скорость, давление, плотность и т.п.) получено число a˜. Ясно, что оно рациональное. Говорят, что абсолютная погрешность измерения величины a не превосходит некоторого положительного числа ∆, если |a˜ − a| ≤ ∆, т.е. число a˜ [a − , a + ∆] = J(∆). Как правило, точное числовое значение величины a неизвестно, а известен всего лишь отрезок J(∆), в пределах которого оно находится. Основное допущение, на котором базируются приложения методов математического анализа в естествознании, состоит в том, что величина a может быть измерена со сколь угодно высокой точностью. Другими словами, зададим бесконечно малую последовательность абсолютных погрешностей

{n} : ∆1 > 2 > . . . > n > . . . > 0.

При измерениях величины a с погрешностью ∆n мы будем получать числа, расположенные в отрезках J(∆n), при этом

J(∆1) J(∆2) . . . J(∆n) . . .

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

§11. Число "e". Натуральные логарифмы

Для произвольного n = 0, 1, 2, . . . . положим

n

1

 

1

 

1

1

 

k

 

 

 

 

 

 

 

 

 

 

 

k!

= 1 + 1 + 2 +

2

·

3 + . . . + n!.

Sn =

 

=0

 

 

 

 

 

 

 

 

 

 

 

Последовательность {Sn}n=0 монотонно возрастает. Кроме того, она ограничена сверху, т.к.

Sn 1+1+

1

+

 

 

1

 

+. . .+

 

1

= 2+

21 (21 )n

= 3

1

< 3.

2

2

·

2

 

2n−1

1

1

2n−1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

Следовательно, по теореме о пределе монотонной последова-

тельности можем заключить, что существует lim Sn.

n→∞

42

Глава 1. Предел последовательности

ОПРЕДЕЛЕНИЕ 11.1. Число lim Sn будем обозначать сим-

n→∞

волом e.

ЗАМЕЧАНИЕ. Ясно, что 2 < e < 3. Можно доказать, что e не является ни рациональным числом, ни даже алгебраическим, e ≈ 2, 718 . . . .

 

ТЕОРЕМА 11.1. Предел

lim (1 +

1 )n

существует и

 

равен e.

 

 

 

n→∞

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Положим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

 

 

 

 

 

 

 

 

 

tn = 1 +

 

.

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

По формуле бинома Ньютона

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

 

 

n

n

 

. . .

n

 

k

 

 

(a+b)n = k=0 k

an−kbk ,

k

=

(

 

1)

(

 

 

+ 1)

.

 

 

 

 

 

 

 

k!

 

 

 

 

Тогда

n

n

1

tn = 0

+ 1

 

 

 

n

 

+ n

n

 

n

1

 

1

n

1

2

 

n

1

 

+

2

 

 

 

+. . .+

k

 

 

 

n

n

n

 

n

 

1

 

 

n(n − 1)

 

 

 

 

= 1 +

 

 

+

+ . . . +

1! n

 

 

 

 

2n2

 

 

 

 

 

k

+. . . +

+

n(n − 1) . . . (n − k + 1)

+ . . . +

n(n − 1) . . . (n − n + 1)

=

k!nk

n!nn

 

 

 

= 1 + 1 + 2!1 (1 n1 ) + . . . + k1!(1 n1 )(1 n2 ) . . . (1 k −n 1)+

+ . . . +

1

(1

1

)(1

2

) . . . (1

n −

1

)

n!

n

n

n

 

1 + 1 +

1

1

1

 

 

 

 

 

+

 

+ . . . +

 

= Sn.

2!

3!

n!

Таким образом,

 

 

tn ≤ Sn.

 

 

(1)

 

 

 

 

 

 

 

Далее заметим, что последовательность {tn} является возрастающей. Действительно, если от tn перейти к tn+1, т.е. увеличить n на единицу, то прежде всего добавится новый (n+2)-й член (положительный). А каждый из написанных n + 1 членов увеличится, ибо любой из множителей в круглых скобках вида (1 ns ) заменится большим множителем (1 n+1s ). Итак,

§11. Число "e". Натуральные логарифмы

43

для любой пары чисел n ≥ m выполнено tn ≥ tm. Кроме того, при n ≥ m выполнено

1 1 1 1 2 m − 1 tn = 1+1+ 2!(1n)+. . .+ m!(1n) (1n) . . . (1n )+

+ . . . + n1!(1 n1 ) . . . (1 n −n 1) 1 + 1 + 2!1 (1 n1 ) + . . .

+

1

 

(1

1

)(1

2

) . . . (1

m − 1

) ≡ αn(m).

 

m

!

n

n

n

 

Учитывая неравенство (1), находим:

 

 

 

 

αn(m) ≤ tn ≤ Sn, n ≥ m.

(2)

Последовательность n(m)} возрастает с ростом n, так как при фиксированном m число членов в сумме αn(m) остается неизменным, равным m + 1 , а каждое из чисел в круглых скобках увеличивается. Итак, все три последовательности n(m)}, {tn}, {Sn} монотонно возрастают с ростом n и ограничены сверху. Поэтому они имеют пределы. На основании теоремы о предельном переходе в неравенстве (2) получаем:

nlim αn(m) nlim tn nlim Sn,

→∞

→∞

→∞

или

m 1 lim tn ≤ e.

k! n→∞

k=0

Переходя к пределу при m → ∞, получаем:

e = lim Sm lim tn ≤ e,

m→∞ n→∞

т.е. существует lim tn = e.

n→∞

ОПРЕДЕЛЕНИЕ 11.2. Логарифмы по основанию e называются натуральными и обозначаются loge a = ln a. Ясно, что

ln a = logb a, b > 0, b = 1. logb e

ПРИМЕР 1. Найдем предел последовательности

 

 

n + 1

n=1 .

 

 

 

 

 

n + 2 n

 

Мы имеем

 

 

 

 

 

 

 

 

 

 

lim

 

n + 2

n

1

 

n

 

 

 

 

lim

 

 

 

 

n + 1

 

1 + n + 1

=

n→∞

 

= n→∞

44 Глава 1. Предел последовательности

= |n + 1 = m, n → ∞ m → ∞| =

 

(1 +

1

)m

 

= lim

m

= e.

1 +

1

 

m→∞

 

 

m

 

ПРИМЕР 2. Найдем предел последовательности

 

 

 

n + 3

 

 

n=1 .

 

 

 

 

 

 

 

 

n + 2

n ∞

 

 

 

 

 

 

Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n + 2 n

 

 

 

 

 

 

 

1

 

 

 

 

lim

 

=

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

n + 3

 

 

 

 

nlim→∞

 

n+2

 

 

 

 

 

lim (1 +

1

)2

 

 

 

 

 

 

n+2

 

 

 

=

 

n→∞

 

 

 

 

 

 

 

=

1

.

 

 

 

1

 

 

 

 

 

 

 

 

 

lim (1 +

 

 

 

)n+2

 

e

 

 

 

n+2

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§12. Подпоследовательности. Частичные пределы последовательности

ОПРЕДЕЛЕНИЕ 12.1. Пусть

{an}n=1 = a1, a2, a3, . . . , an, . . .

– произвольная последовательность. Последовательность an1 , an2 , . . ., ank , . . . , составленная из членов последовательности {an}n=1, называется подпоследовательностью последователь-

ности {an}n=1, если n1 < n2 < ... < nk < ... . Если предел подпоследовательности {ank }k=1 существует, то он называет-

ся частичным пределом последовательности {an}n=1.

ПРИМЕР 1. Пусть {an} = 1, 2, . . . , n, . . . – последовательность. Тогда {ank } = 2, 4, 6, . . . , 2k, . . . – подпоследовательность.

ПРИМЕР 2. {sin 2n} = sin 2, sin 4, sin 6, . . . – последовательность, {ank } = sin 4, sin 8, . . . – подпоследовательность.

ПРИМЕР 3. Найдем все частичные пределы последовательности с общим членом an = (1)n, n = 1, 2, . . . Легко заметить, что только два типа подпоследовательностей являются сходящимися. К первому типу относится подпоследовательность при n = 2k : 1, 1, . . . с пределом равным единице. Ко второму типу относится подпоследовательность при

§12. Подпоследовательности. Частичные пределы

45

n = 2k + 1 : 1, −1, . . ., сходящаяся к 1.

Множество всех частичных пределов состоит из двух элементов 1 и 1.

ОПРЕДЕЛЕНИЕ 12.2. Пусть {an}n=1 – прoизвольная последовательность. Говорят, что a есть верхний предел {an}n=1 и пишут

a = limn→∞an, (или a = lim supn→∞an),

если

i) существует подпоследовательность {ank } → a;

(иначе, ε > 0 N n > N : |an − a| < ε)

ii) ε > 0 N(ε) : n > N(ε) выполнено an < a+ε. Говорят, что a есть нижний предел an и пишут

a = limn→∞an, (или a = lim infn→∞an),

если

i)существует подпоследовательность {ank } → a;

ii)ε > 0 N(ε) : n > N(ε) выполнено an > a−ε.

ПРИМЕР 4. Пусть an = (1)n. Тогда limn→∞an = 1

иlimn→∞an = 1.

ТЕОРЕМА 12.1. Последовательность {an}n=1 имеет пределом число a тогда и только тогда, когда

limn→∞an = limn→∞an = a.

Доказательство. Предположим, что {an} сходится к a. Тогда любой ее частичный предел равен a и, следовательно,

limn→∞an = limn→∞an = a.

Обратно. Предположим, что верхний предел последовательности {an} совпадает с нижним и равен a. Фиксируем произвольно ε > 0. Тогда

N1(ε) :

n > N1(ε)

выполнено

an < a + ε,

(1)

N2(ε) :

n > N2(ε)

выполнено

an > a − ε.

(2)

При n > N = max{N1(ε), N2(ε)} неравенства (1) и (2) выполняются одновременно. А потому n > N имеем:

−ε < an − a < ε , т.е. |an − a| < ε.

По определению предела последовательности заключаем, что предел существует и равен a.

46

Глава 1. Предел последовательности

ТЕОРЕМА 12.2 ( Больцано – Вейерштрасса6). Из всякой ограниченной последовательности можно извлечь сходящуюся подпоследовательность.

Доказательство. Пусть {an}n=1 – произвольная ограниченная последовательность. Существуют такие постоянные m, M, что выполнено m ≤ an ≤ M n = 1, 2, . . . Разделим отре-

зок [m, M] пополам точкой S = m+2M . Тогда хотя бы один из отрезков [m, S] или [S, M] содержит бесконечно много членов последовательности {an}. Обозначим его через [m1, M1]. Отрезок [m1, M1] разделим пополам точкой S1. Хотя бы один из отрезков [m1, S1] или [S1, M1] содержит бесконечно много членов последовательности an. Обозначим его [m2, M2]. Продолжая этот процесс неограниченно, построим последовательность вложенных один в другой отрезков

[m, M] [m1, M1] [m2, M2] . . . [mk, Mk] . . . ,

длины которых равны M−m и стремятся к нулю при k → ∞.

2k

При этом каждый из отрезков [mk, Mk] содержит бесконечно много членов последовательности {an}. Выберем подпоследовательность. Пусть an1 – произвольный член последовательности {an}n=1, содержащийся в отрезке [m1, M1]. Т.к. отрезок [m2, M2] содержит бесконечно много членов последовательности an, то существует an2 [m2, M2] такой, что n2 > n1 (важно!!!). Продолжая процесс неограниченно, найдем подпоследовательность {ank } такую, что

ank [mk, Mk] (k = 1, 2, . . .).

Покажем, что подпоследовательность {ank } сходится. Последовательности {mk} и {Mk} являются соответственно неубывающей и невозрастающей последовательностями, описанными в теореме о вложенных отрезках. Согласно этой теоре-

ме существуют пределы lim mk = lim Mk = C, т.е. кон-

k→∞ k→∞

цы отрезков сходятся к одной и той же точке. Поскольку mk ≤ ank ≤ Mk, то на основании принципа "сжатой" по-

следовательности заключаем, что существует lim ank = C.

k→∞

6Больцано Бернард (5.10.1781-18.12.1848) – математик, философ и логик. Род. в Праге (Чехия). Работал в Пражском университете. Основные математические труды опубликованы после смерти.

Вейерштрасс Карл Теодор Вильгельм (31.10.1815-19.2.1897). Род. в Остенфельде (Германия). В 1842-1855 гг. – преподаватель математики в католических средних учебных заведениях. С 1856 г. работает в Берлинском университете. Лекции и статьи в основном посвящены математическому анализу, теории аналитических функций, вариационному исчислению, дифференциальной геометрии, линейной алгебре.

§13. Критерий Коши

47

УПРАЖНЕНИЕ 1. Привести пример последовательности, множество всех частичных пределов которой совпадает с отрезком [1, 1].

УПРАЖНЕНИЕ 2. Пусть {an} – произвольная последовательность и A – множество всевозможных ее частичных пределов. Доказать, что

limn→∞an = inf x,

x A

а

limn→∞an = sup x.

x A

§13. Критерий Коши

ОПРЕДЕЛЕНИЕ 13.1. Последовательность {an}n=1 назы-

вается последовательностью Коши7 (или фундаментальной), если

ε > 0 N = N(ε) : n, m > N(ε) выполнено |an−am| < ε.

УПРАЖНЕНИЕ 1. Доказать, что последовательность {an}n=1 является фундаментальной тогда и только тогда, когда ε > 0 N = N(ε) : n > N(ε) p N выполнено

|an − an+p| < ε.

ТЕОРЕМА 13.1 (критерий Коши). Для того, чтобы последовательность была сходящейся необходимо и достаточно, чтобы она была последовательностью Коши.

Доказательство. Необходимость. Пусть {an} → a при n → ∞. Покажем, что {an} – фундаментальна. Зададим

ε > 0. Т.к.

{

n}

 

ε

 

 

N = N(ε) :

 

n > N(ε)

a

 

сходится, то

 

 

выполнено |an − a| <

2

(из определения предела). Пусть

n, m > N(ε) – прoизвольны. Тогда

 

 

 

 

 

 

 

|an − am| = |an − a + a − am| ≤ |an − a| + |a − am| <

 

ε

 

ε

 

 

 

+

 

= ε.

2

2

Достаточность. Пусть {an} – фундаментальная последовательность. Зададим ε > 0. Тогда N(ε) : n , m > N(ε) выполнено |an − am| < ε, т.е.

−ε < am − an < ε n, m > N(").

7Коши Огюстен Луи (21.8.1789-23.5.1857). Род. в Париже (Франция). Член Парижской АН (1816), Петербургской АН (1831). Автор более 800 работ по арифметике и теории чисел, алгебре, математическому анализу, дифференциальным уравнениям теоретической и небесной механике, математической физике и т.д.

48

Глава 1. Предел последовательности

Фиксируя m и допустив изменения n, видим, что все an, начиная с некоторого номера, лежат в ε-окрестности точки am. Это означает ограниченность последовательности {an}. Согласно теореме Больцано-Вейерштрасса, существует подпоследовательность {ank }, сходящаяся к некоторому числу a. Покажем, что и вся последовательность {an} сходится к a. Фиксируем произвольное ε > 0. Т.к. {ank } сходится к a, то

N1(ε) : |ank − a|

<

ε

nk > N1(ε).

 

 

 

 

 

 

(1)

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

Т.к. {an} фундаментальна, то

 

 

 

 

 

ε

 

 

 

N2(ε) : n, m > N2 выполнено |an − am| <

 

 

 

(2)

 

 

 

.

 

 

2

 

 

И, в частности,

 

 

 

 

 

 

 

 

 

 

 

|an − ank | <

ε

n, nk > N2(ε)) .

 

 

 

 

 

 

 

 

(

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

Заметим, что

 

 

 

 

 

 

 

 

 

 

 

n > N = max{N1(ε), N2(ε)}

 

 

 

 

 

 

 

свойства (1) и (2) выполняются

одновременно. Поэтому

n > N имеем

 

 

 

 

ε

ε

 

|an −a| = |an −ank +ank −a| ≤ |an −ank |+|ank −a| <

 

 

+

 

 

= ε,

2

2

т.е. {an} стремится к a.

УПРАЖНЕНИЕ 2. Определить, является ли последовательность {(1)n + 1}n=0 последовательностью Коши.

УПРАЖНЕНИЕ 3. Сформулировать на "языке ε − N", что последовательность {an} не является последовательностью Коши.

Глава 2

Предел функции

§1. Понятие функции

Понятие функции является таким же первоначальным понятием, как точка, прямая, множество и в строгом определении не нуждается. Попробуем пояснить его.

Пусть заданы непустые множества — множество аргументов x X и множество значений функции y Y . Правило или закон f, по которому элементам x X ставится в соответствие один или несколько элементов y Y , называется функцией и обозначается y = f(x) (или f : X → Y ).

Говоря иначе, функция — это тройка, состоящая из двух множеств и правила, а задать функцию означает задать все три элемента этой тройки. Меняя элементы тройки (множества или правило), мы получаем другие функции.

Пусть дана функция f : X → Y и пусть X1 X – некоторое подмножество множества X. Оставив правило без изменения и рассматривая его лишь применительно к точкам x X1, приходим к сужению (или ограничению) функции f на множество X1. Ограничение функции f на множество обозначается f|X1 .

ПРИМЕР 1. Всякую последовательность {an}n=0 можно истолковать как функцию, заданную на множестве натуральных чисел

an = f(n), n N.

Пусть K N – некоторое бесконечное подмножество множества N. Тогда сужение функции f|K есть не что иное, как подпоследовательность {ank } последовательности {an}.

Множество D(f) всевозможных значений переменной x X, для которых определено значение y = f(x) Y , называется областью определения функции f : X → Y .

Множество E(f) всевозможных значений переменной y Y , которые принимает функция y = f(x) при измене-

50

Глава 2. Предел функции

нии x в области определения, называется областью значений функции f.

ПРИМЕР 2. Для функции y = ln(x + 1) имеем

D(f) : ln(x + 1) 0 x + 1 1 x ≥ 0;

E(f) : {y R : y ≥ 0}.

УПРАЖНЕНИЕ 1.

Найти область определения и область значений функции

tg x − | tg x|.

УПРАЖНЕНИЕ 2. Пусть s ≥ 0 – целое число. Обозначим через Q(s) множество всех целых (рациональных, иррациональных) чисел p, для которых существуют целые (рациональные, иррациональные) q такие, что p2 + q2 = s.

Пусть X = Q(2) – множество аргументов, а Y = Q(5) – множество значений функции. В качестве правила f возьмем отношение y = x.

Множества X и Y не пусты, поскольку каждое из них содержат, по крайней мере, число 1. Тройка (X, f, Y ) задает некоторую функцию. Попробуйте найти ее область определения и область значений!

Функция f : X → Y называется однозначной, если каждому x X соответствует ровно одно значение y. Функция, принимающая хотя бы в одной точке более одного значения,

называется многозначной.

 

 

 

 

 

 

 

ПРИМЕР 3.

Многозначная функция y = ±

 

 

име-

ln(x + 1)

ет

областью

определения

то же

самое

множество

 

 

 

 

{x R : x ≥ 0}, что и однозначная функция y =

 

ln(x + 1)

,

а областью значений всю числовую прямую.

Договоренность!!! Далее, говоря о функции, будем всегда иметь в виду однозначную функцию, если только не оговорено противное.

Если на плоскости задана декартова прямоугольная система координат XOY , то множество точек вида (x, f(x)), где x изменяется в области определения функции y = f(x), называется графиком функции.

Пусть задана функция y = f(x) с множеством аргументов X и множеством значений Y , т.е. f : X → Y . И задана еще одна функция z = g : Y1 → Z с множеством аргументов Y1 и множеством значений Z.

Тогда выражение z = g(f(x)) называется суперпозицией функций f и g (либо композицией функций, либо сложной функцией).