Кортеж < ^ ...Зс,...хп >, где xtзначения элементов множества X , будем обозначать как < ...5с ... >. В этих обозначениях:/= Проекция/ х Q на пространство S0 является: При этом необходимо учитывать, что Qi^QПроекцией/на Т является t. Пространство Sq называется склейкой пространств 5^ и S0i, если Q rQ ^Q iДопустимо непустое пересечение Q\ и Q2. Пусть кортеж s\ принадлежит пространству SQ, кортеж s2принадлежит пространству Sq .Обозначим значения параметра q из кортежа si как q Sl, а Ш значение параметра q из кортежа s2 как q*2. Следует различать левую иI правую склейку кортежей. Процесс Z\ является проекцией процесса Z на координатное пространство S0 (обозначение Z, = Пр8 Z), если Q\<^Q и процесс построен Q\ по следующей процедуре: • каждую точку графика F проецируем на пространство Sq . В результате получаем множество F / Мощность множества F ’\ равна мощности множества F; • упорядочим множество F’\ в соответствие с а; • вводим отношение эквивалентности на множестве F ’i такое, что две * * « . * , рядом расположенные точки/ и/+ 1 множества F ’i/= + ^ считаются эквивалентными, если ; • каждому классу эквивалентности на F ’i ставим в соответствие одну точку/экв= с/шш, ‘Уэкв>где tmin = _min {/} , j3Kb=V =-•• для всего класса Кэ Vf, еК э |
Кортеж < > , где x tзначения элементов множества А ', будем обозначать как < ...х ... > . В этих обозначениях: / 3 Проекция/ Л' Q на пространство SQi является: npsQlf = <(>< >:>(2.3) При этом необходимо учитывать, что Q\ Пространство Sq называется склейкой пространств если Q=Q\'u Q2. Допустимо непустое пересечение 0\ и Q^. Пусть кортеж S принадлежит пространству Sq{ , кортеж s2 принадлежит пространству SQ .Обозначим значения параметра q из кортежа i-i как q Sx, а значение параметра q из кортежа ^2 как q Sl. Следует различать левую и правую склсйку кортежей. Процесс Z ] является проекцией процесса Z на координатное пространство SQi (обозначение Z, = Пр5д Z ), если Q \cQ и процесс построен по следующей процедуре: • каждую точку графика F проецируем на пространство V В результате получаем множество F'\. Мощность множества F\ равна мощности множества F;. • упорядочим множество F \ в соответствие с а; • вводим отношение эквивалентности на множестве F \ такое, что две рядом расположенные точки/ и/+) множества F \ f ~ для всего класса VljeK0 |