Отношение строгого упорядочения

Минимальным требованием, предъявляемые к БО для выбора, является асимметрия. Это БО называется отношением строгого упорядочения. Строгое упорядочение асимметрично и антирефлексивно.

Данное отношение все же не может обеспечить качественный выбор, например оно не полно и даже не является слабополным. Последнее означает, что некоторые пары не попали в БО и эксперт не смог их сравнить.

У этого может быть 3 причины:

1-я. он считает, что они неразличимы,

2-я. он не уверен, что одна из альтернатив превосходит другую,

3-я. он считает, что они несравнимы.

Пары, не попавшие в асимметричное отношение, тоже определяют БО. Такое отношение называется отношением безразличия или отношением толерантности.

,

где Р – отношение строгого упорядочения, I – индуцированное им отношение толерантности.

Объединив пары P и I, получим отношение не строгого упорядочения:

,

оно уже, по крайней мере, слабополно.

Свойства отношения толерантности.

· Отношение , которое включает те и только те пары множества X, которые не попадают в отношение R называются дополнительными по отношению к R:

.

· Отношение , дополнительное к обратному, называется двойственным по отношению к R:

.

Теорема:

Отношение строгого упорядочивания P и не строгого упорядочивания R образуют двойственную пару: .

Теорема: