Скачать презентацию Отношения на множестве Лекция 2 В математике Скачать презентацию Отношения на множестве Лекция 2 В математике

2семестр лекция 2 бакалавриат.ppt

  • Количество слайдов: 31

Отношения на множестве Лекция 2 Отношения на множестве Лекция 2

В математике изучают не только связи между элементами двух множеств, но и связи между В математике изучают не только связи между элементами двух множеств, но и связи между элементами одного множества. Такие связи называют отношениями на множестве.

Виды соответствий Соответствия между элементами двух множеств Функциональные соответствия, как соответствия между двумя множествами Виды соответствий Соответствия между элементами двух множеств Функциональные соответствия, как соответствия между двумя множествами Отношения между элементами одного множества

Понятие отношения на множестве • Определение: • Бинарным отношением на множестве X называется всякое Понятие отношения на множестве • Определение: • Бинарным отношением на множестве X называется всякое подмножество декартова произведения X×X. • Символическая запись «x. Ry» читается : элемент x находится в данном отношении R с элементом y.

 • Отношения на множестве обозначают также, как и соответствия: буквами R, S, T, • Отношения на множестве обозначают также, как и соответствия: буквами R, S, T, P и др. • Если R – отношение на множестве X, то согласно определению И наоборот, если задано некоторое подмножество то оно определяет на множестве X некоторое отношение R.

Например: • На множестве X={2, 4, 6, 8} задано отношение R- быть меньше. • Например: • На множестве X={2, 4, 6, 8} задано отношение R- быть меньше. • Построим граф этого отношения

 • • 8 • 2 4 6 Элементы множества X называют вершинами графа, • • 8 • 2 4 6 Элементы множества X называют вершинами графа, отношение «меньше» устанавливаем стрелками.

Еще один пример: • S- быть кратным задано на множестве X={4, 8, 9, 72}. Еще один пример: • S- быть кратным задано на множестве X={4, 8, 9, 72}. • • • 4 72 8 9 S= {(72; 4); (72; 8); (72; 9); (8; 4)}

