1 ST Lecture

Алгебраическая теория решеток
для анализа данных
Дмитрий Виноградов
ВЦ РАН
11 июля 2022 г.
Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 1 / 40

Бинарная операция сходства
Определение
Нижняя полурешетка - алгебраическая структура на множестве X ,
элементы которого мы называем фрагментами, снабженное такой бинарной
операцией ∧ : X × X → X , что
x ∧x =x (1)
x ∧y =y ∧x (2)
x ∧ (y ∧ z) = (x ∧ y ) ∧ z (3)
Порядок на нижней полурешетке hX , ∧i определяется так
x ≤y ⇔x ∧y =x
Задача
Проверить свойства частичного порядка.
Наименьший и наибольший элементы
Тривиальный фрагмент ∅ - наименьший элемент нижней полурешетки
∅∧x =∅ (4)
Задача
Доказать, что у конечной нижней полурешетки есть наименьший элемент.
Наибольший элемент T нижней полурешетки должен удовлетворять
равенству
T∧x =x (5)

Конечные решетки
На конечной полурешетке с наибольшим элементом операция ∨ : X × X → X
задается ^
x ∨ y = {z ∈ X | x ≤ z, y ≤ z}
Решетка - алгебраическая структура hX , ∧, ∨i, где дополнительно
x ∨x =x (10 )
x ∨y =y ∨x (20 )
x ∨ (y ∨ z) = (x ∨ y ) ∨ z (30 )
∅∨x =x (40 )
T∨x =T (50 )
x ∨ (x ∧ y ) = x, x ∧ (x ∨ y ) = x (6)
Упражнения про нижние полурешетки
Задача
Доказать свойства решетки из предыдущего определения.
Задача
Доказать, что
x ≤y ⇔x ∧y =x ⇔x ∨y =y
Пример
Набор битовых строк фиксированной длины, замкнутый относительно
побитового умножения, является нижней полурешеткой. Наибольший
элемент - строка, состоящая из одних 1.
Задача
Доказать предыдущие утверждения.

Обучающая выборка
(Обучающая) выборка - прямоугольная таблица. Строчки соответствуют
исследуемым объектам, а столбцы - признакам. Если объект o имеет
признак f , то запишем 1 на пересечении соответствующих строчки и
столбца. Иначе запишем в эту клеточку 0.
Пример
Рассмотрим таблицу с целевым свойством goal ("самолет неисправен") и
пятью признаками f1 ("двигатель поврежден"), f2 ("нарушено оперение"), f3
("B-737"), f4 ("A-320"), f5 ("SSJ-100"):
objects f1 f2 f3 f4 f5 goal
o1 1 0 1 0 0 1
o2 1 0 0 0 1 1
o3 0 1 0 0 1 1
o4 0 1 0 1 0 1

Операция сходства объектов
Cходством некоторого подмножества A ⊆ O объектов называется
подмножество A0 = {f ∈ F : ∀o ∈ A [oIf ]} ⊆ F всех признаков, которыми
обладают все объекты из выбранного подмножества. Полагаем ∅0 = F .
Пример
objects f1 f2 f3 f4 f5
o1 1 0 1 0 0
o2 1 0 0 0 1
o3 0 1 0 0 1
o4 0 1 0 1 0
Сходствами будут {o1 , o2 }0 = {f1 }, {o2 , o3 }0 = {f5 },{o3 , o4 }0 = {f2 }, а также

∅0 = {f1 , f2 , f3 , f4 , f5 },{o1 }0 = {f1 , f3 },. . . , {o4 }0 = {f2 , f4 },
{o1 , o3 }0 = {o1 , o4 }0 = {o2 , o4 }0 = . . . = {o1 , o2 , o3 , o4 }0 = ∅.

Диаграмма сходств
Диаграммой решетки hX , ∧, ∨i называется граф накрытия с вершинами из
X и ребрами hx, y i ∈ X × X , если
x < y ∧ ¬∃z [x < z < y ]

0
o3 = {o2 , o3 }0 = {f5 },o3 o4 = {o3 , o4 }0 = {f2 },
T T T
o1 T o2 T = {oT1 , o2 } = {f1 }, o2
o1 o2 o3 o4 = {o1 , o2 , o3 , o4 }0 = ∅,o1 = {o1 }0 = {f1 , f3 },o2 = {o2 }0 =
{f1 , f5 },o3 = {o3 }0 = {f2 , f4 }, o4 = {o4 }0 = {f2 , f5 }, ∅0 = {f1 , f2 , f3 , f4 , f5 }.
{f1 , f2 , f3 , f4 , f5 }
P
%%eePPP
P
e {f , f }PP {f , f } = o
o1 = {f1 , f3 }
Q {f1 , f5 } =@o2
%
2 5 2 4 4
Q @
T T
o1 o2 = {f1 } HH {f5 } {f2 } = o3 o4
Q @ @
H
T TH T
o1 o2 o3 o4 = ∅

