ВУЗ:
Составители:
279
С-структуру из &
п
и одну Р-структуру из P
п
. Таким образом, С- и Р-
структуры могут рассматриваться как два канонических представления клас-
сов r-эквивалентности G-структур. Каждый класс r-эквивалентности, пред-
ставленный графом, описывается двумя каноническими структурами - наиме-
нее уточненной С-структурой и наиболее уточненной Р-структурой. Взаимно
однозначное соответствие между R
п
и G
п
(или P
п
) индуцирует булеву ре-
шетку на G
п
(или на P
n
), изоморфную естественной булевой решетке, опреде-
ленной на P
n
.
Например, на рисунке Г.16 показаны решетка (&
3
,≤) и взаимно
изоморфные булевы решетки, определенные на R
3
, G
3
, P
3
и &
3
/r
3
.
Рисунок Г.16 – Решетка (&
3
,≤) и булевы решетки, определенные на R
3
,
G
3
, P
3
, &
3
/r
3
Для описания больших решеток полезно определить отношение эквива-
лентности
≡
i
на множествах &
n
следующим образом:
С-структуру из &п и одну Р-структуру из Pп. Таким образом, С- и Р-
структуры могут рассматриваться как два канонических представления клас-
сов r-эквивалентности G-структур. Каждый класс r-эквивалентности, пред-
ставленный графом, описывается двумя каноническими структурами - наиме-
нее уточненной С-структурой и наиболее уточненной Р-структурой. Взаимно
однозначное соответствие между Rп и Gп (или Pп) индуцирует булеву ре-
шетку на Gп (или на Pn), изоморфную естественной булевой решетке, опреде-
ленной на Pn.
Например, на рисунке Г.16 показаны решетка (& 3 ,≤) и взаимно
изоморфные булевы решетки, определенные на R3, G3, P3 и &3/r3.
Рисунок Г.16 – Решетка (&3,≤) и булевы решетки, определенные на R3,
G3, P3, &3/r3
Для описания больших решеток полезно определить отношение эквива-
i
лентности ≡ на множествах &n следующим образом:
279
Страницы
- « первая
- ‹ предыдущая
- …
- 277
- 278
- 279
- 280
- 281
- …
- следующая ›
- последняя »
