Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология
Образование Политология Производство Психология Стандартизация Технологии


Отношения эквивалентности и разбиения. Фактор-множества



Отношение Р называется отношением эквивалентности (эквивалентностью ), если Р рефлексивно, симметрично и транзитивно. Эквивалентности часто обозначают символами Е и ~ (тильда ): хЕу, х ~ у.

Пример 6.1. 1. Отношение равенства х = у является эквивалентностью на любом множестве А, так как оно рефлексивно (х = х ), симметрично (х = уу = х ) и транзитивно (х = у, y = z x = z ).

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

3. На любом множестве Ƥ ( U ) отношение равно мощности |А | = | B | является отношением эквивалентности.

4. Отношение принадлежности к одной студенческой группе на множество студентов НГТУ — отношение эквивалентности.

5. Рассмотрим множество М программ, вычисляющих некоторые функции. Отношение Е = {(х, у ) | программы x и у вычисляют одну и ту же функцию f является эквивалентностью.

Пусть Е — эквивалентность на множестве А. Классом эквивалентности элемента хА называется множество Е (х ) = {у | хЕу }. Классы эквивалентности Е будут также называться Е-классами. Множество A / E = {Е (х ) | х А } называется фактор-множеством множества А по отношению Е.

Пример 6.2. 1. Для отношения равенства = на множестве А каждый = класс состоит только из одного элемента: = ( x ) = { x } для любого хА. Таким образом, фактор-множество А /= имеет вид {{х } | хА ] и, следовательно, биективно множеству А.

2. Для отношения принадлежности к одной студенческой группе классом эквивалентности является множество студентов одной группы. Фактор-множество множества студенток НГТУ по этому отношению эквивалентности представляет собой множество студенческих групп НГТУ.

Пример 6.4. Рассмотрим геометрическое векторное пространство E 3и множество направленных отрезков в нем. Направленные отрезки и называются эквивалентными: ~ , если они имеют одинаковые длину и направление. Отношение ~ — это отношение эквивалентности.

Вектором (геометрическим вектором.) в Е 3называется класс эквивалентности направленных отрезков для некоторого ). Фактор-множество множества направленных отрезков по отношению ~ образует множество векторов пространства Е 3.

Отношения порядка

Отношение эквивалентности является обобщением отношения равенства: эквивалентные элементы считаются «равными». Обобщением обычного отношения ≤ служат отношения порядка.

Отношение РА 2называется предпорядком или квазипорядком, если Р рефлексивно и транзитивно.

Пример 7.1. Отношение Р = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (2, 3), (1, 3)} на множество {1, 2, 3} является предпорядком (рис. 1.11).

Рис. 1.11.

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

Отношение РА2называется частичным порядком, если Р рефлексивно, транзитивно и антисимметрично. Таким образом, частичный порядок — это антисимметричный предпорядок. Частичный порядок обычно обозначается символом ≤, а обратное ему отношение ≤ –1 — символом ≥. Отношение ≥ также является частичным порядком и называется двойственным порядку ≤. Используя отношение ≤, определим отношение <, называемое строгим порядком, по следующему правилу: х < уху и ху. Заметим, что отношение строгого порядка не является частичным порядком, так как не выполняется условие рефлексивности (неверно, что х < х ).

Пример 7.2. Частичным порядком является обычное отношение ≤ на множестве ℕ . Действительно, это отношение рефлексивно (хх ), транзитивно (х у, у z х z ) и антисимметрично (х у, у x х = y ).

Пример 7.3. Отношение, изображенное на рис. 1.12, является частичным порядком, а отношение из примера 7.1 — нет.

Рис. 1.12

Пример 7.4. Отношение включения ⊆ на булеане Ƥ ( U ) образует частичный порядок.

Заметим, что в примерах 7.3 и 7.4 имеются элементы х и у, про которые нельзя сказать, что х у или у х (например, при а = х, у = с из примера 7.3). Такие элементы называются несравнимыми. Частичный порядок ≤ ⊆ А 2 называется линейным порядком, если любые два элемента х и у из множества A сравнимы, т. е. х у или у х (линейным является частичный порядок из примера 7.2).

Непустое множество А, на котором зафиксирован некоторый частичный (линейный) порядок, называется частично (линейно ) упорядоченным множеством (сокращенно ч.у.м. или л.у.м.).

Пример 7.5. Пары á ω , ≤ ñ , á [0, 1], ≤ ñ с обычными отношениями ≤ образуют линейно упорядоченные множества.

Пусть á А , ≤ ñ — частично упорядоченное множество. Определим на множестве А 2отношение П условием ( a 1, b 1) П ( a 2, b 2) ⇔ a 1 ≤ a 2 и b 1 ≤ b 2.Отношение П есть отношение частичного порядка. Оно называется отношением Парето. Пара á A 2, П ñ образует частично, по не линейно упорядоченное множество, если |А | > 1.

Элемент a А частично упорядоченного множества = á А , ≤ ñ называется максимальным (минимальным ), если для всех х А из a х (х a ) следует x = а. Элемент a А называется наибольшим (наименьшим), если х а ( a х ) для всех хА. Наибольший (наименьший) элемент ч.у.м. (если он существует) обозначается через max ( min ). Наибольший элемент часто называют единицей, а наименьший — нулем множества . Заметим, что всякий наибольший элемент является максимальным, а всяким наименьший элемент — минимальным. Обратное утверждение, вообще говоря, неверно. Всякое конечное ч.у.м. содержит как максимальные, так и минимальные элементы.

Цит. по: Элементы дискретной математики: учебник /
С.В. Судоплатов
, Е.В. Овчинникова. — М.: ИНФРА-М;
Новосибирск: НГТУ, 2003. — С. 16–19, 34–38. — (Серия «Высшее образование»).


Поделиться:



Популярное:

  1. F. Дела челобитчиковы. - Условный критерий частноправного отношения. - Безразличие методов процедирования. - Екатерининская эпоха. - Единство в праве. - Судебная волокита
  2. R производственные отношения
  3. VI.2. Педагогический стиль и его влияние на межличностные отношения и психологический климат в коллективе класса.
  4. Автор концепции «анаконды» в отношениях США с СССР, Китаем?Мэхэн
  5. Аналогия закона и аналогия права в гражданско-правовых отношениях.
  6. Антонимические отношения между словарными единицами. Некоторые общие и различительные черты синонимов и антонимов
  7. БИЛЕТ 28. Прагматические отношения в переводе.
  8. Биосфера и её строение, экосистемы, взаимоотношения организмов и среды
  9. Вероятностные законы и вероятностные отношения
  10. Взаимоотношения коллектива и личности
  11. Взаимоотношения людей в группах
  12. Взаимоотношения психолингвистики и лингвистики


Последнее изменение этой страницы: 2016-03-16; Просмотров: 1381; Нарушение авторского права страницы


lektsia.com 2007 - 2024 год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! (0.012 с.)
Главная | Случайная страница | Обратная связь