- •Введение в анализ
- •Множества и операции над ними
- •Логическая символика
- •Функция
- •Простейшая классификация функций
- •Композиция функций и обратное отображение
- •Сужение функции
- •Действительные числа
- •Важнейшие подмножества действительных чисел
- •Функции действительной переменной
- •Функция и способы её задания
- •Монотонные функции
- •Свойства числовых множеств
- •Ограниченные числовые множества
- •Неограниченные числовые множества
- •Счетные и несчетные множества
- •Задания для самостоятельной работы
- •Теория пределов
- •Предел последовательности
- •Определение и примеры
- •Свойства сходящихся последовательностей
- •Бесконечно малые последовательности
- •Арифметические операции с последовательностями
- •Бесконечно большие последовательности
- •Подпоследовательности и их свойства
- •Критерий Коши
- •Частичные пределы последовательности
- •Верхний и нижний пределы последовательности
- •Задания для самостоятельной работы
- •Предел функции
- •Предельная точка множества
- •Определение предела функции
- •Свойства предела функции
- •Односторонние пределы функции
- •Теорема о пределе монотонной функции
- •Число e
- •Критерий Коши для функции
- •Сравнение функции
- •Задания для самостоятельной работы
- •Непрерывные функции и их свойства
- •Определение непрерывной функции
- •Точки разрыва функции, их классификация
- •Локальные свойства непрерывной функции
- •Глобальные свойства непрерывных функций
- •Показательная, логарифмическая и степенная функции
- •Некоторые замечательные пределы
- •Равномерная непрерывность функции
- •Задания для самостоятельной работы
- •Дифференцируемые функции
- •Понятие дифференцируемой в точке функции
- •Геометрический смысл производной и дифференциала
- •Производная и дифференциал функции на множестве
- •Основные правила вычисления производной
- •Инвариантность формы первого дифференциала
- •Производные высших порядков
- •Дифференциалы высших порядков
- •Свойства функций, дифференцируемых на промежутках
- •Дифференцирование параметрически заданных функций
- •Правила Лопиталя раскрытия неопределенностей
- •Формула Тейлора
- •Исследование поведения функции на множестве
- •Экстремум функции
- •Направление выпуклости графика функции
- •Точки перегиба
- •Асимптоты графика функции
- •Построение графика функции.
- •Задания для самостоятельной работы
- •Неопределенный интеграл
- •Первообразная функция и неопределенный интеграл
- •Основные свойства неопределенного интеграла
- •Таблица основных неопределенных интегралов
- •Основные методы интегрирования
- •Непосредственное интегрирование
- •Метод подстановки (замены переменной)
- •Метод интегрирования по частям
- •Классы интегрируемых элементарных функций
- •Интегрирование рациональных функций
- •Интегрирование иррациональных функций
- •Интегрирование тригонометрических функций
- •Задания для самостоятельной работы
Глава 3
Непрерывные функции и их свойства
3.1Определение непрерывной функции
Всюду далее будем считать, что вещественнозначная функция f определена на множестве X R и отмечать это уже не будем.
Определение 3.1. Функция f называется непрерывной в точке a из X, если для любой окрестности Uf(a) найдется такая окрестность Ua точки a, что образ множества Ua T X при отображении f содержится в Uf(a).
В логической символике это определение записывается так:
\
f : X → R непрерывна в точке a X Uf(a) Ua : f(Ua X) Uf(a).
Поскольку под окрестностью конечной точки мы понимаем симметричную окрестность, то это определение равносильно следующему:
Определение 3.2 ( по Коши ). Функция f : X → R называется непрерывной в точке a X, если для любого числа ε > 0 найдется такое число δ = δ(ε) > 0, что для всех x X, удовлетворяющих условию |x − a| < δ, выполняется неравенство |f(x) − f(a)| < ε.
В логической символике последнее определение можно записать так: функция f : X → R непрерывна в точке a X
( ε > 0 δ = δ(ε) > 0 : x X, |x − a| < δ |f(x) − f(a)| < ε.)
Замечание 1. Свойство непрерывности функции f изучается в любой точке a X, в то время как предел — в предельной точке a множества X, которая может не принадлежать X.
Замечание 2. В определении непрерывной функции в точке a рассматриваются образы всех точек множества X T Ua, а в определении предела функции — образы точек из X T Ua, отличных от a.
Если a X, но не является предельной точкой множества X, то ее называют изолированной точкой множества X. Ясно, что функция непрерывна в каждой изолированной точке области определения.
69
Поскольку f(a) принадлежит каждой окрестности Uf(a), то, учитывая определение предела функции f в точке a, получаем следующее определение, равносильное предыдущим.
Определение 3.3. Пусть f : X → R, a X, a — предельная точка множества X. Функция f называется непрерывной в точке a, если существует предел функции в точке a и он равен значению функции f в точке a.
Учитывая представление функции, имеющей в точке конечный предел, получаем: непрерывность функции f в точке a означает, что f имеет представление f(x) = f(a) + o(1), x → a.
Наконец, используя определение предела функции по Гейне, получаем определение, равносильное предыдущим
Определение 3.4 (по Гейне). Функция f : X → R называется непрерывной в точке a X, если для любой последовательности {xn} элементов множества X, сходящейся к a, соответствующая последовательность {f(xn)} образов сходится к f(a).
Замечание. По сравнению с определением Гейне предела функции в определении 3.4 непрерывности функции снято требование, обязывающее все элементы последовательности {xn} быть отличными от a. (В случае, когда a — изолированная точка множества X, все элементы xn, начиная с некоторого, равны a.)
Определение 3.5. Функция f называется непрерывной на множестве X, если она непрерывна в каждой точке этого множества.
Совокупность вещественнозначных функций, непрерывных на множестве X, обычно обозначается символом C(X).
Рассмотрим некоторые примеры.
Пример 3.1. Функция f(x) = C, x R, непрерывна на R.
Действительно, для любой точки a R, для x R |f(x) − f(a)| = 0. Поэтому ε > 0 δ > 0 имеем:
|x − a| < δ |f(x) − f(a)| < ε.
Последнее означает непрерывность функции в точке a, а значит и на множестве R.
Пример 3.2. Если f : R → R и f(x) = x, x R, то f C(R).
Зафиксируем произвольную точку a R и число ε > 0. Так как
|f(x) − f(a)| = |x − a|, x R,
то, полагая δ = ε, получим
|x − a| < δ |f(x) − f(a)| < ε.
70
Поэтому f непрерывна в точке a и непрерывна на R. |
|
|
|
||||||||||||||
Пример 3.3. Функция f(x) = sin x непрерывна на R. |
|
|
|
||||||||||||||
Для любых a |
|
R и x |
|
R |
| |
sin x |
− |
sin a |
| |
= |
2 sin |
x − a |
cos |
x + a |
|
≤ |
|
2 |
2 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≤ |
2 |
sin |
x − a |
|
≤ |
2 |
|x − a| |
= |
x |
− |
a |
. |
|
|
|
2 |
|
|
|
2 |
| |
|
| |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поэтому для любого ε > 0 положим |
δ = ε и получим, что, как только |
||||||||||||
|x − a| < δ, так | sin x − sin a| ≤ |x − a| < δ = ε. |
|
|
Аналогично доказывается непрерывность функции f(x) = cos x. Пример 3.4. Функция f(x) = |x| непрерывна на R.
Поскольку для любых a R и x R
|f(x) − f(a)| = | |x| − |a| | ≤ |x − a|,
то, как и в предыдущих примерах, достаточно положить δ = ε, чтобы доказать непрерывность функции f в точке a, а значит на R.
3.2Точки разрыва функции, их классификация
Кточкам разрыва функции f : X → R следует отнести те точки множества X, в которых функция f не является непрерывной. Однако такое определение целесообразно уточнить следующим образом.
Определение 3.6. Точка a R называется точкой разрыва функции f, если либо a X, но f не является непрерывной в ней, либо a 6 X, но является двусторонней предельной точкой множества X.
Заметим, что иногда к точкам разрыва функции f относят не только двусторонние, но и односторонние предельные точки множества X, которые не принадлежат X.
Учитывая определение 3.6 и определение непрерывной функции в точке a, заключаем, что a из X является точкой разрыва функции f,
если
Uf(a) : Ua x X \ Ua : f(x) / Uf(a)
или
ε > 0 : δ > 0 x X, |x − a| < δ : |f(x) − f(a)| ≥ ε.
Иными словами, предельная точка a множества X, принадлежащая X, является точкой разрыва функции f, если либо не существует предела функции f в точке a, либо он существует, но отличен от значения
f(a) функции f в точке a.
Пример 3.5. Пусть f : R\{0} → R, f(x) = sinx x. Точка a = 0
71
не принадлежит области определения функции f, но является для нее двусторонней предельной. Поэтому a = 0 — точка разрыва функции f.
Пример 3.6. Рассмотрим функцию
sgn x = |
|
−1, |
если x < 0, |
|
0, |
если x = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, |
если x > 0. |
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку каждая точка a 6= 0 обладает окрестностью, в которой функ-
ция sgn x постоянна, то функция непрерывна в точке a 6= 0. Далее, на последовательности {xn} : xn = (−n1)n , n N, функция принимает значения sgn xn = (−1)n, n N. Учитывая, что xn → 0 и не существует предел последовательности {sgn xn}, заключаем, что рассматриваемая функция терпит разрыв в точке a = 0.
Определение 3.7. Пусть a — точка разрыва функции f, a – двусторонняя (или односторонняя) предельная точка множества X. Точку a называют точкой разрыва первого рода, если существуют конечные односторонние (или соответствующий односторонний) пределы функции f в точке a.
Определение 3.8. Если a — точка разрыва первого рода функции f и в ней существует предел функции, то точку a называют точкой устранимого разрыва.
Если a — точка устранимого разрыва функции f и lim f = A, то |
|||
функция |
|
a |
|
f(x), x X \ {a}, |
|||
f¯(x) = |
|||
|
|
A, x = a, |
|
непрерывна в точке a. |
|
|
Лемма 3.1. Если a — точка разрыва первого рода функции f и a
— односторонняя предельная точка множества X, то она является точкой устранимого разрыва функции f.
Утверждение следует из предыдущего определения и теоремы о равносильности предела и одностороннего предела функции в односторонней предельной точке.
Определение 3.9. Если a — точка разрыва функции f и в этой точке не существует или бесконечен хоть один из односторонних пределов функции f, то a называется точкой разрыва второго рода.
Из определений 3.7 и 3.9 получаем, что каждая точка разрыва функции f, которая не является точкой разрыва первого рода, является точкой разрыва второго рода.
72
Возвращаясь к примерам 5 и 6, замечаем, что, так как lim sin x = 1,
x→0 x
то a = 0 является точкой устранимого разрыва функции f(x) = sinx x, а так как lim sgn x = −1, lim sgn x = +1, поэтому a = 0 является точкой разрыва первого рода функции sgn x.
Пример 3.7. Функция Дирихле
1, если x Q, D(x) = 0, если x R\Q,
разрывна в каждой точке a R, поскольку не существует односторонних пределов f(a+0), f(a−0), то есть любая точка a R есть точка разрыва второго рода функции D(x).
Теорема 3.1 (о точках разрыва монотонной функции). Монотонная на промежутке функция может иметь только точки разрыва первого рода.
Пусть для определенности функция f монотонна на (a, b]. Если x0 — точка разрыва функции f, то либо x0 (a, b), либо x0 = b. По следствию из теоремы о пределе монотонной функции существуют конечные односторонние пределы f(x0 − 0), f(x0 + 0), если x0 (a, b) и f(x0 − 0) если x0 = b. Следовательно, x0 — точка разрыва первого рода.
Часто бывает полезно понятие односторонней непрерывности функции в точке.
Определение 3.10. Пусть a — левосторонняя (правосторонняя) предельная точка множества X и a X. Говорят, что функция f, определенная на X, непрерывна в точке a слева (справа), если существует предел f(a−0) (соответственно f(a+0)) и он равен значению функции f в точке a.
Используя определения Коши и Гейне для одностороннего предела функции, можно получить соответствующие определения односторонней непрерывности функции в точке.
Например, если a — левосторонняя предельная точка X, a X, то функцию f : X R → R называют непрерывной в точке a слева, если
{xn} : xn X, xn < a, xn → a f(xn) → f(a).
Замечание. В односторонней предельной точке, принадлежащей области определения функции, понятия односторонней непрерывности и непрерывности функции совпадают. Если же рассматриваемая точка является двусторонней предельной, то функция непрерывна в ней тогда и только тогда, когда она непрерывна и слева, и справа.
Пример 3.8. Пусть f(x) = [x] ([x] — целая часть числа x). Фиксиру-
73