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

Cherednikova_Posobie_DM

.pdf
Скачиваний:
123
Добавлен:
14.11.2015
Размер:
926.27 Кб
Скачать

( a R \ {1}) е R \ {1}: a е = е a = а. Рассмотрим равенство a е = а 2 (a – 1) (е – 1) + 1 = а. Выразим из этого равенства е:

2 (a – 1) (е – 1) – (а – 1) = 0 (a – 1) (2е 2 – 1) = 0 (a – 1) (2е 3) = 0

3 = 0 е = 3 R \ {1}. Следовательно, е = 3 – нейтральный элемент

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

относительно . Заметим, что а е = е a, так как коммутативна.

 

 

 

 

 

3. Докажем, что для каждого элемента из R \ {1} существует симметрич-

ный к нему, то есть ( a R \ {1}) aR \ {1}: a a= aa =

3

 

. Имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

а a=

3

2 (a – 1)( a– 1) + 1 =

3

 

(a – 1) ( a–1) =

1

a– 1=

 

1

 

 

 

 

 

 

 

4 (a 1)

2

 

 

 

2

4

 

 

 

 

a=

 

1

 

+ 1 =

1 + 4a 4

=

 

 

4a 3

. Покажем, что a′≠ 1. Действитель-

 

 

 

 

 

 

 

 

 

4 (a 1)

 

 

4 (a 1)

 

 

4 (a 1)

 

 

 

 

но, в противном случае получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

4a 3

= 1

 

4a 3

–1= 0

4a 3 4a + 4

= 0 1 = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 (a 1)

 

 

 

4 (a 1)

 

 

4a 4

 

 

 

 

Итак,

4a 3

a=

4 (a 1)

ная группа.

для любого a R \ {1} существует симметричный к нему элементR \ {1}. Таким образом, алгебра < R \ {1}, > есть коммутатив-

4.4. Алгебры с двумя бинарными алгебраическими операциями

Среди алгебр с двумя бинарными алгебраическими операциями особо выделяются кольца и поля.

Определение 4.21. Алгебра А = < А, +, · > называется ассоциативным кольцом с единицей, если выполняются следующие условия (аксиомы):

1)алгебра < A, + > есть коммутативная аддитивная группа;

2)алгебра < A, · > есть мультипликативный моноид;

3)умножение дистрибутивно относительно сложения, то есть

( a, b, c A) (a + b) c = a c + b c и c (a + b) = c a + c b .

Замечание 4.5. В дальнейшем под словом «кольцо» будем подразумевать ассоциативное кольцо с единицей.

Элементы множества А называются элементами кольца А = < А, +, · >.

Определение 4.22. Группа < A, + > называется аддитивной группой кольца А = < А, +, · >. Нейтральный элемент относительно сложения называется нулем кольца и обозначается через 0 или 0А.

Определение 4.23. Моноид < A, · > называется мультипликативным мо-

ноидом кольца А = < А, +, · >. Нейтральный элемент относительно умножения называется единицей кольца А и обозначается через 1 или 1А.

62

Определение 4.24. Кольцо называется коммутативным, если операция умножения коммутативна, т.е. ( a, b A) a b = b a .

Пример 4.14. Алгебра < Z, +, · > образует коммутативное кольцо целых чисел.

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

Пример 4.15. Кольцо целых чисел < Z, +, · > полем не является, так как ни один ненулевой элемент, кроме 1, не обладает обратным к нему.

Пример 4.16. Множества Q, R и С образуют бесконечные поля относительно обычных операций сложения и умножения, которые соответственно называются полем рациональных чисел, полем действительных чисел и полем комплексных чисел.

 

y

 

 

 

x

 

 

Пример 4.17. Выяснить, образует ли алгебра <

 

 

x, y R , +, >

 

 

 

 

y

x

 

 

 

 

 

 

 

кольцо, поле?

 

 

 

Решение. Докажем сначала, что операции сложения и умножения матриц являются бинарными алгебраическими операциями на множестве

 

 

y

 

 

 

 

М =

x

 

 

 

 

 

x, y R . Для этого достаточно показать замкнутость множества М

 

 

 

 

 

 

y

x

 

 

 

 

 

 

 

 

 

относительно этих операций.

 

 

x

 

y

 

,

x

 

 

y

 

 

 

 

x

