
- •3. Действительные числа.
- •3.1. Аксиомы действительных чисел.
- •3.2. Некоторые множества на числовой оси.
- •3.3. Несобственные точки числовой прямой.
- •3.4. Границы числовых множеств.
- •4. Предел функции одной переменной.
- •4.1. Определение функции. Терминология.
- •4.2.1. Определение гиперболических функций.
- •4.2.2. Соотношения между гиперболическими функциями.
- •4.2.3. Обратные гиперболические функции.
- •4.3. Последовательность и её предел.
- •4.3.1. Определение последовательности и её предела.
- •4.3.2. Свойства сходящейся последовательности.
- •4.3.3. Число е.
- •4.4. Предел функции одной переменной.
- •4.4.1. Предел функции.
- •4.4.1.1. Определение предела функции в точке.
- •4.4.1.2. Предел функции на бесконечности.
- •.Для примера рассмотрим функцию
- •4.4.6. Арифметические действия с пределами.
- •4.4.8. Сравнение поведения функций при ха. Главная часть функции.
- •4.5. Решение задач на вычисление пределов.
- •4.5.1. Непосредственное вычисление пределов.
- •4.5.2. Выделение главной части функции.
- •4.5.3. Раскрытие неопределённостей.
4.3.3. Число е.
Здесь
мы докажем существование числа, играющего
исключительную роль в природе и математике
- числа е.
Это число определяется как
.
Утв.
1.
Последовательность
возрастает с ростомn.
Док-во.
По формуле бинома Ньютона
Эта
сумма содержит ровно n+1
член. Если перейти от n
к n+1,
то количество слагаемых увеличится на
1 и каждое слагаемое возрастёт
an+1>an.
Утв.
2.
Последовательность
ограничена.
Док-во.
Оценим величину
сверху. Каждое слагаемое в полученной
сумме оценивается величиной
.
Тогда вся сумма
Итак,
последовательность
возрастает и ограниченаона
имеет предел. Этот предел и определяет
число е,
,
зашитое во все природные явления столь
же фундаментально, как и число.
4.4. Предел функции одной переменной.
4.4.1. Предел функции.
В этом разделе мы изучим основное понятие математического анализа - предел функции. Все остальные объекты, которые встречаются в анализе (производная, интеграл и т.д.) определяются с помощью предела.
4.4.1.1. Определение предела функции в точке.
Опр.4.4.1.
Пусть а
- предельная
точка
области определения Х
функции f(x).
Число b
называется пределом функции при х,
стремящемся к а,
если для любого числа >0
существует такое число
(вообще говоря, положительное и зависящее
от ),
что если хХ
принадлежит также проколотой -окрестности
точки а,
то значение функции f(x)
принадлежит -окрестности
числа b.
Обозначения:
;
f(x)
b
при x
а;
.
Краткая
форма записи:
.
Неравенство
расписывается в виде двустороннего
неравенства как
или
.
Аналогично неравенство
можно расписать как
.
Поэтому смысл определения предела
таков:
,
если для любой наперед заданной степени
близости значений f(x)
к числу b
мы в состоянии найти такую близость
аргумента х
к числу а,
которая обеспечивает эту близость f(x)
к b.
Заметим, что в определении никак не
участвует значение f(а)
функции f(x)
в точке а,
в частности, f(а)
не обязательно должно быть равным b;
более того, f(x)
может быть вообще не определена в точке
а.
Рассмотрим
два простых примера. Докажем, что 1.
;
2.
(дальше мы увидим, что предел любой
элементарной функции при стремлении х
к любой точке области определения этой
функции равен значению функции в
предельной точке).
Возьмём >0. Требуется найти такое 0, что 0<| x-2 |<| x2-4 |<, т.е. | (x-2)(x+2) |<. Договоримся сразу брать <1, тогда из | x-2 |<2-<x<2+x<3x+2<5. Неравенство
|
(x-2)(x+2)
|<
будет обеспечено, если
.
Таким образом, если в качестве
взять
,
то при | x-2
|<()
получим |x+2|<5|
(x-2)(x+2)
|=| x-2
|| x+2
|<
*5=,
что и требовалось.
Возьмём >0. Требуется найти такое 0, что 0<| x-/6 |<| sin x-1/2 |<
|
sin
x-
sin(/6)|<
<.Так
как
,
|sin
|<||
при 0,
то требуемое неравенство будет выполнено,
если взять ()=
(Тогда из <| x-/6
|<=
;
,
что и требовалось.
Более сложный пример-функция Дирихле
В любой окрестности любого вещественного числа а имеются и рациональные, и иррациональные точки, обеспечить одновременное выполнение неравенств | b-1 |< и | b-0 |< при <1/2 невозможно ни при каком значении b, следовательно, функция Дирихле не имеет предела ни при каком стремлении аргумента.
Рассмотрим ещё одно определение предела, эквивалентное предыдущему.
Опр.4.4.2. Пусть {xn | xnX, xn a} - последовательность точек области определения функции f(x), сходящаяся к точке а. Если для любой такой последовательности {xn} последовательность значений функции { f(xn)} сходится к числу b, то b называется пределом f(x) при xа. (В МГТУ опр.3.4.1 принято называть определением Коши, опр.3.4.2 - определением Гейне).
Докажем эквивалентность определений 4.4.1 и 4.4.2.
Утв.1.
Если
в смысле опр.
4.4.1, то число
b
- предел f(x)
при xа
и в смысле опр.
4.4.2.
Док-во. Пусть {xn} сходится к а, требуется доказать, что { f(xn)} сходится к b, т.е. что для >0 N: n>N | f(xn)-b |< (в предположении, что выполняются условия опр. 4.4.1). Возьмём >0. : 0<| x-a |< | f(x)-b |<. Так как xnа при n , то N: n>N | xn-a |<
|f(xn)-b |<. Нужное N найдено.
Утв.2.
Если
в смысле опр.
4.4.2, то число
b
- предел f(x)
при xа
и в смысле опр.
4.4.1.
Док-во от противного. Мы предположим, что требования опр. 4.4.1 не выполняются, и построим последовательность {xn}, сходящуюся к а, для которой { f(xn)} не сходится к b. Если требования опр. 4.4.1 не выполняются, то >0, для которого в любой проколотой -окрестности точки а найдётся точка x, в которой | f(x)-b |>. Возьмём 1=1. x1а: 0<| x1-a |<1, но | f(x1)-b |>. Возьмём 2<min{1/2, | x1-a |}. x2: 0<| x2-a |<2, но |f(x2)-b |>. Возьмём 3<min{1/3, | x2-a |}. x3: 0<| x3-a |<3, но |f(x3)-b |>. Вообще на n-ом шаге возьмём n<min{1/n,
|xn-1-a |}. xn: 0<| xn-a |<n, но |f(xn)-b |>, и т.д. Мы получили, что xnа при n (так как
| xn-a |<1/ n), но | f(xn)-b|>, т.е. { f(xn)} не сходится к b. Противоречие получено.
Рассмотрим ещё два примера.
( график этой функции приведен слева; х0). Докажем, что эта функция не имеет предела при х0. В каждой точке последовательности
f(xn)=0, в к
аждой точке последовательности
f(xn)=1, разные последовательности дают разные пределы
не существует.
5.
Функция Римана
Как
следует из графика, приведённого на
стр.17, в любой -окрестности
точки
при<
содержится не более чем конечное число
значений функции, т.е. при рациональном
значении аргументах=а
не существует. Если х=а
иррационально,
то вне любой -полосы
|x|<
лежит не более чем конечное число точек
графика, т.е.
.