13Непрерывность

Рассмотрим функцию . Чему равен её предел при ? С помощью арифметики пределов легко показать, что он равен , то есть значению функции в точке . Мы обсуждали (см. пример 12 из лекции 10), что это не всегда так работает. Однако, случай, когда работает, очень важен, и имеет специальное название.

13.1Непрерывность функции в точке

13.1.1Определение непрерывности

Определение 1. Пусть функция определена в некоторой окрестности точки (включая саму точку ). Говорят, что непрерывна в точке , если предел при равен значению функции в этой точке:

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

Условие (13.1) можно переписать в кванторах:

В условии на как обычно в определении предела записана проколотая окрестность. Но что будет, если ? В этом случае условие после знака импликации превращается в . В левой части стоит ноль, поэтому это условие всегда выполнено. Таким образом, условие непрерывности можно записать таким образом:

Упражнение 1. Докажите, что функция непрерывна в точке тогда и только тогда, когда выполняется следующее утверждение: для всякой последовательности , стремящейся к , стремится к . Иными словами, в определении предела по Гейне в этом случае можно убрать требование для всех .

13.1.2Односторонняя непрерывность

Чтобы говорить о непрерывности функции в точке, нам нужно, чтобы функция была определена в окрестности этой точки. Но часто бывает, что функции определены на каких-то отрезках или лучах (например, ). В этом случае определение 1 неприменимо для граничных точек области определения функции. Если мы всё-таки хотим сказать, что функция непрерывна в такой точке (а мы скоро захотим), нам нужно будет использовать определение односторонней непрерывности.

Определение 2. Пусть функция определена в некоторой правой полуокрестности точки , включая саму точку (то есть на некотором полуинтервале ), . Говорят, что непрерывна справа в точке , если предел при равен значению функции в этой точке:

Аналогично определяется непрерывность слева.

Определение 3. Пусть — некоторое подмножество области определения функции. Если функция непрерывна для всякого , мы будем говорить, что непрерывна на . Если — отрезок или луч, мы как правило будем требовать лишь соответствующую одностороннюю непрерывность на его концах.

13.1.3Какие функции непрерывны

Неформально говоря, условие непрерывности означает, что если не сильно отличается от , значение функции не сильно отличается от . Это очень важное условие с практической точки зрения: как правило, мы не знаем точных значений никаких величин. Если бы интересующие нас функции не были непрерывными, мы бы мало что могли сказать о их значениях. Пусть мы хотим вычислить , но знаем величину лишь с какой-то точностью. Иными словами, мы знаем на самом деле величину , и знаем, что расстояние от неё до маленькое. Если не является непрерывной в точке , посчитав её значение в точке , мы бы не получили никакой информации о значениях этой же функции в точке , сколь бы близким ни было к .

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

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

Утверждение 1. Пусть функции и непрерывны в точке . Тогда
  1. функция непрерывна в ;
  2. функция непрерывна в ;
  3. функция непрерывна в если .

Доказательство. Это утверждение является мгновенным следствием из арифметики пределов. Например, пусть . Докажем, что непрерывна в .
Мы применили арифметику пределов (третье равенство) и условие непрерывности и (предпоследнее равенство).

Остальные утверждения доказываются аналогично.

Следствие. Из утверждения 1 мгновенно следует, что
  1. Многочлены, то есть функции вида
    непрерывны на всём множестве вещественных чисел.
  2. Рациональные функции, то есть функции вида
    где и — многочлены, являются непрерывными на всей области определения (то есть при таких , при которых знаменатель не обнуляется).

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

13.2Разрывы

Определение 4. Пусть функция определена в некоторой проколотой окрестности точки , но не является непрерывной в . Тогда мы скажем, что она терпит разрыв в этой точке.

Какими бывают разрывы? Тут принята такая немножко условия классификация.

13.2.1Разрывы первого рода

Определение 5. Пусть функция не является непрерывной в точке , но существуют односторонние пределы и . Тогда разрыв в точке называется разрывом первого рода — по крайней мере, такой термин принят в русскоязычной литературе.

Если односторонние пределы существуют, они могут совпадать, а могут не совпадать. Если они совпадают (и равны какому-то числу ), существует предел и тоже равен числу . (См. упражнение 3 из лекции 10.) Поскольку функция не является непрерывной в , либо не определено, либо . Такой тип разрывов называется устранимым: достаточно «отредактировать» (доопределить или переопределить) значение функции в единственной точке , чтобы она стала непрерывной, то есть разрыв был бы устранён.

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

Пример 1. Рассмотрим функцию
Она является непрерывной во всех точках, кроме и , в точке у неё разрыв типа «скачок», а в точке — устранимый разрыв.

13.2.2Разрывы второго рода

Любые разрывы, не являющиеся разрывами первого рода, называются разрывами второго рода (неожиданно, правда?)

Какими они бывают?

Может статься, что предел при не существует, но при этом равен бесконечности (вы ведь помните, что когда предел равен бесконечности, он не существует?). Такие разрывы мы будем называть полюсами.

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

Пример 2. Рассмотрим функцию . Когда , и . Однако при , и . Получается существенный разрыв.
import matplotlib.pyplot as plt
import numpy as np
import qqmbr.odebook as ob
# see https://github.com/ischurov/qqmbr/blob/master/qqmbr/odebook.py

def f(x):
    return np.exp(1 / x)
x = np.linspace(-2.7, 2.7, 211)
plt.figure(figsize=(4, 4))

plt.plot(x, f(x), label='$y=e^{1/x}$')

plt.legend()

ob.center_spines(grid=False, minor_ticks=False)
ob.settle_axes(xmin=-2.7, xmax=2.7, ymin=-0.7, ymax=4.7, 
               xlabel="x", ylabel="y", axlabelshift=1.3) 
