Непрерывные функции имеют первостепенное значение в математике, функциях и приложениях. Однако не все функции являются непрерывными. Если функция не является непрерывной в точке в ее области, говорят, что у нее есть разрыв . Множество всех точек разрыва функции может быть дискретным множеством , плотным множеством или даже всей областью определения функции. В данной статье описывается классификация разрывов в простейшем случае, когда функции одной действительной переменной принимают действительные значения.
колебание функции в точке количественно оценивает эти неоднородности следующим образом:
Особым случаем является, если функция расходится до бесконечности или минус бесконечности, и в этом случае колебания не определены (в расширенных вещественных числах это устранимый разрыв).
Для каждого из следующих случаев рассмотрим действительную функцию f действительной переменной x, определенную в окрестности точки x 0, при котором f не является непрерывным.
Рассмотрим функцию
Точка x 0 = 1 является устранимый разрыв. Для такого рода разрывов:
односторонний предел от отрицательного направления:
и односторонний предел от положительного направления:
при x 0 оба существуют, конечны и равны L = L = L. Другими словами, поскольку два односторонних предела существуют и равны, предел L функции f (x) при приближении x к x 0 существует и равен этому же значению. Если ac Если фактическое значение f (x 0) не равно L, то x 0 называется устранимым разрывом . Этот разрыв можно удалить, чтобы сделать f непрерывным в точке x 0, или, точнее, функция
непрерывно при x = x 0.
термин «устранимая прерывность» иногда является злоупотреблением терминологией для случаев, когда ограничения в обоих направлениях существуют и равны, в то время как функция undefined в точке x 0. Такое использование является оскорбительным, поскольку непрерывность и прерывность функции - это понятия, определенные только для точек в области определения функции. Такая точка, не входящая в домен, правильно называется устранимой сингулярностью.
Рассмотрим функцию
Тогда точка x 0 = 1 является скачкообразным разрывом.
В этом случае единственного предела не существует, потому что существуют односторонние пределы L и L и конечны, но не равны: поскольку, L ≠ L, предел L не существует. Тогда x 0 называется скачкообразным разрывом, скачкообразным разрывом или разрывом первого рода. Для этого типа разрывов функция f может иметь любое значение в x 0.
Для существенного разрыва, только на e из двух односторонних пределов может не существовать или быть бесконечным. Рассмотрим функцию
Тогда точка является существенным разрывом.
В этом случае не существует, а бесконечно, что удовлетворяет в два раза больше условий существенного разрыва. Таким образом, x 0 является существенным разрывом, бесконечным разрывом или разрывом второго рода (это отличается от существенной сингулярности, которая часто используется при изучении функций комплексных переменных.)
Множество точек, в которых функция является непрерывной, всегда является Gδмножеством. Набор разрывов - это Fσнабор.
Набор разрывов s монотонной функции не более чем счетно. Это теорема Фроды.
Функция Тома разрывна в каждой рациональной точке, но непрерывна в каждой иррациональной точке. Согласно первому абзацу не существует функции, непрерывной в каждой рациональной точке, но разрывной в каждой иррациональной точке.
индикаторная функция рациональных чисел, также известная как функция Дирихле, везде прерывна.