В математике непрерывная функция — это функция , у которой небольшое изменение аргумента вызывает небольшое изменение значения функции . Это означает, что нет резких изменений стоимости, известных как разрывы . Точнее, функция является непрерывной, если сколь угодно малые изменения ее значения могут быть обеспечены путем ограничения достаточно малых изменений ее аргумента. Разрывная функция – это функция, которая не является непрерывной . До XIX века математики во многом полагались на интуитивные представления о непрерывности и рассматривали только непрерывные функции. Эпсилон -дельта-определение предела было введено для формализации определения непрерывности.
Непрерывность — одна из основных концепций исчисления и математического анализа , где аргументами и значениями функций являются действительные и комплексные числа. Эта концепция была обобщена на функции между метрическими пространствами и между топологическими пространствами. Последние являются наиболее общими непрерывными функциями, и их определение лежит в основе топологии .
Более сильной формой непрерывности является равномерная непрерывность . В теории порядка , особенно в теории областей , родственным понятием непрерывности является непрерывность Скотта .
Например, функция H ( t ) , обозначающая высоту растущего цветка в момент времени t , будет считаться непрерывной. Напротив, функция M ( t ) , обозначающая сумму денег на банковском счете в момент времени t , будет считаться разрывной, поскольку она «скачет» в каждый момент времени, когда деньги вносятся или снимаются.
Эпсилон -дельта-определение непрерывности было впервые дано Бернаром Больцано в 1817 году. Огюстен-Луи Коши определил непрерывность следующим образом: бесконечно малое приращение независимой переменной x всегда приводит к бесконечно малому изменению зависимой переменной y ( см., например, «Кур д'Анализ» , стр. 34). Коши определил бесконечно малые величины через переменные величины, и его определение непрерывности во многом соответствует определению бесконечно малых величин, используемому сегодня (см. микронепрерывность ). Формальное определение и различие между точечной непрерывностью и равномерной непрерывностью были впервые даны Больцано в 1830-х годах, но работа не была опубликована до 1930-х годов. Как и Больцано, [1] Карл Вейерштрасс [2] отрицал непрерывность функции в точке с , если она не определена в точке с и по обе стороны от нее , но Эдуард Гурса [3] допускал определение функции только в точке и по одну сторону. из c , и Камилла Джордан [4] допускала это, даже если функция была определена только в c . Все три из этих неэквивалентных определений поточечной непрерывности все еще используются. [5] Эдуард Гейне дал первое опубликованное определение равномерной непрерывности в 1872 году, но основывал эти идеи на лекциях, прочитанных Питером Густавом Леженом Дирихле в 1854 году . [6]
Действительная функция , которая является функцией преобразования действительных чисел в действительные числа, может быть представлена графиком в декартовой плоскости ; такая функция непрерывна, если, грубо говоря, график представляет собой одну непрерывную кривую , областью определения которой является вся действительная линия. Более математически строгое определение дано ниже. [8]
Непрерывность вещественных функций обычно определяют в терминах пределов . Функция f с переменной x непрерывна при действительном числе c , если предел при x стремится к c , равен
Существует несколько различных определений (глобальной) непрерывности функции, которые зависят от природы ее области определения .
Функция непрерывна на открытом интервале , если этот интервал содержится в области определения функции и функция непрерывна в каждой точке интервала. Функцию, непрерывную на отрезке (вся действительная прямая ), часто называют просто непрерывной функцией; говорят также, что такая функция всюду непрерывна . Например, все полиномиальные функции всюду непрерывны.
Функция непрерывна на полуоткрытом или замкнутом интервале; если интервал содержится в области определения функции, функция непрерывна в каждой внутренней точке интервала, а значение функции в каждой конечной точке, принадлежащей интервалу, является пределом значений функции, когда переменная стремится к концу из внутренней части интервала. Например, функция непрерывна во всей своей области определения, которая представляет собой отрезок
Многие часто встречающиеся функции являются частичными функциями , область определения которых состоит из всех действительных чисел, за исключением некоторых изолированных точек . Примерами являются функции и Когда они непрерывны в своей области определения, в некоторых контекстах говорят, что они непрерывны, хотя они не непрерывны повсюду. В других контекстах, главным образом, когда кто-то интересуется их поведением вблизи исключительных точек, говорят, что они прерывисты.
Частичная функция разрывна в точке, если точка принадлежит топологическому замыканию своей области определения, и либо точка не принадлежит области определения функции, либо функция не является непрерывной в этой точке. Например, функции и разрывны в точке 0 и остаются разрывными, какое бы значение ни было выбрано для их определения в точке 0 . Точка, в которой функция разрывна, называется разрывом .
Используя математическую запись, существует несколько способов определения непрерывных функций в трех упомянутых выше смыслах.
Позволять
Это подмножество является областью применения f . Некоторые возможные варианты включают в себя
В случае, когда область определяется как открытый интервал и не принадлежит , значения и не имеют значения для непрерывности на .
Функция f непрерывна в некоторой точке c своей области определения, если предел при приближении x к c через область определения f существует и равен [9] В математических обозначениях это записывается как
(Здесь мы предположили, что область определения f не имеет изолированных точек .)
Окрестность точки c — это множество, содержащее, по крайней мере, все точки в пределах некоторого фиксированного расстояния от c . Интуитивно понятно, что функция непрерывна в точке c , если диапазон f в окрестности точки c сжимается до одной точки , когда ширина окрестности вокруг точки c сжимается до нуля. Точнее, функция f непрерывна в точке c своей области определения, если для любой окрестности в ее области определения существует такая окрестность, что всякий раз, когда
Поскольку окрестности определены в любом топологическом пространстве , это определение непрерывной функции применимо не только к действительным функциям, но и тогда, когда область определения и кодомен являются топологическими пространствами , и, таким образом, является наиболее общим определением. Отсюда следует, что функция автоматически непрерывна в каждой изолированной точке своей области определения. Например, каждая вещественная функция целых чисел непрерывна.
Вместо этого можно потребовать, чтобы для любой последовательности точек в области, сходящейся к c , соответствующая последовательность сходилась к В математической записи
Явно включив определение предела функции, мы получаем автономное определение: Учитывая вышеописанную функцию и элемент области определения , она называется непрерывной в той точке , когда выполняется следующее: Однако для любого положительного действительного числа мал, существует некоторое положительное действительное число такое, что для всех в области со значением удовлетворяет
Альтернативно записанное: непрерывность at означает, что для каждого существует такое, что для всех :
Более интуитивно мы можем сказать, что если мы хотим, чтобы все значения оставались в некоторой небольшой окрестности , нам нужно выбрать достаточно маленькую окрестность для значений вокруг . Если мы можем это сделать, независимо от того, насколько мала окрестность, тогда она непрерывна. в
Говоря современным языком, это обобщается определением непрерывности функции относительно основы топологии , здесь метрической топологии .
Вейерштрасс требовал, чтобы интервал полностью находился в пределах области , но Джордан снял это ограничение.
В доказательствах и численном анализе нам часто необходимо знать, насколько быстро сходятся пределы, или, другими словами, контролировать остаток. Мы можем формализовать это до определения непрерывности. Функция называется функцией управления, если
Функция называется C -непрерывной в, если существует такая окрестность , что
Функция непрерывна, если она C -непрерывна для некоторой управляющей функции C.
Такой подход естественным образом приводит к уточнению понятия непрерывности за счет ограничения набора допустимых функций управления. Для данного набора функций управления функция является -непрерывной, если она -непрерывна для некоторых . Например, непрерывные функции Липшица и Гёльдера показателя степени α ниже определяются набором функций управления
Непрерывность также можно определить с точки зрения колебаний : функция f непрерывна в точке тогда и только тогда, когда ее колебание в этой точке равно нулю; [10] в символах. Преимущество этого определения состоит в том, что оно дает количественную оценку разрыва: колебание показывает, насколько функция разрывна в определенной точке.
Это определение полезно в описательной теории множеств для изучения множества разрывов и непрерывных точек (непрерывные точки представляют собой пересечение множеств, где колебание меньше (следовательно, множество )), и дает быстрое доказательство одного направления Лебега . условие интегрируемости . [11]
Колебание эквивалентно определению путем простой перестановки и использования предела ( lim sup , lim inf ) для определения колебания: если (в данной точке) для данного нет ничего , удовлетворяющего определению, то колебание по крайней мере, и наоборот, если для каждого есть желаемое колебание равно 0. Определение колебания можно естественным образом обобщить на отображения из топологического пространства в метрическое пространство .
Коши определил непрерывность функции в следующих интуитивных терминах: бесконечно малое изменение независимой переменной соответствует бесконечно малому изменению зависимой переменной (см. «Кур анализа» , стр. 34). Нестандартный анализ — это способ сделать это математически строгим. Действительная линия дополняется добавлением бесконечных и бесконечно малых чисел, образуя гипердействительные числа . В нестандартном анализе непрерывность можно определить следующим образом.
(см. микронепрерывность ). Другими словами, бесконечно малое приращение независимой переменной всегда приводит к бесконечно малому изменению зависимой переменной, что дает современное выражение определению непрерывности Огюстена-Луи Коши .
Проверку непрерывности данной функции можно упростить, проверив одно из вышеперечисленных определяющих свойств строительных блоков данной функции. Несложно показать, что сумма двух функций, непрерывная в некоторой области, непрерывна и в этой области. Данный
То же самое справедливо и для произведения непрерывных функций ,
Комбинируя указанные выше сохранения непрерывности и непрерывности постоянных функций и тождественной функции на , можно прийти к непрерывности всех полиномиальных функций на , таких как
Точно так же можно показать, что обратная непрерывная функция
Отсюда следует, что, исключая корни частного непрерывных функций
Например, функция (на фото)
Поскольку функция синус непрерывна для всех действительных чисел, функция sinc определена и непрерывна для всех действительных чисел . Однако, в отличие от предыдущего примера, G можно расширить до непрерывной функции для всех действительных чисел, определив значение равным 1, что равно предел, когда x приближается к 0, т. е.
Таким образом, установив
функция sinc становится непрерывной функцией для всех действительных чисел. Термин «устранимая особенность» используется в таких случаях, когда (пере)определение значений функции так, чтобы они совпадали с соответствующими пределами, делает функцию непрерывной в определенных точках.
Более сложная конструкция непрерывных функций — это композиция функций . Даны две непрерывные функции
Эта конструкция позволяет, например, утверждать, что
Примером разрывной функции является ступенчатая функция Хевисайда , определяемая формулой
Выбери, например . Тогда вокруг , то есть нет открытого интервала , который заставил бы все значения находиться в пределах -окрестности , то есть внутри . Интуитивно мы можем думать об этом типе разрыва как о внезапном скачке значений функции.
Аналогично, функция Signum или Sign
Помимо правдоподобных непрерывностей и разрывов, подобных описанным выше, существуют также функции с поведением, часто называемым патологическим , например, функция Томаэ ,
Пусть – функция, непрерывная в точке , и такое значение. Тогда в некоторой окрестности [13]
Доказательство: По определению непрерывности, возьмем , то существует такое, что
Теорема о промежуточном значении — это теорема существования , основанная на свойстве полноты вещественного числа и утверждающая:
Например, если в возрасте от двух до шести лет ребенок вырастает с 1 м до 1,5 м, то в какой-то момент между двумя и шестью годами рост ребенка должен был составлять 1,25 м.
Как следствие, если f непрерывна на и и различаются знаком , то в некоторой точке должно равняться нулю .
Теорема о крайних значениях утверждает, что если функция f определена на замкнутом интервале (или любом замкнутом и ограниченном множестве) и непрерывна там, то функция достигает своего максимума, т. е. существует с для всех . То же самое верно и для минимума ф . Эти утверждения, вообще говоря, неверны, если функция определена на открытом интервале (или любом множестве, которое не является одновременно замкнутым и ограниченным), как, например, непрерывная функция , определенная на открытом интервале (0,1), не достигает максимума, будучи неограниченным сверху.
Любая дифференцируемая функция
всюду непрерывен. Однако оно не дифференцируемо в (но дифференцируемо всюду). Функция Вейерштрасса также всюду непрерывна, но нигде не дифференцируема.
Производная f′ ( x ) дифференцируемой функции f ( x ) не обязательно должна быть непрерывной. Если f′ ( x ) непрерывно, то f ( x ) называется непрерывно дифференцируемым . Множество таких функций обозначается. В более общем смысле множество функций
Любая непрерывная функция
Учитывая последовательность
Разрывные функции могут быть ограниченно разрывными, что порождает концепцию направленной непрерывности (или непрерывных функций справа и слева) и полунепрерывности . Грубо говоря, функция непрерывна справа , если при приближении к предельной точке справа не происходит скачка. Формально f называется непрерывным справа в точке c , если выполняется следующее: для любого числа, каким бы малым оно ни было, существует такое число, что для всех x в области со значением будет удовлетворять
Это то же самое условие, что и для непрерывных функций, за исключением того, что оно должно выполняться только для x, строго большего, чем c . Требование этого вместо этого для всех x с дает понятие непрерывных слева функций. Функция непрерывна тогда и только тогда, когда она непрерывна одновременно справа и слева.
Функция f является полунепрерывной снизу , если, грубо говоря, любые скачки, которые могут произойти, идут только вниз, но не вверх. То есть для любого существует такое число, что для всех x в области значений со значением удовлетворяет
Понятие непрерывных вещественнозначных функций можно обобщить на функции между метрическими пространствами . Метрическое пространство — это множество, оснащенное функцией (называемой метрикой ) , которую можно рассматривать как измерение расстояния между любыми двумя элементами в X. Формально метрика — это функция
Множество точек, в которых функция между метрическими пространствами непрерывна, является множеством – это следует из определения непрерывности.
Это понятие непрерывности применяется, например, в функциональном анализе . Ключевое утверждение в этой области гласит, что линейный оператор
Понятие непрерывности функций между метрическими пространствами можно усилить различными способами, ограничив зависимость от и c в приведенном выше определении. Интуитивно понятно, что функция f , как указано выше, является равномерно непрерывной, если не зависит от точки c . Точнее, требуется, чтобы для всякого действительного числа существовало такое, что для каждого с имеем: Таким образом, любая равномерно непрерывная функция непрерывна. Обратное утверждение вообще не верно, но справедливо, когда доменное пространство X компактно . Равномерно непрерывные отображения могут быть определены в более общей ситуации равномерных пространств . [14]
Функция является непрерывной по Гельдеру с показателем α (действительным числом), если существует константа K такая, что для всех неравенств
Другое, более абстрактное понятие непрерывности — это непрерывность функций между топологическими пространствами , в которых обычно нет формального понятия расстояния, как в случае метрических пространств . Топологическое пространство — это множество X вместе с топологией на X , которая представляет собой набор подмножеств X , удовлетворяющих нескольким требованиям в отношении их объединений и пересечений, которые обобщают свойства открытых шаров в метрических пространствах, но при этом позволяют говорить об окрестностях данной точки. Элементы топологии называются открытыми подмножествами X ( относительно топологии).
Функция
Это эквивалентно условию, что прообразы замкнутых множеств (которые являются дополнениями к открытым подмножествам) в Y замкнуты в X .
Крайний пример: если множеству X задана дискретная топология (в которой каждое подмножество открыто), все функции
Перевод на язык окрестностей -определения непрерывности приводит к следующему определению непрерывности в точке:
Функция непрерывна в точке тогда и только тогда, когда для любой окрестности V в Y существует окрестность U такая, что
Это определение эквивалентно тому же утверждению с окрестностями, ограниченными открытыми окрестностями, и может быть переформулировано несколькими способами, используя прообразы , а не изображения.
Кроме того, поскольку каждое множество, содержащее окрестность, также является окрестностью и является самым большим подмножеством U из X , так что это определение можно упростить до:
Функция непрерывна в точке тогда и только тогда, когда является окрестностью для каждой окрестности V из Y .
Поскольку открытое множество — это множество, которое является окрестностью всех своих точек, функция непрерывна в каждой точке X тогда и только тогда, когда она является непрерывной функцией.
Если X и Y — метрические пространства, это эквивалентно рассмотрению системы окрестностей открытых шаров с центрами в точках x и f ( x ) вместо всех окрестностей. Это возвращает приведенное выше определение непрерывности в контексте метрических пространств. В общих топологических пространствах нет понятия близости или расстояния. Однако если целевое пространство является хаусдорфовым пространством , то по-прежнему верно, что f непрерывно в точке a тогда и только тогда, когда предел f при приближении x к a равен f ( a ). В изолированной точке каждая функция непрерывна.
Данное отображение является непрерывным в том и только в том случае, если всякий раз, когда фильтр на том , который сходится к , в котором выражается записью то обязательно в Если обозначает фильтр окрестности в то непрерывен в том и только в том случае, если в [16] Более того, это происходит, если и только если префильтр является базой фильтра соседства из [ 16]
Существует несколько эквивалентных определений топологической структуры ; таким образом, существует несколько эквивалентных способов определения непрерывной функции.
В некоторых контекстах топологию пространства удобно задавать в терминах предельных точек . Это часто достигается путем указания того, когда точка является пределом последовательности . Тем не менее, для некоторых пространств, которые в некотором смысле слишком велики, также указывается, когда точка является пределом более общих наборов точек, индексированных направленным набором , известным как сети . Функция (по Гейне)непрерывна только в том случае, если она переводит пределы последовательностей в пределы последовательностей. В первом случае также достаточно сохранения пределов; во втором случае функция может сохранять все пределы последовательностей, но при этом не быть непрерывной, а сохранение сетей является необходимым и достаточным условием.
Более подробно, функция является секвенциально непрерывной, если всякий раз, когда последовательность в сходится к пределу , она сходится к Таким образом, секвенциально непрерывные функции «сохраняют последовательные пределы». Любая непрерывная функция секвенциально непрерывна. Если пространство - счетное в первую очередь и имеет место счетный выбор , то верно и обратное: любая функция, сохраняющая последовательные пределы, непрерывна. В частности, если пространство метрическое, секвенциальная непрерывность и непрерывность эквивалентны. Для пространств без первого счета секвенциальная непрерывность может быть строго слабее непрерывности. (Пространства, для которых эти два свойства эквивалентны, называются секвенциальными пространствами .) Это мотивирует рассматривать сети вместо последовательностей в общих топологических пространствах. Непрерывные функции сохраняют пределы сетей, и это свойство характеризует непрерывные функции.
Например, рассмотрим случай вещественных функций одной действительной переменной: [17]
Теорема : Функция непрерывна тогда и только тогда, когда она секвенциально непрерывна в этой точке.
С точки зрения внутреннего оператора функция между топологическими пространствами непрерывна тогда и только тогда, когда для каждого подмножества
С точки зрения оператора замыкания , непрерывно тогда и только тогда, когда для любого подмножества
Вместо определения топологических пространств их открытыми подмножествами любая топология может альтернативно определяться оператором замыкания или внутренним оператором . В частности, карта, которая отправляет подмножество топологического пространства к его топологическому замыканию, удовлетворяет аксиомам замыкания Куратовского . И наоборот, для любого оператора замыкания существует уникальная топология на (в частности, ) такая, что для каждого подмножества равно топологическому замыканию в . Если каждое из множеств и связано с операторами замыкания (оба обозначаются через ), то отображение является непрерывным, если и только если для каждого подмножества
Аналогично, карта, которая отправляет подмножество в свою топологическую внутреннюю часть, определяет внутренний оператор . И наоборот, любой внутренний оператор индуцирует уникальную топологию на (в частности, ) такую, что для каждого равна топологической внутренней части в . Если множества и каждый связаны с внутренними операторами (оба обозначаются через ), то отображение непрерывно тогда и только тогда, когда для каждого подмножества [18]
Непрерывность также можно охарактеризовать с точки зрения фильтров . Функция непрерывна тогда и только тогда, когда всякий раз, когда фильтр сходится к точке , предфильтр сходится к Эта характеристика остается верной , если слово «фильтр» заменяется словом «предфильтр». [16]
Если и непрерывны, то непрерывна и композиция. Если непрерывна и
Возможные топологии на фиксированном множестве X частично упорядочены : топология называется более грубой , чем другая топология (обозначение: ), если каждое открытое подмножество относительно также открыто относительно Тогда тождественное отображение
Симметричным понятию непрерывного отображения является открытое отображение , для которого открыты образы открытых множеств. Если открытое отображение f имеет обратную функцию , эта обратная функция непрерывна, а если непрерывное отображение g имеет обратную функцию, эта обратная функция открыта. Учитывая биективную функцию f между двумя топологическими пространствами, обратная функция не обязательно должна быть непрерывной. Биективная непрерывная функция с непрерывной обратной функцией называется гомеоморфизмом .
Если непрерывная биекция имеет областью определения компактное пространство , а ее ко-область — Хаусдорф , то она является гомеоморфизмом.
Дана функция
Двойственно, для функции f из множества S в топологическое пространство X начальная топология на S определяется путем обозначения открытого множества каждого подмножества A из S такого, что для некоторого открытого подмножества U из X . Если S имеет существующую топологию, f непрерывен относительно этой топологии тогда и только тогда, когда существующая топология тоньше, чем исходная топология на S . Таким образом, исходная топология является самой грубой топологией на S , которая делает f непрерывным. Если f инъективно, эта топология канонически отождествляется с топологией подпространства S , рассматриваемой как подмножество X.
Топология на множестве S однозначно определяется классом всех непрерывных функций во всех топологических пространствах X. Аналогичную идею можно применить и к картам.
Если – непрерывная функция из некоторого подмножества топологического пространства, тонепрерывное расширение to—это любая непрерывная функция,такая чтодля каждой, которая является условием, которое часто записывают какДругими словами, это любая непрерывная функция,ограничивающаясяна.Это понятие используется, например, втеореме о расширении ТитцеиХана – Банаха. теорема. Еслионо не является непрерывным, то оно не может иметь непрерывного продолжения. Еслипространство Хаусдорфаявляетсяплотнымподмножеством,тонепрерывное расширение пространствадо, если оно существует, будет единственным. ТеоремаБлюмбергаутверждает, что если— произвольная функция, то существует ее плотное подмножество,ограничение которогонепрерывно; другими словами, каждую функциюможно ограничить некоторым плотным подмножеством, на котором она непрерывна.
В различных других математических областях понятие непрерывности используется в разных, но связанных значениях. Например, в теории порядка функция, сохраняющая порядок между конкретными типами частично упорядоченных множеств , является непрерывной, если для каждого направленного подмножества мы имеем Здесь является супремумом относительно упорядочений в и соответственно. Это понятие непрерывности совпадает с топологической непрерывностью, когда частично упорядоченным множествам задана топология Скотта . [19] [20]
Пространство непрерывности — это обобщение метрических пространств и частично упорядоченных множеств [21] , [22] , в котором используется концепция кванталов и которое можно использовать для унификации понятий метрических пространств и областей . [23]
Пример 5. Функция
непрерывна на
и на
, т. е. при
и
иными словами, в каждой точке своей области определения.
Однако это не непрерывная функция, поскольку ее область определения не является интервалом.
Он имеет единственную точку разрыва, а именно
, и бесконечный разрыв там.