Непрерывное отображение | это... Что такое Непрерывное отображение? (original) (raw)

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

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

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

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

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

Определения

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

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

Отображение $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$ .

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

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

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

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

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

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

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

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

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

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

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

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

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

Отображение $f\colon X \to Y$ метрического пространства $(X,\rho_X)$ в метрическое пространство $(Y,\rho_Y)$ называется непрерывным в точке , если для всякого $\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$ соответственно. Функция непрерывна в точке , если для любого числа $\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}$ .), где - произвольное топологическое пространство, следующее:

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

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

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

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

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

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

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

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

Полный прообраз любого открытого (замкнутого) множества при непрерывном отображении — открытое (замкнутое) множество
Образ компактного множества при непрерывном отображении — компактное множество.
Непрерывная числовая функция на компактном множестве ограничена и достигает своих верхней и нижней граней. Это свойство следует из предыдущего.
Образ связного множества при непрерывном отображении - связное множество.
(Теорема Титце.) Любая вещественнозначная непрерывная функция, определённая на замкнутом подмножестве нормального пространства может быть продолжена до непрерывной функции на всё пространство.

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

Гомеоморфизм - непрерывное взаимно-однозначное отображение одного топологического пространства в другое с также непрерывным обратным отображением.
Равномерная непрерывность

См. также

Ссылки

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

Примечания

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

Литература

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