Топологическое вложение

В топологии топологическое вложение представляет собой непрерывное инъективное отображение \( f: X \rightarrow Y \) между топологическими пространствами \( X \) и \( Y \), которое задаёт гомеоморфизм между пространством \( X \) и его образом \( f(X) \). При этом образ \( f(X) \) рассматривается как подпространство пространства \( Y \) с топологией, индуцированной из \( Y \).

Иначе говоря, отображение является топологическим вложением, если выполняются три условия:

1. Отображение \( f \) непрерывно.
2. Отображение \( f \) инъективно, то есть различные точки пространства \( X \) переходят в различные точки пространства \( Y \).
3. Обратное отображение \( f^{-1}: f(X) \rightarrow X \) также непрерывно относительно топологии подпространства на множестве \( f(X) \).

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

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

Рассмотрим два топологических пространства.

• Пространство \( X \)
  Пусть \( X=\{a,b,c\} \) с топологией \( \mathcal{T}_X=\{\emptyset,\{a\},\{a,b\},X\} \).
• Пространство \( Y \)
  Пусть \( Y=\{1,2,3,4\} \) с топологией \( \mathcal{T}_Y=\{\emptyset,\{1\},\{1,2\},\{1,2,3\},Y\} \).

Определим отображение

$$ f(a)=1 \\ f(b)=2 \\ f(c)=3. $$

Проверим, удовлетворяет ли оно всем условиям топологического вложения.

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

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

В нашем примере:

• \( f^{-1}(\emptyset)=\emptyset \in \mathcal{T}_X \);
• \( f^{-1}(\{1\})=\{a\} \in \mathcal{T}_X \);
• \( f^{-1}(\{1,2\})=\{a,b\} \in \mathcal{T}_X \);
• \( f^{-1}(\{1,2,3\})=X \in \mathcal{T}_X \);
• \( f^{-1}(Y)=X \in \mathcal{T}_X \).

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

2. Инъективность

Отображение является инъективным, поскольку каждому элементу множества \( X \) соответствует свой элемент множества \( Y \):

$$ f(a)=1 \\ f(b)=2 \\ f(c)=3. $$

Никакие две различные точки пространства \( X \) не имеют одного и того же образа.

3. Непрерывность обратного отображения

Образ отображения имеет вид

$$ f(X)=\{1,2,3\}\subset Y. $$

На этом множестве рассматривается топология подпространства

$$ \mathcal{T}_{f(X)}= \{\emptyset,\{1\},\{1,2\},\{1,2,3\}\}. $$

Теперь проверим непрерывность обратного отображения \( f^{-1}:f(X)\rightarrow X \).

Для этого достаточно убедиться, что прообраз каждого открытого множества пространства \( X \) открыт в топологии \( \mathcal{T}_{f(X)} \).

• \( \emptyset \longmapsto \emptyset \);
• \( \{a\} \longmapsto \{1\} \);
• \( \{a,b\} \longmapsto \{1,2\} \);
• \( X \longmapsto \{1,2,3\} \).

Все полученные множества принадлежат топологии \( \mathcal{T}_{f(X)} \). Следовательно, обратное отображение непрерывно.

Итак, отображение \( f \) удовлетворяет всем трём условиям и, следовательно, является топологическим вложением.

Обратите внимание, что образ \( f(X)=\{1,2,3\} \) не совпадает со всем пространством \( Y \). Тем не менее этого не требуется: важно лишь, что пространство \( X \) и его образ \( f(X) \) гомеоморфны.

Чем топологическое вложение отличается от гомеоморфизма

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

• Гомеоморфизм
  Гомеоморфизм представляет собой биективное отображение между пространствами \( X \) и \( Y \), полностью сохраняющее их топологическую структуру. В этом случае оба пространства топологически эквивалентны.
• Топологическое вложение
  Топологическое вложение не требует, чтобы отображение покрывало всё пространство \( Y \). Достаточно, чтобы пространство \( X \) было гомеоморфно своему образу \( f(X) \), который является подпространством пространства \( Y \).

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

И так далее...