y

 

 

x

 

y

 

x + x

 

 

 

1

 

1

 

 

2

 

 

2 M

 

1

1

 

+

2

 

 

2

=

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

+ y2

 

 

y1

 

x1

 

y

2

 

2

 

 

 

y1

x1

y2

 

2

y1

x

 

y

x

 

 

y

 

 

 

x x

 

+ y y

 

 

x y

 

+ y x

 

 

 

 

 

 

1

 

1

 

 

 

2

 

 

2

 

=

1

 

2

1

 

2

1

 

2

 

1

 

2

 

 

M.

 

 

 

x1

 

 

 

 

 

 

 

 

 

x2 + x1

y2

y1 y2

 

 

 

 

 

 

y1

 

y2

 

x2

 

y1

+ x1 x2

 

 

 

y

+ y

 

 

1

 

2

M ,

x1

+ x

 

2

 

Следовательно, операции «+» и « » – бинарные алгебраические операции

на М.

Сложение произвольных матриц (если оно определено) коммутативно и ассоциативно. Значит, «+» коммутативно и ассоциативно на М. Очевидно, что

0

0

 

М есть нейтральный элемент относительно «+», а

матрица

 

 

 

 

0

0

 

 

 

 

 

x

y

М – противоположный элемент для произвольной матрицы

x

y

 

 

 

 

 

 

y

 

 

 

 

 

x

 

y

x

из множества М. Следовательно, < М, + > – коммутативная группа. Умножение произвольных матриц (если оно определено), а значит и мат-

риц из множества М, является ассоциативной операцией. Пусть

x

y

– произ-

 

 

 

 

 

 

 

y

x

 

вольная матрица из множества М.

 

 

 

x

y

y a

x b

b

 

x y

 

xa + yb xb + ya

 

x y

 

xa + yb = x

 

 

=

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ya + xb = y

 

a

 

y x

 

ya + xb yb + xa

 

y x

 

 

63

b =

y ya

при x 0. Отсюда xa +

y 2 y 2 a

= x. Выполним преобразования:

 

 

 

x

x

x2a + y2 – y2a = x2 y2 (1 – a) = x2 (1 – a) 1 – a = 0 a = 1 b = y y = 0. x

 

 

Если x = 0, то yb = 0 . Так как y – произвольное действительное число, то

 

 

 

 

ya = y

и в этом случае получаем, что a = 1 и b = 0. Получили, что

1

0

 

М

– нейтральный элемент относительно « ». Следовательно,

 

 

 

 

1

 

 

 

0

 

 

 

< М, > – моноид.

Известно, что умножение дистрибутивно относительно сложения для произвольных матриц (если операции имеют смысл), в частности, и для матриц из множества М.

Таким образом, алгебра < М, +, > – кольцо.

 

x

 

1

 

 

 

y1

x

=1y1

 

y

 

 

x

 

 

 

y

 

 

x

 

y

 

 

x

y

 

x

 

x + y

 

y x

 

y + y

 

x

 

=

 

 

1

 

,

2

 

 

 

2

M

2

 

2

 

1

1

 

=

2

1

2

1

 

2

1

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1 + x2

y1

 

 

 

 

 

 

 

 

x1

y2

 

 

x2

y2

x2

y1

x1

y2

y2 y1 + x2 x1

 

y

 

 

x

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y2

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Получили, что « » – коммутативно. Следовательно, кольцо коммутативно.

0

0

1

0

 

. Выясним, для каждого

Нуль кольца отличен от единицы кольца:

 

 

 

 

 

 

 

0

0

 

 

0

1

 

 

 

 

 

 

 

ли ненулевого элемента из множества М существует обратный к нему. Легко видеть, что роль обратного элемента к матрице из М играет обратная к ней матрица.

 

x

y

 

x

 

 

M

 

 

 

 

 

 

 

y

x

 

y

Значит, множество

y−1

x

М

x y ≠ 0 x2 y2 ≠ 0 x2 y2 x ± y.

y x

содержит ненулевые матрицы, например матрицу

1

-1

, для которых не существуют обратные к ним.

 

 

 

 

 

-1

1

 

 

 

 

 

Итак, алгебра < М, +, > образует коммутативное кольцо, но не является полем.

4.5. Конечные поля

