Студопедия

КАТЕГОРИИ:


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

Отношения эквивалентности





Помощь в написании учебных работ
1500+ квалифицированных специалистов готовы вам помочь

Определение. Бинарное отношение на множестве А называется отношением эквивалентности, если оно рефлексивно, симметрично, транзитивно. Обычно отношение эквивалентности обозначается знаком ~ (или º). Для обозначения принадлежности упорядоченной пары (а, b) отношению ~ большей частью используют инфиксную запись, пишут ~ b (читается: а эквивалентно ).

Примеры отношения эквивалентности.

1. Отношение равномощности, заданное на произвольной системе конечных множеств. Эквивалентные множества имеют одинаковую мощность.

2. Отношение подобия, определенное на множестве всех треугольников евклидовой плоскости. Эквивалентные треугольники подобны.

3. Отношение параллельности, определенное на множестве всех прямых евклидовой плоскости. Эквивалентные прямые параллельны.

4. Отношение сравнимости по модулю , заданное на множестве Z целых чисел: а сравнимо с по модулю () если делится на . Эквивалентные числа при делении на число дают один и тот же остаток.

5. Отношение «иметь равное значение синуса», определенное на множестве R действительных чисел: ~ b , если .

6. Отношение «иметь тот же возраст», заданное на множестве всех людей. «Эквивалентные» люди принадлежат к одной и той же возрастной группе.

Приведенные примеры иллюстрируют основное свойство отношения эквивалентности: множество А, на котором задано отношение эквивалентности, разбивается на непустые непересекающиеся подмножества. Все элементы в каждом из таких подмножеств эквивалентны между собой.

В примере 5 в подмножество «группируются» аргументы функции sin, на которых функция sin принимает одно и то же значение. Можно сказать, что «с точки зрения функции sin» аргументы 0 и 9p эквивалентны, так как sin(0)= sin(9p)=0.

В примере 6 подмножества разбиения образуют люди одного возраста.

Дадим строгие определения.

Пусть на множестве А задано отношение эквивалентности и x – произвольный элемент множества А.

Определение. Классом эквивалентности [х] элемента х по отношению ~ называют множество всех элементов из А таких, что



[x] = {yÎA| (x, y ~ или x ~ y}.

Утверждение.

Классы эквивалентности - непустые множества.

Доказательство.

x ~ x (x, x~ Þ xÎ [x].

Утверждение.

Если a ~ b, то [a] = [b].

Доказательство.

1. Пусть xÎ [a] x ~ a и a ~ b Þ x ~ b xÎ [b].

2. Пусть xÎ [b] x ~ b и b ~ a x ~ a Þ xÎ [a].

[a] = [b].

Утверждение.

Если a ~ b, то [a] Ç [b] = Æ

Доказательство.

xÎ[a] Ç [b] x Î [a] и x Î [b] Þ x ~ a, x ~ b Þ a ~ b Þ противоречие.

Три доказанных утверждения объединяются в одну теорему.





Дата добавления: 2014-01-03; Просмотров: 449; Нарушение авторских прав?;


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



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


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




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