Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Разбиения и покрытия множества



Покрытием непустого множества называется совокупность подмножеств таких, что:

Разбиением непустого множества называется совокупность подмножеств таких, что:

Класс эквивалентности для х: [ x ] = { y Î Х | x ~ y }.

Например:

Отношения r и g заданы на множестве Х = {1, 2, 3, 4, 5, 6,}.

r= {(1,4), (2,5), (3,6), (4,1), (6,3)},

g = {(1,1), (2,3), (3,4), (4,5), (5,6), (6,6)}.

Область определения Dr= {1, 2, 3, 4, 6}.

Область значений J r= {1, 3, 4, 5, 6}.

Обратное отношение r-1 = {(4,1), (5,2), (6,3), (1,4), (3,6)}.

Отношение r - антирефлексивно, не симметрично, не транзитивно.

Область определения Dg= {1, 2, 3, 4, 5, 6}.

Область значений J g= {1, 3, 4, 5, 6}.

Отношение g - не рефлексивно, антисимметрично, не транзитивно.

Композиция r ○ g = {(1,5), (2,6), (3,6), (4,1), (6,4)}.

Например:

Отношение r= {(x, y) | сравнение по модулю m, x,y Î N}.

Отношение сравнения по модулю m на множестве натуральных чисел:x = y mod m, что означает: “x и y имеют одинаковый остаток при делении на m (классы вычетов по модулю m)”.

Отрезок натурального ряда N4={1,2,3,4}

Отношение сравнения по модулю 2 на N4:

d = { (1,1),(1,3),(2,2),(2,4),(3,1),(3,3),(4,2),(4,4)}.

Область определения Dd = {1, 2, 3, 4}.

Область значений J d = {1, 2, 3, 4}.

Отношение d - рефлексивно, симметрично, транзитивно.

Отношение d - отношение эквивалентности.

Классы эквивалентности: [ 1 ]={ 1,3 }=[ 3 ]

[ 2 ]={ 2,4 }=[ 4 ].

Например:

Отношения j и n заданы на множестве N4.

j ={ (1,2), (2,3), (1,3), (3,4), (2,4), (1,4)}

n={ (1,1),(2,2),(3,3),(4,4)}.

Область определения Dj = {1, 2, 3}.

Область значений J j = {2, 3, 4}.

Отношение j - антирефлексивно, антисимметрично, транзитивно.

Отношение j - отношение строгого порядка.

Область определения Dn = {1, 2, 3,4}.

Область значений J n = {1, 2, 3, 4}.

Отношение n - рефлексивно, симметрично, антисимметрично, транзитивно.

Отношение n - отношение нестрогого частичного порядка.

Отношение n - отношение эквивалентности.

Классы эквивалентности: [ 1 ]={ 1 }

[ 2 ]={ 2 }

[ 3 ]={ 3 }

[ 4 ]={ 4 }.





Дата публикования: 2014-11-28; Прочитано: 254 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.007 с)...