Атомы и шкалы решеток подмножеств

Так как решетки подмножеств это булевы алгебры, то в них можно определить системы образующих и выражать подмножества формулами через такие образующие.

Определение 7.20.Пусть L — решетка подмножеств для X . Элемент аL называется атомом решетки, если а ≠ ∅ и не существует l а , l ≠ ∅ , такого, что

∅ ⊂ l a .

В решетке L 2рассмотренного примера атомами будут μ1— доктора наук, μ2— кандидаты наук, μ3— без научных степеней. Это самые конкретные понятия решетки. Алгоритм проверки на атомарность — отсутствие более конкретных непустых понятий.

Определение 7.21.Пусть L — решетка подмножеств для X . Тогда подсемейство элементов Ш решетки L называется шкалой решетки, если любой элемент решетки выражается через элементы шкалы Ш с помощью операций пересечения, объединения и разности ( ∩ ,∪ , ).

Итак, в силу того что L имеет алгебраическую структуру, в L можно выбрать систему образующих — шкалу.

Пусть Ш = {ω1,… ω k} — шкала L . Тогда ∀δ ∈ L существует его выражение через элементы шкалы, т. е.

δ = f (ω1,… ω k),

где f — функция алгебры множеств, использующая операции объединения, пересечения, дополнения (разности).

Определение 7.22.Шкала Ш решетки L называется базовой, если ни один из элементов Ш не выражается через другие элементы Ш с помощью операций объединения, пересечения и разности.

Шкала называется атомарнойили разбиением опорного множества, или координатной сеткой, если все ее элементы — атомы.

Базовая шкала в конечной решетке L называется минимальной(максимальной), если в решетке L нет шкалы с меньшим (большим) числом элементов.

Теорема 7.3.Любая решетка имеет хотя бы одну шкалу, например саму решетку.

Теорема 7.4.Решетка подмножеств определяется однозначно любой своей шкалой.

Доказательство . От противного. Пусть существуют две решетки подмножеств L и с одной и той же шкалой Ш.

Тогда для любого элемента λ ∈ L имеем представление его через элементы шкалы с помощью операций объединения, пересечения и разности.

Но в силу того что элементы шкалы Ш принадлежат также и другой решетке , то, производя действия над элементами Ш в соответствии с представлением X , будем получать каждый раз элементы L . Таким образом,

Аналогично доказывается, что элемент принадлежит и решетке L , т. е. решетки L и совпадают.

Теорема 7.5.Пусть L — произвольная решетка для X и L L 0.

Тогда ее атомарная шкала Шат= {а 1, ..., ап} = Ш mахявляется максимальной шкалой (самой большой, самой неэкономной). Мощность |Шат| = n , | L | = 2п.

Теорема 7.6.Пусть L — конечная решетка для X и L L 0. Тогда существует

Ш min= {ω1,… ω k}, и число ее элементов k подчиняется равенству:

k = |Ш min| = [ log 2|Ш mах|] + 1,

где [ log 2|Ш mах|] — целая часть числа. Число элементов решетки

Пример 7.21. Пусть X — времена событий, происходящих в определенные дни недели, и пусть

Шат= {пн, вт, ср, чт, пт, сб, вс}.

Тогда число элементов соответствующей решетки подмножеств | L | = 27.

Найдем Ш minдля L . Число k = [ log 27] + 1 = 3. Следовательно, минимальная шкала

Ш min= {ω1, ω2, ω3}.

Построим эту минимальную шкалу следующим образом. Пронумеруем элементы атомарной шкалы двоичными числами:

пн — 001,

вт — 010,

ср — 011,

чт — 100,

пт — 101,

сб — 110,

вс — 111.

Тогда за ω1возьмем объединение тех атомов, у которых в первом разряде 1, т. е.

ω1= {пн ∪ ср ∪ пт ∪ вс},

далее ω2— объединение тех атомов, у которых во втором разряде 1, и т. д.:

ω2= {вт ∪ ср ∪ сб ∪ вс},

ω3 = {чт ∪ пт ∪ сб ∪ вс}.

Теперь все элементы можно выразить через элементы минимальной шкалы. В самом деле:

и т. д.

Замечание 7.4. На практике часто выгоднее использовать минимальные шкалы, а не атомарные.

Вывод . Всякая решетка L подмножеств X обладает тремя важными свойствами, которые делают ее одним из основных понятий математической информатики.

• Решетка L — частично упорядоченное множество с отношением включения множеств.

• Решетка L — булева алгебра с тремя операциями: две бинарные операции (объединение и пересечение) и одна унарная операция (дополнение), для которых выполняются аксиомы булевой алгебры.

• Решетка L — топология на опорном множестве X и, следовательно, пара ( X , L ) — топологическое пространство.

Цит. по: Дискретная математика: учебник для студ. вузов /
Т.С. Соболева, А.В. Чечкин; под ред. А.В. Чечкина.

М.: Издательский центр «Академия», 2006.
С. 96 108.
(Университетский учебник. Сер. Прикладная математика и информатика).

 

 


Горбатов В.А.Основы дискретной математики / Учеб. пособие для вузов. — М: Высшая школа, 1986. — 312 с.;

Горбатов В.А.Фундаментальные основы дискретной математики. Информационная математика: Учеб. пособие для вузов. — М.: Наука, 2000. — 540 с.;

Кузнецов О.П.Дискретная математика для инженера / О.П. Кузнецов, Г.М. Адельсон-Вельский. — М: Энергоатомиздат, 1988 г. — 450 с.


Кузнецов О.П.Дискретная математика для инженера / О.П. Кузнецов, Г.М. Адельсон-Вельский. — М: Энергоатомиздат, 1988 г. — 450 с.


Там же.


Горбатов В.А.Основы дискретной математики / Учеб. пособие для вузов. — М: Высшая школа, 1986. — 312 с.


Там же.


Там же.


Кузнецов О.П.Дискретная математика для инженера / О.П. Кузнецов, Г.М. Адельсон-Вельский. — М: Энергоатомиздат, 1988 г. — 450 с.


Горбатов В.А.Основы дискретной математики / Учеб. пособие для вузов. — М: Высшая школа, 1986. — 312 с.


Там же.


Кузнецов О.П.Дискретная математика для инженера / О.П. Кузнецов, Г.М. Адельсон-Вельский. — М: Энергоатомиздат, 1988 г. — 450 с.


Там же.


Там же.


Там же.


Горбатов В.А.Основы дискретной математики / Учеб. пособие для вузов. — М: Высшая школа, 1986. — 312 с.


АЛГЕБРА ЛОГИКИ








Дата добавления: 2016-02-24; просмотров: 874;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.012 сек.