plt.xticks([])
plt.yticks([])
Рис. 13.1: Функция имеет существенный разрыв в точке .

Пример 3. Рассмотрим функцию . Как обсуждалось в примере 14 из лекции 10, у неё нет предела при , поскольку в любой окрестности нуля она может принимать различные значения (например, , и ). Это означает, что в нуле она терпит разрыв. Поскольку функция является ограниченной, она не может стремиться к бесконечности, и значит это существенный разрыв (хотя, пожалуй, он и не похож на то, что хочется себе представить, когда слышишь слово «разрыв»).
import matplotlib.pyplot as plt
import numpy as np
import qqmbr.odebook as ob
# see https://github.com/ischurov/qqmbr/blob/master/qqmbr/odebook.py

def f(x):
    return np.sin(np.pi / x)
x = np.linspace(-2.7, 2.7, 50011)
x[abs(x) < 0.03] = np.nan
plt.figure(figsize=(8, 3))

plt.plot(x, f(x), label=r'$y=\sin (\pi/x)$', lw=1)

plt.legend()

ob.center_spines(grid=False, minor_ticks=False)
ob.settle_axes(xmin=-2.7, xmax=2.7, ymin=-1.2, ymax=1.2, 
               xlabel="x", ylabel="y", axlabelshift=1.3) 
plt.xticks([])
plt.yticks([])
Рис. 13.2: Функция имеет существенный разрыв в точке .

13.3Непрерывность композиции

13.3.1Сложные функции

Мы часто сталкиваемся функциями, заданными выражениями вида . Чтобы вычислить значение такой функции в какой-то точке, нужно сначала вычислить значение функции в этой точке, и подставить результат в функцию «квадратный корень». Можно сказать, что , где определена выше, а . Поскольку в функцию подставляется не , а значение функции , я использую другую букву в качестве аргумента — чтобы не путаться.

Замечание 1. Если бы я написал , это было бы ошибкой. Тогда было бы верно , и это совсем не то, что мы хотим.

Определение 6. Функция называется композицией или суперпозицией функций и , или сложной функцией. Часто пишут так: . Функции в композиции применяются «справа налево»: сначала подставляется в , потом результат подставляется в .

13.3.2Предел сложной функции

Мы бы хотели доказать утвердение, кратко формулируемое как «композиция непрерывных функций непрерывна». Это позволит нам доказывать непрерывность разнообразных функций, заданных формулами. Чтобы это сделать, нам сперва придётся доказать теорему о пределе сложной функции. И тут надо быть осторожным.

Вопрос 1. Пусть
и
Верно ли, что

Хочется ответить утвердительно. Действительно, если , согласно первому пределу (13.3), становится близок к . В третьем пределе (13.5) мы подставляем именно , а из второго предела следует, что если аргумент функции близок к , то значение близко к . Казалось бы, что может пойти не так?

Пример 4. Пусть
и для всех . Тогда
и
Рассмотрим предел
Поскольку при всех , этот предел равен и не равен . Таким образом, утверждение (13.5) в этом случае неверно.

Вопрос 2. В чём проблема? Где мы ошиблись в неформальном рассуждении?
  Узнать ответ.

Верный ответ. Утверждение (13.4) говорит, что становится близок к , если близок к , но не равен . В нашем случае равен во всех точках. Вместе с нарушением непрерывности функции , это приводит к проблеме.

Теперь сформулируем правильное утверждение.

Теорема 1. Пусть
и
то есть функция непрерывна в точке .

Тогда

Доказательство. Запишем всё в кванторах.

Нам дано. Первый предел:

Второй предел:
Здесь в определении предела мы убрали требование проколотости окрестности в силу непрерывности функции в точке (см. (13.2)).

Надо доказать.

Выбор . Согласно (13.10), мы можем добиться, чтобы был -близок к , если потребуем, чтобы был -близок к . Чтобы значение было -близким к , достаточно в (13.9) положить и потребовать, чтобы лежал в соответствующей -окрестности точки . В этом случае и мы победили.

Итак, искомая задаётся следующим образом:

Как показано выше, эта сработает, и теорема доказана.

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

Доказательство. Предел
удовлетворяет условию теоремы. Значит,
то есть непрерывна в точке .

Пример 5. Докажем, что функция непрерывна на всём . Действительно, и непрерывны, а значит их сумма непрерывна. Экспонента непрерывна и её аргумент непрерывен, значит, аргумент синуса непрерывен. И синус непрерывен. Значит, и вся функция непрерывна.

Вопрос 3. В скольких точках функция терпит разрывы?
  Ни в одной — это композиция непрерывных функций!

Неверный ответ. Разве всюду непрерывна?

  В одной точке.

Неверный ответ. Думаете, только в нуле? В этом выражении больше, чем один знаменатель.

  В бесконечном количестве точек.

Верный ответ. Верно! Во-первых, в точке . Во-вторых, во всех точках, где обнуляется , то есть во всех , .

Упражнение 2. Докажите следующее утверждение. Пусть в теореме 1 условие непрерывности функции в точке не выполняется, но зато выполняется другое условие: существует такая проколотая окрестность точки , что в этой окрестности . Тогда (13.8) всё равно выполняется.

13.4Заключение

Непрерывность — первое важное «хорошее» свойство функций на нашем пути. К счастью, обычно функции, задаваемые формулами, непрерывны на своей области определения. Нарушения непрерывности как правило связаны либо с обнулением знаменателей, либо с разрывами кусочно заданных функций (как в примере 1). Для аккуратного анализа функции на непрерывность нужно использовать теоремы о непрерывности суммы, произведения, частного и композиции функций. На следующей лекции мы обсудим, чем так хороши непрерывные функции.