Операция сходства на признаках
Пример
objects f1 f2 f3 f4 f5
o1 1 0 1 0 0
o2 1 0 0 0 1
o3 0 1 0 0 1
o4 0 1 0 1 0
Проблема: {o1 , o3 }0 = {o1 , o4 }0 = {o2 , o4 }0 = . . . = {o1 , o2 , o3 , o4 }0 = ∅
Cходством некоторого подмножества B ⊆ F признаков называется
подмножество B 0 = {o ∈ O : ∀f ∈ B [oIf ]} ⊆ O всех объектов, которые
обладают всеми признаками из выбранного подмножества. Полагаем ∅0 = O.
Сходства: {f1 , f3 }0 = {f3 }0 = {o1 }, {f1 , f5 }0 = {o2 },{f2 , f5 }0 = {o3 },

{f2 , f4 }0 = {f4 }0 = {o4 }, а также ∅0 = {o1 , o2 , o3 , o4 },{f1 }0 = {o1 , o2 },
{f5 }0 = {o2 , o3 }, {f2 }0 = {o3 , o4 },
{f1 , f2 }0 = {f1 , f4 }0 = {f2 , f3 }0 = . . . = {f1 , f2 , f3 , f4 , f5 }0 = ∅.
Диаграмма сходства признаков
∅
PP
%%ee PPP
T e {o } PP f = f T f = {o }
f3 = f1 f3 = {o1 }Q {o2 } %

Q @ @ 3 4 2 4 4
f1 = {o1 , o2 } HHf5 = {o2 , o 3} f2 = {o3 , o4 }

Q @ @
H
H
{o1 , o2 , o3 , o4 }
{f1 , f2 , f3 , f4 , f5 }
P
%%eePPP
P
e {f , f }PP {f , f } = o
o1 = {f1 , f3 }
Q {f1 , f5 } =@o2
%
@ 2 5 2 4 3
T Q T
o1 o2 = {f1 } H Q @ {f5 } {f2 } = o3 o4
@
HH
H
∅
0 0 0
{f1 , f3 } = {f3 } = {o1 }, но {o1 } = {f1 , f3 } =
6 {f3 }.

Кандидаты в гипотезы о причинах
Пару hA, Bi назовем кандидатом, если A = B 0 и B = A0 .
Подмножество A ⊆ O называем списком родителей кандидата, а B ⊆ F -
(общим) фрагментом кандидата.
Равенство A = B 0 соответствует принципу исчерпываемости.
h∅, {f1 , f2 , f3 , f4 , f5 }i
PP
%%ee PPP
h{o1 }, {f1 , f3 }i h{o 5 }i h{oe
2 }, {f1 , f% 3 }, {f2 , f5 }iP h{o4 }, {f2 , f4 }i
P
Q @ @
Q
h{o1 , o2 }, {f1 }i Hh{o 2 , o3 }, {f5 }i h{o3 , o4 }, {f2 }i
Q @ @
HH
H
h{o1 , o2 , o3 , o4 }, ∅i

Поляры и их свойства
Операции 0 : 2O → 2F и 0 : 2F → 2O называются полярами.
Лемма
Для A1 ⊆ O и A2 ⊆ O выполняется (A1 ∪ A2 )0 = A01 ∩ A02 . Для B1 ⊆ F и
B2 ⊆ F выполняется (B1 ∪ B2 )0 = B10 ∩ B20 .
В дальнейшем нам понадобится частный случай:
(A ∪ {o})0 = A0 ∩ {o}0 (7)
для любых A ⊆ O и o ∈ O, и
(B ∪ {f })0 = B 0 ∩ {f }0 (8)
для любых B ⊆ F и f ∈ F .

Соответствие Галуа
Следующие свойства поляр называется соответствием Галуа:
∀A [A ⊆ A00 ] ∀B [B ⊆ B 00 ] (9)
∀A1 ∀A2 [A1 ⊆ A2 ⇒ A01 ⊇ A02 ] ∀B1 ∀B2 [B1 ⊆ B2 ⇒ B10 ⊇ B20 ] (10)
∀A [A0 = A000 ] ∀B [B 0 = B 000 ] (11)
Задача
Доказать предыдущие утверждения.
Задача
00 00
Доказать, что : 2O → 2O и : 2F → 2F являются операторами замыкания.

