Непрерывность отображений в топологии

Пусть \(X\) и \(Y\) являются топологическими пространствами. Отображение \(f: X \to Y\) называется непрерывным, если для любого открытого множества \(V\) пространства \(Y\) его прообраз \(f^{-1}(V)\) является открытым множеством в пространстве \(X\).

Это одно из фундаментальных понятий топологии. Оно позволяет понять, насколько «корректно» отображение переводит точки одного пространства в другое, сохраняя его топологическую структуру.

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

Примечание: Топологическое определение непрерывности значительно шире аналитического. Оно применимо не только к пространствам, где можно измерять расстояния, но и к более общим структурам. Именно поэтому непрерывность через прообразы открытых множеств является базовым понятием общей топологии.

Интуитивно непрерывное отображение можно представить как деформацию объекта без разрывов и склеиваний. Например, растяжение, сжатие или изгиб фигуры без нарушения её целостности описываются непрерывными отображениями.

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

Практический пример

Рассмотрим два топологических пространства \(X = \{a, b, c, d\}\) и \(Y = \{1, 2\}\).

• В пространстве \(X\) открытыми являются множества: \(\{\}, \{a\}, \{a, b\}, \{a, b, c, d\}\).
• В пространстве \(Y\) открытыми являются множества: \(\{\}, \{1\}, \{1, 2\}\).

Определим отображение \(f: X \rightarrow Y\):

\( f(a) = 1 \), \( f(b) = 1 \), \( f(c) = 2 \), \( f(d) = 2 \)

Проверим, является ли это отображение непрерывным.

На следующей схеме показаны отображение \(f\) и открытые множества в обоих пространствах.

Согласно определению, необходимо проверить прообразы всех открытых множеств пространства \(Y\).

• Для открытого множества \(\{1\}\) имеем: \(f^{-1}(\{1\})=\{a,b\}\). Это множество открыто в \(X\).
• Для открытого множества \(\{1,2\}\) получаем: \(f^{-1}(\{1,2\})=\{a,b,c,d\}\). Это также открытое множество в \(X\).

Пустое множество проверять не требуется, поскольку оно открыто в любой топологии.

Следовательно, прообраз каждого открытого множества пространства \(Y\) является открытым в пространстве \(X\). Поэтому отображение \(f\) непрерывно.

Пример 2

Теперь рассмотрим другое отображение \(g: X \rightarrow Y\):

\( g(a) = 1 \), \( g(b) = 1 \), \( g(c) = 1 \), \( g(d) = 2 \)

На рисунке показано это отображение и соответствующие открытые множества.

Проверим условие непрерывности.

• Для открытого множества \(\{1\}\) пространства \(Y\) прообраз равен \(g^{-1}(\{1\})=\{a,b,c\}\).

Однако множество \(\{a,b,c\}\) не является открытым в пространстве \(X\).

Этого достаточно, чтобы сделать вывод: отображение \(g\) не является непрерывным.

Тождественное отображение

Пример 3

Рассмотрим тождественное отображение \(id: X \to X\), определённое правилом

$$ x = f(x) $$

или, что то же самое, \(f(x)=x\).

Такое отображение оставляет каждый элемент на своём месте. Никаких изменений пространства не происходит.

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

Поэтому тождественное отображение \(f(x)=x\) всегда является непрерывным.

Постоянное отображение

Пример 4

Рассмотрим постоянное отображение \(f: X \to Y\), заданное формулой

$$ f(x)=c $$

Независимо от того, какой элемент \(x\) выбран, результатом всегда будет одно и то же значение \(c\).

Для проверки непрерывности рассмотрим произвольное открытое множество \(V\) пространства \(Y\).

Возможны два варианта:

• Если \(c \in V\), то прообразом множества \(V\) является всё пространство \(X\). Поскольку \(X\) открыто в собственной топологии, прообраз открыт.
• Если \(c \notin V\), то прообразом будет пустое множество \(\emptyset\), которое также является открытым.

В обоих случаях прообраз оказывается открытым множеством пространства \(X\).

Следовательно, любое постоянное отображение является непрерывным.

Примечание: Этот пример показывает важную особенность топологической непрерывности. Она зависит не столько от внешнего вида формулы, сколько от того, как отображение взаимодействует с топологической структурой рассматриваемых пространств.

