6. Операции над соответствиями. Объединение, пересечение, дополнение, инволюция (обратное) соответствия, композиция соответствий.

Поскольку соответствия можно считать множествами, к ним можно применять все операции над множествами. Объединение, пересечение, дополнение соответствий выполняются аналогично операциям над множествами.

• Инволюция (обращение): если , то инволюция состоит из таких пар , что . Иногда вместо пишут . Ясно, что .

• Композиция (умножение) соответствий. , , произвед. RS состоит из таких пар (a, c), для которых найдется эл-т такой, что , . Умножение соответствий ассоц. и обладает св-вами: если , то ; .

7. Прямое и обратное соответствие Галуа и его роль в проективном распознавании образов. Свойства соответствий Галуа. Замкнутое подмножество.

Всякое соотв. устанавливает соотв. Галуа между подмножествами множ. A и B. Если , то соответствие Галуа — множ. .

Обратное соотв. Галуа. Аналогично, для вводится множ. .

Св-ва соответствий:

• Из следует ; из следует ;

• Пусть , , тогда , .

Замкнутое подмнож. — ( ), при если X = X* (Y = Y*). Соответствие Галуа устанавливает биективное соотв. между замкнутыми подмножествами в A и B.

8. Бинарное отношение. Способы задания. Рефлексивное, симметричное, антисимметричное, асимметричное, транзитивное отношения.

Бинарное отношение — 2-местное соотв., зад. на 1 множ. .

. Соответствие R:

• рефлексивное, если R явл. надмнож. единич. матрицы: ( ). В матрич. представ. на глав. диаг. стоят только 1; в противном случае — антирефлексивное (арефлексивное);

• симметричное, если отношение равно своему дополнению: ( ). Есть симметрия, глав. диаг. из едениц;

антисимметричное, если отнош. и его дополнение образуют единич. матр. при пересеч.: ( ). Нет симм., могут быть 1 на глав. диаг.;

асимметричное, если отнош. и его дополнение образуют ∅ при пересеч.: ( ). Нет симм., нет 1 на глав. диаг.;

• транзитивное, если квадрат отнош. явл. подмнож. исх.: ( ).

9. Эквивалентное отношение. Классы эквивалентности. Фактор–множество по отношению эквивалентности. Толерантное отношение, отношение порядка и предпорядка. Отношение строго и нестрого порядка. Отношение полного (линейного) и неполного порядка.

Отношение R:

• эквивалентно, если оно рефлексив., симм., транзитив.

• толерантно, если оно рефлексивно и симметрично;

• предпорядка, если оно рефлексивно и транзитивно;

• порядка, если оно транзитивно и антисимметрично.

Классы эквивалентности — непересек. подмножества эквив. отношения R (зад. на множ. M), такие что , . ∀ 2 эл-та из одного класса эквив., из разных классов — не эквив.

Фактор-множ. множ. A по отношению R — множ. классов эквивалентности (#: ).

Индекс множества — число классов эквивалентности отношения эквивалентности.

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

• Нестрого порядка: транзитив., антисимм., рефлексив. Строгого порядка: транзитив., антисимм., арефлексив.

• Полного (линейного) порядка, если: 1) ; 2) .

В противном случае — частич. (неполного) порядка.

1. и явл. отнош. нестрогого порядка, и — отнош. строгого порядка (на основных числовых множ-вах). Оба отношения полностью упорядочивают множества и .

2. Отношение подчиненности в трудовом коллективе создаёт строгий частичный порядок. Несравнимыми явл. сотрудники различ. структурных подразделений (отделов и т. п.).

3. На системе подмножеств множ. отношение включения задаёт нестрогий частичный порядок, а отношение строгого включения задаёт строгий частичный порядок. #: , а и не сравнимы.