Кандидаты как максимальные прямоугольники
O ×F f1 ... fj1 fj1 +1 ... fjm−1 ... fjm ... fn

o1 0 ... 0 0 ... 1 ... 0 ... 0
.. .. .. .. .. .. .. .. .. .. ..
. . . . . . . . . . .
oi1 0 ... 1 1 ... 1 ... 1 ... 1
oi1 +1 0 ... 0 0 ... 1 ... 1 ... 0
.. .. .. .. .. .. .. .. .. .. ..
. . . . . . . . . . .
oil−1 1 ... 1 0 ... 1 ... 1 ... 0
.. .. .. .. .. .. .. .. .. .. ..
. . . . . . . . . . .
oil 1 ... 1 1 ... 1 ... 1 ... 0
.. .. .. .. .. .. .. .. .. .. ..
. . . . . . . . . . .
ok 0 ... 1 0 ... 0 ... 0 ... 0

NP-трудность задачи о большом сходстве
Кузнецов C.O. Научно-техническая информация (серия 2), 1989. - № 1,

c. 23-28
v1 ... v i1 ... v i2 ... vik ... vn
v1 0 ... 0 ... 1 ... 1 ... 0
.. .. .. .. .. .. .. .. .. ..
. . . . . . . . . .
v i1 0 ... 0 ... 1 ... 1 ... 1
.. .. .. .. .. .. .. .. .. ..
. . . . . . . . . .
v i2 1 ... 1 ... 0 ... 1 ... 0
.. .. .. .. .. .. .. .. .. ..
. . . . . . . . . .
v ik 1 ... 1 ... 1 ... 0 ... 0
.. .. .. .. .. .. .. .. .. ..
. . . . . . . . . .
vn 0 ... 1 ... 0 ... 0 ... 0

Теорема об экспоненциальности числа сходств
Теорема (фольклор)
Существует такая обучающая выборка из n элементов, что число сходств
будет равно 2n .
Доказательство.
Пусть O = {o1 , o2 , . . . , on } - множество объектов, а F = {f1 , f2 , . . . , fn } -
множество признаков, и обучающая выборка такова:
O|F f1 f2 ... fn
o1 0 1 ... 1
o2 1 0 ... 1
.. .. .. .. ..
. . . . .
on 1 1 ... 0
Ясно, что любая пара hO \ {oj1 , . . . , ojk }, {fj1 , . . . , fjk }i будет кандидатом,
поэтому мы имеем Булеву алгебру всех 2n подмножеств (=битовых
строк).
Теорема Р. Вилле: легкая часть
Ganter Bernhard, Wille Rudolf, Formal Concept Analysis, Springer, 1999
Теорема
Для произвольной обучающей выборки I ⊆ O × F множество всех
кандидатов образует решетку относительно операций
hA1 , B1 i ∧ hA2 , B2 i = h(A1 ∪ A2 )00 , B1 ∩ B2 i (12)
hA1 , B1 i ∨ hA2 , B2 i = hA1 ∩ A2 , (B1 ∪ B2 )00 i (13)
Задача
Доказать, что hO, O 0 i является наименьшим элементом, а hF 0 , F i -
наибольшим.
Задача
Доказать предыдущую теорему, т.е. проверить свойства решетки.

Теорема Р. Вилле: трудная часть
Лемма
Для произвольной решетки hL, ∧, ∨i и обучающей выборки ≥⊆ L × L каждый
кандидат имеет вид
h{y ∈ L | x ≤ y }, {y ∈ L | y ≤ x}i,
для некоторого x ∈ L.
Задача
Доказать, что для кандидата hA, Bi у обучающей выборки ≥⊆ L × L для
решетки hL, ∧, ∨i выполняются
V равенства
W A = {y ∈ L | x ≤ y } и
B = {y ∈ L | y ≤ x} для x = A = B.
Теорема
Для произвольной решетки hL, ∧, ∨i и обучающей выборки ≥⊆ L × L
решетка кандидатов изоморфна исходной решетке.