Когда тождественное отображение не является непрерывным

Пример 5

На первый взгляд может показаться, что тождественное отображение всегда непрерывно. Однако это верно только при определённых топологиях.

Рассмотрим отображение \(f:X\to Y\), где \(f(x)=x\), между двумя различными топологическими пространствами.

• \(X\) представляет собой множество действительных чисел \(\mathbb{R}\) со стандартной топологией, в которой открытыми являются интервалы вида \((a,b)\).
• \(Y\) представляет собой множество действительных чисел \(\mathbb{R}\) с топологией нижнего предела, где открытыми являются интервалы вида \([a,b)\).

Проверим непрерывность отображения.

Рассмотрим множество \( [0,1) \). В топологии нижнего предела оно является открытым.

Поскольку отображение тождественное, его прообраз совпадает с самим множеством:

\( f^{-1}([0,1))=[0,1) \).

Однако в стандартной топологии интервал \( [0,1) \) не является открытым.

Примечание: В стандартной топологии каждая точка открытого множества должна иметь окрестность, полностью лежащую внутри этого множества. Для точки \(0\) в интервале \([0,1)\) это условие не выполняется, поскольку любая её окрестность содержит отрицательные числа.

Следовательно, прообраз открытого множества пространства \(Y\) не является открытым в пространстве \(X\).

Поэтому тождественное отображение \(f:\mathbb{R}\to\mathbb{R}\) в данном случае не является непрерывным.

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

Хотя формула \(f(x)=x\) остаётся неизменной, изменение топологий может полностью изменить вопрос о непрерывности отображения.

Теорема о базисе непрерывности

Пусть \(X\) и \(Y\) являются топологическими пространствами. Отображение \(f: X \to Y\) непрерывно тогда и только тогда, когда прообраз каждого базисного множества \(B_Y\) топологии пространства \(Y\) является открытым множеством в пространстве \(X\).

Эта теорема является одним из самых удобных инструментов для проверки непрерывности отображений.

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

Теорема о базисе позволяет значительно упростить эту процедуру. Вместо проверки всех открытых множеств достаточно рассмотреть только прообразы элементов базиса топологии пространства \(Y\).

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

Доказательство. Любое открытое множество пространства \(Y\) можно представить в виде объединения элементов базиса \(B_Y\). Если прообраз каждого базисного множества открыт в \(X\), то прообраз любого открытого множества пространства \(Y\) также будет открыт в \(X\), поскольку прообраз объединения множеств равен объединению их прообразов. Следовательно, выполняется определение непрерывности, а значит, отображение \(f: X \to Y\) является непрерывным.

Пример

Рассмотрим два топологических пространства \(X = \{a, b, c, d\}\) и \(Y = \{x, y, z\}\).

• Топология на \(X\) задаётся семейством множеств \( \tau_X = \{\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\}\} \).
• Базис топологии пространства \(Y\) имеет вид \( B_Y = \{\{x\}, \{y\}, \{z\}\} \).

Вся топология пространства \(Y\) строится из объединений элементов базиса. Поэтому многие открытые множества не входят непосредственно в базис, но всё равно являются открытыми.

Например, множества \( \{x, y\} \), \( \{x, z\} \), \( \{y, z\} \) и \( \{x, y, z\} \) не принадлежат базису \(B_Y\), однако являются открытыми в пространстве \(Y\), поскольку получаются как объединения базисных множеств.

Определим отображение \(f: X \to Y\):

• \( f(a) = x \)
• \( f(b) = x \)
• \( f(c) = y \)
• \( f(d) = z \)

Чтобы проверить непрерывность отображения, достаточно исследовать прообразы базисных множеств \(B_Y\).

• \( f^{-1}(\{x\}) = \{a,b\} \), и это множество открыто в пространстве \(X\).
• \( f^{-1}(\{y\}) = \{c\} \), однако это множество не является открытым в \(X\), поскольку не принадлежит топологии \( \tau_X \).

Этого уже достаточно для вывода. Так как прообраз одного из базисных множеств не является открытым, отображение \(f\) не является непрерывным.

