М. И. Кудряшова (НГУ).
Реферативный доклад по статье Paolo Lipparini “A Model Theory of Topology”.
Аннотация
Алгебраизация понятия топологического пространства предложена более 70 лет назад в работе МакКинси и Тарского. Однако, морфизмы в предложенной алгебраизации не вполне соответствует морфизмам топологических пространств — непрерывным отображениям. Автор данной статьи замечает, что если рассматривать ЧУМы и полурешетки с дополнительным бинарным отношением предпорядка (специализации), то соответствие морфизмов будет иметь место. В статье показано, что любой такой ЧУМ (полурешетка) со специализацией вкладывается в соответствующий ЧУМ (полурешетку) со специализацией, ассоциированную с топологическим пространством, где отношение специализации связано с оператором замыкания топологического пространства. Более того, показано, что можно переопределить некоторые топологические понятия для данных структур и доказать связанные с этими понятиями теоремы из общей топологии.
[1] P. Lipparini, A Model Theory of Topology, Studia Logica, V. 113 (2024), 225-259.