Непрерывное отображение

Материал из Википедии — свободной энциклопедии

В математике отображение, или функция, называется непрерывным, если небольшие изменения аргумента приводят к небольшим изменениям значения функции.

Содержание 1 Формальные определения 1.1 Вещественнозначная функция на вещественной прямой 1.2 Отображения из Rm в Rm 1.3 Отображение метрических пространств 1.4 Топологическое определение непрерывности 2 Cм. также

[править] Формальные определения

[править] Вещественнозначная функция на вещественной прямой

Функция f(x) называется непрерывной в точке a, если для любого найдётся окрестность точки a такая, что значения функции, взятые в точках этой окрестности, содержатся в ε-окрестности f(a):

Как видно, условие непрерывности в точке мало отличается от условия существования предела; существенное отличие состоит в том, что при определении предела функции мы рассматриваем проколотые окрестности точки a (то есть не содержащие саму точку a), а здесь мы рассматриваем и точку a.

Эквивалентное определение непрерывности: значение функции в точке должно быть равно пределу функции в этой точке. Отсюда следует критерий непрерывности функции: f(x) непрерывна в a, если .

Дифференцируемость функции в точке гарантирует её непрерывность, но обратное неверно. Для примера можно рассмотреть функцию Ван-дер-Вардена, непрерывную, но недифференцируемую на всей прямой.

Следующие локальные свойства непрерывных в точке a функций легко доказываются, исходя из аналогичных свойств предела.

Если f(x),g(x) — непрерывные в точке a функции, причём (для последнего случая) g не равна нулю, то функции kf(x) (k — константа), f(x) + g(x), и суть функции, определённые в некоторой окрестности точки a и непрерывные в этой точке. Таким образом, исходя из непрерывности функции f(x) = x можно доказать, например, непрерывность произвольного многочлена.

Функция называется непрерывной на множестве (например, на отрезке), если она непрерывна в каждой точке этого множества. Глобальные свойства непрерывных функций (то есть свойства функций, непрерывных на отрезке), характеризуются теоремой Больцано—Коши и теоремой Вейерштрасса.

Если функция не непрерына в точке a, то говорят, что в этой точке у неё существует разрыв. Он называется разрывом первого рода, если пределы функции при стремлении x к a существуют и конечны, и второго рода, если хотя бы один из односторонних пределов не существует или бесконечен. Если в случае разрыва первого рода пределы справа и слева равны между собой (но не равны значению функции, или функция не определена в точке a), то эта точка называется точкой устранимого разрыва. Говоря об устранимости, имеют в виду, что можно определить функцию, равную данной во всех точках, кроме точки устранимого разрыва, а в точке разрыва равной одному из односторонних пределов данной функции при стремлении к данной точке — и такая функция будет непрерывна в точке, для исходной функции являвшейся точкой устранимого разрыва. Эту операцию называют устранением разрыва. Исследование особенностей операции устранения разрыва, а также поведения функций после устранения разрыва является важным разделом математического и функционального анализов.

В качестве примера разрыва второго рода можно привести точку x = 0 функции . Пример точки устранимого разрыва — x = 0 для функции . Часто бывает, что в «большинстве» точек функция непрерывна; однако, это не всегда так (в качестве примера можно взять функцию Дирихле́, разрывную везде, и функцию Римана, разрывную во всех рациональных точках). В качестве примера функции, разрывной везде, кроме одной точки, и имеющей в этой точке производную, можно предложить f(x) = x²D(x), где D(x) — уже упомянутая функция Дирихле.

[править] Отображения из R^m в R^m

Очевидное обобщение предыдущего определения заключается в том, чтобы заменить знак модуля на знак нормы: функция f: R^m в R^m называется непрерывной в точке a из R^m, если

[править] Отображение метрических пространств

В предыдущем определении наличие операции вычитания, точнее линейной структуры, в евклидовых пространствах не играло никакой роли. Существенной была лишь возможность измерять расстояния. Множества, на которых указан способ измерять расстояния, то есть имеется функция расстояния между точками ρ (x, y), удовлетворяющая некоторым естественным требованиям, называются метрическими пространствами. Например, в евклидовых пространствах в качестве такой функции естественно выбрать ρ(x,y)=||x-y||.

Отображение f: X → Y метрического пространства (X, ρ_X) в метрическое пространство (Y, ρ_Y) называется непрерывным в точке a, если для любого ε > 0 найдется δ > 0 такое, что образы всех точек, удаленных от a менее чем на δ, удалены от f(a) менее чем на ε:

[править] Топологическое определение непрерывности

Чтобы дать наиболее общее определение непрерывности, заметим следующее. Неформально говоря, в предыдущих определениях нам не нужна точная мера расстояния, а важно лишь понятие близости. Все предыдущие определения говорят одно: близкие точки переходят в близкие. В первом случае близкие точки — это отличающиеся по модулю меньше, чем на некоторое положительное число. В случае евклидовых и метрических пространств это шары некоторого положительного радиуса. Множество, в котором указан некоторый набор подмножеств T, позволяющий говорить о близких точках, называются топологическим пространством. Подмножества этого набора называются открытыми множествами. Близкими считаются точки, лежащие в одном открытом множестве.

Итак, общее определение непрерывности выглядит следующим образом. Отображение f: X → Y топологического пространства (X, T_X) в топологическое пространство (Y, T_Y) называется непрерывным, если прообраз любого открытого множества открыт.

[править] Cм. также

• Общая топология
• Пространство непрерывных функций
• Топологическое пространство
• Открытое отображение