RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2024, том 31, выпуск 1, страницы 19–34 (Mi da1337)

Определяемость отношений полугруппами изотонных преобразований

А. А. Клюшин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


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2024, 18:1, 60–69


© МИАН, 2024