V W
-плотное и -плотное подмножества решетки
V
Подмножество элементов S ⊆ L решетки hL, ∧, ∨i называется -плотным,
еслиVдля любого элемента x ∈ L найдется такое подмножество X ⊆ S, что
xW= X . Подмножество элементов S ⊆ L решетки hL, ∧, ∨i называется
W для любого элемента x ∈ L найдется такое подмножество
-плотным, если
X ⊆ S, что x = X .
Задача
V W
Доказать, что L ⊆ L является как -, так и -плотным подмножествами
решетки hL, ∧, ∨i.
Лемма
Для решетки кандидатов L(I , O, F ), порождаемой обучающей выборкой
I ⊆ O × F , образ отображенияVg : O → L(I , O, F ), задаваемого правилом
g (o) = h{o}00 , {o}0 i, является -плотным подмножеством, а образ
0 00
W h : F → L(I , O, F ), задаваемого правилом h(f ) = h{f } , {f } i,
отображения
является -плотным подмножеством.
Теорема Р. Вилле: современный подход
Лемма
Пусть для любой конечной решетки hL, ∧, ∨i найдутся такие два множества
O и F c отображениями g : O → L и h : F → L. Определим обучающую
выборку oIf ⇔ g (o) ≥ h(f ). Тогда для любого A ⊆ O и f ∈ F
^
f ∈ A0 ⇔ g (A) ≥ h(f ).
Аналогично, для любого B ⊆ F и o ∈ O

_
o ∈ B0 ⇔ h(B) ≤ g (o).
Теорема
Пусть для любой конечной решетки hL, ∧, ∨i найдутся такие дваVмножества
O и F c отображениями g : O W → L и h : F → L, что g (O) ⊆ L - -плотное
подмножество, а h(F ) ⊆ L - -плотное подмножество. Тогда, полагая
oIf ⇔ g (o) ≥ h(f ), мы получим обучающую выборку, решетка кандидатов
для которой будет изоморфна исходной решетке hL, ∧, ∨i.
V W
-неразложимые и -неразложимые элементы
W
Элемент x ∈ L конечной решетки hL, ∧, ∨i назовем -неразложимым, если
x 6= ∅ и для любых y , z ∈ L если y < x и z < x, то yV∨ z < x.
Элемент x ∈ L конечной решетки hL, ∧, ∨i назовем -неразложимым, если
x 6= T и для любых y , z ∈ L если x < y и x < z, то x < y ∧ z.
Лемма
W любой конечной решетки hL, ∧, ∨iWлюбое надмножество всех
Для
-неразложимых элементов образует -плотное подмножество.
V любой конечной решетки hL, ∧, ∨iVлюбое надмножество всех
Для
-неразложимых элементов образует -плотное подмножество.

Пример построения обучающей выборки
T
a b
c e g
d f
h k
i j
∅
O|F h i j k
a 1 1 1 0
b 0 1 1 1
c 1 1 0 0
d 1 0 1 0
f 0 1 0 1
g 0 0 1 1

Алгоритм кодирования битовыми строками
1 топологически сортируем элементы (полу)решетки;
2 в матрице порядка ≥ отмечаются столбцы, которые являются
W
побитовым умножением двух предыдущих столбцов ( -разложимые
элементы решетки);
3 все отмеченные столбцы удаляются.
c d
b a a b c d a b c
a 1 0 0 0 1 0 0
∅ b 0 1 0 0 ⇒ 0 1 0
c 0 1 1 0 0 1 1
d 1 1 0 1 1 1 0
Теорема
Алгоритм кодирования порождает множество битовых строк, кандидаты
которого образует решетку, изоморфную исходной.

Недистрибутивные решетки
Решетка называется дистрибутивной, если выполняется любое из равенств
x ∧ (y ∨ z) = (x ∧ y ) ∨ (x ∧ z) (14)
x ∨ (y ∧ z) = (x ∨ y ) ∧ (x ∨ z) (140 )
Пример (недистрибутивной решетки)
Z22 = {h0, 0i, h1, 0i, h0, 1i, h1, 1i}

H
HH
H
{h0, 0i, h1, 0i}
H
{h0, 0i, h1, 1i} HH{h0, 0i, h0, 1i}

HH@
H@
H@H
{h0, 0i}

Недостаточность побитовой дизъюнкции
Пример
Решетка h{0, 1}n , ∧, ∨, ∅ = 0n , T = 1n iс побитовыми операциями конъюнкции
и дизъюнкции является дистрибутивной.
Гомоморфизм решеток h : hL1 , ∧, ∨i → hL2 , ∧, ∨i - такое h : L1 → L2 , что
для всех x, y ∈ L1 верно h(x ∨ y ) = h(x) ∨ h(y ), h(x ∧ y ) = h(x) ∧ h(y ).
Инъективный гомоморфизм называется мономорфизмом, тогда решетка
hL1 , ∧, ∨i называется подрешеткой решетки hL2 , ∧, ∨i.
Лемма
Любая подрешетка дистрибутивной решетки является дистрибутивной.
Задача
Доказать, что для недистрибутивной решетки hL, ∧, ∨i невозможно
реализовать ∨ побитовой дизъюнкцией, а ∧ - побитовым умножением.
Энтропийный подход
J. R. Quinlan: C4.5: Programs for Machine Learning. Morgan Kaufmann

