Метасистемный подход в управлении: Монография. Миронов С.В - 279 стр.

UptoLike

Составители: 

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