Непрерывная функция — функция без «скачков», то есть такая, у которой малые изменения аргумента приводят к малым изменениям значения функции.
Непрерывная функция, вообще говоря, синоним понятия непрерывное отображение, тем не менее чаще всего этот термин используется в более узком смысле — для отображений между числовыми пространствами, например, на вещественной прямой. Эта статья посвящена именно непрерывным функциям, определённым на подмножестве вещественных чисел и принимающим вещественные значения.
Пусть и .
Функция непрерывна в точке , если для любого существует такое, что для любого
Функция непрерывна на множестве , если она непрерывна в каждой точке данного множества.
В этом случае говорят, что функция класса и пишут: или, подробнее, . Комментарии Определение непрерывности фактически повторяет определение предела функции в данной точке. Другими словами, функция непрерывна в точке , предельной для множества , если имеет предел в точке , и этот предел совпадает со значением функции . Функция непрерывна в точке, если её колебание в данной точке равно нулю.
Если условие, входящее в определение непрерывности функции, в некоторой точке нарушается, то говорят, что рассматриваемая функция терпит в данной точке разрыв. Другими словами, если — значение функции в точке , то предел такой функции (если он существует) не совпадает с . На языке окрестностей условие разрывности функции в точке получается отрицанием условия непрерывности рассматриваемой функции в данной точке, а именно: существует такая окрестность точки области значений функции , что как бы мы близко не подходили к точке области определения функции , всегда найдутся такие точки, чьи образы будут за пределами окрестности точки .
Классификация разрывов функций зависит от того, как устроены множества X и Y. Здесь приведена классификация для простейшего случая — . Таким же образом классифицируют и особые точки (точки, где функция не определена). Стоит заметить, что классификация в различается от автора к автору.
Если функция имеет разрыв в данной точке (то есть предел функции в данной точке отсутствует или не совпадает со значением функции в данной точке), то для числовых функций возникает два возможных варианта, связанных с существованием у числовых функций односторонних пределов: если оба односторонних предела существуют и конечны, то такую точку называют точкой разрыва первого рода. К точкам разрыва первого рода относят устранимые разрывы и скачки. если хотя бы один из односторонних пределов не существует или не является конечной величиной, то такую точку называют точкой разрыва второго рода. К точкам разрыва второго рода относят полюса и точки существенного разрыва.
Если предел функции существует и конечен, но функция не определена в этой точке, либо предел не совпадает со значением функции в данной точке: ,
то точка называется точкой устранимого разрыва функции (в комплексном анализе — устранимая особая точка).
Если «поправить» функцию в точке устранимого разрыва и положить , то получится функция, непрерывная в данной точке. Такая операция над функцией называется доопределением функции до непрерывной или доопределением функции по непрерывности, что и обосновывает название точки, как точки устранимого разрыва.