Publishers, 1993
Обозначим через E = O ∪ C объединенное множество обучающих примеров
O и контр-примеров C .
Для полуинтервала значений [a, b) ⊆ R непрерывного признака V : E → R
введем обозначения O[a, b) = {e ∈ O : a ≤ V (e) < b},
C [a, b) = {e ∈ C : a ≤ V (e) < b} и E [a, b) = {e ∈ E : a ≤ V (e) < b}.
Энтропией полуинтервала значений [a, b) ⊆ R непрерывного признака
V : E → R называется число

|O[a, b)| |O[a, b)| |C [a, b)| |C [a, b)|
ent[a, b) = − · log2 − · log2
|E [a, b)| |E [a, b)| |E [a, b)| |E [a, b)|

Пороги для непрерывных признаков
Для непрерывного признака V : E → [a, b] пороги {v1 < . . . < vl } на

интервале [a = min V , b = max V ] вычисляются иерархически, разбивая
новым порогом интервал с наибольшей энтропией.
Средней информацией для разбиения a < r < b полуинтервала значений
[a, b) ⊆ R непрерывного признака V : E → R называется число
|E [a, r )| |E [r , b)|
inf[a, r , b) = · ent[a, r ) + · ent[r , b).
|E [a, b)| |E [a, b)|
Порогом выбирается значение V = r c минимумом средней информации.

Индикаторные переменные
( 1 ≤ i ≤ l введем индикаторные (Булевы) переменные
Для каждого
1 V (e) ≥ vi
δiV (e) =
0 V (e) < vi
и индикаторные
( (Булевы) переменные
1 V (e) < vi
σiV (e) = .
0 V (e) ≥ vi
Тогда битовая строка hδ1V (e) . . . δlV (e)σ1V (e) . . . σlV (e)i будет кодированием
непрерывного признака V для элемента (обучающего примера или
контр-примера) e ∈ O ∪ C .

Пример кодирования непрерывного признака
Пусть порогов 3, тогда имеем 4 полуинтервала [min V , v1 ), [v1 , v2 ), [v2 , v3 ) и
[v3 , max V ].
Если min V ≤ V (e0 ) < v1 , то V (e0 ) = 000111
Если v1 ≤ V (e1 ) < v2 , то V (e1 ) = 100011
Если v2 ≤ V (e2 ) < v3 , то V (e2 ) = 110001
Если v3 ≤ V (e3 ) < max V , то V (e3 ) = 111000
000111 100011 110001 111000
000011 100001 110000
000001 100000
000000
Рис.: Полурешетка объединения интервалов
V (e1 ) ∧ V (e2 ) = 100001 соответствует v1 ≤ V (e1 ) ∧ V (e2 ) < v3 .

Категории и коммутативные диаграммы в них
Категория C состоит из семейства объектов и семейства стрелок, причем

каждому объекту c ∈ С сопоставляется стрелка 1c : c → c ∈ С, а каждой
паре стрелок f : a → b, g : b → c ∈ С сопоставляет стрелку g · f : a → c ∈ C,
причем f · 1a = f , 1b · f = f и композиция ассоциативна h · (g · f ) = (h · g ) · f ,
если определена в С, т.е. коммутативны диаграммы
a
f /b a
1a
/a
g f
g ·f h·g f
f

c
h /d b
1b
/b
Диаграмма называется коммутативной, если все композиции стрелок с

общим началом и общим концом равны между собой.

Функтор P : Set → Set
Функтор T : C → B из категории C в категорию B состоит из функции

объектов T , которая каждому объекту c ∈ C сопоставляет объект Tc ∈ B, и
функции стрелок T , которая каждой стрелке f : c → c 0 ∈ С сопоставляет
стрелку Tf : Tc → Tc 0 ∈ B, причем T (1c ) = 1Tc , T (g · f ) = Tg · Tf (каждый
раз, когда композиция g · f определена в С).
Категория Set множеств и отображений между ними допускает эндофунктор
P : Set → Set, который отображает множество X во множество-степень
PX = {S : S ⊆ X }, а отображение f : X → Y в Pf : PX → PY , где
Pf (S) = {f (x) : x ∈ S} ⊆ Y , для любого S ⊆ X .
Другим примером является забывающий функтор F : Lat → Set, который
отображает полурешетку hX , ∧i в ее носитель X , а гомоморфизм
полурешеток f : hX1 , ∧i → hX2 , ∧i в отображение f : X1 → X2 .

Естественное преобразование
Пусть даны два функтора S, T : C → B. Естественное преобразование
τ : S → T — это функция, которая каждому объекту c ∈ C сопоставляет
стрелку τc : Sc → Tc из B таким образом, что для каждой стрелки
f : c → c 0 ∈ С следующая диаграмма коммутативна:
c Sc
τc
/ Tc
f Sf Tf
τc 0
c0 Sc 0 / Tc 0
Между тождественным функтором ISet и P существует естественное

преобразование η : ISet → P с компонентами ηX : X → PX , которые
отображают каждый x ∈ X в одноэлементное подмножество
ηX (x) = {x} ∈ PX .
Естественным является преобразование detK : GLn (K ) → K ∗ между
функторами GLn : CRng → Grp обратимых матриц размера n × n и
()∗ : CRng → Grp обратимых элементов коммутативных колец CRng,
рассматриваемых как группы Grp.
Определение монады
Каждый эндофунктор T : C → С определяет композиции T 2 = T · T : C → С

и T 3 = T 2 · T : C → С. Пусть µ : T 2 → T — естественное преобразование с
компонентами µc : T 2 c → Tc для каждого c ∈ C. Тогда T µ : T 3 → T 2
обозначает естественное преобразование с компонентами
(T µ)c = T (µc ) : T 3 c → T 2 c, а преобразование µT : T 3 → T 2 имеет
компоненты (µT )c = µTc : T 3 c → T 2 c.
Монада T = hT , η, µi в категории C состоит из функтора T : C → С и двух
естественных преобразований η : IC → T и µ : T 2 → T , делающих
коммутативными следующие диаграммы:
T3
Tµ
/ T2 IC T p
ηT
/ T2 o Tη
TI
Nn
C
µT µ µ
id
!! }} id
T2
µ
/T T

