19.6. Теорема

Если в условии теоремы 19.3 к рассмотрению системообразующих ВС добавить частичные ВС, то и в этом случае ЛИБО-ячейка в системе - прообразе также будет существовать.

Доказательство

Построение ЛИБО-ячейки с использованием состояний из частичных ВС означает, что для каждого такого состояния в соответствующей системообразующей ВС имеется его прообраз – порожденное от него состояние.

Поскольку согласно определению О-проекции сохраняются частичные ВС, то переход от указанного порожденного (от состояния соответствующей дополнительной ВС) состояния (в системе SVS⚪) к его прообразу (в системе SVS◎) сохраняет его свойство «быть порожденным» от одного и того же состояния.

Значит, наряду с ЛИБО-ячейкой, основанной на состояниях из системообразующей ВС, существует также ЛИБО-ячейка на состояниях из сопряженных с теми же узлами частичных ВС, что и требовалось доказать. █

Назад Вперёд