Отношение порядка. В математике широко используются отношения, которые определяют некоторый порядок расположения элементов множества

В математике широко используются отношения, которые определяют некоторый порядок расположения элементов множества. Например:

– имеющееся в магазине множество продуктов продавец должен продавать в следующем порядке: сначала те продукты, для которых наиболее близок конец срока годности, затем более свежие продукты и т.д.

– при подготовке лабораторных работ студент должен сначала выполнить те работы, срок сдачи которых наиболее близок, затем менее срочные работы и т.д.

– при подготовке к походу рюкзак нужно собирать в следующем порядке: на дно кладутся вещи, которые будут наименее востребованы, затем вещи, которые будут использоваться чаще, и т.д.

Во всех этих случаях можно расположить элементы или группы элементов множества в некотором порядке (в виде убывающей или возрастающей последовательности), то есть ввести отношение порядка на множестве.

Различают отношения строгого порядка, для которых применяются символы >, Ì, и отношения нестрогого порядка, где используются символы ³, Í.

Эти отношения характеризуются следующими свойствами:

Для отношения строгого порядка:

1) a < a – ложно (антирефлексивность);

2) a < b и b < a взаимоисключаются (несимметричность);

3) a < b и b < c Þ a < c – истина (транзитивность).

Для отношения нестрогого порядка:

1) a £ a – истинно (рефлексивность);

2) a £ b и b £ a Þ a = b (антисимметричность);

3) a £ b и b £ c Þ a £ c (транзитивность).

Если отношение порядка выполняется не для всех пар элементов, то отношение называется отношением частичного (строгого или нестрогого) порядка, а множество – частично упорядоченным.

Множество называется полностью упорядоченным (линейно упорядоченным, цепью), если любые два его элемента a и b сравнимы между собой, то есть для них выполняется одно из условий: a<b, a=b, a>b. Говорят, что на упорядоченном множестве задано отношение полного порядка или отношение линейного порядка. Если между каждой парой элементов упорядоченного множества можно установить отношение строгого или нестрогого порядка, говорят, что на множестве задано отношение полного строгого (нестрогого) порядка.

Упорядоченное множество по своей сути является кортежем: место каждого элемента во множестве строго определено и не может изменяться.

Примеры упорядоченных множеств привести несложно. Например:

– на множестве натуральных чисел N можно задать отношение строгого порядка «<» или «>»;

– расположение студентов по росту является заданием отношения нестрогого порядка, поскольку возможны студенты с одинаковым ростом;

– зачисление студентов в университет по набранным баллам является отношением нестрогого порядка, поскольку возможны студенты с одинаковыми баллами.

Дата добавления: 2014-01-06