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


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

Непреры́вное отображе́ние или непрерывная функция в математике — это отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.

Наиболее общее определение формулируется для отображений топологических пространств: непрерывным считается отображение, при котором прообраз всякого открытого множества открыт. Непрерывность отображений других типов пространств — метрических, нормированных и т. п. пространств — является непосредственным следствием общего (топологического) определения, но формулируется с использованием структур, заданных в соответствующих пространствах — метрики, нормы и т. д.

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

Существование непрерывных отображений между пространствами, позволяет «переносить» свойства одного пространства в другое: например, непрерывный образ компактного пространства также является компактным.

Непрерывное отображение, которое обладает обратным и также непрерывным отображением, называется гомеоморфизмом. Гомеоморфизм порождает на классе топологических пространств отношение эквивалентности; пространства, гомеоморфные друг другу, обладают одними и теми же топологическими свойствами, а сами свойства, которые сохраняются при гомеоморфизмах, называются топологическими инвариантами.

Содержание

Определения

Наиболее общее определение даётся в топологии.

Непрерывность в топологических пространствах

Отображение f\colon X \to Y топологического пространства (X,\mathcal{T}_X) в топологическое пространство (Y,\mathcal{T}_Y) называется непрерывным, если прообраз любого открытого множества открыт, то есть:

\forall V \in \mathcal{T}_Y \quad f^{-1}(V) \in \mathcal{T}_X.

Непрерывность на подпространстве

Если рассмотреть некоторое подмножество A множества X, то на этом множестве, естественным образом, индуцируется топология \mathcal{T}_A, которую составляют всевозможные пересечения множества A с множествами, входящими в топологию \mathcal{T}_X.

Отображение f\colon X \to Y, непрерывное на множестве X, будет непрерывным на любом его подмножестве в смысле индуцированной на нём топологии.

Непрерывность в точке

Непрерывность в точке формулируется на языке окрестностей и связывает систему окрестностей точки области определения с системой окрестностей соответствующей ей точки области значений.

Отображение f\colon X \to Y называется непрерывным в точке x, если для любой окрестности V точки f(x) найдется такая окрестность U точки x, что f(U) \subset V.

Отображение, непрерывное на некотором множестве, будет непрерывным в каждой точке данного множества.[1]

Эквивалентные определения

Следующие ниже формулировки эквивалентны:

  • прообраз всякого открытого множества открыт;
  • прообраз всякого замкнутого множества замкнут;
  • прообраз каждой окрестности точки области значений отображения является окрестностью соответствующей точки области определения;
  • предел значений последовательности точек области определения, сходящейся к некоторой точке, существует и в точности равен значению функции в данной точке;
  • образ замыкания любого множества содержится в замыкании образа этого множества;
  • замыкание прообраза любого множества содержится в прообразе замыкания.

Таким образом, каждая из этих формулировок может быть использована в качестве определения непрерывности отображения.


Непрерывность в метрических и нормированных пространствах

В метрических пространствах топология задается семейством открытых шаров разных «радиусов», определяемых метрикой, поэтому общее определение формулируется в терминах этой метрики ("эпсилон-дельта" - определение):

Отображение f\colon X \to Y метрического пространства (X,\rho_X) в метрическое пространство (Y,\rho_Y) называется непрерывным в точке a, если для всякого \varepsilon > 0 существует \delta > 0, что для всякого x\in X, такого, что \rho_X(x,a) < \delta, выполняется неравенство: \rho_Y(f(x), f(a))<\varepsilon.

Для линейных нормированных пространств (включая, гильбертовы и конечномерное евклидовы пространства) метрика задается нормой, поэтому то же определение дается в терминах нормы.

Пусть, f\colon {N_1}\to {N_2} отображение между нормированными пространствами с нормами \|{*}\|_1 и \|{*}\|_2 соответственно. Функция f непрерывна в точке a, если для любого числа \varepsilon > 0 найдётся такое число \delta > 0, что для всех точек x \in N_1, таких что \|x-a\|_1< \delta выполнено неравенство \|f(x)-f(a)\|_2 < \varepsilon,

Метрические пространства (а значит и нормированные пространства) удовлетворяют первой аксиоме счетности, поэтому данное определение эквивалентно определению секвенциальной непрерывности.

Непрерывные функции (функционалы)

В случае числовой оси нормой обычно является модуль числа, поэтому определение непрерывности функционала f:X \rightarrow \mathbb{R} (или \mathbb{C}.), где X - произвольное топологическое пространство, следующее:

Фунционал f, называется непрерывным в точке a \in X, если для любого \varepsilon > 0 найдется окрестность \Sigma_a этой точки, такая, что \forall x \in \Sigma_a выполнено условие |f(x)-f(a)| < \varepsilon.

Множество непрерывных на X функционалов (функций) принято обозначать C(X). Частным случаем непрерывных функционалов являются непрерывные функции числового аргумента.

Непрерывная числовая функция

Пусть, f\colon \mathbb{R}\supset E\to\mathbb{R}. (или \mathbb{C}.). Функция f непрерывна в точке a, если для любого числа \varepsilon > 0 найдётся такое число \delta > 0, что для всех точек x\in E условие |x-a|< \delta влечет |f(x)-f(a)| < \varepsilon.

