В математике , А непрерывная функция является функцией , которая не имеет каких - либо резких изменений значения , известные как разрывами . Точнее, функция является непрерывной, если можно гарантировать сколь угодно малые изменения ее выхода, ограничивая достаточно малыми изменениями ее вход. Если функция не непрерывна, она называется разрывной . Вплоть до 19-го века математики в основном полагались на интуитивные представления о непрерывности, в течение которых были предприняты попытки, такие как определение эпсилон-дельта, чтобы формализовать его.
Непрерывность функций - одно из основных понятий топологии , которое в полной мере рассматривается ниже. Вводная часть этой статьи посвящена особому случаю, когда входы и выходы функций являются действительными числами . Более сильная форма непрерывности - это равномерная непрерывность . Кроме того, в этой статье обсуждается определение для более общего случая функций между двумя метрическими пространствами . В теории порядка , особенно в теории предметной области , рассматривается понятие непрерывности, известное как непрерывность Скотта . Существуют и другие формы преемственности, но они не обсуждаются в этой статье.
Например, функция H ( t ), обозначающая высоту растущего цветка в момент времени t , будет считаться непрерывной. Напротив, функция M ( t ), обозначающая количество денег на банковском счете в момент времени t , будет считаться прерывистой, поскольку она «прыгает» в каждый момент времени, когда деньги вносятся или снимаются.
История
Форма эпсилон-дельта-определения непрерывности была впервые дана Бернаром Больцано в 1817 году. Огюстен-Луи Коши определил непрерывность следующим образом: бесконечно малое приращение независимой переменной x всегда дает бесконечно малое изменениезависимой переменной y (см., например, Cours d'Analyse , стр. 34). Коши определил бесконечно малые величины в терминах переменных величин, и его определение непрерывности близко соответствует определению бесконечно малых, используемому сегодня (см. Микропрерывность ). Формальное определение и различие между точечной непрерывностью и равномерной непрерывностью были впервые даны Больцано в 1830-х годах, но работа не была опубликована до 1930-х годов. Как Больцано, [1] Карл Вейерштрасс [2] отрицает непрерывность функции в точке с , если она не была определена в и с обеих сторон с , но Гурса [3] позволило функцию , чтобы определить только при и на одной стороне of c , а Камилла Джордана [4] допускала это, даже если функция была определена только в c . Все три из этих неэквивалентных определений точечной непрерывности все еще используются. [5] Эдуард Гейне дал первое опубликованное определение однородной непрерывности в 1872 году, но основал эти идеи на лекциях, прочитанных Петером Густавом Леженом Дирихле в 1854 году. [6]
Реальные функции
Определение
Действительная функция , которая является функцией от действительных чисел до действительных чисел, может быть представлена в виде графика в декартовой плоскости ; такая функция является непрерывной, если, грубо говоря, график представляет собой единую непрерывную кривую , областью определения которой является вся вещественная линия. Ниже дается более математически строгое определение. [7]
Строгое определение непрерывности действительных функций обычно дается в первом курсе исчисления в терминах идеи предела . Во-первых, функция f с переменной x называется непрерывной в точке c на действительной прямой, если предел f ( x ) , когда x приближается к этой точке c , равен значению f (c) ; во-вторых, функция (в целом) называется непрерывной , если она непрерывна в каждой точке. Функция называется разрывной (или имеющей разрыв ) в какой-то момент, когда она не является непрерывной в этом месте. Сами по себе эти точки также рассматриваются как разрывы .
Есть несколько различных определений непрерывности функции. Иногда функцию называют непрерывной, если она непрерывна в каждой точке своей области определения. В этом случае функция f ( x ) = tan ( x ) с областью определения всех действительных x ≠ (2 n +1) π / 2 , n любого целого числа, является непрерывной. Иногда делается исключение для границ домена. Например, график функции f ( x ) = √ x с областью определения всех неотрицательных действительных чисел имеет левый конец. В этом случае требуется только предел справа, чтобы равняться значению функции. Согласно этому определению f непрерывна на границе x = 0 и, следовательно, для всех неотрицательных аргументов. Наиболее распространенное и ограничивающее определение состоит в том, что функция является непрерывной, если она непрерывна для всех действительных чисел. В этом случае предыдущие два примера не являются непрерывными, но каждая полиномиальная функция непрерывна, как синус , косинус и экспоненциальные функции . Следует проявлять осторожность при использовании слова « непрерывный» , чтобы из контекста было ясно, какое значение этого слова имеет в виду.
Используя математические обозначения, можно несколькими способами определить непрерывные функции в каждом из трех упомянутых выше смыслов.
Позволять
- быть функцией, определенной на подмножестве из набора реальных чисел.
Это подмножество является областью определения f . Некоторые возможные варианты включают
- ( - весь набор действительных чисел), или, для действительных чисел a и b ,
- ( это замкнутый интервал ), или
- ( - открытый интервал ).
В случае домена определяется как открытый интервал, а также не принадлежат , а значения а также не имеет значения для преемственности .
Определение в терминах пределов функций
Функция F является непрерывным в некоторой точке с его областью , если предел из F ( х ), так как х приближается к C через область F , существует и равен F ( гр ). [8] В математических обозначениях это записывается как
Подробно это означает три условия: во-первых, f должен быть определен в c (гарантируется требованием, чтобы c находился в области определения f ). Во-вторых, должен существовать предел в левой части этого уравнения. В-третьих, значение этого предела должно равняться f ( c ).
(Здесь мы предположили, что область определения f не имеет изолированных точек .)
Определение с точки зрения окрестностей
Окрестность некоторой точки с представляет собой набор , который содержит, по крайней мере, все точки в пределах некоторого фиксированного расстояния с . Интуитивно функция является непрерывной в точке c, если диапазон f в окрестности c сжимается до единственной точки f ( c ) по мере того, как ширина окрестности вокруг c уменьшается до нуля. Точнее, функция f непрерывна в точке c своей области определения, если для любой окрестности есть район в своей области так, что в любое время
Это определение требует только, чтобы область и область значений были топологическими пространствами и, таким образом, является наиболее общим определением. Из этого определения следует, что функция f автоматически непрерывна в каждой изолированной точке своей области определения. В качестве конкретного примера, каждая действительная функция на множестве целых чисел является непрерывной.
Определение в терминах пределов последовательностей
Вместо этого можно потребовать, чтобы для любой последовательности точек в области, сходящейся к c , соответствующая последовательностьсходится к f ( c ). В математической записи
Определения Вейерштрасса и Жордана (эпсилон – дельта) непрерывных функций
Явно включая определение предела функции, мы получаем автономное определение: для данной функции f : D → R, как указано выше, и элемента x 0 области D , f называется непрерывной в точке x 0 когда выполняется следующее: для любого числа ε > 0, каким бы малым оно ни было, существует такое число δ > 0, что для всех x в области определения f с x 0 - δ < x < x 0 + δ значение f ( x ) удовлетворяет
Иначе говоря, непрерывность f : D → R в x 0 ∈ D означает, что для любого ε > 0 существует такое δ > 0, что для всех x ∈ D :
Более интуитивно, мы можем сказать , что если мы хотим получить все е ( х ) значения для пребывания в некоторых малых окрестностях вокруг F ( х 0 ), нам просто нужно выбрать достаточно малую окрестность для й значений вокруг й 0 . Если мы можем сделать это, независимо от того, насколько мала окрестность f ( x ), тогда f будет непрерывным в точке x 0 .
Говоря современным языком, это обобщается определением непрерывности функции относительно базиса топологии , в данном случае метрической топологии .
Вейерштрасс требовал, чтобы интервал x 0 - δ < x < x 0 + δ полностью находился в области D , но Джордан снял это ограничение.
Определение с точки зрения контроля остатка
В доказательствах и численном анализе нам часто нужно знать, насколько быстро сходятся пределы, или, другими словами, контролировать остаток. Мы можем формализовать это до определения непрерывности. Функция называется управляющей функцией, если
- C не убывает
Функция f : D → R является C- непрерывной в точке x 0, если
- для всех
Функция непрерывна в х 0 , если оно С -непрерывной для некоторой функции управления C .
Такой подход естественным образом приводит к уточнению понятия непрерывности за счет ограничения набора допустимых управляющих функций. Для заданного набора функций управления функция -непрерывный, если он -прерывный для некоторых . Например, непрерывные по Липшицу и Гёльдеру функции показателя α ниже определяются набором управляющих функций
соответственно
- .
Определение с использованием колебания
Непрерывность также можно определить в терминах колебания : функция f непрерывна в точке x 0 тогда и только тогда, когда ее колебание в этой точке равно нулю; [9] в символах,Преимущество этого определения состоит в том, что оно дает количественную оценку прерывности: колебания показывают, насколько функция является прерывистой в точке.
Это определение полезно в описательной теории множеств для изучения множества разрывов и непрерывных точек - непрерывные точки являются пересечением множеств, где колебание меньше ε (следовательно, множество G δ ) - и дает очень быстрое доказательство одного направление условия интегрируемости Лебега . [10]
Колебание эквивалентно определению ε - δ путем простой перестановки и использования предела ( lim sup , lim inf ) для определения колебания: если (в данной точке) для данного ε 0 не существует δ , удовлетворяет определению ε - δ , то колебание не меньше ε 0 , и наоборот, если для каждого ε существует желаемое δ , колебание равно 0. Определение колебания может быть естественным образом обобщено на отображение топологического пространства в метрическое пространство. .
Определение с использованием гиперреалов
Коши определил непрерывность функции в следующих интуитивных терминах: бесконечно малое изменение независимой переменной соответствует бесконечно малому изменению зависимой переменной (см. Cours d'analyse , стр. 34). Нестандартный анализ - это способ сделать это математически строгим. Реальная линия дополняется добавлением бесконечных и бесконечно малых чисел, чтобы сформировать гиперреальные числа . В нестандартном анализе непрерывность можно определить следующим образом.
- Вещественнозначная функция f непрерывна в точке x, если ее естественное расширение на гиперреалы обладает тем свойством, что для всех бесконечно малых dx , f ( x + dx ) - f ( x ) бесконечно мал [11]
(см. микронепрерывность ). Другими словами, бесконечно малое приращение независимой переменной всегда приводит к бесконечно малому изменению зависимой переменной, давая современное выражение определению непрерывности, данному Огюстеном-Луи Коши .
Построение непрерывных функций
Проверку непрерывности данной функции можно упростить, проверив одно из указанных выше определяющих свойств для строительных блоков данной функции. Несложно показать, что сумма двух функций, непрерывных в некоторой области, также непрерывна в этой области. Дано
то сумма непрерывных функций
(определяется для всех ) непрерывна в .
То же верно и для произведения непрерывных функций:
(определяется для всех ) непрерывна в .
Сочетание указанных выше сохранений непрерывности и непрерывности постоянных функций и тождественной функции на , приходим к непрерывности всех полиномиальных функций на, например,
- е ( х ) = х 3 + х 2 - 5 х + 3
(на фото справа).
Таким же образом можно показать, что обратная непрерывная функция
(определяется для всех такой, что ) непрерывна в .
Это означает, что без учета корней , фактор непрерывных функций
(определяется для всех , такое что ) также непрерывна на .
Например, функция (на фото)
определено для всех действительных чисел x ≠ −2 и непрерывно в каждой такой точке. Таким образом, это непрерывная функция. Вопрос о непрерывности при x = −2 не возникает, поскольку x = −2 не входит в область определения y . Не существует непрерывной функции F : R → R , согласованной с y ( x ) для всех x ≠ −2 .
Поскольку функция sine непрерывна на всех вещественных числах, функция sinc G ( x ) = sin ( x ) / x определена и непрерывна для всех вещественных x ≠ 0. Однако, в отличие от предыдущего примера, G может быть расширена до непрерывной функция на всех действительных числах, определяя значение G (0) равным 1, что является пределом G ( x ), когда x приближается к 0, т. е.
Таким образом, установив
sinc-функция становится непрерывной функцией для всех действительных чисел. Термин устранимая особенность используется в тех случаях, когда (повторное) определение значений функции для совпадения с соответствующими пределами делает функцию непрерывной в определенных точках.
Более сложная конструкция непрерывных функций - это композиция функций . Учитывая две непрерывные функции
их состав, обозначенный как , и определяется непрерывно.
Эта конструкция позволяет утверждать, например, что
- непрерывно для всех
Примеры разрывных функций
Примером разрывной функции является ступенчатая функция Хевисайда , определяется
Выберите, например . Тогда нет-окрестности вокруг, т.е. нет открытого интервала с участием это заставит все значения должны быть в пределах -окрестностью из, т.е. в пределах . Интуитивно мы можем думать об этом типе разрыва как о внезапном скачке значений функций.
Аналогичным образом , знаковая функция или знак
прерывается на но непрерывно везде. Еще один пример: функция
непрерывно везде, кроме .
Помимо правдоподобных непрерывностей и разрывов, подобных описанным выше, существуют также функции с поведением, часто выдуманным патологическим , например, функция Тома ,
непрерывна при всех иррациональных числах и разрывна при всех рациональных числах. Аналогичным образом функция Дирихле , индикаторная функция для множества рациональных чисел,
нигде не сплошной.
Характеристики
Полезная лемма
Позволять - функция, непрерывная в точке а также быть такой ценностью потом в каком-то районе [12]
Доказательство. По определению непрерывности возьмем , то существует такой, что
Предположим, что есть точка в окрестности для которого тогда мы имеем противоречие
Теорема о промежуточном значении
Теорема о промежуточном значении - это теорема существования , основанная на вещественном числовом свойстве полноты , и гласит:
- Если вещественнозначная функция f непрерывна на отрезке [ a , b ] и k - некоторое число между f ( a ) и f ( b ), то в [ a , b ] существует некоторое число c , такое что f ( в ) = k .
Например, если ребенок вырастает от 1 м до 1,5 м в возрасте от двух до шести лет, то в какое-то время между двумя и шестью годами рост ребенка должен составлять 1,25 м.
Как следствие, если f непрерывна на [ a , b ] и f ( a ) и f ( b ) различаются знаком , то в некоторой точке c в [ a , b ], f ( c ) должно быть равно нулю .
Теорема об экстремальном значении
Теорема об экстремальном значении утверждает, что если функция f определена на отрезке [ a , b ] (или любом замкнутом и ограниченном множестве) и непрерывна там, то функция достигает своего максимума, т. Е. Существует c ∈ [ a , b ] с f ( c ) ≥ f ( x ) для всех x ∈ [ a , b ]. То же самое и с минимумом f . Эти утверждения, как правило, неверны, если функция определена на открытом интервале ( a , b ) (или на любом множестве, которое не является одновременно замкнутым и ограниченным), как, например, непрерывная функция f ( x ) = 1 / x , определенный на открытом интервале (0,1), не достигает максимума, будучи неограниченным сверху.
Отношение к дифференцируемости и интегрируемости
Каждая дифференцируемая функция
непрерывна, как можно показать. Обратное не имеет места: например, абсолютное значение функции
всюду непрерывно. Однако он не дифференцируем при x = 0 (но так везде). Функция Вейерштрасса также всюду непрерывна, но нигде не дифференцируема.
Производная F ' ( х ) дифференцируемая функция F ( х ) не обязательно должна быть непрерывной. Если f ′ ( x ) непрерывна, f ( x ) называется непрерывно дифференцируемой. Множество таких функций обозначим C 1 ( ( a , b ) ). В более общем плане набор функций
(из открытого интервала (или открытого подмножества из R ) Q к переАльсу) таким образом, что F является п раз дифференцируемый и таким , что п его производной F непрерывен обозначаются C п (Q). См. Класс дифференцируемости . В области компьютерной графики свойства, связанные (но не идентичные) с C 0 , C 1 , C 2 , иногда называют G 0 (непрерывность положения), G 1 (непрерывность касания) и G 2 (непрерывность кривизны). ; см. Гладкость кривых и поверхностей .
Каждая непрерывная функция
является интегрируемой (например , в смысле интеграла Римана ). Обратное неверно, как показывает (интегрируемая, но разрывная) знаковая функция .
Точечные и равномерные пределы
Учитывая последовательность
таких функций, что предел
существует для всех х в D , полученная функция F ( х ) называются как поточечный предел последовательности функций ( ф п ) п ∈ N . Функция поточечного ограничения не обязательно должна быть непрерывной, даже если все функции f n непрерывны, как показано на анимации справа. Однако, е непрерывно , если все функции F п непрерывны и последовательность сходится равномерно , по теореме равномерной сходимости . Эта теорема может использоваться, чтобы показать, что экспоненциальные функции , логарифмы , функция извлечения квадратного корня и тригонометрические функции являются непрерывными.
Направленность и полунепрерывность
Непрерывная справа функция
Непрерывная слева функция
Прерывистые функции могут быть прерывными ограниченным образом, что дает начало концепции непрерывности по направлению (или непрерывных функций справа и слева) и полунепрерывности . Грубо говоря, функция непрерывна вправо, если при приближении к предельной точке справа скачка не происходит. Формально f называется непрерывной справа в точке c, если выполняется следующее: для любого числа ε > 0, сколь угодно малого, существует некоторое число δ > 0 такое, что для всех x в области с c < x < c + δ значение f ( x ) будет удовлетворять
Это то же самое условие, что и для непрерывных функций, за исключением того, что требуется, чтобы оно выполнялось только для x, строго превышающего c . Требование его вместо этого для всех x с c - δ < x < c приводит к понятию непрерывных слева функций. Функция непрерывна тогда и только тогда, когда она непрерывна как справа, так и слева.
Функция f является полунепрерывной снизу, если, грубо говоря, любые возможные скачки идут только вниз, но не вверх. То есть для любого ε > 0 существует такое число δ > 0, что для всех x в области с | х - с | < δ значение f ( x ) удовлетворяет
Обратное условие - полунепрерывность сверху .
Непрерывные функции между метрическими пространствами
Понятие непрерывных действительных функций может быть обобщено на функции между метрическими пространствами . Метрика пространство есть множество X оборудован функцией (называемой метрикой ) д Х , которые могут рассматриваться в качестве измерения расстояния любых двух элементов в X . Формально метрика - это функция
который удовлетворяет ряду требований, в частности неравенству треугольника . Даны два метрических пространства ( X , d X ) и ( Y , d Y ) и функция
то f непрерывен в точке c в X (относительно данной метрики), если для любого положительного действительного числа ε существует положительное действительное число δ такое, что все x в X, удовлетворяющие d X ( x , c ) <δ, будут также удовлетворяет условию d Y ( f ( x ), f ( c )) <ε. Как и в случае с действительными функциями выше, это эквивалентно условию, что для каждой последовательности ( x n ) в X с пределом lim x n = c , мы имеем lim f ( x n ) = f ( c ). Последнее условие можно ослабить следующим образом: f непрерывна в точке c тогда и только тогда, когда для каждой сходящейся последовательности ( x n ) в X с пределом c последовательность ( f ( x n )) является последовательностью Коши , а c находится в области определения f .
Множество точек, в которых функция между метрическими пространствами непрерывна, является множеством G δ - это следует из определения непрерывности ε-δ.
Это понятие непрерывности применяется, например, в функциональном анализе . Ключевое утверждение в этой области гласит, что линейный оператор
между нормированными векторными пространствами V и W (которые являются векторными пространствами, снабженными согласованной нормой , обозначаемой || x ||) непрерывно тогда и только тогда, когда оно ограничено , то есть существует константа K такая, что
для всех х в V .
Равномерность, непрерывность Гёльдера и Липшица
Концепция непрерывности функций между метрическими пространствами может быть усилена различными способами, ограничив способ зависимости δ от ε и c в приведенном выше определении. Интуитивно, функция f, как указано выше, равномерно непрерывна, если δ не зависит от точки c . Точнее, требуется , чтобы для каждого вещественного числа ε > 0 существует δ > 0 такое , что для любого с , Ь ∈ Х с д Х ( Ь , гр ) < δ , мы имеем , что d Y ( ф ( б ), f ( c )) < ε . Таким образом, любая равномерно непрерывная функция непрерывна. Обратное не имеет места, но имеет место , когда область пространства X является компактным . Равномерно непрерывные отображения могут быть определены в более общей ситуации равномерных пространств . [13]
Функция является непрерывной по Гёльдеру с показателем α (действительным числом), если существует константа K такая, что для всех b и c в X выполняется неравенство
держит. Любая непрерывная функция Гёльдера равномерно непрерывна. Частный случай α = 1 называется липшицевой непрерывностью . То есть функция липшицева, если существует константа K такая, что неравенство
имеет место для любого Ь , с в X . [14] Условие Липшица встречается, например, в теореме Пикара – Линделёфа о решениях обыкновенных дифференциальных уравнений .
Непрерывные функции между топологическими пространствами
Другое, более абстрактное понятие непрерывности - это непрерывность функций между топологическими пространствами, в которых обычно нет формального понятия расстояния, как в случае метрических пространств . Топологическое пространство множество X вместе с топологией на X , который представляет собой набор подмножеств из X , удовлетворяющих несколько требований в отношении их объединений и пересечений, обобщающих свойства открытых шаров в метрических пространствах, все еще позволяя говорить о в окрестности данной точки. Элементы топологии называются открытыми подмножествами из X (по отношению к топологии).
Функция
между двумя топологическими пространствами Х и Y является непрерывным , если для каждого открытого множества V ⊆ Y , тем прообраз
это открытое подмножество X . То есть, е является функцией между множествами X и Y (не на элементах топологии Т X ), но непрерывность F зависит от топологии , используемой на X и Y .
Это эквивалентно условию , что прообразы этих замкнутых множеств (которые являются комплементами открытых подмножеств) в Y замкнуты в X .
Крайний пример: если множеству X задана дискретная топология (в которой каждое подмножество открыто), все функции
в любое топологическое пространство T непрерывны. С другой стороны, если X снабжен недискретной топологией (в которой единственными открытыми подмножествами являются пустое множество и X ) и пространство T set не меньше T 0 , то единственными непрерывными функциями являются постоянные функции. И наоборот, любая функция, диапазон значений которой не дискретен, является непрерывной.
Непрерывность в точке
Перевод на язык окрестностей (ε, δ) -определения непрерывности приводит к следующему определению непрерывности в точке:
Функция непрерывна в точке если и только если для любой окрестности V из в Y , существует окрестность U от х , таких , что F ( U ) ⊆ V .
Это определение эквивалентно тому же утверждению с соседями, ограниченными открытыми окрестностями, и может быть переформулировано несколькими способами с использованием прообразов, а не изображений.
Кроме того, поскольку каждый набор, содержащий окрестность, также является соседством, и это наибольшее подмножество U в X такое, что f ( U ) ⊆ V , это определение можно упростить до:
Функция непрерывна в точке если и только если окрестность х для любой окрестности V из в Y .
Поскольку открытое множество - это множество, которое является окрестностью всех своих точек, функция непрерывна в каждой точке X тогда и только тогда, когда она является непрерывной функцией.
Если X и Y метрические пространства, то это эквивалентно рассмотреть систему окрестностей в открытых шаров с центром в х и ф ( х ) вместо всех окрестностей. Это возвращает приведенное выше определение непрерывности δ-ε в контексте метрических пространств. В общих топологических пространствах нет понятий близости или расстояния. Если, однако, целевое пространство является пространством Хаусдорфа , по-прежнему верно, что f непрерывно в a тогда и только тогда, когда предел f при приближении x к a равен f ( a ). В изолированной точке каждая функция непрерывна.
Дано карта непрерывно на тогда и только тогда, когда это фильтр на что сходится к в что выражается написанием тогда обязательно в Если обозначает фильтр окрестности в тогда непрерывно на если и только если в [15] Более того, это происходит тогда и только тогда, когда предварительный фильтр является базой фильтра для фильтра окрестности в [15]
Альтернативные определения
Существует несколько эквивалентных определений топологической структуры, и поэтому существует несколько эквивалентных способов определения непрерывной функции.
Последовательности и сети
В некоторых случаях топологию пространства удобно задавать в терминах предельных точек . Во многих случаях это достигается путем указания , когда точка является пределом последовательности , но для некоторых пространств, которые слишком велики , в некотором смысле, один указывает также , когда точка является пределом более общих множеств точек , индексированных по направлены набор , известный как сети . Функция (по Гейне) непрерывна, только если она принимает пределы последовательностей до пределов последовательностей. В первом случае также достаточно сохранения пределов; в последнем случае функция может сохранять все пределы последовательностей, но все же не быть непрерывной, и сохранение сетей является необходимым и достаточным условием.
Более подробно, функция f : X → Y является последовательно непрерывной, если всякий раз, когда последовательность ( x n ) в X сходится к пределу x , последовательность ( f ( x n )) сходится к f ( x ). Таким образом, последовательно непрерывные функции «сохраняют последовательные пределы». Каждая непрерывная функция последовательно непрерывна. Если X - пространство с первым счетом и имеет место счетный выбор , то верно и обратное: любая функция, сохраняющая последовательные пределы, является непрерывной. В частности, если X - метрическое пространство, последовательная непрерывность и непрерывность эквивалентны. Для пространств, не подсчитываемых первым, последовательная непрерывность может быть строго слабее, чем непрерывность. (Пространства, для которых два свойства эквивалентны, называются последовательными пространствами .) Это мотивирует рассмотрение сетей вместо последовательностей в общих топологических пространствах. Непрерывные функции сохраняют пределы сетей, и фактически это свойство характеризует непрерывные функции.
Например, рассмотрим случай действительных функций одной действительной переменной: [16]
Теорема - функция непрерывно на тогда и только тогда, когда он последовательно непрерывен в этой точке.
Доказательство |
---|
Доказательство. Предположить, что непрерывно на (в том смысле ϵ - δ {\ displaystyle \ epsilon - \ delta} преемственность ). Позволять последовательность, сходящаяся в (такая последовательность существует всегда, например ); поскольку непрерывно на Для любого такого мы можем найти натуральное число такой, что поскольку сходится в ; сочетая это с мы получаем Предположим противное, что последовательно непрерывно и действуем от противного: предположим не является непрерывным в тогда мы можем взять и назовем соответствующую точку : таким образом мы определили последовательность такой, что по конструкции но , что противоречит гипотезе о секвенциальной непрерывности. ∎ |
Определения оператора замыкания и внутреннего оператора
В терминах внутреннего оператора функция между топологическими пространствами непрерывна тогда и только тогда, когда для каждого подмножества
Что касается оператора закрытия , непрерывно тогда и только тогда, когда для каждого подмножества
То есть, учитывая любой элемент который принадлежит замыканию подмножества обязательно относится к закрытию в Если мы объявим, что точка находится близко к подмножеству если то эта терминология позволяет дать простое описание непрерывности на английском языке: непрерывно тогда и только тогда, когда для каждого подмножества отображает точки, которые близки к к точкам, которые близки к По аналогии, непрерывна в фиксированной данной точке тогда и только тогда, когда близок к подмножеству тогда близко к
Вместо того, чтобы задавать топологические пространства их открытыми подмножествами , любая топология наможет быть альтернативно определена с помощью оператора замыкания или с помощью внутреннего оператора . В частности, карта, которая отправляет подмножество топологического пространства к его топологическому замыканию удовлетворяет аксиомам замыкания Куратовского и, наоборот, для любого оператора замыкания существует уникальная топология на (конкретно, ) такой, что для каждого подмножества равно топологическому замыканию из в Если наборы а также связаны с операторами замыкания (оба обозначаются ) затем карта непрерывно тогда и только тогда, когда для каждого подмножества
Точно так же карта, отправляющая подмножество из к его топологическому внутреннему пространству определяет внутренний оператор и, наоборот, любой внутренний оператор индуцирует уникальную топологию на (конкретно, ) такой, что для каждого равен топологическому внутреннему пространству из в Если наборы а также связаны с внутренними операторами (оба обозначаются ) затем карта непрерывно тогда и только тогда, когда для каждого подмножества [17]
Фильтры и предварительные фильтры
Непрерывность также можно охарактеризовать с помощью фильтров . Функциянепрерывно тогда и только тогда, когда фильтр на сходится в в точку затем предварительный фильтр сходится в к Эта характеристика остается верной, если слово «фильтр» заменить словом «предварительный фильтр». [15]
Характеристики
Если F : X → Y и г : Y → Z непрерывны, то и композиция г ∘ F : X → Z . Если f : X → Y непрерывно и
- Х является компактным , то F ( X ) компактно.
- Х является подключен , то F ( X ) подключен.
- Х является линейно связным , то F ( X ) является линейно связным.
- Х является Линделёфом , то F ( X ) линделёфово.
- Х является разъемным , то F ( X ) отделимо.
Возможные топологии на фиксированное множество X являются частично упорядоченными : топология т 1 называются грубее , чем другая топология т 2 (обозначений: т 1 ⊆ τ 2 ) , если каждое открытое подмножество по т 1 также открыто по отношению к τ 2 . Тогда тождественная карта
- id X : ( X , τ 2 ) → ( X , τ 1 )
непрерывна тогда и только тогда, когда τ 1 ⊆ τ 2 (см. также сравнение топологий ). В более общем смысле, непрерывная функция
остается непрерывной, если топология τ Y заменяется более грубой топологией и / или τ X заменяется более тонкой топологией .
Гомеоморфизмы
Симметричной концепции непрерывной карты является открытая карта , для которой открыты изображения открытых множеств. Фактически, если открытое отображение f имеет обратную функцию , эта обратная функция непрерывна, а если непрерывное отображение g имеет обратную функцию , эта обратная функция открыта. Учитывая биективную функцию f между двумя топологическими пространствами, обратная функция f −1 не обязательно должна быть непрерывной. Биективная непрерывная функция с непрерывной обратной функцией называется гомеоморфизмом .
Если непрерывная биекция имеет свою область в компактное пространство и его кообласть является Хаусдорфом , то есть гомеоморфизм.
Определение топологий с помощью непрерывных функций
Учитывая функцию
где X - топологическое пространство, а S - множество (без указанной топологии), окончательная топология на S определяется тем, что открытыми множествами S являются те подмножества A в S, для которых f −1 ( A ) открыто в X . Если S имеет существующую топологию, F непрерывна относительно этой топологии тогда и только тогда , когда существующая топология грубее , чем конечная топология на S . Таким образом, окончательную топологию можно охарактеризовать как тончайшую топологию на S, которая делает f непрерывным. Если е является сюръективны , эта топология канонически отождествляется с топологией фактор по отношению эквивалентности , определяемой е .
Двойственно, для функции F из множества S в топологическом пространстве X , то исходная топология на S определяется путем назначения в качестве открытого множества каждое подмножество A из S таким образом, чтодля некоторого открытого подмножества U из X . Если S имеет существующую топологию, F непрерывна относительно этой топологии тогда и только тогда , когда существующая топология тоньше , чем исходная топология на S . Таким образом, исходную топологию можно охарактеризовать как грубейшую топологию на S, которая делает f непрерывным. Если F инъективен, эта топология канонический отождествить с топологией подпространства из S , рассматриваемая как подмножество X .
Топология на множестве S однозначно определяется классом всех непрерывных функцийво все топологического пространства X . Двойственно , подобная идея может быть применена к картам
Связанные понятия
Если является непрерывной функцией из некоторого подмножества топологического пространства затем непрерывное продолжение в к любая непрерывная функция такой, что для каждого что является условием, которое часто записывается как На словах это любая непрерывная функция что ограничивает до на Это понятие используется, например, в теореме продолжения Титса и теоремы Хана-Банаха . Мыне непрерывный, то он не может иметь непрерывного продолжения. Еслиявляется хаусдорфовым пространством иявляется плотное подмножество из то непрерывное продолжение к если он существует, будет уникальным.
Различные другие области математики используют понятие непрерывности в разных, но связанных значениях. Например, в теории порядка функция сохранения порядкамежду частными типами частично упорядоченных множеств X и Y является непрерывным, если для каждого направленного подмножества A множества X мы имеем Здесь является супремумом по порядкам в X и Y соответственно. Это понятие непрерывности аналогично топологической непрерывности, когда частично упорядоченные множества заданы топологией Скотта . [18] [19]
В теории категорий , функтор
между двумя категориями называется непрерывным , если он коммутирует с небольшими пределами . То есть,
для любого малых (т.е. индексируется множества I , в отличие от класса ) диаграмм из объектов в.
Пространство непрерывности является обобщением метрических пространств и ч.у.м., [20] [21] , который использует концепцию quantales , и который может быть использован , чтобы объединить понятия метрических пространств и областей . [22]
Смотрите также
- Абсолютная преемственность
- Классификация несплошностей
- Грубая функция
- Непрерывная функция (теория множеств)
- Непрерывный случайный процесс
- Дини преемственность
- Равномерность
- Нормальная функция
- Открытые и закрытые карты
- Кусочно
- Симметрично непрерывная функция
- Функция, сохраняющая направление - аналог непрерывной функции в дискретных пространствах.
Рекомендации
- ^ Больцано, Бернар (1817), Rein analytischer Beweis des Lehrsatzes dass zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewaehren, wenigstens eine reele Wurzel der Gleichung liege , Прага: Haase
- ^ Dugac, Пьер (1973), "ЭЛЕМЕНТОВ d'Анализировать де Карла Вейерштрасса", Архив для истории точных наук , 10 : 41-176, DOI : 10.1007 / bf00343406 , S2CID 122843140
- ^ Goursat, E. (1904), Курс математического анализа , Boston: Ginn, p. 2
- ^ Jordan, MC (1893), Cours d'analyse de l'École polytechnique , 1 (2-е изд.), Париж: Готье-Виллар, стр. 46
- ^ Харпер, JF (2016), "Определение непрерывности вещественных функций действительных переменных", BSHM Bulletin: Журнал Британского общества по истории математики , 31 (3): 1-16, DOI : 10,1080 / 17498430.2015.1116053 , S2CID 123997123
- ^ Rusnock, P .; Керр-Lawson, А. (2005), "Больцано и равномерная непрерывность", Хистория Mathematica , 32 (3): 303-311, DOI : 10.1016 / j.hm.2004.11.003
- ^ Спек, Джаред (2014). «Непрерывность и прерывность» (PDF) . MIT Math . п. 3 . Проверено 2 сентября 2016 .
Пример 5. Функция 1 / x непрерывна на (0, ∞) и (−∞, 0), т. Е. При x > 0 и при x <0, другими словами, в каждой точке своей области определения. Однако это не непрерывная функция, поскольку ее область определения не является интервалом. Он имеет единственную точку разрыва, а именно x = 0, и имеет там бесконечный разрыв.
- ^ Ланг, Серж (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-е изд.), МакГроу Хилл, стр. 54, ISBN 978-0-07-305194-9
- ^ Гаал, Стивен А. (2009), Точечная топология , Нью-Йорк: Dover Publications , ISBN 978-0-486-47222-5, раздел IV.10
- ^ Searcóid, Mícheál Ó (2006), Метрические пространства , серия математических программ для студентов Springer, Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-1-84628-369-7, раздел 9.4
- ^ a b c Дугунджи 1966 , стр. 211–221.
- ^ Шурман, Джерри (2016). Исчисление и анализ в евклидовом пространстве (иллюстрированный ред.). Springer. С. 271–272. ISBN 978-3-319-49314-5.
- ^ «Общая топология - Непрерывность и внутренность» . Обмен математическими стеками .
- ^ Губо-Ларрек, Жан (2013). Нехаусдорфова топология и теория домена: избранные темы точечно-множественной топологии . Издательство Кембриджского университета . ISBN 978-1107034136.
- ^ Gierz, G .; Hofmann, KH; Keimel, K .; Лоусон, JD; Mislove, MW; Скотт, Д.С. (2003). Непрерывные решетки и домены . Энциклопедия математики и ее приложений. 93 . Издательство Кембриджского университета. ISBN 0521803381.
- ^ Flagg, RC (1997). «Кванталы и пространства непрерывности». Универсальная алгебра . 37 (3): 257–276. CiteSeerX 10.1.1.48.851 . DOI : 10.1007 / s000120050018 . S2CID 17603865 .
- ^ Копперман Р. (1988). «Все топологии основаны на обобщенных показателях». Американский математический ежемесячник . 95 (2): 89–97. DOI : 10.2307 / 2323060 . JSTOR 2323060 .
- ^ Flagg, B .; Копперман Р. (1997). «Пространства непрерывности: согласование областей и метрических пространств». Теоретическая информатика . 177 (1): 111–138. DOI : 10.1016 / S0304-3975 (97) 00236-3 .
Библиография
- Дугунджи, Джеймс (1966). Топология . Бостон: Аллин и Бэкон. ISBN 978-0-697-06889-7. OCLC 395340485 .
- "Непрерывная функция" , Энциклопедия математики , EMS Press , 2001 [1994]