Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Свойства отношений


 

Отношение, заданное на множестве, может обладать рядом свойств, а именно:

1. Рефлексивность

Определение. Отношение R на множестве Х называется рефлексивным, если каждый элемент х множества Х находится в отношении R с самим собой.

Используя символы, это отношение можно записать в таком виде:

R рефлексивно на Х Û ("х Î Х) х R х

Пример. Отношение равенства на множестве отрезков рефлексивно, т.к. каждый отрезок равен себе самому.

Граф рефлексивного отношения во всех вершинах имеет петли.

 

2. Антирефлексивность

Определение. Отношение R на множестве Х называется антирефлексивным, если ни один элемент х множества Х не находится в отношении R с самим собой.

R антирефлексивно на Х Û ("х Î Х)

Пример. Отношение «прямая х перпендикулярна прямой у» на множестве прямых плоскости антирефлексивно, т.к. ни одна прямая плоскости не перпендикулярна самой себе.

Граф антирефлексивного отношения не содержит ни одной петли.

 

Заметим, что существуют отношения, не являющиеся ни рефлексивными, ни антирефлексивными. Например, рассмотрим отношение «точка х симметрична точке у» на множестве точек плоскости.

· у

l

х

 

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

 

3. Симметричность

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

R симметрично на Х Û ("х, у Î Х) х R у Þ у R х

Пример. Отношение «прямая х пересекает прямую у на множестве прямых плоскости» симметрично, т.к. если прямая х пересекает прямую у, то и прямая у обязательно будет пересекать прямую х.

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



 

4. Асимметричность

Определение. Отношение R на множестве Х называется асимметричным, если ни для каких элементов х, у из множества Х не может случиться, что элемент х находится в отношении R с элементом у и элемент у находится в отношении R с элементом х.

R асимметрично на Х Û ("х, у Î Х) х R у Þ

Пример. Отношение «х < у» асимметрично, т.к. ни для какой пары элементов х, у нельзя сказать, что одновременно х < у и у < х.

Граф асимметричного отношения не имеет петель и если две вершины графа соединены стрелкой, то эта стрелка только одна.

 

5. Антисимметричность

Определение. Отношение R на множестве Х называется антисимметричным, если из того что х находится в отношении с у, а у находится в отношении с х следует, что х = у.

R антисимметрично на Х Û ("х, у Î Х) х R у Ù у R х Þ х = у

Пример. Отношение «х £ у» антисимметрично, т.к. условия х £ у и у £ х одновременно выполняются только тогда, когда х = у.

Граф антисимметричного отношения имеет петли и если две вершины графа соединены стрелкой, то эта стрелка только одна.

 

6. Транзитивность

Определение. Отношение R на множестве Х называется транзитивным, если для любых элементов х, у, z из множества Х из того, что х находится в отношении с у, а у находится в отношении с z следует, что х находится в отношении с z.

R транзитивно на Х Û ("х, у, z Î Х) х R у Ù у R z Þ х R z

Пример. Отношение «х кратно у» транзитивно, т.к. если первое число кратно второму, а второе кратно третьему, то первое число будет кратно третьему.

Граф транзитивного отношения с каждой парой стрелок от х к у и от у к z содержит стрелку, идущую от х к z.

 

7. Связность

Определение. Отношение R на множестве Х называется связным, если для любых элементов х, у из множества Х х находится в отношении с у или у находится в отношении с х или х = у.

R связно на Х Û ("х, у, z Î Х) х R у Ú у R z Ú х = у

Другими словами: отношение R на множестве Х называется связным, если для любых различных элементов х, у из множества Х х находится в отношении с у или у находится в отношении с х или х = у.

Пример. Отношение «х < у» связно, т.к. какие бы мы действительные числа не взяли, обязательно одно из них будет больше другого или они равны.

На графе связного отношения все вершины соединены между собой стрелками.

Пример. Проверить, какими свойствами обладает

отношение «х – делитель у», заданное на множестве

Х = {2; 3; 4; 6; 8}.

Построим граф данного отношения:

 

 

1) данное отношение рефлексивно, т.к. каждое число из данного множества является делителем самого себя;

2) свойством антирефлексивности данное отношение не обладает;

3) свойство симметричности не выполняется, т.к. например, 2 является делителем числа 4, но 4 делителем числа 2 не является;

4) данное отношение антисимметрично: два числа могут быть одновременно делителями друг друга только в том случае, если эти числа равны;

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

6) отношение свойством связности не обладает, т.к. например, числа 2 и 3 на графе стрелкой не соединены, т.к. два различных числа 2 и 3 делителями друг друга не являются.

Таким образом, данное отношение обладает свойствами рефлексивности, асимметричности и транзитивности.

 

§ 3. Отношение эквивалентности.
Связь отношения эквивалентности с разбиением множества на классы

 

Определение. Отношение R на множестве Х называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.

Пример. Рассмотрим отношение «х однокурсник у» на множестве студентов педфака. Оно обладает свойствами:



1) рефлексивности, т.к. каждый студент является однокурсником самому себе;

2) симметричности, т.к. если студент х является однокурсником студента у, то и студент у является однокурсником студента х;

