Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
61
Добавлен:
16.04.2013
Размер:
976.9 Кб
Скачать

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

Четыре определения отношений порядка можно свести в таблицу.

Свойства

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

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

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

Полнота

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

Порядки

нестрогий

(частичный)

+

+

+

совершенный

нестрогий

+

+

+

+

строгий

+

(+)

+

совершенный

строгий

+

(+)

+

+

То есть, например, нестрогий (частичный) порядок - отношение, обладающее свойствами , рефлексивности, антисимметричности и транзитивности.

1.7.3. Морфизмы

Всюду-определенное функциональное соответствие называется отображением.

f

A

B

B1

f : AB

 = <R, A>= <Ф, В>

A2

B2

Отображение f называется отображением гомоморфизма илигомоморфным отображением, или простоморфизмом, если для элементов множества А выполняется А1А2, а для образов выполняется В1В2. То есть

f(А1А2) = f(А1)f(А2) , где f(А1) = В1, f(А2) = В2.

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

Эндоморфизм - гомоморфизм "в себя".

Мономорфизм - инъективный гомоморфизм.

Эпиморфизм - сюръективный гомоморфизм.

Изоморфизм - биективный гомоморфизм

Автоморфизм - изоморфизм в себя.

1.8. Решетки

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

чум -частично-упорядоченное множество, т.е. множество с определенным на нем частичным порядком.

1.8.1. Диаграммы Хассе

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

Пример изображения частичного порядка (устанавливаемого отношением включения) для множества

{, {0}, {1}, {0,1}}

 {0} {0,1}

{0} {1}

диаграмма

Хассе

{1} {0,1}

По умолчанию на диаграмме Хассе:

«Стрелки» направлены снизу вверх.

Не отображается рефлексивность.

Не отображаются транзитивные замыкания.

1.8.2. Понятие решетки

Пусть рассматриваемые далее множества А и В - чум.

Наибольшим (наименьшим)элементом аА называется элемент а, если а() х, где хА.

Теорема:Если в множестве А существует наибольший элемент, то он единственный.

Доказательство:Предположим, что существуют два наибольших элемента а1и а2, тогда :

}

а1 = а2;

а1 а2

а2 а1

Максимальным (минимальным)элементом множества А называется элемент аА, когда неверно, что а()х, где хА.

Мажорантой (минорантой) множества В (такого чтоВА) является

элемент а А, такой что элемент а является наибольшим (наименьшим) элементом для множества В.

Множество мажорант (минорант) множества В образует верхнюю (нижнюю) граньмножества В.

Наименьший элемент верхней грани называется точной верхней граньюилиSupremum (Sup).

Наибольший элемент нижней грани называется точной нижней граньюилиInfimum (Inf).

Частично-упорядоченное множество, в котором любая пара элементов имеет Sup и Inf называется решеткой.

Примеры решеток.

Соседние файлы в папке много всякого