7.8. Function of projection of state on the basis

Let given a state s◎ whose basis b◎ is not already some arbitrary basis b⚪.

Since there is exactly one s⚪, which is a projection for s◎, a projection for s◎, it is possible to determine the corresponding (function) projection of the state on the basis:

s⚪ = s◎ ↓ b⚪

█

Remark

From the content point of view, the role of the projection-prototype relationship between states is the basis for the formalization of further considered projection of aircraft and their systems in the form of modules and assemblies, preserving monotony in the process of their development, that is, in the transition from versions of abstract structures more specific, more and more filled with details.

So, if we consider the state (x=1) as an abstraction for the state (x=1, y=1), that is, an earlier version of the same "true", then the first question - how many states are there - two or one? To be able to work formally, just introduced the difference of states on the basis, one of which is a projection of the second.

Prev Next