Студопедия

КАТЕГОРИИ:


Архитектура-(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)

Пояснение к работе




Практическое занятие № 3

Тема: «Отношения эквивалентности и отношения порядка»

Цель занятия:

усвоение таких понятий, как отношение эквивалентности, классы эквивалентности, отношение порядка.

Время выполнения практического задания – 2 часа.

Последовательность выполнения

1. Руководствуясь приведенным теоретическим материалом, ответить на следующие вопросы:

Какими свойствами обладает отношение строгого порядка?

Что называется классом эквивалентности?

Что называется разбиением множества?

2. Дать определение следующих понятий:

– отношение эквивалентности;

– отношение строгого порядка;

– отношение частичного порядка;

– отношение линейного порядка.

3. Привести пример разбиения множества.

4. Выполнить задания для аудиторных занятий.

5. Выполнить задания для самостоятельной работы.

3.1. Отношения эквивалентности. Отношения порядка

Отношение эквивалентности – бинарное отношение, являющееся рефлексивным, симметричным и транзитивным.

Примеры отношений эквивалентности: 1) отношения равенства, параллельности прямых; 2) отношение между элементами множества всех многоугольников: "иметь одинаковое число сторон"; 3) отношение принадлежности к одной студенческой группе на множестве студентов института – отношение эквивалентности.

Классом эквивалентности, порожденным элементом х, называется подмножество множества Х, состоящее из тех элементов у Î Х, для которых хrу – класс эквивалентности, порожденный элементом х, обозначается через [ х ]:

[ х ] = { у ׀ у Î Х и хrу }.

Примеры. 1. Отношение равенства на множестве Z порождает следующие классы эквивалентности: для любого элемента х Î Z [ х ] = { х }, то есть каждый класс эквивалентности состоит из одного элемента – числа х.

2. Множества подобных друг другу треугольников; в разных классах – треугольники разной формы.

3. Для отношения принадлежности к одной студенческой группе классом эквивалентности является множество студентов этой группы.

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

Примеры разбиений множества. 1. Х = {1, 2, 3, 4, 5}, тогда {{1, 2}, {3, 5}, {4}} – разбиение множества Х.

2. Пусть Х – множество студентов института. Тогда разбиением этого множества является, например, совокупность студенческих групп.

Отношения порядка – важный тип бинарных отношений. Отношение строгого порядка – бинарное отношение, являющееся антирефлексивным, антисимметричным и транзитивным. Примерами могут служить отношения "больше", "меньше", "старше" и т. п. Для чисел обычное обозначение – знаки <, >.

Рефлексивное, антисимметричное и транзитивное отношение называется отношением частичного (нестрогого) порядка на множестве Х и обозначается символом £.

Примеры отношений частичного порядка. 1. Отношение х £ у на множестве R есть отношение частичного порядка.

2. Во множестве подмножеств некоторого универсального множества U отношение А Í В есть отношение частичного порядка.

3. Схема организации подчинения в учреждении – отношение частичного порядка на множестве должностей.

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

Примеры отношений линейного порядка. 1. Отношение х £ у на множестве R есть отношение линейного порядка.

2. Во множестве подмножеств некоторого универсального множества U отношение А Í В не является отношением линейного порядка.

Задания

Для аудиторных занятий

1. Перечислить всевозможные отношения линейного порядка на множестве {1, 2, 3, 4}.

2. Доказать, что пересечение отношений эквивалентности на множестве Х есть отношение эквивалентности на этом множестве.

3. Будет ли отношением эквивалентности на множестве действительных чисел отношение xry, задаваемое равенством x 2 + y 2 = 25?

4. Будет ли отношением эквивалентности на множестве действительных чисел отношение xry, задаваемое равенством x = 2 y?

5. Доказать, что если r – частичный порядок, то r -1 – также частичный порядок.

6. Доказать, что каждое из следующих отношений является отношением эквивалентности, и найти классы эквивалентности:

а) пусть А = {1, 2, 3}, на множестве Р (А) задано бинарное отношение хrу Û½ х ½= ½ у ½;

б) на множестве N ´ N задано бинарное отношение á a, b ñ r á c, d ñ Û a + d = b + c;

в) на множестве R: arb Û a 2 = b 2;

г) на множестве R: arb Û a - b Î Z.

7. На R задано бинарное отношение arb Û a 2 + a = b 2 + b. Доказать, что r – отношение эквивалентности. Сколько элементов может содержать класс эквивалентности? Существует ли класс эквивалентности, состоящий из одного элемента?

8. Доказать, что отношение á a, b ñ r á c, d ñ Û a 2 + b 2 = c 2 + d 2 является отношением эквивалентности на множестве R × R. Найти классы эквивалентности и изобразить их на координатной плоскости.

9. Показать, что пересечение отношений эквивалентности, определенных на некотором множестве А, является отношением эквивалентности.

Для самостоятельной работы

1. Доказать, что если r – отношение эквивалентности, то r -1 – также отношение эквивалентности.

2. Доказать, что если r – отношение эквивалентности, то истинны следующие утверждения ([ x ]r – класс эквивалентности, порожденный элементом х):

а) х Î[ x ]r; б) хry Û [ x ]r = [ y ]r.

3. Доказать, что отношение делимости на множестве N является отношением порядка. Является ли это отношение линейным порядком? Является ли отношением порядка отношение делимости на множестве Z?

4. Доказать, что отношение хry Û x / y Ú х < y на множестве N является линейным порядком.

5. Для каких множеств А множество { В (А), Í} является линейно упорядоченным?

6. Пусть А – не пустое конечное множество. На B (А) рассмотрим отношение XrY Û ç X ç£ ç Y ç. Является ли r отношением порядка?

7. На множестве всех отображений R в R рассмотреть отношение frq Û (" x Î R ç f(x) = 1, q(x) = 1). Является ли r отношением порядка?

8. На множестве всех отображений R в R рассмотреть отношение frq Û { x Î R ç f(x) = 0} Í { x Î R çg(x) = 0}. Является ли r отношением порядка?

9. Доказать, что отношение á a; b ñ r á c; d ñ Û a < c Ú(a = c Ù b £ d) является линейным порядком на множестве Z ´ Z.

10. По аналогии с упражнением 9 определить линейный порядок на множестве А ´ В, если á А, r 1 ñ и á В, r 2ñ – линейно упорядоченные множества.

11. Перечислить всевозможные линейные порядки на множестве {1, 2}; на множестве {1, 2, 3}. Высказать предположение о числе линейных порядков на множестве из n элементов.

12. Пусть F – множество всех непустых конечных подмножеств множества N. Какие элементы упорядоченного множества á F, Í ñ являются минимальными? Доказать, что á F, Í ñ не содержит максимальных элементов.

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

14. Доказать:

а) упорядоченное множество содержит не более одного наибольшего (наименьшего) элемента;

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

Литература

1. Белоусов, А. И. Дискретная математика: учебник / А. И. Белоусов. – М.: МГТУ им. Н. Э. Баумана, 2001. – 744 с.

2. Куликов, Л. Я. Сборник задач по алгебре и теории чисел / Л. Я. Куликов, А. И. Москаленко, А. А Фомин. – М.: Просвещение, 1993. – 288 с.

3. Нефедов, В. Н. Курс дискретной математики: учеб. пособие / В. Н. Нефедов, В. А. Осипова. – М.: Изд-во МАИ, 1992. – 264 с.

 




Поделиться с друзьями:


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


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



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




Генерация страницы за: 0.007 сек.