Способы задания отношений • 1. Перечисление пар; • 2. Иллюстрация с помощью графа (построение Способы задания отношений • 1. Перечисление пар; • 2. Иллюстрация с помощью графа (построение графа); • 3. Словесная формулировка отношения.

Свойства отношений • 1. Свойство рефлексивности. • 2. Свойство симметричности. • 3. Свойство транзитивности. Свойства отношений • 1. Свойство рефлексивности. • 2. Свойство симметричности. • 3. Свойство транзитивности. • 4. Свойство связанности.

1. Свойство рефлексивности. • Определение: Отношение R на множестве X называется рефлексивным, если о 1. Свойство рефлексивности. • Определение: Отношение R на множестве X называется рефлексивным, если о каждом элементе множества X можно сказать, что он находиться в отношении R с самим собой. • R рефлексивно на X x R x для любого

Примеры рефлексивных отношений • - Быть кратным; • - Быть равным; • - Быть Примеры рефлексивных отношений • - Быть кратным; • - Быть равным; • - Быть параллельным, на множестве прямых плоскости; • - Быть подобным на множестве треугольников; • - Быть коллинеарным на множестве векторов.

 • Отношение антирефлексивно, если элемент множества X не находится в данном отношении с • Отношение антирефлексивно, если элемент множества X не находится в данном отношении с самим собой. • Например: • - быть больше на множестве натуральных чисел; • - быть перпендикулярным на множестве прямых.

2. Отношение симметричности. • Определение: отношение R на множестве X называется отношением симметричности, если 2. Отношение симметричности. • Определение: отношение R на множестве X называется отношением симметричности, если выполняется условие: из того, что элемент х находится в отношении R с элементом y, следует, что и элемент y находится в отношении R с элементом х.

Символическая запись определения: • R симметрично на X (x R y y R x) Символическая запись определения: • R симметрично на X (x R y y R x)

Примеры симметричных отношений • - Быть равным; • - Быть параллельным, на множестве прямых Примеры симметричных отношений • - Быть равным; • - Быть параллельным, на множестве прямых плоскости; • - Быть подобным на множестве треугольников; • - Быть коллинеарным на множестве векторов. • - Быть перпендикулярным на множестве прямых

Свойство антисимметричности • Определение: Отношение R на множестве X называется антисимметричным, если для различных Свойство антисимметричности • Определение: Отношение R на множестве X называется антисимметричным, если для различных элементов x и y из множества X выполнено условие: из того, что x находится в отношении R с элементом y, следует, что элемент y в отношении R с элементом x НЕ находится. • R антисимметрично на X

Примеры антисимметричных отношений. • • • - быть больше; - быть больше на 2 Примеры антисимметричных отношений. • • • - быть больше; - быть больше на 2 - быть длиннее -быть кратным -быть делителем

3. Свойство транзитивности • Определение: отношение R на множестве X называется транзитивным, если выполняется 3. Свойство транзитивности • Определение: отношение R на множестве X называется транзитивным, если выполняется условие: из того, что элемент х находится в отношении R с элементом y и элемент y находится в отношении R с элементом z , следует, что и элемент x находится в отношении R с элементом z.

Символическая запись свойства транзитивности • R транзитивно на X Символическая запись свойства транзитивности • R транзитивно на X

Примеры транзитивных отношений • - быть равным • -быть кратным • - быть параллельным Примеры транзитивных отношений • - быть равным • -быть кратным • - быть параллельным на множестве прямых • - быть делителем • - быть больше • - быть подобным на множестве треугольников

Свойство антитранзитивности • Определение: отношение R на множестве X называется антитранзитивным, если выполняется условие: Свойство антитранзитивности • Определение: отношение R на множестве X называется антитранзитивным, если выполняется условие: из того, что элемент х находится в отношении R с элементом y и элемент y находится в отношении R с элементом z , следует, что элемент x НЕ находится в отношении R с элементом z.

Примеры антитранзитивных отношений • - быть перпендикулярным • - быть больше в n раз Примеры антитранзитивных отношений • - быть перпендикулярным • - быть больше в n раз • - Быть длиннее в 3 раза на множестве отрезков.

4. Свойство связанности. • Определение: отношение R на множестве X называется связанным, если для 4. Свойство связанности. • Определение: отношение R на множестве X называется связанным, если для любых элементов x и y из множества X выполняется условие: из того, что х и y различны, следует, что либо x находится в отношении R с элементом y, либо элемент y находится в отношении R с элементом х.

Символическая запись свойства связанности • R связано на множестве X Символическая запись свойства связанности • R связано на множестве X

Примеры связанных отношений • - быть больше на множестве натуральных чисел • - быть Примеры связанных отношений • - быть больше на множестве натуральных чисел • - быть длиннее на множестве отрезков • -

На графе • 1 Отношение рефлексивности отмечается петлей. • 2 Отношение симметричности отмечается стрелкой На графе • 1 Отношение рефлексивности отмечается петлей. • 2 Отношение симметричности отмечается стрелкой от элемента x к y и на оборот( туда, сюда). • 3. Отношение транзитивности отмечается тремя стрелками: от x к y; от y к z и от x к z. • 4. На графе связанного отношения любые две вершины соединены стрелкой

 • Обобщим представление о свойствах отношений на множестве • Обобщим представление о свойствах отношений на множестве

Отношения Свойства отношений рефлекси вность симметр ичность антисим метричн ость транзити вность Быть равным Отношения Свойства отношений рефлекси вность симметр ичность антисим метричн ость транзити вность Быть равным + + - + Быть больше - - + + Быть перпендикулярным - + - - - Быть параллельным + + - + + Быть кратным + - + + Быть подобным + + - + + +

Отношения Свойства отношений рефлек сивнос ть симмет ричност ь антисимм етричнос ть транзит ивность Отношения Свойства отношений рефлек сивнос ть симмет ричност ь антисимм етричнос ть транзит ивность Эквива лентно сти Быть равным + + - + + Быть больше - - + + Быть перпендикулярным - + - - - Быть параллельным + + - + + Быть кратным + - + + Быть подобным + + - + Порядка + + +

Спасибо за внимание! Спасибо за внимание!