40 . разобраться с бинарным отношением.
на множестве b={1, 2, 3, 4} задано бинарное отношение p={(2; 1), (3; 1), (3; 2), (4; 1), (4; 3)}.
а) постройте таблицу отношения. найдите область определения и область значений отношения;
б) выясните, является ли отношение рефлексивным, анти-рефлексивным, симметричным, анти-симметричным, транзитивным;
в) является ли оно отношением эквивалентности или порядка? функцией?
а) Построение таблицы отношения:
Для этого нам нужно внимательно прочитать отношение p и создать таблицу, где строки представляют элементы множества b, а столбцы представляют элементы множества b. Заполним ячейки таблицы значениями отношения p.
| 1 | 2 | 3 | 4 |
---|---|---|---|---|
1 | | | | |
2 | | | | |
3 | | | | |
4 | | | | |
Теперь запишем значения отношения в соответствующие ячейки:
- (2; 1) означает, что 2 находится в отношении с 1. Запишем "1" в ячейку в строке 2 и столбце 1.
- (3; 1) означает, что 3 находится в отношении с 1. Запишем "1" в ячейку в строке 3 и столбце 1.
- (3; 2) означает, что 3 находится в отношении с 2. Запишем "1" в ячейку в строке 3 и столбце 2.
- (4; 1) означает, что 4 находится в отношении с 1. Запишем "1" в ячейку в строке 4 и столбце 1.
- (4; 3) означает, что 4 находится в отношении с 3. Запишем "1" в ячейку в строке 4 и столбце 3.
| 1 | 2 | 3 | 4 |
---|---|---|---|---|
1 | | | | |
2 | 1 | | | |
3 | 1 | 1 | | |
4 | 1 | 0 | 1 | |
Отлично! Таблица отношения готова. Каждая "1" в ячейке отображает, что элемент в строке находится в отношении с элементом в столбце.
Теперь найдем область определения и область значений отношения:
- Область определения отношения p - это множество элементов, которые являются первыми частями упорядоченных пар в отношении p. То есть, область определения отношения p = {2, 3, 4}.
- Область значений отношения p - это множество элементов, которые являются вторыми частями упорядоченных пар в отношении p. То есть, область значений отношения p = {1, 2, 3}.
б) Теперь выясним, является ли отношение p рефлексивным, анти-рефлексивным, симметричным, анти-симметричным и транзитивным.
- Отношение p называется рефлексивным, если каждый элемент множества b находится в отношении с самим собой. Давай проверим. В нашем отношении p нет пар вида (1; 1), (2; 2), (3; 3), (4; 4), поэтому отношение p не является рефлексивным.
- Отношение p называется анти-рефлексивным, если нет элементов, которые находятся в отношении сами с собой. В нашем отношении p таких пар нет, поэтому отношение p является анти-рефлексивным.
- Отношение p называется симметричным, если для каждой пары (a; b) в отношении p существует пара (b; a). В нашем отношении p есть пары (2; 1) и (1; 2), (3; 1) и (1; 3), (3; 2) и (2; 3), (4; 1) и (1; 4), (4; 3) и (3; 4), поэтому отношение p является симметричным.
- Отношение p называется анти-симметричным, если для каждой пары (a; b) в отношении p, если (a; b) принадлежит p и (b; a) принадлежит p, то a равно b. В нашем отношении p есть пары (1; 2) и (2; 1); (3; 1) и (1; 3); (4; 1) и (1; 4); (4; 3) и (3; 4), но a не равно b, поэтому отношение p не является анти-симметричным.
- Отношение p называется транзитивным, если для каждых трех элементов (a; b), (b; c) и (a; c), если (a; b) и (b; c) принадлежат p, то (a; c) также принадлежит p. Давай проверим. У нас есть пары (2; 1) и (1; 3), но нет пары (2; 3), поэтому отношение p не является транзитивным.
в) Определим, является ли отношение p отношением эквивалентности или порядка.
- Отношение p называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно. Мы уже выяснили, что отношение p не является рефлексивным и транзитивным, поэтому оно не является отношением эквивалентности.
- Отношение p называется порядком, если оно рефлексивно, анти-симметрично и транзитивно. Мы уже выяснили, что отношение p не является рефлексивным, анти-симметричным и не транзитивно, поэтому оно не является порядком.
Отношение p может быть функцией, если каждому элементу из области определения соответствует единственный элемент из области значений. В нашем отношении p каждому элементу из области определения соответствует несколько элементов из области значений, поэтому отношение p не является функцией.
Надеюсь, я смог разъяснить задачу и ответить на все твои вопросы! Если у тебя есть еще какие-то вопросы, смело спрашивай!