Булевы алгебры и булевы функции. Дополнительные главы дискретной математики. Учебное пособие
.pdfто есть ď , а т. к. P , то и P в противоречии с выбором элемента .
Таким образом, действительно, 1 R . Пусть теперь
1 “ t P B | для некоторого из имеет место ď u .
Очевидно, что Ď 1 и P 1. Непосредственно замечается, что 1 собственный идеал булевой алгебры B, строго включающий в себя идеал ,
в противоречии с выбором как максимального идеала.
Итак, действительно, для любого максимального идеала булевой алгебры B и любого ее элемента имеет место ровно одно из включе-
ний P или P .
Покажем обратное. Пусть идеал булевой алгебры B и для любого из B либо P , либо P . Допустим, что идеал не является максимальным. Тогда существует собственный идеал 1, включающий в себя идеал и отличный от . Пусть P 1z , но тогда P и, значит, 1 “ _ P , что противоречит собственности идеала . Лемма
доказана.
Двойственным образом доказывается, что любой фильтр произвольной булевой алгебры содержится в некотором максимальном ее фильтре. Максимальные собственные фильтры булевых алгебр называются
так же ультрафильтрами.
Непосредственно замечается, что главный идеал булевой алгебры B максимален тогда и только тогда, когда элемент является коатомом в B и главный фильтр алгебры B является ультрафильтром тогда и только тогда, когда элемент атом в B.
Фиксируем теперь некоторый идеал булевой алгебры
B “ x ; ^, _, , 0, 1y и на основном множестве этой алгебры введем двухместное отношение „ следующим образом: истинность отношения „ (для , P ) означает включение элемента ‘ “ p ^ q_p ^ q в (или, что то же самое, с учетом того, что идеал, включения , в ).
Очевидным образом отношение „ рефлексивно (0 P ) и симмет-
31
рично. Для доказательства его транзитивности достаточно заметить,
что если P и P , то и P . Действительно, если
^ P и ^ P , т. к.
“‰
^ “ p ^ q _ p ^ q ^ “ p ^ ^ q _ p ^ ^ q ď
ďp ^ q _ p ^ q P ,
то и ^ входит в , то есть если „ и „ , то и „ и, значит, отношение „ является отношением эквивалентности на множестве . Точно так же непосредственно проверяется, что отношения „ 1,
„ 1 для элементов , 1, , 1 из влекут отношения ^ „1 ^ 1, _ „ 1 _ 1 и „ 1. То есть отношение „ является конгруэнцией булевой алгебры B.
Заметим, что для “ t0u отношение „ есть отношение равенства
∆B на , а для “ отношение „ есть отношение коллапса B
на .
Для любого идеала булевой алгебры B класс „ -эквивалентности
0{„ совпадает с .
Напомним, что подмножество чума x ; ďy называется выпуклым, если для любых , , из неравенства ă ă и включения , P влекут включение P . Для любого идеала и любого элемента булевой алгебры B “ x ; ^, _, , 0, 1y класс {„ - эквивалентности является выпуклым подмножеством чума x ; ďy.
Непосредственно проверяется, что для любой конгруэнции булевой алгебры B класс -эквивалентности 0{ является идеалом для B и, при этом, отношения и „0{ совпадают. Действительно, пусть , - эквивалентные элементы алгебры B ( ). Тогда ^ 0, ^ 0
и, значит, ‘ 0, т. е. „0{ . Верно и обратное, если „0{ , т. е.
^ P 0{ , то “ p ^ q _ p ^ q 0 _ p ^ q “ ^ . Точно так же имеет место и ^ , а, значит, .
Таким образом любые конгруэнции для булевой алгебры B имеют вид „ для какого-либо ее идеала и, при этом, для любых конгруэн-
32
ций и 1 на B равенство “ 1 равносильно совпадению идеалов 0{ и 0{ 1.
Непосредственно замечается так же, что в решетке Con B буле-
вой алгебры B для любых ее идеалов 1 и 2 имеют место равенства
„ 1 ^ „ 2 “ „ 1X 2 и „ 1 _ „ 2 “ „ 1_ 2 , здесь
1 _ 2 “ t 1 _ 2 | 1 P 1, 2 P 2u.
2.2.3 МНОГООБРАЗИЕ БУЛЕВЫХ АЛГЕБР. В силу того,
что класс булевых алгебр (включая в него одноэлементную алгебру соответствующей сигнатуры) является эквациональным (аксиоматизируемым некоторым набором тождеств), то он является многообразием и, в частности, замкнут относительно перехода к подалгебрам, гомоморфным образам и прямым произведениям.
При этом многообразие M булевых алгебр является арифметическим. Непосредственно проверяется, что роль терма Пиксли p , , q
для M (терма, удовлетворяющего тождествам p , , q “ p , , q “
p , , q) играет для него терм |
^ p ‘ q |
_ |
^ p ‘ q . |
||
Пусть теперь |
B |
неодноэлементная булева алгебра, от- |
|||
|
произвольная` |
˘ |
` |
˘ |
|
личная от алгебры 2 “ xt0, 1u; ^, _, , 0, 1y, и произвольный элемент из Bzt0, 1u. Выше уже замечалось, что алгебра B изоморфна (посредством биекции ) прямому произведению Bæď ˆ Bæě , где для P B
p q “ x ^ , ^ y. Таким образом, алгебра 2 является единственной подпрямо неразложимой (более того даже простой) булевой алгеб-
` ˘
рой и M “ M 2 .
Отметим так же, что булева алгебра 2 является дискриминаторной.
Действительно, непосредственная проверка подтверждает, что терм Пикс-
` |
˘ |
` |
˘ |
ли |
^ p ‘ q |
_ ^p ‘ q |
определяет на множестве t0, 1u дискри- |
минаторную функцию. Тем самым, так как дискриминаторная алгебра 2 очевидным образом является плоской, жесткой и простой, то она является примальной, т. е. любая функция на множестве t0, 1u определяется некоторым термом булевой алгебры 2. Заметим, что последнее непосредственно доказывается в стандартном курсе дискретной мате-
33
матики при изучении нормальных форм булевых функций.
2.2.4СВОБОДНЫЕ БУЛЕВЫ АЛГЕБРЫ. Подмножество
основного множества булевой алгебры B “ x ; ^, _, , 0, 1y называется независимым, если для любых дизъюнктных конечных его подмножеств t 1, . . . , u, t 1, . . . , u справедливо неравенство 1 ^ . . . ^ ^1 ^ . . . ^ ‰ 0.
Имеет место
ТЕОРЕМА 2.2.1. Булева алгебра B “ x yB, порожденная некоторым множеством является свободной над в многообразии M
тогда и только тогда, когда независимо в B.
Доказательство. Пусть B “ x yB, пусть B свободна над в много-
образии M и предположим, что не является независимым. Пусть t 1, . . . , u Ď , t 1, . . . , u Ď , t 1, . . . , u X t 1, . . . , u “ и
1 ^ . . . ^ ^ 1 ^ . . . ^ “ 0. Пусть любое отображение множества в булеву алгебру 2 такое, что p q “ 1 (для 1 ď ď ) и
p q “ 0 (для 1 ď ď ). Очевидно, что подобное не может быть продолжено ни до какого гомоморфизма булевой алгебры B в алгебру 2, т. к. p 1q ^ . . . ^ p q ^ p 1q ^ . . . ^ p q “ 1 ‰ 0. То есть любое множество, порождающее свободную над ним булеву алгебру, обязано быть независимым.
Покажем теперь обратное. Пусть некоторое независимое подмножество булевой алгебры B “ x ; ^, _, , 0, 1y “ x yB и пусть некоторое отображение множества в какую-либо булеву алгебру C. Покажем, существование продолжения отображения , являющееся гомоморфизмом алгебры B в алгебру C. Равенство B “ x yB означает, что для любого P существуют некоторый терм p 1, . . . , q сигнатуры булевой алгебры и элементы 1, . . . , P такие, что “ p 1, . . . , q, а так как любой гомоморфизм (в частности, искомый ) сохраняет
значения термальных функций, то полагая |
|
p q “ ` p 1q, . . . , p q˘ “ ` p 1q, . . . , p q˘, |
(2) |
34
мы получаем гомоморфизм алгебры B в алгебру C при условии возможности корректного определения подобного . Таким образом, для существования гомоморфизма достаточно заметить, что если для некоторых термов 1p 1, . . . , q, 2p 1, . . . , q сигнатуры булевых алгебр имеет место равенство 1p 1, . . . , q “ 2p 1, . . . , q для некоторых 1, . . . , , 1, . . . , из , то имеет место и равенство
` ˘ ` ˘
1 p 1q, . . . , p q “ 2 p 1q, . . . , p q . Пусть
|
|
|
|
|
|
|
p 1, . . . , q “ 1p 1, . . . , q ‘ 2p 1, . . . , q |
|
|
|
|
|||||||||||
(где t 1, . . . , |
u “ t 1, |
. . . , |
uYt 1, . . . , |
u) и, таким образом, оста- |
||||||||||||||||||
ется заметить, что если p 1, . . . , |
q “ 0B для некоторых 1, . . . , |
|||||||||||||||||||||
из , то и |
p 1q, . . . , |
p q q “ 0B. Но, как замечено в пункте 2.2.1 |
||||||||||||||||||||
(равенство |
(1)) терм |
|
|
, . . . , |
, если он отличен от констант 0, 1, |
|||||||||||||||||
|
` |
|
|
p |
|
1 |
|
q |
|
|
|
|
|
|
|
|||||||
имеет вид |
|
11 1 |
^ . . . ^ 1 |
_ . . . _ 1 1 |
^ . . . ^ |
, где |
P t0, 1u |
|||||||||||||||
и |
0 |
|
|
, |
1 |
|
|
|
. Но, в |
|
последнем случае, равенство |
, . . . , |
|
|
0 |
B |
||||||
|
“ |
|
|
` |
“ |
|
|
|
|
|
˘ |
` |
˘ |
1 |
q “ |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
||||
сводится к равенствам 1 1 ^. . .^ “ 0B, которые невозможны в силу независимости элементов из и утверждение теоремы 2.2.1 доказано.
§2.3 Представления булевых алгебр
В§ 2.1 в качестве основного и, в каком-то смысле, принципиального примера булевых алгебр отмечен булеан x p q; X, Y, , , y произвольного множества — совокупность всех подмножеств множества
с операциями теоретико-множественного пересечения, объединения и дополнения подмножеств множества в множестве . Обоснованию подобного утверждения (доказательству так называемой теоремы Стоуна) и посвящено начало этого параграфа.
2.3.1 ТЕОРЕМА СТОУНА. Через St B обозначим совокупность всех ультрафильтров произвольной булевой алгебры B.
ТЕОРЕМА СТОУНА. Для любой булевой алгебры B существует
35
подалгебра булеана |
St B ; X, Y, , , St B |
множества St B изо- |
|||||
морфная булевой |
алгебре B. |
D |
|
|
|||
|
@ ` |
˘ |
|
|
|||
|
Доказательство. Отображение : |
B Ñ |
|
St B определим сле- |
|||
|
|
|
P B p q “ |
t P St B` |
| P˘ u Заметим, что |
||
дующим образом: для |
|||||||
для любого элемента булевой алгебры B, отличного от 0, p q ‰ . Действительно, в силу леммы Цорна, главный фильтр , порожденный элементом , содержится в некотором ультрафильтре и, значит,
P p q. С другой стороны, в силу определения ультрафильтров, имеют место равенства p0q “ и p1q “ St B.
Пусть 1, 2 P B. Покажем, что p 1 _ 2q “ p 1qY p 2q, p 1 ^ 2q “p 1qX p 2q, p q “ St Bz p q. Действительно, если P p 1q, то 1 P, но 1 ď 1 _ 2 и, значит, 1 _ 2 P , т. е. p 1q Ď p 1 _ 2q. Точно так же имеет место включение p 2q Ď p 1 _ 2q. Включение p 1qY p 2q Ď
p 1 _ 2q доказано. Пусть теперь P p 1 _ 2q и R p 1qY p 2q, тогда1_ 2 P и 1 R , 2 R . Так как ультрафильтр, то 1 P , 2 P и, значит, p 1 _ 2q “ 1 ^ 2 P . Но одновременные включения1 _ 2 P и p 1 _ 2q P невозможны. Тем самым p 1 _ 2q Ďp 1q Y p 2q и первое равенство p 1 _ 2q “ p 1q Y p 2q доказано. Доказательство равенств p 1 ^ 2q “ p 1qX p 2q и p q “ St Bz p q
проводится аналогично.
Для доказательства теоремы остается доказать, что если 1 ‰ 2, то p 1q ‰ p 2q. Действительно, если 1 ‰ 2, то либо 1 ^ 2 ‰ 0, либо 1 ^ 2 ‰ 0. Допустим первое (второй случай рассматривается аналогично). Тогда главный фильтр 1^ 2 содержится в некотором
ультрафильтре и, тем самым, 1^ 2 P . Но тогда, т. к. 1^ 2 |
ď 1 |
|
и 1 P , т. е. 1 |
P p 1q. С другой стороны, R p 2q, т. к. иначе 2 |
P , |
и тогда 0 “ 1 |
^ 0 “ 1 ^ p 2 ^ 2q “ p 1 ^ 2q ^ 2 P в проти- |
|
воречии с тем что ультрафильтр собственный. Итак, действительно является изоморфным вложением булевой алгебры B в булеан
@ ` ˘ D
St B ; X, Y, , , St B . Теорема доказана.
Основной смысл утверждения теоремы Стоуна сводится к тому, что работая с произвольной булевой алгеброй, мы можем считать элементы
36
этой алгебры подмножествами некоторого фиксированного множества, а операции сигнатуры “ x^, _, , 0, 1y теоретико-множественными операциями пересечения, объединения и дополнения соответственно.
Другое доказательство теоремы Стоуна следует из приведенной в главе 1 теоремы Биркгофа о представимости любой универсальной алгебры подпрямым произведением подпрямо неразложимых алгебр и замеченного в пункте 2.2.3 утверждения о том, что единственной подпрямо неразложимой алгеброй многообразия M булевых алгебр является двухэлементная алгебра 2 “ xt0, 1u; ^, _, , 0, 1y. Действительно, считая (при отождествлении изоморфных алгебр) булеву алгебру
B “ x ; ^, _, , 0, 1y подпрямым произведением подпрямо неразло-
ś
жимых алгебр B “ 2 (B Ď P B ) и, сопоставив элементу P
подмножество p q множества так, что p q “ t P | p q “ 1u, получаем вложение алгебры B в булеан x p q; X, Y, , , y. Непосредственно, без труда, проверяется, что будет изоморфным вложением алгебры B в этот булеан.
Единственным, но существенным, недостатком теоремы Стоуна при представлении с помощью изоморфизма булевой алгебры B подалгеброй некоторого булеана x p q; X, Y, , , y является отсутствия четкого критерия о том, какие подмножества множества входят в изоморфный образ алгебры B, а какие нет.
Более определенным образом на этот вопрос отвечает возможность представления счетных булевых алгебр как интервальных, рассмотренная в следующем пункте.
Более полную версию теоремы Стоуна как двойственность категории булевых алгебр и категории проконечных топологических пространств см., к примеру, в [21].
2.3.2 ИНТЕРВАЛЬНЫЕ БУЛЕВЫ АЛГЕБРЫ. Частично упорядоченное множество x ; ďy называется линейным (лум), если для любых , P имеет место либо ď , либо ď . Для любых ă из множества x ; ďy через r , q обозначим соответствующий полуоткрытый интервал t P | ď ă u. Будем считать, что
37
лум x ; ďy имеет наименьший элемент, обозначаемый далее как ´8, и пусть ˚ “ Y t8u, для некоторого элемента 8, не входящего в . Считаем ˚ линейно упорядоченным отношением, являющимся продолжением порядка ď на лум x ˚; ďy, и таким, что 8 — наибольший элемент в x ˚; ďy.
В булеане x p q; X, Y, , , y рассмотрим булеву подалгебру B , порожденную полуоткрытыми интервалами вида r , q, где ď в x ˚; ďy. Булевы алгебры подобного вида называются интервальными.
Множество элементов булевой алгебры B называется линейным порождающим алгебру B, если x yB “ B, линейно упорядоченно
порядком булевой алгебры B и 0 P , 1 R . |
|
||
Заметим, что множество 1 “ |
r´8, q | P ; Ď |
является ли- |
|
нейным порождающим |
множеством для любой интервальной булевой |
||
@ |
( |
D |
|
алгебры B . Это непосредственно следует из равенств |
|
||
r , q “ r´8, q X r´8, q |
и r , 8q “ r´8, q |
||
для любых ă из .
С другой стороны, если некоторое линейно упорядоченное порядком из булевой алгебры B множество x ; ďy, включающее в себя 0, есть линейно порождающее эту алгебру множество, то без труда замечается,
|
|
что любой элемент этой алгебры представим в виде |
Ž |
p q, где |
|
|
“0 |
, P Yt0, 1u и ă . Достаточно непосредственно проверить, что совокупность элементов подобного вида замкнута в булевой алгебре B
относительно операций ^, _ и . Тем самым, в силу замеченного выше о представимости элементов булевой алгебры B , получаем совпадение алгебр B и B при отождествлении элемента с интервалом r0, q в лум x ˚; ďy.
То есть интервальные булевы алгебры суть булевы алгебры с линейными порождающими.
Докажем теперь следующее утверждение о представимости счетных булевых алгебр интервальными.
38
ТЕОРЕМА 2.3.1. Для любой счетной булевой алгебры
B “ x ; ^, _, , 0, 1y существует линейно порождающее ее множество Ď .
Доказательство. Пусть “ t 0, 1, . . . , , . . .u. Индукцией по натуральным индексам построим возрастающую цепочку конечных линейно упорядоченных порядком булевой алгебры B подмножеств Ď
( P ) ее основного множества .
Положим 0 “ t0, 1u и пусть уже построено множество “ t0 “0 ă 1 ă . . . ă ă `1 “ 1u. Для 0 ď ď рассмотрим элементы
`1 “ _p `1 ^ q. Тогда 0 ă 1 ă 1 ď 2 ď 2 ď . . . ď ď `1 ď
`1. Положим `1 “ Y t | 1 ď ď ` 1u. При этом линейно
Ž
упорядоченно в алгебре B и “ p `1 q. Положим “ Y P
“0
и тогда для любого P x yB и линейно упорядоченно в B. То есть булева алгебра B линейно порождается множеством Ď .
Наконец заметим, что интервальная булева алгебра B безатомна тогда и только тогда, когда плотный линейный порядок (для любых
ă из существует такой, что ă ă ). Элемент покрывает
элемент в лум x ; ďy тогда и только тогда, когда для любого P
неравенства ď ď влекут одно из равенств или “ или “ . Интервальная булева алгебра B является атомной тогда и только
тогда, когда для любого элемента из в x ; ďy существует покрывающий его элемент.
39
Глава 3
Булевы функции
Булевыми функциями называются функции, заданные на основном множестве t0, 1u простейшей двухэлементной булевой алгебры
2 “ xt0, 1u; ^, _, , 0, 1y. Подобные функции, первоначально нашедшие свое применение в математической логике под названием функции алгебры логики, в дальнейшем оказались существенным аппаратом в проблематике теории релейно-контактных схем и более обще в теории дискретных преобразователей информации: их синтеза, контроля, диагностики и прочего.
Параграф § 3.1 посвящен краткому резюме (с уточнением терминологии) материала связанного с булевыми функциями входящего в стандартный курс дискретной математики (ориентируясь на изложение этого курса в [18]). Параграф § 3.2 посвящен вопросам декомпозиции и разложения булевых функций и в значительной части следует изложению этого материала в монографии [11]. Параграф § 3.3 посвящен доказательству теоремы Поста — критерию полноты систем булевых функций, следуя при этом в значительной мере изложению этого доказательства в монографии [8]. Здесь же приводится описание (без доказательств) решетки Поста — решетки всех булевых клонов, опять же следуя во многом монографии [8]. Наконец, параграф § 3.4 вклю-
