Непрерывная функция
Непреры́вная фу́нкция, функция, значения которой мало изменяются при малых изменениях аргумента. Точнее, функция , определённая на интервале , называется непрерывной в точке , если для любого существует такое, что для всех таких, что . В этом определении число , зависящее от , может зависеть и от . Это определение равносильно следующему: для любой последовательности такой, что при , последовательность такова, что при . Иначе говоря, для всех последовательностей, сходящихся к .
Если условие, указанное в определении непрерывной функции, выполняется лишь при или лишь при , то функция называется соответственно непрерывной справа или слева в точке . Функция называется непрерывной на интервале, если она непрерывна в каждой точке . Функция называется непрерывной на отрезке , если она непрерывна на интервале и в точке она непрерывна справа, а в точке – слева.
Одна и та же функция может быть непрерывной для одних значений аргумента и иметь точки разрыва при других значениях. Так, дробная часть числа (её принято обозначать , например, ) является разрывной функцией при целых значениях аргумента и непрерывной при всех других значениях (рис. 1), причём в точках разрыва она непрерывна справа.
Простейшие элементарные функции непрерывны при всех действительных . Сумма, разность и произведение непрерывных функций вновь являются непрерывными функциями. Частное двух непрерывных функций является непрерывной функцией для тех значений аргумента, где знаменатель не обращается в нуль. Если функция непрерывна в точке , а функция непрерывна в точке , то сложная функция непрерывна в точке . Если функция непрерывна и строго возрастает на , то обратная функция существует, строго возрастает и непрерывна на ; аналогичное утверждение справедливо для строго убывающих функций.
Непрерывные функции обладают многими важными свойствами, которыми объясняется значение этих функций в математике и её приложениях. Функция, непрерывная на отрезке, ограничена на нём и достигает на нём наибольшего и наименьшего значений, кроме того, она принимает на этом отрезке все промежуточные значения, лежащие между её наименьшим и наибольшим значениями. Для любой функции, непрерывной на отрезке, существует многочлен, значения которого отличаются на этом отрезке от значений функции менее, чем на произвольное сколь угодно малое, наперёд заданное число (теорема Вейерштрасса о приближении непрерывных функций многочленами). Функции, непрерывные на отрезке, обладают свойством равномерной непрерывности.
Любая функция, непрерывная на некотором отрезке, интегрируема на нём. Однако не всякая непрерывная функция имеет производную. Геометрически это означает, что график непрерывной функции не обязательно обладает касательной в каждой точке; это может быть связано с тем, что график имеет угловую точку (рис. 2, функция ), или с тем, что он совершает в окрестности какой-либо точки бесконечно много колебаний между двумя пересекающимися прямыми (рис. 3, функция при и при ). Существуют непрерывные функции, не имеющие производной ни в одной точке, первый пример такого рода был предложен Б. Больцано в 1830 г.
Функция нескольких переменных, определённая в некоторой окрестности точки , называется непрерывной (по совокупности переменных ) в этой точке, если для любого можно указать такое , что при одновременном выполнении неравенстввыполняется также и неравенствоТакая функция является непрерывной по каждому аргументу в отдельности (если остальным переменным приданы определённые числовые значения). Обратное, вообще говоря, не верно: функция , непрерывная по каждому аргументу в отдельности, может и не быть непрерывной функцией по совокупности аргументов. Такой пример даёт функция , равная , если , и равная при . Она непрерывна по при любом фиксированном и непрерывна по при любом фиксированном . В частности, она непрерывна по при и по при . Если же положить , то значение функции будет при всех равным , и для нельзя указать такое число , чтобы при одновременном выполнении неравенств , выполнялось неравенство . На непрерывные функции нескольких переменных распространяются все основные теоремы, относящиеся к непрерывным функциям одного переменного.