Наряду с бесконечными полями, существуют конечные поля, называемые полями Галуа в честь французского математика Эвариста Галуá (1811 – 1832), который в возрасте около 20 лет создал основы современной алгебры и, в частности, открыл конечные поля. Конечные поля играют центральную роль в криптографии, в математических моделях микромира и др. Рассмотрим основные построения теории конечных полей Галуа.

64

Определим сначала бинарное отношение делимости на множестве Z. Определение 4.26. Целое число x делится на целое число y, если сущест-

вует z Z такое, что x = y z. При этом пишут x y и говорят, что «x делится на

y», или «x кратно y», или «y делит x».

Предложение «y делит x» записывают также в виде y | x.

Далее рассмотрим еще одно бинарное отношение на множестве Z. Определение 4.27. Целые числа x и y называются сравнимыми по модулю

n (n N), если разность (x y) делится на n.

Если целое число x сравнимо с целым числом y по модулю n, то пишут

x y (mod n).

Покажем, что отношение сравнимости по модулю n обладает свойствами рефлексивности, симметричности и транзитивности, то есть является отношением эквивалентности. Действительно:

1)( x Z) x x = 0 n x x (mod n) – рефлексивное отношение;

2)( x, y Z) x y (mod n) y x (mod n), так как (x y) n y x = = – (x y) n. Следовательно, отношение симметрично.

3)( x, y, z Z) x y (mod n) y z (mod n) x z (mod n), так как если

(x y) n (y z) n, то (x y) + (y z) = x z n. Следовательно, отношение транзитивно.

По теореме 3.1 отношение эквивалентности определяет разбиение множества Z на классы эквивалентности, которые называются классами вычетов по модулю n и обладают следующими свойствами:

1)любые два класса вычетов по модулю n либо совпадают, либо не пересекаются. Объединение всех классов вычетов по модулю n совпадает с множеством Z;

2)пусть A и B – классы вычетов по модулю n, a A и b B. Классы A и B совпадают тогда и только тогда, когда a b (mod n);

3)если A – класс вычетов по модулю n и a – произвольный элемент множества A, то A= {a + n k k Z}.

Пример 4.18. Пусть A – класс вычетов по модулю 2, и целое число 5 является представителем этого класса. Тогда

A= {5 + 2 k k Z} = {…, –9, –7, –5, –3, –1, 1, 3, 5, 7, 9, …}.

Выясним, какова мощность фактор-множества Z /, то есть сколько существует классов вычетов по модулю n.

Утверждение 4.1. Целые числа x и y сравнимы по модулю n тогда и только тогда, когда при делении на n они дают одинаковые остатки.

Существуют n различных остатков при делении целых чисел на n: 0, 1, 2, …, n 1. Согласно утверждению 4.1 получаем, что Z / = n.

Итак, множество целых чисел по отношению сравнимости по модулю n разбивается на n классов эквивалентности, которые обозначим следующим образом: 0, 1,... , n 1 . Фактор-множество Z / обозначим через Z n .

65

Определение 4.28. Введем на множестве Z n ={0, 1, ..., n 1} бинарные операции сложения и умножения следующим образом: x + y = x + y и x y = x y .

Определение операций сложения и умножения на множестве Z n кор-

ректно, так как если х1 х (mod n) и y1 y (mod n), то х1 + у1 (х + у) (mod n) и x1 · y1 x y (mod n).

Алгебра Zn = < Z n , +, · > является коммутативным кольцом, которое на-

зывается кольцом вычетов по модулю n.

Пример 4.19. Рассмотрим кольцо Z2 = < Z 2 , +, · >, где Z2 = {0; 1}. Приведем таблицы Кэли операций сложения и умножения в кольце Z2, где для простоты вместо 0 и 1 будем писать 0 и 1 :

+

0

1

 

 

 

0

0

1

 

 

 

1

1

0

 

 

 

 

0

1

 

 

 

0

0

0

 

 

 

1

0

1

 

 

 

Кольцо Z2 коммутативно, нулем кольца является класс вычетов 0 , который отличен от единицы кольца – класса вычетов 1. Кроме того, единственный ненулевой элемент 1 кольца Z2 имеет обратный к нему – этот же класс 1, так как 1 1=1. Следовательно, Z2 = < Z 2 , +, · > является полем. Оно имеет большое