Алгебры над монадой hP, η, ∪i
Легко проверить, что тройка hP, η, ∪i задает монаду в категории Set.

Необходимые тождества: ∪ · (P∪) = ∪ · (∪P) : P 3 → P и
∪ · (ηP) = id = ∪ · (Pη) : P → P представляют собой равенство
∪i∈∪{Ij :j∈J} Si = ∪j∈J {∪i∈Ij Si } и равенства ∪{A : A ⊆ S} = S = ∪{{x} : x ∈ S},
соответственно.
Для монады hP, η, ∪i в категории Set можно определить категорию алгебр
SetP как множество пар hX , ∧i, где объект (множество) X называется
носителем алгебры, а морфизм ∧ : PX → X называется структурным
отображением, причем должны выполняться тождества
∧ · P∧ = ∧ · ∪X : PPX → X и ∧ · ηX = idX : X → X
P 2 (X )
P∧ / P(X ) Xp
ηX
/ P(X )
∪X ∧ ∧
id
!!
P(X )
∧ /X X

Полурешетки как алгебры над hP, η, ∪i
Лемма
Класс алгебр hX , ∧i над монадой hP, η, ∪i в категории Set совпадает с
полными полурешетками.
Доказательство.
Структурное отображение ∧ : PX → X задает частичный порядок:
x ≤ y ⇔ [∧{x, y } = x]. Антисимметричность: x ≤ y и y ≤ x влекут
x = ∧{x, y } = ∧{y , x} = y . Рефлексивность: ∧{x} = ∧ · ηX (x) = idX (x) = x,
т.е. x ≤ x. Транзитивность: x ≤ y и y ≤ z влекут ∧{x, z} = ∧{∧{x, y }, z} =
∧({x, y } ∪ {z}) = ∧{x, y , z} = ∧({x} ∪ {y , z}) = ∧{x, ∧{y , z}} = ∧{x, y } = x.
Покажем, что ∧S - точная нижняя грань для S ⊆ X . Для всякого x ∈ S
верно S ∪ {x} = S. Тождество ∧ · P∧ = ∧ · ∪X влечет ∧{∧S, x} = ∧S, что
означает ∧S ≤ x. Пусть для всех x ∈ S выполняется ∧{x, y } = y (т.е. y ≤ x).
Тогда ∧{∧S, y } = ∧(S ∪ {y }) = ∧(∪{{x, y } : x ∈ S}) =
∧({∧{x, y } : x ∈ S}) = ∧{y } = y .
То, что полная полурешетка является алгеброй над монадой hP, η, ∪i, легко
проверяется.
Свободные объекты
Сначала рассмотрим иллюстративный пример:

