Содержание
Отношение порядка на множестве
проверено
Отношение частичного порядка
Определение 1. Бинарное отношение на множестве называется отношением частичного порядка1), если оно удовлетворяет свойствам
- рефлексивности: для всех ;
- антисимметричности: для всех ;
- транзитивности: для всех .
Пример 1. Пусть — множество всех подмножеств множества . Отношение включения на является отношением частичного порядка.
Пример 2. Упорядочение 2) на множестве действительных чисел является отношением частичного порядка.
Пример 3. На множестве комплексных чисел определим бинарное отношение как множество упорядоченных пар комплексных чисел таких, что и . Тогда удовлетворяет свойствам
- рефлексивности;
- антисимметричности;
- транзитивности,
и по определению является отношением частичного порядка.
Пример 4. Отношение делимости на множестве целых чисел 3) не является отношением частичного порядка, так как не обладает свойством антисимметричности: 2 делится на -2 и -2 делится на 2, но . Но то же самое отношение на множестве натуральных чисел является отношением частичного порядка.
Достаточно часто наряду с отношением частичного порядка встречаются бинарные отношения, которые вместо отношения рефлексивности удовлетворяют отношению антирефлексивности. Например, на множестве действительных чисел в случае, если и пишут .
Определение 2. Бинарное отношение на множестве называется отношением строгого частичного порядка4), если оно удовлетворяет свойствам
- антирефлексивности: для всех ;
- антисимметричности: для всех ;
- транзитивности: для всех .
Отношение линейного порядка
Определение 3. Бинарное отношение на множестве называется отношением линейного порядка5), если
- является отношением частичного порядка;
- для любых либо , либо .
Пример 5. Бинарное отношение на множестве комплексных чисел из примера 1 не является отношением линейного порядка, так как ни пара , ни не принадлежат бинарному отношению .
Пример 6. На множестве действительных чисел упорядочение 6) является отношением линейного порядка.
Упорядоченные множества
Про множество, на котором задано отношение частичного порядка, говорят, что оно частично упорядочено. Если же задано отношение линейного порядка, то множество называют линейно упорядоченным, или просто упорядоченным.