Определяемость отношений полугруппами изотонных преобразований
А. А. Клюшинa,
И. Б. Кожуховbc,
Д. Ю. Маниловd,
А. В. Решетниковb a Cadence Design Systems, Bld. 1, Penrose Dock, Penrose Quay, Cork, T23 KW81, Ireland
b Московский институт электронной техники, пл. Шокина, 1, 124498 Москва, Россия
c Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 1, 119991 Москва, Россия
d НПЦ «Электронные вычислительно-информационные системы», ул. Конструктора Лукина, 14, с. 14, 124460 Зеленоград, Москва, Россия
Аннотация:
В 1961 г. Л. М. Глускин доказал, что множество
$X$ с заданным на нём нетривиальным квазипорядком
$\rho$ с точностью до изоморфизма или антиизоморфизма определяется полугруппой
$T_\rho(X)$ изотонных преобразований множества
$X$ (т. е. преобразований, сохраняющих
$\rho$). Позже Л. М. Попова доказала аналогичное утверждение для полугруппы
$P_\rho(X)$ частичных изотонных преобразований, причём
$\rho$ — необязательно квазипорядок, а любое нетривиальное рефлексивное или антирефлексивное бинарное отношение на
$X.$ В настоящей работе доказано, что полугруппа
$B_\rho(X)$ изотонных бинарных отношений (многозначных отображений) при тех же самых ограничениях на отношение
$\rho$ также определяет данное отношение
$\rho$ с точностью до изоморфизма или антиизоморфизма. Кроме того, для каждого из условий
$T_\rho(X)=T(X),$ $P_\rho(X)=P(X),$ $B_\rho(X)=B(X)$ авторами охарактеризованы
$n$-арные отношения
$\rho,$ удовлетворяющие данному условию. Библиогр. 8.
Ключевые слова:
полугруппа бинарных отношений, изотонное преобразование.
УДК:
512.534.1
Статья поступила: 28.08.2023
Переработанный вариант: 06.09.2023
Принята к публикации: 22.09.2023
DOI:
10.33048/daio.2024.31.783