Примечание. Если прообраз хотя бы одного элемента базиса пространства \(Y\) не является открытым в \(X\), дальнейшие проверки не нужны. Одного такого примера достаточно, чтобы установить отсутствие непрерывности.

Непрерывность относительно более грубых и более тонких топологий

Если отображение непрерывно относительно более грубой топологии, то оно автоматически остаётся непрерывным и относительно любой более тонкой топологии на том же множестве.

Обратное утверждение, вообще говоря, неверно. Отображение может быть непрерывным в более тонкой топологии и при этом не быть непрерывным в более грубой.

Более грубая и более тонкая топологии. Если на одном и том же множестве заданы две топологии, то топология с меньшим числом открытых множеств называется более грубой. Топология с большим числом открытых множеств называется более тонкой.

Пример

Рассмотрим множество \(X=\{a,b\}\), на котором заданы две топологии:

1. Более грубая топология \( \tau_1 = \{\varnothing, \{a,b\}\} \). Здесь открыты только пустое множество и всё множество \(X\).
2. Более тонкая топология \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a,b\}\} \). Помимо всего множества, открыты также множества \(\{a\}\) и \(\{b\}\).

Определим отображение \(f:X \to Y\), где \(Y=\{1\}\):

$$ f(a)=1 $$

$$ f(b)=1 $$

Проверим непрерывность отображения относительно более грубой топологии \( \tau_1 \).

• \(f^{-1}(\varnothing)=\varnothing\), а пустое множество всегда открыто.
• \(f^{-1}(\{1\})=\{a,b\}\), и это множество также открыто в \( \tau_1 \).

Следовательно, отображение \(f\) непрерывно относительно топологии \( \tau_1 \).

При переходе к более тонкой топологии прообразы множеств не изменяются. Меняется только набор открытых множеств.

В топологии \( \tau_2 \) множества \( \varnothing \) и \( \{a,b\} \) по-прежнему остаются открытыми.

• \(f^{-1}(\varnothing)=\varnothing\) открыто в \( \tau_2 \).
• \(f^{-1}(\{1\})=\{a,b\}\) также открыто в \( \tau_2 \).

Следовательно, отображение \(f\) непрерывно и относительно более тонкой топологии \( \tau_2 \).

Этот пример иллюстрирует общий принцип: если отображение непрерывно в более грубой топологии, то оно автоматически остаётся непрерывным и в любой более тонкой топологии.

Однако обратное утверждение неверно. Более тонкая топология может сделать непрерывными отображения, которые не являются непрерывными в более грубой топологии.

Пример 2

Снова рассмотрим множество \(X=\{a,b\}\) с теми же топологиями:

1. Более грубая топология \( \tau_1 = \{\varnothing, \{a,b\}\} \).
2. Более тонкая топология \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a,b\}\} \).

Теперь зададим отображение \(g:X \to Y\), где \(Y=\{1,2\}\):

$$ g(a)=1 $$

$$ g(b)=2 $$

Рассмотрим сначала топологию \( \tau_2 \).

• \(g^{-1}(\varnothing)=\varnothing\), что открыто.
• \(g^{-1}(\{1,2\})=\{a,b\}\), что также открыто.
• \(g^{-1}(\{1\})=\{a\}\), что открыто в \( \tau_2 \).
• \(g^{-1}(\{2\})=\{b\}\), что также открыто в \( \tau_2 \).

Следовательно, отображение \(g\) непрерывно относительно более тонкой топологии \( \tau_2 \).

Теперь рассмотрим более грубую топологию \( \tau_1 \).

• \(g^{-1}(\varnothing)=\varnothing\), что открыто.
• \(g^{-1}(\{1,2\})=\{a,b\}\), что также открыто.
• \(g^{-1}(\{1\})=\{a\}\), однако это множество не является открытым в \( \tau_1 \).

Следовательно, условие непрерывности нарушается.

Таким образом, отображение \(g\) непрерывно относительно более тонкой топологии \( \tau_2 \), но не является непрерывным относительно более грубой топологии \( \tau_1 \).

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

Связность и непрерывность: в чём разница?

Связность и непрерывность относятся к числу основных понятий топологии. Эти термины часто встречаются вместе, поскольку между ними существует тесная связь. Однако они описывают разные свойства и отвечают на разные вопросы.

