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

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

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

https://arxiv.org/abs/2602.00712
https://arxiv.org/abs/2610.14783

Наши каналы
MAX · Telegram · Дзен

#топология #теорияграфов #хаусдорфовость