Ф.И.О.
Лысенко Александра Васильевна
Ученая степень
—
Ученое звание
—
Почетное звание
—
Организация, должность
• Кубанский государственный университет
Научные интересы
структурная теория групп
Адрес веб-сайта
—
Электропочта
Текущий рейтинг (суммарный рейтинг статей)
0
TOP5 соавторов
Статей в журнале: 1 шт
Сформировать список работ, опубликованных в Научном журнале КубГАУ
-
О числе линейно упорядочиваемых бинарных отношений на конечном множестве
01.00.00 Физико-математические науки
Краткое описаниеПонятие частично упорядоченного множества является фундаментальным для современной теоретико-множественной математики. Проблема линейного упорядочивания множеств с заданными на них бинарными отношениями широко известна. Всякий частичный порядок на конечном множестве линейно упорядочиваем, но не всякое бинарное отношение на этом множестве является линейно упорядочиваемым. До сих пор не известна формула для подсчета числа частичных порядков на данном конечном множестве. Оказывается, формула для подсчета бинарных линейно упорядочиваемых отношений на конечном множестве существует. Выводу этой формулы и посвящена настоящая статья. В ходе доказательства, существенную роль играет факт из работы Г.Н. Титова [9] о том, что бинарное отношение на конечном множестве линейно упорядоченно тогда и только тогда, когда любой диагональный блок матрицы, полученной из матрицы бинарного отношения в результате обнуления элементов главной диагонали, содержит хотя бы одну нулевую строку (под диагональным блоком матрицы мы понимаем всякую матрицу, составленную из элементов, стоящих на пересечении строк и столбцов данной матрицы с одинаковыми номерами). Основным результатом статьи является теорема, позволяющая по формуле найти число линейно упорядочиваемых бинарных отношений на множестве из n элементов. Также получена рекуррентная формула для числа линейно упорядочиваемых (иррефлексивных) бинарных отношений на конечном множестве из n элементов, которая приводится в лемме