• Связность является свойством пространства
  Связность характеризует внутреннее устройство топологического пространства. Пространство \(X\) называется связным, если его невозможно представить в виде объединения двух непустых непересекающихся открытых множеств. Эквивалентно, его нельзя разложить на два непустых непересекающихся замкнутых множества. Иными словами, связное пространство представляет собой единое целое, которое нельзя разделить на две независимые части средствами топологии.
• Непрерывность является свойством отображения
  Непрерывность относится не к самому пространству, а к отображению \(f: X \to Y\) между двумя топологическими пространствами. Отображение называется непрерывным, если прообраз любого открытого множества пространства \(Y\) является открытым множеством пространства \(X\). Таким образом, непрерывность описывает то, каким образом отображение переносит точки из одного пространства в другое. Например, отображение \(f(x)=x^2\) непрерывно как отображение \(\mathbb{R}\) в \(\mathbb{R}\), снабжённые стандартной топологией. Однако этот факт сам по себе ничего не говорит о том, является ли пространство \(\mathbb{R}\) связным.

Несмотря на тесную связь между этими понятиями, они не являются взаимозаменяемыми.

Одним из важнейших результатов топологии является следующее утверждение: если пространство \(X\) связно и отображение \(f: X \to Y\) непрерывно, то образ \(f(X)\) также будет связным подпространством пространства \(Y\).

Этот факт показывает, что непрерывные отображения сохраняют связность. Однако сама связность остаётся свойством пространства, а непрерывность остаётся свойством отображения.

Дополнительные замечания

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

• Непрерывное отображение не обязательно является открытым
  Из непрерывности отображения не следует, что оно переводит открытые множества в открытые. Поэтому непрерывное отображение не обязательно является открытым отображением.
• Лемма о склейке
  Пусть заданы два непрерывных отображения \(f: A \to Y\) и \(g: B \to Y\). Если они совпадают на пересечении \(A \cap B\), то их можно объединить в одно отображение \(h\), определённое на множестве \(A \cup B\). При выполнении условий леммы полученное отображение также будет непрерывным.
• Непрерывность в топологии подпространства
  Если \(Y\) является подпространством топологического пространства \(X\), то отображение включения \(f: Y \to X\), определяемое правилом \(f(y)=y\), всегда непрерывно.
• Непрерывность в фактор-топологии
  Пусть \(f\) является сюръективным отображением пространства \(X\) на множество \(A\). Фактор-топология на \(A\) определяется таким образом, чтобы отображение \(f\) оставалось непрерывным. Именно это свойство лежит в основе построения фактор-топологии.
• Теорема о непрерывности и замыкании множества
  Непрерывное отображение сохраняет отношение принадлежности замыканию. Если точка \(x \in X\) принадлежит замыканию множества \(A \subset X\), то её образ \(f(x)\) принадлежит замыканию множества \(f(A)\), то есть \(f(x) \in \operatorname{Cl}(f(A))\).
• Определение непрерывности через открытые множества
  Отображение непрерывно тогда и только тогда, когда прообраз любого открытого множества \(U \subset Y\) является открытым множеством пространства \(X\).
• Определение непрерывности через замкнутые множества
  Эквивалентно, отображение \(f : X \to Y\) непрерывно тогда и только тогда, когда прообраз любого замкнутого множества \(C \subset Y\) является замкнутым множеством пространства \(X\).
• Теорема о композиции непрерывных отображений
  Композиция непрерывных отображений также непрерывна. Если отображения \(f\) и \(g\) непрерывны, то непрерывным будет и отображение \(g \circ f\).
• Непрерывность и сходящиеся последовательности
  Если отображение \(f: X \to Y\) непрерывно и последовательность \((x_n)\) сходится к точке \(x\) в пространстве \(X\), то последовательность образов \((f(x_n))\) сходится к точке \(f(x)\) в пространстве \(Y\).
• Полиномиальные функции
  В пространстве \(\mathbb{R}\) со стандартной топологией любой многочлен \(p : \mathbb{R} \to \mathbb{R}\), заданный формулой \(p(x)=a_nx^n+\dots+a_1x+a_0\), является непрерывной функцией.

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