Не всякое непрерывное отображение является открытым
Непрерывное отображение \( f: X \to Y \) не обязательно переводит открытые множества пространства \( X \) в открытые множества пространства \( Y \).
Это один из важных моментов общей топологии, который нередко вызывает путаницу у начинающих. Непрерывность и открытость связаны с открытыми множествами, однако это разные свойства отображений.
Поэтому не всякое непрерывное отображение является открытым.
Что такое открытое отображение? Открытое отображение \( f: X \to Y \) называется открытым, если образ любого открытого множества из \( X \) является открытым множеством в \( Y \).
Иными словами, непрерывность отображения ещё не гарантирует, что открытые множества сохранят свою открытость после перехода к образу.
Практический пример
Рассмотрим функцию \( f(x) = x^2 \), определённую на множестве действительных чисел \( \mathbb{R} \).
Эта функция непрерывна во всех точках своей области определения.
Возьмём открытый интервал \( (-2, 2) \), содержащий все действительные числа между \( -2 \) и \( 2 \).
Теперь найдём его образ при отображении \( f(x) = x^2 \).
$$ f(-2) = (-2)^2 = 4 \\ f(0) = 0^2 = 0 \\ f(2) = 2^2 = 4 $$
В результате получаем множество
$$ f((-2,2)) = [0,4). $$
Этот промежуток не является открытым множеством.
Действительно, точка \( 0 \) принадлежит множеству \( [0,4) \), но вокруг неё нельзя выбрать открытую окрестность, которая полностью содержалась бы в этом промежутке. Любая такая окрестность обязательно содержит отрицательные числа, не принадлежащие множеству \( [0,4) \).
Таким образом, мы получили непрерывное отображение, которое переводит открытое множество в множество, не являющееся открытым.
Следовательно, функция \( f(x)=x^2 \) непрерывна, но открытым отображением не является.
Чем отличаются непрерывные и открытые отображения?
Чтобы не путать эти понятия, полезно помнить, что они рассматривают открытые множества с разных точек зрения.
- Непрерывное отображение
Отображение \( f: X \to Y \) называется непрерывным, если прообраз любого открытого множества пространства \( Y \) открыт в пространстве \( X \).Непрерывность связана с прообразами. Мы берём открытое множество в области значений и смотрим, что происходит с ним при переходе назад через отображение. Если каждый такой прообраз остаётся открытым, отображение считается непрерывным.
- Открытое отображение
Отображение \( f: X \to Y \) называется открытым, если образ любого открытого множества пространства \( X \) открыт в пространстве \( Y \).Открытость связана с образами. Мы берём открытое множество в области определения и рассматриваем его образ в области значений. Если каждый такой образ оказывается открытым, отображение является открытым.
Главное различие заключается в направлении рассмотрения множеств.
- Непрерывность изучает прообразы открытых множеств.
- Открытость изучает образы открытых множеств.
Поэтому эти свойства не эквивалентны. Отображение может быть непрерывным, но не открытым, как в примере с функцией \( f(x)=x^2 \). Аналогично существуют открытые отображения, которые не являются непрерывными.
Именно по этой причине в топологии непрерывность и открытость рассматриваются как два независимых свойства отображений.
