Непрерывная функция
Часть серии статей о |
Исчисление |
---|
В математике — непрерывная функция это функция , у которой небольшое изменение аргумента вызывает небольшое изменение значения функции . Это означает, что нет резких изменений стоимости, известных как разрывы . Точнее, функция является непрерывной, если сколь угодно малые изменения ее значения могут быть обеспечены путем ограничения достаточно малых изменений ее аргумента. – Разрывная функция это функция, которая не является непрерывной . До XIX века математики во многом полагались на интуитивные представления о непрерывности и рассматривали только непрерывные функции. Эпсилон -дельта-определение предела было введено для формализации определения непрерывности.
Непрерывность — одна из основных концепций исчисления и математического анализа , где аргументами и значениями функций являются действительные и комплексные числа. Эта концепция была обобщена на функции между метрическими пространствами и между топологическими пространствами . Последние являются наиболее общими непрерывными функциями, и их определение лежит в основе топологии .
Более сильной формой непрерывности является равномерная непрерывность . В теории порядка , особенно в теории областей , родственным понятием непрерывности является непрерывность Скотта .
Например, функция H ( t ) , обозначающая высоту растущего цветка в момент времени t, будет считаться непрерывной. Напротив, функция M ( t ) , обозначающая сумму денег на банковском счете в момент времени t , будет считаться разрывной, поскольку она «скачет» в каждый момент времени, когда деньги вносятся или снимаются.
История [ править ]
Форма определения непрерывности эпсилон-дельта была впервые дана Бернаром Больцано в 1817 году. Огюстен-Луи Коши определил непрерывность следующим образом: бесконечно малое приращение независимой переменной x всегда приводит к бесконечно малому изменению зависимой переменной y (см., например, Cours d'Analyse , стр. 34). Коши определил бесконечно малые величины через переменные величины, и его определение непрерывности во многом соответствует определению бесконечно малых величин, используемому сегодня (см. микронепрерывность ). Формальное определение и различие между точечной непрерывностью и равномерной непрерывностью были впервые даны Больцано в 1830-х годах, но работа не была опубликована до 1930-х годов. Как и Больцано, [1] Карл Вейерштрасс [2] отрицал непрерывность функции в точке c и по обе стороны от , если она не была определена в точке c нее , но Эдуард Гурса [3] позволило определить функцию только в точке c и по одну сторону от c , а Камилла Джордан [4] позволял это, даже если функция была определена только в c . Все три из этих неэквивалентных определений поточечной непрерывности все еще используются. [5] Эдуард Гейне дал первое опубликованное определение однородной непрерывности в 1872 году, но основывал эти идеи на лекциях, прочитанных Питером Густавом Леженом Дирихле в 1854 году. [6]
Реальные функции [ править ]
Определение [ править ]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2b/Function-1_x.svg/220px-Function-1_x.svg.png)
, Действительная функция которая является функцией преобразования действительных чисел в действительные числа, может быть представлена графиком на декартовой плоскости ; такая функция непрерывна, если, грубо говоря, график представляет собой одну непрерывную кривую которой , областью определения является вся действительная линия. Более математически строгое определение дано ниже. [8]
Непрерывность вещественных функций обычно определяют в терминах пределов . Функция f с переменной x непрерывна при действительном числе c , если предел когда x стремится к c , равно
Существует несколько различных определений (глобальной) непрерывности функции, которые зависят от природы ее области определения .
Функция непрерывна на открытом интервале , если этот интервал содержится в области определения функции и функция непрерывна в каждой точке интервала. Функция, непрерывная на отрезке (вся вещественная линия ) часто называют просто непрерывной функцией; говорят также, что такая функция всюду непрерывна . Например, все полиномиальные функции всюду непрерывны.
Функция непрерывна на полуоткрытом или замкнутом интервале; если интервал содержится в области определения функции, функция непрерывна в каждой внутренней точке интервала, а значение функции в каждой конечной точке, принадлежащей интервалу, является пределом значений функции, когда переменная стремится к конечной точке изнутри интервала. Например, функция непрерывен на всей своей области определения, которая представляет собой замкнутый интервал
Многие часто встречающиеся функции являются частичными функциями , область определения которых состоит из всех действительных чисел, за исключением некоторых изолированных точек . Примеры включают обратную функцию и касательная функция Когда они непрерывны в своей области, в некоторых контекстах говорят, что они непрерывны, хотя они не непрерывны повсюду. В других контекстах, главным образом, когда кто-то интересуется их поведением вблизи исключительных точек, говорят, что они прерывисты.
Частичная функция разрывна в точке, если точка принадлежит топологическому замыканию своей области определения, и либо точка не принадлежит области определения функции, либо функция не является непрерывной в этой точке. Например, функции и являются разрывными в точке 0 и остаются разрывными, какое бы значение ни было выбрано для их определения в точке 0 . Точка, в которой функция разрывна, называется разрывом .
Используя математическую запись, существует несколько способов определения непрерывных функций в трех упомянутых выше смыслах.
Позволять быть функцией, определенной на подмножестве из набора действительных чисел.
Это подмножество является областью f . Некоторые возможные варианты включают в себя
- : то есть, это весь набор действительных чисел. или, для a и b , действительных чисел
- : представляет собой закрытый интервал , или
- : представляет собой открытый интервал .
В случае с доменом определяется как открытый интервал, и не принадлежат к и значения и не имеет значения для непрерывности .
Определение с точки зрения пределов функций [ править ]
Функция f непрерывна в некоторой точке c своей области определения, предел если когда x приближается к c через область определения f , существует и равен [9] В математической записи это записывается как В деталях это означает три условия: во-первых, f должно быть определено в c (гарантируется требованием, чтобы c находился в области определения f ). Во-вторых, предел этого уравнения должен существовать. В-третьих, значение этого предела должно быть равно
(Здесь мы предположили, что область определения f не имеет изолированных точек .)
Определение с точки зрения кварталов [ править ]
Окрестность — это множество , точки c содержащее, по крайней мере, все точки в пределах некоторого фиксированного расстояния от c . Интуитивно понятно, что функция непрерывна в точке c, если диапазон f в окрестности точки c сжимается до одной точки. поскольку ширина окрестности вокруг c сжимается до нуля. Точнее, функция f непрерывна в точке c своей области определения, если для любой окрестности есть район в своей области такой, что в любое время
Поскольку окрестности определены в любом топологическом пространстве , это определение непрерывной функции применимо не только к действительным функциям, но и тогда, когда область определения и кодомен являются топологическими пространствами , и, таким образом, является наиболее общим определением. Отсюда следует, что функция автоматически непрерывна в каждой изолированной точке своей области определения. Например, каждая вещественная функция целых чисел непрерывна.
последовательностей пределов Определение с точки зрения
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/be/Continuity_of_the_Exponential_at_0.svg/220px-Continuity_of_the_Exponential_at_0.svg.png)
Вместо этого можно потребовать этого для любой последовательности точек в области, сходящейся к c , соответствующая последовательность сходится к В математических обозначениях
непрерывных функций Определения Вейерштрасса и Джордана (эпсилон – дельта )
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7f/Example_of_continuous_function.svg/220px-Example_of_continuous_function.svg.png)
Явно включив определение предела функции, мы получаем автономное определение: Учитывая функцию как указано выше, и элемент домена , называется непрерывным в точке когда выполняется следующее: для любого положительного действительного числа каким бы маленьким оно ни было, существует некоторое положительное действительное число такой, что для всех в области с значение удовлетворяет
Альтернативно написано: непрерывность в означает, что для каждого существует такой, что для всех :
Более интуитивно мы можем сказать, что если мы хотим получить все ценности, чтобы остаться в каком-то небольшом районе вокруг нам нужно выбрать достаточно маленькую окрестность для ценности вокруг Если мы сможем сделать это, независимо от того, насколько мал окрестности, то является непрерывным в
Говоря современным языком, это обобщается определением непрерывности функции относительно основы топологии , здесь метрической топологии .
Вейерштрасс требовал, чтобы интервал быть полностью в пределах домена , но Джордан снял это ограничение.
Определение с точки зрения контроля над остатком [ править ]
В доказательствах и численном анализе нам часто необходимо знать, насколько быстро сходятся пределы, или, другими словами, контролировать остаток. Мы можем формализовать это до определения непрерывности. Функция называется функцией управления, если
- C не убывает
Функция является C -непрерывным в если существует такая окрестность что
Функция непрерывна по если оно C -непрерывно для некоторой управляющей C. функции
Такой подход естественным образом приводит к уточнению понятия непрерывности за счет ограничения набора допустимых функций управления. Для заданного набора функций управления функция -непрерывный, если это так -непрерывный для некоторых Например, Липшица и непрерывные функции Гельдера показателя α ниже определяются набором функций управления соответственно
Определение с использованием колебаний [ править ]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Rapid_Oscillation.svg/220px-Rapid_Oscillation.svg.png)
Непрерывность также можно определить с точки зрения колебаний : функция f непрерывна в точке. тогда и только тогда, когда его колебание в этой точке равно нулю; [10] в символах, Преимущество этого определения состоит в том, что оно дает количественную оценку разрыва: колебание показывает, насколько функция разрывна в определенной точке.
Это определение полезно в описательной теории множеств для изучения множества разрывов и непрерывных точек: непрерывные точки представляют собой пересечение множеств, где колебание меньше (отсюда и set ) – и дает быстрое доказательство одного направления условия интегрируемости Лебега . [11]
Колебания эквивалентны определение путем простой перестановки и использования предела ( lim sup , lim inf ) для определения колебаний: если (в данной точке) для данной здесь нет который удовлетворяет определению, то колебание не менее и наоборот, если для каждого есть желаемый колебание равно 0. Определение колебания можно естественным образом обобщить на отображения топологического пространства в метрическое пространство .
Определение с использованием гиперреальности [ править ]
Коши определил непрерывность функции в следующих интуитивных терминах: бесконечно малое изменение независимой переменной соответствует бесконечно малому изменению зависимой переменной (см. «Кур анализа» , стр. 34). Нестандартный анализ — это способ сделать это математически строгим. Действительная линия дополняется добавлением бесконечных и бесконечно малых чисел, образуя гипердействительные числа . В нестандартном анализе непрерывность можно определить следующим образом.
(см. микронепрерывность ). Другими словами, бесконечно малое приращение независимой переменной всегда приводит к бесконечно малому изменению зависимой переменной, что дает современное выражение Огюстена-Луи Коши определению непрерывности .
Построение непрерывных функций [ править ]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2d/Brent_method_example.svg/220px-Brent_method_example.svg.png)
Проверку непрерывности данной функции можно упростить, проверив одно из вышеперечисленных определяющих свойств строительных блоков данной функции. Несложно показать, что сумма двух функций, непрерывная в некоторой области, непрерывна и в этой области. Данный то сумма непрерывных функций (определяется для всех ) непрерывен в
То же самое справедливо и для произведения непрерывных функций , (определяется для всех ) является непрерывным в
Объединив указанные выше сохранения непрерывности, непрерывности постоянных функций и тождественной функции на , приходим к непрерывности всех полиномиальных функций на , такой как (на фото справа).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c4/Homografia.svg/220px-Homografia.svg.png)
Точно так же можно показать, что обратная непрерывная функция (определяется для всех такой, что ) является непрерывным в
Это означает, что, исключая корни частное непрерывных функций (определяется для всех , такой, что ) также непрерывно включен .
Например, функция (на фото) определяется для всех действительных чисел и непрерывен в каждой такой точке. Таким образом, это непрерывная функция. Вопрос о преемственности в не возникает, поскольку не находится в области Нет непрерывной функции это согласуется с для всех
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Si_cos.svg/220px-Si_cos.svg.png)
Поскольку функция синус непрерывна во всех действительных числах, функция sinc определена и непрерывна для всех реальных Однако, в отличие от предыдущего примера, G можно расширить до непрерывной функции для всех действительных чисел, определив значение быть 1, что является пределом когда x приближается к 0, т.е.
Таким образом, установив
функция sinc становится непрерывной функцией для всех действительных чисел. Термин «устранимая особенность» используется в таких случаях, когда (пере)определение значений функции так, чтобы они совпадали с соответствующими пределами, делает функцию непрерывной в определенных точках.
Более сложная конструкция непрерывных функций — это композиция функций . Даны две непрерывные функции их состав, обозначаемый как и определяется является непрерывным.
Эта конструкция позволяет, например, утверждать, что является непрерывным для всех
Примеры разрывных функций [ править ]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c1/Discontinuity_of_the_sign_function_at_0.svg/300px-Discontinuity_of_the_sign_function_at_0.svg.png)
Примером разрывной функции является ступенчатая функция Хевисайда. , определяется
Выберите, например . Тогда нет - окрестности вокруг , т.е. нет открытого интервала с это заставит всех ценности, которые должны находиться в пределах окрестности - , то есть внутри . Интуитивно мы можем думать об этом типе разрыва как о внезапном скачке значений функции.
Аналогично, функция Signum или Sign является прерывистым в но непрерывно повсюду. Еще один пример: функция непрерывен всюду, кроме .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/15/Thomae_function_%280%2C1%29.svg/200px-Thomae_function_%280%2C1%29.svg.png)
Помимо правдоподобных непрерывностей и разрывов, подобных описанным выше, существуют также функции с поведением, часто называемым патологическим , например, функция Томаэ , непрерывно во всех иррациональных числах и разрывно во всех рациональных числах. Аналогично, функция Дирихле , индикаторная функция для множества рациональных чисел, нигде не является непрерывным.
Свойства [ править ]
Полезная лемма [ править ]
Позволять быть функцией, непрерывной в точке и быть такой ценностью Затем в каком-то районе [13]
Доказательство. По определению непрерывности возьмем , то существует такой, что Предположим, что в окрестности есть точка для которого тогда мы имеем противоречие
Теорема о промежуточном значении
Теорема о промежуточном значении — это теорема существования , основанная на свойстве полноты вещественного числа и утверждающая:
- Если действительная функция f непрерывна на отрезке и k - некоторое число между и тогда есть какое-то число такой, что
Например, если в возрасте от двух до шести лет ребенок вырастает с 1 м до 1,5 м, то в какой-то момент между двумя и шестью годами рост ребенка должен был составлять 1,25 м.
Как следствие, если f непрерывна на и и различаются знаком , то в какой-то момент должно равняться нулю .
экстремальных об значениях Теорема
Теорема об экстремальных значениях утверждает, что если функция f определена на замкнутом интервале (или любое замкнутое и ограниченное множество) и непрерывна там, то функция достигает максимума, т. е. существует с для всех То же самое относится и к минимуму f . Эти утверждения, как правило, не верны, если функция определена на открытом интервале. (или любое множество, которое не является одновременно замкнутым и ограниченным), как, например, непрерывная функция определенное на интервале (0,1), не достигает максимума, будучи неограниченным сверху.
с дифференцируемостью интегрируемостью Связь и
Любая дифференцируемая функция как можно показать, является непрерывным. Обратное неверно : например, абсолютного значения функция
всюду непрерывен. Однако оно не дифференцируемо при (но так везде). Функция Вейерштрасса также всюду непрерывна, но нигде не дифференцируема.
Производная f f′ ( x ) дифференцируемой функции ( x ) не обязательно должна быть непрерывной. Если f′ ( x ) непрерывно, то f ( x ) называется непрерывно дифференцируемым . Множество таких функций обозначается В более общем смысле набор функций (из открытого интервала (или открытого подмножества ) к действительным числам) такие, что f есть раз дифференцируемы и такие, что -я производная от f непрерывна, обозначается См. класс дифференцируемости . В области компьютерной графики свойства, связанные (но не идентичные) иногда называют (непрерывность положения), (непрерывность касания) и (непрерывность кривизны); см. Гладкость кривых и поверхностей .
Любая непрерывная функция интегрируема (например , в смысле интеграла Римана ). Обратное неверно, как показывает знаковая функция (интегрируемая, но разрывная) .
Поточечные и равномерные пределы [ править ]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/39/Uniform_continuity_animation.gif/220px-Uniform_continuity_animation.gif)
Учитывая последовательность функций таких, что предел существует для всех , результирующая функция называется поточечным пределом последовательности функций Поточечная предельная функция не обязательно должна быть непрерывной, даже если все функции являются непрерывными, как показывает анимация справа. Однако функция f непрерывна, если все функции непрерывны и последовательность сходится равномерно по теореме о равномерной сходимости . Эту теорему можно использовать, чтобы показать, что показательные функции , логарифмы , функция квадратного корня и тригонометрические функции непрерывны.
Направленность и полунепрерывность [ править ]
Разрывные функции могут быть ограниченно разрывными, что порождает концепцию направленной непрерывности (или непрерывных справа и слева функций) и полунепрерывности . Грубо говоря, функция непрерывна справа, если при приближении к предельной точке справа не происходит скачка. Формально f называется непрерывным справа в точке c , если выполняется следующее: для любого числа каким бы маленьким оно ни было, существует некоторое количество такой, что для всех x в области с значение удовлетворит
Это то же самое условие, что и для непрерывных функций, за исключением того, что оно должно выполняться только для x, строго большего, чем c . Вместо этого требуется его для всех x с дает понятие непрерывных слева функций. Функция непрерывна тогда и только тогда, когда она непрерывна одновременно справа и слева.
Функция f является полунепрерывной снизу, если, грубо говоря, любые скачки, которые могут произойти, идут только вниз, но не вверх. То есть для любого существует некоторое число такой, что для всех x в области с значение удовлетворяет Обратное условие — полунепрерывность сверху .
Непрерывные функции между метрическими пространствами [ править ]
Понятие непрерывных вещественнозначных функций можно обобщить на функции между метрическими пространствами . Метрическое пространство – это множество оснащен функцией (называемой метрикой ) это можно рассматривать как измерение расстояния между любыми двумя элементами X. в Формально метрика — это функция которое удовлетворяет ряду требований, в частности неравенству треугольника . Даны два метрических пространства и и функция затем непрерывен в точке (относительно заданной метрики), если для любого положительного действительного числа существует положительное действительное число такой, что все удовлетворяющий также удовлетворит Как и в случае с действительными функциями выше, это эквивалентно условию, что для каждой последовательности в с лимитом у нас есть Последнее условие можно ослабить следующим образом: непрерывен в точке тогда и только тогда, когда для каждой сходящейся последовательности в с лимитом , последовательность является последовательностью Коши и находится в области .
Множество точек, в которых функция между метрическими пространствами непрерывна, называется набор – это следует из определение непрерывности.
Это понятие непрерывности применяется, например, в функциональном анализе . Ключевое утверждение в этой области гласит, что линейный оператор между нормированными векторными пространствами и (которые представляют собой векторные пространства , снабженные совместимой нормой , обозначаемой ) непрерывен тогда и только тогда, когда он ограничен , т. е. существует константа такой, что для всех
Гельдера и , непрерывность Равномерность Липшица
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Lipschitz_continuity.png/220px-Lipschitz_continuity.png)
Понятие непрерывности функций между метрическими пространствами можно усилить различными способами, ограничив способ зависит от и c в определении выше. Интуитивно понятно, что функция f , указанная выше, является равномерно непрерывной , если делает не зависит от точки c . Точнее, требуется, чтобы для каждого действительного числа Существует такой, что для каждого с у нас есть это Таким образом, любая равномерно непрерывная функция непрерывна. когда доменное пространство X компактно Обратное утверждение вообще не верно, но справедливо , . Равномерно непрерывные отображения могут быть определены в более общей ситуации равномерных пространств . [14]
Функция является непрерывной по Гельдеру с показателем α (действительным числом), если существует константа K такая, что для всех неравенство держит. Любая гельдеровская непрерывная функция равномерно непрерывна. Частный случай называется липшицевой непрерывностью . То есть функция является липшицевой, если существует константа K такая, что выполняется неравенство справедливо для любого [15] Условие Липшица встречается, например, в теореме Пикара–Линделёфа о решениях обыкновенных дифференциальных уравнений .
Непрерывные функции между топологическими пространствами [ править ]
Другое, более абстрактное понятие непрерывности — это непрерывность функций между топологическими пространствами , в которых обычно нет формального понятия расстояния, как в случае метрических пространств . Топологическое пространство — это множество X вместе с топологией на X , которая представляет собой набор подмножеств X , удовлетворяющих нескольким требованиям в отношении их объединений и пересечений, которые обобщают свойства открытых шаров в метрических пространствах, но при этом позволяют говорить об окрестностях данной точки. Элементы топологии называются открытыми подмножествами X ( относительно топологии).
Функция между двумя топологическими пространствами X и Y является непрерывным, если для любого открытого множества обратное изображение является открытым подмножеством X . То есть f — функция между множествами X и Y (а не над элементами топологии ), но непрерывность f зависит от топологий, используемых на X и Y .
Это эквивалентно условию, что прообразы замкнутых множеств (которые являются дополнениями к открытым подмножествам) в Y замкнуты в X .
Крайний пример: если множеству X задана дискретная топология (в которой каждое подмножество открыто), все функции любому топологическому пространству T непрерывны. С другой стороны, если X оснащено недискретной топологией (в которой единственными открытыми подмножествами являются пустое множество и X ) и множество пространства T не меньше T 0 , то единственными непрерывными функциями являются постоянные функции. И наоборот, любая функция, кодовая область которой недискретна, непрерывна.
Непрерывность в точке [ править ]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Continuity_topology.svg/339px-Continuity_topology.svg.png)
Перевод на язык окрестностей г. -определение непрерывности приводит к следующему определению непрерывности в точке:
Функция непрерывен в точке тогда и только тогда, когда для любой V окрестности в Y окрестность U существует такой, что
Это определение эквивалентно тому же утверждению с окрестностями, ограниченными открытыми окрестностями, и может быть переформулировано несколькими способами, используя прообразы , а не изображения.
Кроме того, поскольку каждое множество, содержащее окрестность, также является окрестностью, и — наибольшее подмножество U множества X такое, что это определение можно упростить до:
Функция непрерывен в точке если и только если это район для каждой V окрестности в Ю.
Поскольку открытым множеством называется множество, являющееся окрестностью всех своих точек, функция непрерывна в каждой точке X тогда и только тогда, когда она является непрерывной функцией.
Если X и Y — метрические пространства, это эквивалентно рассмотрению окрестностей системы открытых шаров с центрами в точках x и f ( x ) вместо всех окрестностей. Это возвращает вышеизложенное определение непрерывности в контексте метрических пространств. В общих топологических пространствах нет понятия близости или расстояния. Однако если целевое пространство является хаусдорфовым пространством , то по-прежнему верно, что f непрерывно в точке a тогда и только тогда, когда предел f при x приближении к a равен f ( a ). В изолированной точке каждая функция непрерывна.
Данный карта является непрерывным в тогда и только тогда, когда когда-либо это фильтр на который сходится к в что выражается записью тогда обязательно в Если обозначает фильтр окрестности в затем является непрерывным в если и только если в [16] Причём это происходит тогда и только тогда, когда префильтр является базой фильтра для фильтра соседства в [16]
Альтернативные определения [ править ]
несколько эквивалентных определений топологической структуры Существует ; таким образом, существует несколько эквивалентных способов определения непрерывной функции.
Последовательности и сети [ править ]
В некоторых контекстах топологию пространства удобно задавать в терминах предельных точек . Это часто достигается путем указания того, когда точка является пределом последовательности . Тем не менее, для некоторых пространств, которые в некотором смысле слишком велики, также указывается, когда точка является пределом более общих наборов точек, индексированных направленным набором , известным как сети . Функция (по Гейне)непрерывна только в том случае, если она переводит пределы последовательностей в пределы последовательностей. В первом случае достаточно сохранения пределов; во втором случае функция может сохранять все пределы последовательностей, но при этом не быть непрерывной, а сохранение сетей является необходимым и достаточным условием.
Подробно, функция если секвенциально непрерывна, всякий раз, когда последовательность в сходится к пределу последовательность сходится к Таким образом, секвенциально непрерывные функции «сохраняют последовательные пределы». Любая непрерывная функция секвенциально непрерывна. Если является пространством первой счетности и имеет место счетный выбор , то верно и обратное: любая функция, сохраняющая последовательные пределы, непрерывна. В частности, если является метрическим пространством, секвенциальная непрерывность и непрерывность эквивалентны. Для пространств без первого счета секвенциальная непрерывность может быть строго слабее непрерывности. (Пространства, для которых эти два свойства эквивалентны, называются секвенциальными пространствами .) Это мотивирует рассматривать сети вместо последовательностей в общих топологических пространствах. Непрерывные функции сохраняют пределы сетей, и это свойство характеризует непрерывные функции.
Например, рассмотрим случай вещественных функций одной действительной переменной: [17]
Теорема — Функция является непрерывным в тогда и только тогда, когда оно секвенциально непрерывно в этой точке.
Доказательство
|
---|
Определения оператора замыкания и внутреннего оператора [ править ]
В терминах внутреннего оператора функция между топологическими пространствами непрерывна тогда и только тогда, когда для любого подмножества
С точки зрения оператора замыкания , непрерывно тогда и только тогда, когда для любого подмножества То есть, учитывая любой элемент принадлежащий замыканию подмножества обязательно принадлежит замыканию в Если мы объявим, что точка близко к подмножеству если тогда эта терминология позволяет дать простое английское описание непрерывности: непрерывно тогда и только тогда, когда для любого подмножества наносит на карту точки, находящиеся рядом с в точки, близкие к Сходным образом, непрерывен в фиксированной данной точке тогда и только тогда, когда когда-либо близко к подмножеству затем близко к
Вместо того, чтобы задавать топологические пространства их открытыми подмножествами , любая топология на может альтернативно быть определено оператором замыкания или внутренним оператором . В частности, карта, которая отправляет подмножество топологического пространства к его топологическому замыканию удовлетворяет аксиомам замыкания Куратовского . И наоборот, для любого оператора замыкания существует уникальная топология на (конкретно, ) такой, что для любого подмножества равно топологическому замыканию из в Если наборы и каждый связан с операторами замыкания (оба обозначаются ) затем карта непрерывно тогда и только тогда, когда для каждого подмножества
Аналогично, карта, которая отправляет подмножество из в его топологическую внутренность определяет внутренний оператор . И наоборот, любой внутренний оператор создает уникальную топологию на (конкретно, ) такой, что для каждого равен топологической внутренности из в Если наборы и каждый связан с внутренними операторами (оба обозначаются ) затем карта непрерывно тогда и только тогда, когда для каждого подмножества [18]
Фильтры и префильтры [ править ]
Непрерывность также можно охарактеризовать с точки зрения фильтров . Функция непрерывен тогда и только тогда, когда всякий раз, когда фильтр на сходится в в точку затем предварительный фильтр сходится в к Эта характеристика остается верной, если слово «фильтр» заменить на «предварительный фильтр». [16]
Свойства [ править ]
Если и непрерывны, то непрерывна и композиция Если является непрерывным и
- X компактен , то f ( X ) компактен.
- X связен , то f ( X ) связен.
- X , линейно связен тогда f ( X ) линейно связен.
- X — Линделеф , тогда f ( X ) — Линделеф.
- X сепарабельно , то f ( X ) сепарабельно.
Возможные топологии на фиксированном множестве X : частично упорядочены топология считается более грубой , чем другая топология (обозначение: ), если каждое открытое подмножество относительно также открыт по отношению к Тогда карта идентичности непрерывно тогда и только тогда, когда (см. также сравнение топологий ). В более общем смысле, непрерывная функция остается непрерывным, если топология заменяется более грубой топологией и/или заменяется более тонкой топологией .
Гомеоморфизмы [ править ]
Симметричным понятию непрерывного отображения является открытое отображение , для которого образы открыты открытых множеств. Если открытое отображение f имеет обратную функцию , эта обратная функция непрерывна, а если непрерывное отображение g имеет обратную функцию, эта обратная функция открыта. Учитывая биективную функцию f между двумя топологическими пространствами, обратная функция не обязательно должен быть непрерывным. Биективная непрерывная функция с непрерывной обратной функцией называется гомеоморфизмом .
Если непрерывная биекция имеет областью определения компактное пространство , а ее ко-область — Хаусдорф , то она является гомеоморфизмом.
Определение топологий с помощью непрерывных функций [ править ]
Дана функция где X — топологическое пространство, а S — множество (без указанной топологии), окончательная топология на S определяется, если открытыми множествами S быть те подмножества A из S , для которых открыт X. в Если S имеет существующую топологию, f непрерывен относительно этой топологии тогда и только тогда, когда существующая топология грубее , чем конечная топология на S . Таким образом, окончательная топология — это тончайшая топология на S , которая делает f непрерывным. Если f сюръективна , , эта топология канонически отождествляется с фактор-топологией при отношении эквивалентности определяемом f .
Двойственно, для функции f из множества S в топологическое пространство X начальная топология на S определяется путем обозначения открытым множеством каждого подмножества A из S такого, что для некоторого открытого подмножества U из X . Если S имеет существующую топологию, f непрерывен относительно этой топологии тогда и только тогда, когда существующая топология тоньше, чем исходная топология на S . Таким образом, исходная топология является самой грубой топологией на S , которая делает f непрерывным. Если f инъективно, эта топология канонически отождествляется с подпространства S , рассматриваемой как подмножество X. топологией
Топология на множестве S однозначно определяется классом всех непрерывных функций во все топологические пространства X . Аналогичную идею можно применить и к картам.
Связанные понятия [ править ]
Если является непрерывной функцией из некоторого подмножества топологического пространства затем постоянное расширение к любая непрерывная функция такой, что для каждого это состояние, которое часто записывают как Другими словами, это любая непрерывная функция. что ограничивается на Это понятие используется, например, в теореме о продолжении Титце и теореме Хана–Банаха . Если не является непрерывным, то оно не может иметь непрерывного продолжения. Если является хаусдорфовым пространством и представляет собой плотное подмножество затем непрерывное расширение к если он существует, он будет уникальным. Теорема Блюмберга утверждает, что если — произвольная функция, то существует плотное подмножество из такое, что ограничение является непрерывным; другими словами, каждая функция может быть ограничено некоторым плотным подмножеством, на котором оно непрерывно.
В различных других математических областях понятие непрерывности используется в разных, но связанных значениях. Например, в теории порядка функция, сохраняющая порядок между конкретными типами частично упорядоченных множеств и является непрерывным, если для каждого направленного подмножества из у нас есть Здесь является супремумом относительно порядков в и соответственно. Это понятие непрерывности совпадает с топологической непрерывностью, когда частично упорядоченным множествам задана топология Скотта . [19] [20]
В категорий функтор теории между двумя категориями называется непрерывным , если оно коммутирует с малыми пределами . То есть, для любого малого (т. е. индексированного множеством в классов диаграммы объектов от в отличие .
Пространство непрерывности — это обобщение метрических пространств и частично упорядоченных множеств. [21] [22] который использует концепцию кванталов и может быть использован для унификации понятий метрических пространств и областей . [23]
См. также [ править ]
- Непрерывность (математика)
- Абсолютная непрерывность
- Преемственность Дини
- Равнонепрерывность
- Геометрическая непрерывность
- Параметрическая непрерывность
- Классификация несплошностей
- Грубая функция
- Непрерывная функция (теория множеств)
- Непрерывный случайный процесс
- Нормальная функция
- Открытые и закрытые карты
- Кусочно
- Симметрично непрерывная функция
- Функция сохранения направления — аналог непрерывной функции в дискретных пространствах.
Ссылки [ править ]
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- ^ Больцано, Бернар (1817). «Чисто аналитическое доказательство теоремы о том, что между любыми двумя значениями, дающими противоположный результат, существует хотя бы один действительный корень уравнения » . Прага: Хаазе.
- ^ Дугак, Пьер (1973), «Элементы анализа Карла Вейерштрасса», Архив истории точных наук , 10 (1–2): 41–176, doi : 10.1007/bf00343406 , S2CID 122843140
- ^ Гурса, Э. (1904), Курс математического анализа , Бостон: Джинн, стр. 2
- ^ Джордан, MC (1893), Cours d'analyse de l'École Polytechnique , vol. 1 (2-е изд.), Париж: Готье-Виллар, с. 46
- ^ Харпер, Дж. Ф. (2016), «Определение непрерывности действительных функций действительных переменных», Бюллетень BSHM: Журнал Британского общества истории математики , 31 (3): 1–16, doi : 10.1080/17498430.2015.1116053 , S2CID 123997123
- ^ Руснок, П.; Керр-Лоусон, А. (2005), «Больцано и равномерная непрерывность», Historia Mathematica , 32 (3): 303–311, doi : 10.1016/j.hm.2004.11.003
- ^ Стрэнг, Гилберт (1991). Исчисление . СИАМ. п. 702. ИСБН 0961408820 .
- ^ Спек, Джаред (2014). «Непрерывность и прерывистость» (PDF) . Массачусетский технологический институт Математика . п. 3. Архивировано из оригинала (PDF) 06 октября 2016 г. Проверено 2 сентября 2016 г.
Пример 5. Функция постоянно включен и дальше , то есть для и для другими словами, в каждой точке своей области. Однако это не непрерывная функция, поскольку ее область определения не является интервалом. Он имеет единственную точку разрыва, а именно , и там бесконечный разрыв.
- ^ Ланг, Серж (1997), Анализ бакалавриата , Тексты для бакалавров по математике (2-е изд.), Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-94841-6 , раздел II.4
- ^ Введение в реальный анализ , обновлено в апреле 2010 г., Уильям Ф. Тренч, Теорема 3.5.2, стр. 172
- ^ Введение в реальный анализ , обновлено в апреле 2010 г., Уильям Ф. Тренч, 3.5 «Более продвинутый взгляд на существование правильного интеграла Римана», стр. 171–177.
- ^ «Элементарное исчисление» . Wisc.edu .
- ^ Браун, Джеймс Уорд (2009), Комплексные переменные и приложения (8-е изд.), McGraw Hill, стр. 54, ISBN 978-0-07-305194-9
- ^ Гаал, Стивен А. (2009), Топология множества точек , Нью-Йорк: Dover Publications , ISBN 978-0-486-47222-5 , раздел IV.10
- ^ Сиркоид, Мишел О (2006), Метрические пространства , серия Springer по математике для студентов, Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-1-84628-369-7 , раздел 9.4
- ^ Перейти обратно: а б с Дугунджи 1966 , стр. 211–221.
- ^ Шурман, Джерри (2016). Исчисление и анализ в евклидовом пространстве (иллюстрированное издание). Спрингер. стр. 271–272. ISBN 978-3-319-49314-5 .
- ^ «Общая топология — Непрерывность и внутренность» . Математический обмен стеками .
- ^ Губо-Ларрек, Жан (2013). Нехаусдорфова топология и теория предметной области: избранные темы топологии множества точек . Издательство Кембриджского университета . ISBN 978-1107034136 .
- ^ Гирц, Г.; Хофманн, К.Х.; Кеймель, К.; Лоусон, доктор юридических наук; Мислов, М.В.; Скотт, DS (2003). Непрерывные решетки и области . Энциклопедия математики и ее приложений. Том. 93. Издательство Кембриджского университета. ISBN 0521803381 .
- ^ Флэгг, Р.К. (1997). «Кванталы и пространства непрерывности». Алгебра Универсалис . 37 (3): 257–276. CiteSeerX 10.1.1.48.851 . дои : 10.1007/s000120050018 . S2CID 17603865 .
- ^ Копперман, Р. (1988). «Все топологии основаны на обобщенных метриках». Американский математический ежемесячник . 95 (2): 89–97. дои : 10.2307/2323060 . JSTOR 2323060 .
- ^ Флэгг, Б.; Копперман, Р. (1997). «Пространства непрерывности: согласование областей и метрических пространств» . Теоретическая информатика . 177 (1): 111–138. дои : 10.1016/S0304-3975(97)00236-3 .
Библиография [ править ]
- Дугунджи, Джеймс (1966). Топология . Бостон: Аллин и Бэкон. ISBN 978-0-697-06889-7 . OCLC 395340485 .
- «Непрерывная функция» , Математическая энциклопедия , EMS Press , 2001 [1994]