Другими словами, функция f непрерывна в точке a, предельной для множества E, если она имеет предел в данной точке и этот предел совпадает со значением функции в данной точке:

f\in C(\{a\}) \Leftrightarrow \lim\limits_{x \to a}f(x) = f(a)

Функция f непрерывна на множестве E, если она непрерывна в каждой точке данного множества. В этом случае говорят, что функция f класса C^0 и пишут: f\in C^0(E) или, подробнее, f\in C^0(E, \mathbb{R}).

Свойства непрерывных отображений

  • Полный прообраз любого открытого (замкнутого) множества при непрерывном отображении — открытое (замкнутое) множество
  • Непрерывная числовая функция на компактном множестве ограничена и достигает своих верхней и нижней граней. Это свойство следует из предыдущего.
  • Сумма, разность и композиция непрерывных отображений также являются непрерывными отображениями.
  • Из непрерывности линейного отображения одного линейного топологического пространства в другое следует его ограниченность. В случае нормированных пространств непрерывность линейного отображения эквивалентна ограниченности.
  • Теорема Стоуна-Вейерштрасса (обобщение классической теоремы Вейерштрасса). Пусть C(X)- пространство непрерывных функций на компактном хаусдорфовом топологическом пространстве X. Пусть B(X) - подмножество C(X), содержащее константы, замкнутое относительно композиции и линейной комбинации функций, а также содержащее пределы своих равномерно сходящихся последовательностей функций. В таком случае B(X)=C(X) тогда и только тогда, когда \forall x_1,x_2 \in X, существует  f \in B, такая что f(x_1) \not =f(x_2).

Связанные определения

См. также

Ссылки

Математические Этюды Мультик про непрерывность

Примечания

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

Литература

Келли Дж. Л. Глава 3. Произведения и фактор-пространства // Общая топология = General topology. — 2-е изд. — М.: Наука, 1981. — С. 119—151. — 438 с.


Wikimedia Foundation. 2010.

Смотреть что такое "Непрерывное отображение" в других словарях:

  • НЕПРЕРЫВНОЕ ОТОБРАЖЕНИЕ — отображение топологич. пространства Xв топологич. пространство У такое, что для всякой точки и для всякой окрестности ее образа f(x0) существует такая окрестность точки х 0 , что Это определение является перефразировкой окрестност ного… …   Математическая энциклопедия

  • Отображение (значения) — Отображение  процесс сопоставления чего либо с чем либо; правило, по которому такое сопоставление производится. В математике термин «отображение» имеет строгий смысл и эквивалентен термину «функция». Отображение может иметь различные… …   Википедия

  • НЕПРЕРЫВНОЕ СЕЧЕНИЕ — непрерывное отображение образа непрерывного отображения топологич. пространств такое, что тождественное отображение . М. И. Войцеховский …   Математическая энциклопедия

  • НЕПРЕРЫВНОЕ РАЗБИЕНИЕ — топологического пространствах покрытие пространства Xпопарно непересекающимися непустыми множествами, удовлетворяющее условию: каковы бы ни были и окрестность Uмножества Fв X, найдется окрестность Vмножества Fв X, содержащаяся в Uи являющаяся… …   Математическая энциклопедия

  • Непрерывное представление — ― линейное представление топологической группы (полугруппы, алгебры) в топологическом векторном пространстве такое, что отображение , определяемое формулой …   Википедия

  • Непрерывное линейное представление — Непрерывное представление ― линейное представление α топологической группы (полугруппы, алгебры) G в топологическом векторном пространстве L такое, что отображение , определяемое формулой φ(v,g) = α(g)v, , непрерывно. Если отображение φ… …   Википедия

  • НЕПРЕРЫВНОЕ ПРЕДСТАВЛЕНИЕ — линейное представление p топологич. группы (полугруппы, алгебры) Xв топологич. векторном пространстве Етакое, что отображение пространства определяемое формулой непрерывно. Если отображение непрерывно по каждому аргументу, то в нек рых случаях… …   Математическая энциклопедия

  • КОНФОРМНОЕ ОТОБРАЖЕНИЕ — непрерывное отображение, сохраняющее форму бесконечно малых фигур. Основные понятия. Непрерывное отображение w=f(z)области G n мерного евклидова пространства в n мерное евклидово пространство наз. конформным в точке если оно в этой точке обладает …   Математическая энциклопедия

  • ЗАМКНУТОЕ ОТОБРАЖЕНИЕ — отображение одного топологич. пространства на другое, при к ром образ всякого замкнутого множества есть замкнутое множество. Класс непрерывных 3. о. играет важную роль в общей топологии и ее приложениях. Непрерывные замкнутые бикомпактные… …   Математическая энциклопедия

  • ФАКТОРНОЕ ОТОБРАЖЕНИЕ — отображение f то пологич. пространства Xна топологич. пространство Y, при к ром множество открыто в пространстве Yв том и только том случае, если его прообраз f 1v открыт в пространстве X. Если дацрэ отображение f топологич. пространства Xна… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.