3) транзитивности, т.к. если студент х - однокурсник у, а студент у – однокурсник z, то студент х будет однокурсником студента z.

Таким образом, данное отношение обладает свойствами рефлексивности, симметричности и транзитивности, а значит, является отношением эквивалентности. При этом множество студентов педфака можно разбить на подмножества, состоящие из студентов, обучающихся на одном курсе. Получаем 5 подмножеств.

Отношением эквивалентности являются также, например, отношение параллельности прямых, отношение равенства фигур. Каждое такое отношение связано с разбиением множества на классы.

Теорема. Если на множестве Х задано отношение эквивалентности, то оно разбивает это множество на попарно непересекающиеся подмножества (классы эквивалентности).

Верно и обратное утверждение: если какое-либо отношение, заданное на множестве Х, порождает разбиение этого множества на классы, то оно является отношением эквивалентности.

Пример. На множестве Х = {1; 2; 3; 4; 5; 6; 7; 8} задано отношение «иметь один и тот же остаток при делении на 3». Является ли оно отношением эквивалентности?

Построим граф данного отношения: (самостоятельно)

 
 

 

 


Данное отношение обладает свойствами рефлексивности, симметричности и транзитивности, следовательно, является отношение эквивалентности и разбивает множество Х на классы эквивалентности. В каждом классе эквивалентности будут числа, которые при делении на 3 дают один и тот же остаток: Х1 = {3; 6}, Х2 = {1; 4; 7}, Х3 = {2; 5; 8}.

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

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

<== предыдущая лекция | следующая лекция ==>
Обратная функция | Предикаты и операции над ними

Дата добавления: 2014-01-04; Просмотров: 251; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:

  1. B-адреномиметики. Фармакологические свойства. Показания к применению. Побочные эффекты.
  2. C) СТРУКТУРА (ЭЛЕМЕНТЫ) ГРАЖДАСНКИХ ПРАВООТНОШЕНИЙ
  3. I. Средство, обладающее свойствами антигипоксанта и ноотропа
  4. II. Развитие рыночных отношений
  5. III. Роль СССР в «строительстве социализма» в КНР и первые признаки ухудшения советско-китайских отношений
  6. IV. Адгезионные свойства частиц.
  7. А-адреноблокаторы. Фармакологические свойства. Показания к применению. Побочные эффекты.
  8. А. Регулирование личных и имущественных отношений
  9. А. Свойства и виды рецепторов. Взаимодействие рецепторов с ферментами и ионными каналами
  10. Административно – правовое регулирование отношений в промышленном комплексе
  11. Административно-правовое регулирование отношений в агропромышленном комплексе
  12. Административно-правовое регулирование отношений в строительном комплексе

studopedia.su - Студопедия (2013 - 2021) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.006 сек.