значение для приложений. Следующая теорема говорит о том, что существует много конечных по-

лей.

Теорема 4.4. Кольцо Zn является полем тогда и только тогда, когда n – простое число.

4.6. Булевы алгебры

Рассмотрим понятие булевой алгебры, имеющее большое число приложений в программировании и вычислительной технике. Оно возникло в трудах ирландского математика и логика Джорджа Буля (1815 – 1864) как аппарат символической логики.

Определение 4.29. Алгебра А = < А, , , > типа (2, 2, 1) называется булевой алгеброй, если выполняются следующие условия (аксиомы):

А1. Существуют различные элементы e1, e2 А, являющиеся нейтральными относительно бинарных операций , соответственно, то есть

( a A) e1, e2 A: a e1 = e1 a = a a e2 = e2 a = a.

А2. Операции , ассоциативны, то есть

( a,b, c A) (a b) c = a (b c) (a b) c = a (b c) .

A3. Операции , коммутативны, то есть

( a,b A) a b = b a a b = b a .

66

А4. Операции , дистрибутивны относительно друг друга, то есть

( a,b, c A) a (b c) = (a b) (a c) a (b c) = (a b) (a c) .

A5. ( a A) a A : a a = e2 , a a = e1.

Замечание 4.6. Аксиома А5 может побудить к ошибочному заключению о том, что элемент a является симметричным к элементу а, однако это неверно. Если бы a был симметричным элементом к а , то a a = e1 и a a = e2 . Срав-

нивая с аксиомой А5, заключаем, что a не является симметричным элементом к а ни для одной из бинарных операций.

Бинарную операцию называют сложением, бинарную операцию –

умножением, элементы a b и a b – суммой и произведением, соответствен-

но. Унарную операцию « » называют дополнением, а элемент a – дополнением

к элементу a.

Существует несколько альтернативных способов записи бинарных операций сложения и умножения:

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

Определение 4.30. Для любого выражения булевой алгебры двойствен- ным выражением (или дуализмом) называется выражение, полученное из исходного, заменой на , на , e1 на e2 , e2 на e1.

Заметим, что каждая из аксиом булевой алгебры – это пара аксиом. Внутри каждой пары каждая аксиома является двойственным выражением по отношению к другой.

Пример 4.20. Наиболее простой из булевых алгебр является алгебра <{0, 1}, , , >, в которой две бинарные операции (дизъюнкция), (конъюнкция) и одна унарная операция (отрицание) задаются таблицами Кэли:

 

0

1

 

 

0

1

 

 

 

 

 

 

 

a

a

 

 

 

 

 

 

 

 

 

 

 

 

0

0

1

 

0

0

0

 

0

1

 

 

 

 

 

 

 

 

 

 

 

 

1

1

1

 

1

0

1

 

1

0

 

 

 

 

 

 

 

 

 

 

 

 

Эта булева алгебра носит название двоичной алгебры логики. В ней роль операции сложения играет дизъюнкция, роль операции умножения – конъюнкция, роль операции дополнения – отрицание. Элемент 0 является нейтральным элементом относительно дизъюнкции, а элемент 1 – нейтральным элементом относительно конъюнкции.

Пример 4.21. Пусть А – непустое множество. Тогда < P(A), , , >

есть булева алгебра, носящая название алгебры множеств (или алгебры Кан- тора). Носителем ее является булеан множества А, сигнатурой – операции объ-

67

единения, пересечения подмножеств множества А, дополнения данного подмножества до множества А, играющих соответственно роли сложения, умножения и дополнения. Пустое множество является нейтральным элементом относительно объединения, а само множество А – нейтральным элементом относительно пересечения.

Свойства булевой алгебры

Утверждение 4.2 (принцип двойственности). Для любой теоремы бу-

левой алгебры двойственная теорема также верна.

Теорема 4.5. Нейтральные элементы e1 и e2 относительно и соответственно единственны.

Теорема 4.6. ( a A) !a A : a a = e2 , a a = e1.

Замечание 4.7. Знак «!» означает слово «единственный».

Теорема 4.7 (закон идемпотентности).

( a A) a a = a , a a = a .

Теорема 4.8 (закон идентичности).

( a A) a e2 = e2 , a e1 = e1 a = e1 .

Теорема 4.9 (закон абсорбции или поглощения).

( a,b A)a (a b) = a , a (a b) = a .

