Сравнение топологий

Сравнение топологий — это понятие, позволяющее «сравнивать» различные топологические структуры на одном и том же множестве. Множество всех топологий на фиксированном множестве образует частично упорядоченное множество относительно этого отношения.

Определение

Пусть ${𝒯}_1$ и ${𝒯}_2$ — две топологии на множестве $X,$ такие что ${𝒯}_1$ содержится в ${𝒯}_2:$

${𝒯}_1\subseteq {𝒯}_2.$

Это значит, что каждое открытое множество первого топологического пространства является открытым множеством второго. В этом случае топология ${𝒯}_1$ называется более грубой (иногда — более слабой или меньшей), чем ${𝒯}_2.$ Соответственно, топология ${𝒯}_2$ называется более тонкой (более сильной, большей). Некоторые авторы, особенно в учебниках по математическому анализу, употребляют термины «сильная топология» и «слабая топология» с противоположным значением.

Бинарное отношение $\subseteq$ задаёт структуру частичного порядка на множестве всех возможных топологий множества $X.$

Примеры

Наиболее тонкая топология на $X$ — дискретная топология, в которой все множества открыты. Соответственно, наиболее грубая топология — тривиальная (или антидискретная) топология.

Наиболее грубая топология на $X,$ относительно которой $X$ удовлетворяет аксиоме отделимости T₁, называется T₁-топологией. Такая топология всегда существует, её можно описать явно как топологию, замкнутые множества которой — это конечные множества, а также всё $X.$

Свойства

Пусть ${𝒯}_1$ и ${𝒯}_2$ — две топологии на множестве $X.$ Тогда следующие утверждения эквивалентны:

• ${𝒯}_1\subseteq {𝒯}_2$
• Тождественное отображение ${\text{id}}_X:(X,{𝒯}_2)\to (X,{𝒯}_1)$ непрерывно.
• Тождественное отображение ${\text{id}}_X:(X,{𝒯}_1)\to (X,{𝒯}_2)$ является открытым отображением (или, эквивалентно, замкнутым отображением).

Также из определений немедленно следуют данные утверждения:

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

Решётка топологий

Множество топологий на $X$ образует полную решётку относительно отношения $\subseteq .$ Это значит, что произвольное семейство топологий имеет точную верхнюю и точную нижнюю грань. Точная нижняя грань — это просто пересечение топологий. С другой стороны, объединение топологий не обязательно является топологией, и точная верхняя грань семейства топологий — это топология, для которой их объединение является предбазой.

Любая полная решётка является также ограниченной, в случае топологий этому соответствуют понятия дискретной и антидискретной топологии.