Рассмотрим отношение «уважать», определенное на множестве всех людей M. Для полной информации о том, кто кого уважает, составим следующее множество R. Переберем все пары (a,b), где a,b пробегают множество всех людей. Если a уважает b, то пару (a,b) отнесем к множеству R, иначе — нет.
Этот список полностью отражает отношение «уважать». Если нужно узнать, уважает ли человек a человека b, то просмотрим множество R. Если пара (a,b)∈R, то заключаем, что a уважает b. В случае (a,b)∉R — a не уважает b.
Бинарным отношением, определенным на множестве M, называется произвольное подмножество R из декартового произведения M2.
Рассмотрим отношение больше на множестве M={1,2}. Тогда
M2={(1,1),(1,2),(2,1),(2,2)} Из него выбирем все пары (a,b), где a>b. Получим R={(2,1)}
Бинарное отношение R на множестве M называется рефлексивным, если для любого элемента a из M, выполняется условие a R a. ∀a∈M a R a или∀a∈M (a,a)∈R.
Бинарное отношение R на множестве M называется симметричным, если для любых двух элементов a,b из M, из условия a R b следует условие b R a.
∀a,b∈M a R b→b R a или∀a,b∈M (a,b)∈R→(b,a)∈R.
Бинарное отношение R на множестве M называется транзитивным, если для любых элементов a,b,c из M, из условий a R b и b R c следует условие a R c.
∀a,b,c∈M a R b∧b R c→a R c или∀a,b,c∈M (a,b)∈R∧(b,c)∈R→(a,c)∈R.
Рассмотрим отношение больше на множестве дейтсвительных чисел. Оно является транзитивным, так как для любых элементов выполняется условние ∀a,b,c∈M a>b∧b>c→a>c. Так, например, подставив вместо a,b и c числа 2,1 и 0 соответственно, получим: если 2>1 и 1>0, то 2>0 — верное утверждение (вспомните импликацию, из истины следует истина).
Бинарное отношение R на множестве M называется антисимметричным, если для любых элементов a,b из M, из условий a R b и b R a следует условие a=b.
∀a,b,c∈M a R b∧b R a→a=b или∀a,b∈M (a,b)∈R∧(b,a)∈R→a=b.
Отношение больше или равно на множестве действительных чисел антисимметрично. Действительно, если a≥b и b≥a, a=b.
Бинарное отношение R на множестве M называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.
Нетрудно проверить, что отношение параллельности на множестве прямых плоскости является отношением эквивалентности.
Бинарное отношение R на множестве M называется отношением частичного порядка, если оно рефлексивно, антисимметрично и транзитивно.
Отношение больше или равно на множестве действительных чисел является отношением частичного порядка.
Пусть R — бинарное отношение на множестве M, и P — одно из следующих условий:
Построим для каждого из них отрицание выполнения условия P.
По определению R рефлексивно, если каждый элемент множества M находится в отношении R к самому себе, то есть ∀a∈M a R a. Тогда рассмотрим отрицание рефлексивности как истинное высказывание ¯∀a∈M a R a. Используем равносильность ¯∀xP(x)≡∃x¯P(x). В нашем случае получаем ∀a∈M a R a≡∃a∈M a ⧸R a, что и нужно.
Аналогично получаем и остальные отрицания. В итоге получаем следующие утверждения:
R не рефлексивно тогда и только тогда, когда
∃a∈M a R̸ a
R не симметрично тогда и только тогда, когда
∃a,b∈M a R b∧b R̸ a
R не транзитивно тогда и только тогда, когда
∃a,b,c∈Ma R b∧b R c∧a R̸ c
R не антисимметрично тогда и только тогда, когда
∃a,b∈M a R b∧b R a∧a≠b.
Бинарные отношения | Отношение эквивалентности. Классы эквивалентности |