Лекция: Слабые и сильные порядки
К требованию асимметрии целесообразно добавить одно из следующих свойств: негатранзитивность или транзитивность.
1. Транзитивность:
2. Негатранзитивность:
Слабый порядок — асимметричное негатранзитивное отношение или строго упорядоченное и негатранзитивное (пример: x>y).
Так же как и для строгого упорядочения можно ввести отношение безразличия для слабого порядка:
Отношение безразличия для строгого упорядочения было рефлексивно и симметрично. Новое отношение безразличия, введенное для слабого порядка, является кроме этого и транзитивным.
Докажем теорему:
Отношение является транзитивным.
— рефлексивно, симметрично, транзитивно и следовательно является отношением эквивалентности. Это означает, что по основному свойству отношения эквивалентности множество альтернатив X разбивается на взаимно непересекающиеся классы эквивалентности, которые в данном случае являются классами взаимно толерантных элементов.
.
— фактор-множество, множество классов эквивалентности.
Указанные выше 3 свойства уже позволяют сравнивать не отдельные элементы множества X, а целые классы.
Введем отношение :
Это отношение читается так: класс превосходит класс )
Это определение вводит отношение, которое вызвано отношением слабого порядка. В этом определении безразлично какой x из и какой y из были взяты, в любом случае если для одной такой пары имеет место xPy, то оно будет иметь место и для любой другой такой пары.
Отношение называется сильным порядком. Сильный порядок – асимметричное, негатранзитивное, слабо-полное отношение.
Слабая полнота: для любой пары.классов и имеет место
Замечание. Подобного отношения нельзя ввести для отношения I, введенного для строгого упорядочивания
Таким образом, отношение удается ввести только благодаря негатранзитивности отношения P, которое добавили.