Теорема 4.10 (закон инволюции).

( a A) a = a .

Теорема 4.11 (законы де Моргана).

( a,b A) a b = a b , a b = a b .

Теорема 4.12. e1 = e2 , e2 = e1 .

Докажем, например, теорему 4.11, в частности, a b = a b .

Из аксиомы A5 следует, что для этого достаточно показать выполнение ра-

венства (a b) (a b)= e2 . Действительно, (a b) (a b) = ((a b) a) ((a b) b)=

= (a (a b)) ((a b) b) = ((a a) b) (a (b b)) = (e2 b) (a e2 ) = e2 e2 = e2

a b = a b .

Второй закон де Моргана верен по принципу двойственности.

4.7. Гомоморфизмы алгебр

Пусть А = < A, f1, …, fm > и В = < В, f

,..., f

> – однотипные алгебры,

1

 

m

 

то есть для любого i {1, …, m} операция fi алгебры А и соответствующая ей операция fiалгебры В имеют одинаковые ранги. Говорят, что отображение h носителя А в носитель В сохраняет операцию fi алгебры А, если

( a1,…, an

A) h (fi (a1, …, an )) =

fi(h(a1), …, h( an )),

(14)

i

i

i

 

где ni – ранг операции fi.

68

Определение 4.31. Гомоморфизмом алгебры А в (на) однотипную алгебру В называют такое отображение h носителя A в (на) носитель В, которое сохраняет все операции алгебры А , то есть для любой операции fi (i = 1, …, m) алгебры А выполняется условие ( ).

Определение 4.32. Гомоморфизм h алгебры А в алгебру В называется мо- номорфизмом (или вложением), если h является инъективным отображением носителя А в носитель В.

Определение 4.33. Гомоморфизм алгебры А на алгебру В называется

эпиморфизмом.

Определение 4.34. Гомоморфизм h алгебры А на алгебру В называют изоморфизмом, если h есть инъективное отображение носителя А на

носитель В.

Определение 4.35. Алгебры А и В называются изоморфными, если существует изоморфизм алгебры А на алгебру В. При этом пишут А В.

Другими словами, отображение h является изоморфизмом алгебры А на алгебру В, если h – биективное отображение носителя А на носитель В.

Определение 4.36. Гомоморфизм алгебры А в себя называется эндомор-

физмом.

Определение 4.37. Изоморфизм алгебры А на себя называется автомор-

физмом.

На рис. 4.1 представлена схема определения частного случая гомоморфизма.

 

 

Гомоморфизм А в В (h)

 

h – инъекция

 

 

 

 

h – сюрьекция

 

А = В

 

 

 

 

 

 

 

Мономорфизм

 

 

Эндоморфизм

 

 

Эпиморфизм

 

 

 

 

 

 

 

h – инъекция

Изоморфизм

А = В

Автоморфизм

Рис. 4.1

Пример 4.22. Дано отображение

h: < {y = ax + b a,b R, a 0},o > < R \ {0}, > , где y = ax + b a a .

Выяснить, является ли h гомоморфизмом. Если да, то какой частный случай гомоморфизма имеет место.

69

Решение. Пусть A = {y = ax + b a, b R, a 0}. Проверим, сохраняет ли h операцию o , то есть выполняется ли условие:

( a1x + b1, a2 x + b2 A) h((a1x + b1 )o (a2 x + b2 ))= h(a1x + b1 ) h(a2 x + b2 ) .

Преобразуя левую и правую части равенства, получим:

h((a1 x + b1 )o (a2 x + b2 ))= h(a1 (a2 x + b2 )+ b1 )= h((a1a2 )x + (a1b2 + b1 ))= a1a2 ,

(15)

h(a1x + b1 ) h(a2 x + b2 ) = a1a2 .

(16)

Из (15) и (16) следует, что h – гомоморфизм алгебры

< {y = ax + b a,b R, a 0}, o > в алгебру < R \ {0}, > .

Далее выясним, является ли отображение h инъективным или сюръектив-

ным.

def

( a1 x + b1 , a2 x + b2 A) h(a1 x + b1 ) =

h – инъекция

= h(a2 x + b2 ) a1 x + b1 = a2 x + b2 .

Это условие не выполняется, так как для любых b1b2