Фиксировав поле k, рассмотрим забывающий функтор F : Vectk → Set, где
F (V ) для произвольного векторного пространства V обозначает множество
всех его векторов, и порождающий функторP G : Set → Vectk , где векторы из
G (X ) - формальные линейные комбинации αj xj , где αj ∈ k -
коэффициенты, xj ∈ X , а операции над векторами определены
покомпонентно. Каждая функция g : X → F (V ) продолжается до
единственного
P Pлинейного преобразования h : G (X ) → V , имеющего вид
h( αj xj ) = αj g (xj ) (т.е. формальные линейные комбинации из G (X )
отображаются в реальные линейные комбинации из V ). Для этого
соответствия ψ : g 7→ h существует обратное, а именно φ : h 7→ h|X -
ограничение функции h на X ; таким образом, имеется биекция
φ : Vectk (G (X ), V ) ' Set(X , F (V )).

Сопряженные функторы
Сопряжение между категориями C и B - это тройка hF , G , φi : C * B, где
F : B → C и G : C → B - функторы, а биекция φ каждой стрелке h : Gc → b
сопоставляет стрелку φh : c → Fb, сопряженную к h справа, причем для всех
стрелок f : c 0 → c и g : b → b 0 выполнены условия естественности
φ(g · h) = Fg · φh, φ(h · Gf ) = φh · f .
Это равносильно естественности преобразования φ−1 , то есть для всех

f : c 0 → c, g : b → b 0 и k : c → Fb выполняются
φ−1 (k · f ) = φ−1 k · Gf , φ−1 (Fg · k) = g · φ−1 k.
Для любого объекта c ∈ C рассмотрим ηc : c → FGc как образ стрелки

1Gc : Gc → Gc при отображении φ. Это задает естественное преобразование
тождественного функтора IC : C → C в функтор FG : C → C.
Биекция φ может быть выражена в терминах стрелок ηc , а именно
φ(h) = Fh · ηc для всех h : Gc → b.
Действительно, ввиду условий естественности имеем
φ(h) = φ(h · 1Gc ) = Fh · φ(1Gc ) = Fh · ηc .

Основная теорема
Аналогично, имеется естественное преобразование ε функтора GF : B → B в

тождественный функтор IB как набор стрелок εb : GFb → b - образов стрелок
1Fb : Fb → Fb при обратной биекции φ−1 .
Задача
Доказать, что биекция φ−1 может быть выражена в терминах стрелок εb по
формуле φ−1 (k) = εb · Gk для всех k : c → Fb.
Теорема
Для монады hP, η, ∪i в категории Set имеет место сопряжение
hF , G ; η, εi : Set * Lat, где F hX , ∧i = X - забывающий функтор
F : Lat → Set, GX = hPX , ∪X i - порождающий функтор G : Set → Lat,
ηX : X → PX - естественное преобразование ISet → FG , а εhX ,∧i = ∧ -
естественное преобразование GF → ILat .

Доказательство теоремы
Функтор F hX , ∧i = X забывает структурное отображение ∧ : PX → X
нижней полурешетки.
Для каждого множества X пара hPX , ∪X i (∪X : PPX → PX ) является
свободной полной полурешеткой над X в силу закона ассоциативности и
наличия левой и правой единицы в монаде hP, η, ∪i. Следовательно,
соответствие GX = hPX , ∪X i действительно определяет функтор
G : Set → Lat, как и утверждалось.
Тогда FGX = F hPX , ∪X i = PX , поэтому единица ηX : X → PX данной
монады является естественным преобразованием ISet → FG .
С другой стороны, GF hX , ∧i = hPX , ∪X i. При этом тожество
∧ · P∧ = ∧ · ∪X : PPX → X означает, что структурное отображение
∧ : PX → X является гомоморфизмом полурешеток
GF hX , ∧i = GX = hPX , ∪X i → hX , ∧i. В итоге получаем естественное
преобразование ε : GF → ILat .
Остальные тождества для сопряжения имеют вид
∪X · (PηX ) = idPX : PX → PX и ∧ · ηX = idX : X → X . Первое совпадает с
равенством S = ∪{{x} : x ∈ S}, а второе - с условием ∧{x} = x
рефлексивности порядка, установленного в предыдущей лемме.
Поляры на языке теории категорий
Ganter, Bernhard and Kuznetsov, S.O. Pattern Structures and Their Projections.
Proc. 9th Conference ICSS 2001, LNCS 2120. – 2001. – p. 129–142
Сопряжение hF , G ; η, εi : Set * Lat определяет изоморфизм
φ : Lat(hPS, ∪S i, hX , ∧i) ' Set(S, X ), для которого f : S → X отображается в
0
= φ−1 (f ) = ∧ · Pf : hPS, ∪S i → hX , ∧i.
Поэтому имеет место отображение 0 : PS → X , для которого
{o}0 = ∧η(o) = f (o) для каждого o ∈ S.
Следовательно, каждому подмножеству A ⊆ S, называемому списком
родителей, сопоставляется элемент A0 ∈ X , называемый полярой или
сходством списка родителей.

