Определение непрерывности через открытые множества

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

Говоря проще, функция \( f: X \to Y \) непрерывна тогда и только тогда, когда прообраз любого открытого множества \( U \subset Y \), то есть множество \( f^{-1}(U) \), является открытым множеством в пространстве \( X \).

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

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

Поэтому данную формулировку часто называют определением непрерывности через открытые множества или топологическим определением непрерывности.

Примечание: Это определение эквивалентно привычному аналитическому определению непрерывности через \(\varepsilon\) и \(\delta\). Другими словами, оба подхода описывают одно и то же свойство функции, но используют разные математические языки. Аналитическое определение непрерывности формулируется следующим образом: «Функция \( f \) непрерывна в точке \( x_0 \in \mathbb{R} \), если для любого \(\varepsilon > 0\) существует число \(\delta > 0\), такое что для любого \( x \in \mathbb{R} \) из условия \( |x - x_0| < \delta \) следует неравенство \( |f(x) - f(x_0)| < \varepsilon \)». Именно это определение обычно изучают в курсах математического анализа.

Существует и полностью эквивалентная формулировка через замкнутые множества.

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

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

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

Рассмотрим функцию

$$ f : \mathbb{R} \to \mathbb{R}, \qquad f(x)=x^2 $$

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

Согласно определению, функция непрерывна, если для любого открытого множества \( U \subset \mathbb{R} \) и любой точки \( x \in f^{-1}(U) \) можно найти окрестность \( V \) точки \( x \), такую что \( f(V) \subset U \).

Выберем открытое множество

$$ U=(1,4). $$

Это интервал, содержащий все числа между 1 и 4.

Теперь найдём его прообраз относительно функции \( f(x)=x^2 \).

Для этого нужно определить все значения \( x \), удовлетворяющие условию

$$ x^2 \in (1,4). $$

То есть решить двойное неравенство

$$ 1 < x^2 < 4. $$

Отсюда получаем

$$ 1 < |x| < 2. $$

Следовательно,

$$ f^{-1}(U)=(-2,-1)\cup(1,2). $$

Мы получили объединение двух открытых интервалов, а значит, прообраз \( f^{-1}(U) \) является открытым множеством в \( \mathbb{R} \).

Проверим теперь условие непрерывности в одной из точек этого множества.

Возьмём, например, точку

$$ x=1.5. $$

Её образ равен

$$ f(1.5)=1.5^2=2.25, $$

а число \( 2.25 \) действительно принадлежит интервалу \( (1,4) \).

Теперь найдём окрестность точки \( 1.5 \), образ которой полностью останется внутри множества \( U \).

Выберем интервал

$$ V=(1.4,1.6). $$

На концах этого интервала имеем:

$$ f(1.4)=1.96 \qquad \text{и} \qquad f(1.6)=2.56. $$

Следовательно, значения функции на всём интервале \( V \) лежат внутри промежутка

$$ f(V)=(1.96,2.56). $$

Этот интервал полностью содержится в множестве \( U=(1,4) \).

$$ f(V)\subset U. $$

Таким образом, для точки \( x=1.5 \) нашлась окрестность \( V \), образ которой не выходит за пределы открытого множества \( U \). Это полностью соответствует определению непрерывности.

Аналогичное рассуждение можно провести для любой другой точки области определения. Следовательно, функция \( f(x)=x^2 \) непрерывна в смысле определения через открытые множества.

Примечание: Для доказательства непрерывности недостаточно проверить условие только в одной точке. Необходимо показать, что оно выполняется для каждой точки пространства \( X \). Иначе говоря, для любой точки \( x \in X \) и любого открытого множества \( U \), содержащего \( f(x) \), должна существовать окрестность \( V \) точки \( x \), такая что \( f(V) \subset U \).

Доказательство

Докажем эквивалентность двух формулировок непрерывности.

A] Первая часть

Предположим, что функция \( f \) непрерывна в смысле определения через открытые множества.

Возьмём точку \( x \in X \) и открытое множество \( U \subset Y \), содержащее точку \( f(x) \).

Рассмотрим множество

$$ V=f^{-1}(U). $$

Оно состоит из всех точек пространства \( X \), которые отображаются функцией \( f \) в множество \( U \).

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

Кроме того, точка \( x \) принадлежит множеству \( V \), а образ множества \( V \) содержится в \( U \).

Тем самым для любого открытого множества \( U \), содержащего \( f(x) \), существует открытая окрестность точки \( x \), образ которой лежит внутри \( U \).

B] Вторая часть

Теперь предположим, что для любой точки \( x \in X \) и любого открытого множества \( U \subset Y \), содержащего \( f(x) \), существует окрестность \( V \) точки \( x \), такая что

$$ f(V)\subset U. $$

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

Пусть \( W \subset Y \) является открытым множеством.

Рассмотрим произвольную точку

$$ x\in f^{-1}(W). $$

Тогда по определению прообраза выполняется

$$ f(x)\in W. $$

Так как множество \( W \) открыто, по предположению существует окрестность \( V_x \) точки \( x \), такая что

$$ f(V_x)\subset W. $$

Отсюда следует:

$$ V_x\subset f^{-1}(W). $$

Следовательно, каждая точка множества \( f^{-1}(W) \) имеет открытую окрестность, полностью лежащую внутри этого множества.

Значит, множество \( f^{-1}(W) \) открыто в пространстве \( X \).

Заключение

Мы доказали, что определение непрерывности через открытые множества и определение через окрестности приводят к одному и тому же понятию непрерывности.

Следовательно, эти формулировки являются эквивалентными.