h(a1 x + b1 ) = h(a2 x + b2 ) . Следовательно, отображение h не является инъективным.

def

h – сюръекция Im h = R \ {0}.

Имеем, ( r R \ {0}) h−1 (r) = {rx + b

 

b R}≠ . Значит, h – сюръекция.

 

Таким образом, h – эпиморфизм алгебры < {y = ax + b

 

 

a,b R, a ≠ 0}, o >

 

на алгебру < R \ {0}, > (см. рис. 4.1).

 

 

 

 

 

Пример 4.23. Дано отображение

h :< R, + > → < R+ , > ,

где x a 3x ( R+

множество положительных действительных чисел).

Решение. Проверим, сохраняет ли h операцию +, то есть выполняется ли условие: ( a,b R) h (a + b) = h(a) h(b) .

Преобразуя левую и правую части равенства, получим:

h(a + b) = 3a+b ,

(17)

h(a) h(b) = 3a 3b = 3a+b .

(18)

Из (17) и (18) следует, что h – гомоморфизм алгебры < R, + > в алгебру

< R+ , > .

Далее, ( a,b R ) 3a =3b a = b. Следовательно, h – инъекция. Имеем: ( c R+ ) h−1 (c) = log3 c . Следовательно, h – сюръекция.

Значит, h является изоморфизмом алгебры < R, + > на алгебру < R+ , > .

4.8. Алгебраические системы. Решетки

На непустом множестве А, наряду с алгебраическими операциями, можно рассматривать и множество отношений.

70

Определение 4.38. Алгебраической системой называется упорядоченная пара А = < A, Σ >, где A – непустое множество и Σ = Ω Ω′, Ω – множество алгебраических операций на A, Ω′ – множество отношений на A.

Множество A называется основным множеством или носителем алгебраической системы, а множество операций и отношений Σ – сигнатурой алгебраической системы.

Если множество отношений Ω′ пусто, то алгебраическая система

< A, Σ > = < A, Ω > является алгеброй. Следовательно, алгебры можно счи-

тать частным случаем алгебраических систем. Если множество алгебраиче-

ских операций Ω пусто, то алгебраическая система < A, Σ > = < A, Ω′ > называ-

ется моделью.

Рассмотрим пример алгебраической системы, который широко используется в математической информатике.

Определение 4.39. Решеткой называется алгебраическая система

А = < A, ≤, ,∩ > , сигнатура которой состоит из одного бинарного отношения ≤ частичного порядка и двух бинарных алгебраических операций (объединения) и ∩ (пересечения), где бинарные операции определяются следующим об-

разом: ( x, y A) x y = sup{x, y}, x y = inf{x, y}.

Другими словами, решеткой является частично упорядоченное множество < A, ≤ >, в котором определены две бинарные алгебраические операции и ∩ по вышеуказанным правилам.

Замечание 4.8. Операции и ∩ здесь понимаются как абстрактные операции алгебраической системы и отличаются от теоретико-множественных операций объединения и пересечения, определенных в параграфе 1.3, хотя в частных случаях могут с ними совпадать (см. пример 4.24).

Замечание 4.9. Операции и ∩ коммутативны и ассоциативны. Замечание 4.10. Если в алгебраической системе А ведены операции и

∩, то отношение ≤ можно по этим операциям восстановить следующим обра-

def def

зом: x y x y = y или x y x y = x.

Наименьший элемент решетки (если он существует) называют нулем и обозначают через 0. Наибольший элемент решетки (если он существует) назы-

вают единицей и обозначают через 1. В конечных решетках всегда имеются

0 и 1.

Пример 4.24. Пусть A – непустое множество, а P(A) – его булеан. Алгеб-

раическая система < P(A), , , ∩ > является решеткой. Здесь и ∩ являются

обычными теоретико-множественными операциями объединения и пересече-

ния.

 

{1,2,3}

Диаграмма Хассе частично упорядоченного множе-

{1,2}

{2,3}

ства А = {1, 2, 3} изображена на рис. 4.2. По диаграмме

 

{1,3}

легко видеть, что в этом случае нулем решетки < P(A), ,

 

{2}

, ∩ > является , а единицей – само множество

{1}

{3}

 

 

А = {1, 2, 3}.

 

Ø

Пример 4.25. Любое линейно упорядоченное мно-

 

Рис. 4.2

71