Язык

1 ST Lecture

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

1 ST Lecture

Загружено:

Авторское право:

Алгебраическая теория решеток

для анализа данных

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 1 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 3 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 5 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 6 / 40

Сходствами будут {o1 , o2 }0 = {f1 }, {o2 , o3 }0 = {f5 },{o3 , o4 }0 = {f2 }, а также

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 7 / 40

x < y ∧ ¬∃z [x < z < y ]

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 8 / 40

Проблема: {o1 , o3 }0 = {o1 , o4 }0 = {o2 , o4 }0 = . . . = {o1 , o2 , o3 , o4 }0 = ∅

Сходства: {f1 , f3 }0 = {f3 }0 = {o1 }, {f1 , f5 }0 = {o2 },{f2 , f5 }0 = {o3 },

f1 = {o1 , o2 } HHf5 = {o2 , o 3} f2 = {o3 , o4 }

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 10 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 11 / 40

В дальнейшем нам понадобится частный случай:

(A ∪ {o})0 = A0 ∩ {o}0 (7)

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 12 / 40

∀A [A0 = A000 ] ∀B [B 0 = B 000 ] (11)

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 13 / 40

O ×F f1 ... fj1 fj1 +1 ... fjm−1 ... fjm ... fn

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 14 / 40

Кузнецов C.O. Научно-техническая информация (серия 2), 1989. - № 1,

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 15 / 40

Ganter Bernhard, Wille Rudolf, Formal Concept Analysis, Springer, 1999

hA1 , B1 i ∧ hA2 , B2 i = h(A1 ∪ A2 )00 , B1 ∩ B2 i (12)

hA1 , B1 i ∨ hA2 , B2 i = hA1 ∩ A2 , (B1 ∪ B2 )00 i (13)

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 17 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 18 / 40

Аналогично, для любого B ⊆ F и o ∈ O

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 21 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 22 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 23 / 40

Пример (недистрибутивной решетки)

Z22 = {h0, 0i, h1, 0i, h0, 1i, h1, 1i}

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 24 / 40

J. R. Quinlan: C4.5: Programs for Machine Learning. Morgan Kaufmann

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 26 / 40

Для непрерывного признака V : E → [a, b] пороги {v1 < . . . < vl } на

Порогом выбирается значение V = r c минимумом средней информации.

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 27 / 40

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 28 / 40

000111 100011 110001 111000

000011 100001 110000

Рис.: Полурешетка объединения интервалов

V (e1 ) ∧ V (e2 ) = 100001 соответствует v1 ≤ V (e1 ) ∧ V (e2 ) < v3 .

Категория C состоит из семейства объектов и семейства стрелок, причем

Диаграмма называется коммутативной, если все композиции стрелок с

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 30 / 40

Функтор T : C → B из категории C в категорию B состоит из функции

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 31 / 40

Между тождественным функтором ISet и P существует естественное

Каждый эндофунктор T : C → С определяет композиции T 2 = T · T : C → С

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 33 / 40

Легко проверить, что тройка hP, η, ∪i задает монаду в категории Set.

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 34 / 40

Сначала рассмотрим иллюстративный пример:

φ : Vectk (G (X ), V ) ' Set(X , F (V )).

Дмитрий Виноградов (ВЦ РАН) Алгебраическая теория решеток 11 июля 2022 г. 36 / 40

φ(g · h) = Fg · φh, φ(h · Gf ) = φh · f .

Это равносильно естественности преобразования φ−1 , то есть для всех

φ−1 (k · f ) = φ−1 k · Gf , φ−1 (Fg · k) = g · φ−1 k.

Для любого объекта c ∈ C рассмотрим ηc : c → FGc как образ стрелки

φ(h) = φ(h · 1Gc ) = Fh · φ(1Gc ) = Fh · ηc .

Аналогично, имеется естественное преобразование ε функтора GF : B → B в

f1 = {o1 , o2 } HHf5 = {o2 , o 3} f2 = {o3 , o4 }