Об определяемости топологических пространств полугруппой непрерывных бинарных отношений
Е. М. Вечтомовa,
М. В. Волковb a Вятский государственный университет, г. Киров
b Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, г. Екатеринбург
Аннотация:
Исследуются вопросы определяемости топологических пространств
$X$ новым производным алгебраическим объектом – полугруппой
$CR(X)$ всех непрерывных бинарных отношений на них, рассматриваемой с операцией композиции бинарных отношений. Получены результаты об определяемости
$T_1$-пространств
$X$ полугруппой
$CR(X)$ и произвольных топологических пространств
$X$ алгебраическими системами, связанными с полугруппой
$CR(X)$. Доказано, что каждое конечное топологическое пространство
$X$ абсолютно определяется своей полугруппой
$CR(X)$.
Библиография: 8 названий.
Ключевые слова:
топологическое пространство,
$T_0$-пространство, полугруппа непрерывных бинарных отношений, определяемость, абсолютная определяемость.
УДК:
512.556
MSC: 06F05,
54C50,
20M20 Поступило: 18.04.2024
Исправленный вариант: 05.07.2024
DOI:
10.4213/mzm14345