7.8. Функция проекции состояния на базис

Пусть дано состояние s◎, чей базис b◎ не уже некоторого произвольного базиса b⚪.

Поскольку существует ровно одно s⚪, являющееся проекцией для s◎, проекцией для s◎, то можно определить и соответствующую (функцию) проекции состояния на базис:

s⚪ = s◎ ↓ b⚪

█

Замечание

С содержательной точки зрения, роль отношения проекции-прообраза между состояниями - это основа для формализации далее рассматриваемых проекции ВС и их систем в виде модулей и сборок, сохраняющих монотонность в процессе их разработки, то есть в переходе от версий абстрактных конструкций всё более конкретным, всё более наполненным деталями.

Так, если считать состояние (x=1) абстракцией для состояния (x=1, y=1), то есть более ранней версией того же самого "истинного", то первый вопрос - сколько здесь состояний - два или одно? Чтобы можно было работать формально, как раз и вводится различие состояний по базису, одно из которых является проекцией второго.

Назад Вперёд