Транслятивность Метода Суммирования

- общее название для нек-рых свойств общего положения, понятие линейной алгебры, дифференциальной и геометрич. Топологии. а) Два векторных подпространства А, В конечномерного векторного пространства Странсверсальны друг к другу, если Аи В порождают С, т. Е. б) В дифференцируемой ситуации два подмногообразия L, М многообразия Nтрансверсальны в точке если касательные пространства в этой точке TXL, Т Х М порождают TXN. Геометрически (для подмногообразии в узком смысле слова и без края) эт..

в расслоенном пространстве - соответствие между классами когомологий слоя и базы. Точнее, если Е - связное расслоенное пространство с базой Ви слоем F, A - абелева группа, то Т. В Еесть соответствие определенное формулой где - пограничный гомоморфизм, а - гомоморфизм, определяемый проекцией Элементы из области определения соответствия наз. Трансгрессивными. Образом элемента при Т. Наз. Любой такой , что Т. Можно рассматривать как гомоморфизм группы Ts(F, А )в нек-рую факторгруппу..

- отображение алгебраич. Системы в себя, к-рое либо есть тождественное отображение, либо может быть представлено в виде произведения конечного числа главных трансляций (наз. Также элементарными Т.). Эквивалентность на алгебраич. Системе является конгруэнцией тогда и только тогда, когда она замкнута относительно всех Т. (и даже только главных Т.). Лит.:[1] Кон П., Универсальная алгебра, пер. С англ., М., 1968. [2] Мальцев А. И., Алгебраические системы, М., 1970. О. А. Иванова. ..

- 1) Т. П. В программировании, компиляция программ,- систематический процесс, который любую программу ip на входном алгоритмическом языкеLI преобразует в некоторую программу ор на объектном языке LO, при итом так, что обе программы, ip и ор, реализуют одну и ту же функцию, то есть если d - входные данные программы, то ip(d) = op(d). 2) Т. П. В теории вычислимых функций и алгоритмов теории- любое отображение одной нумерации вычислимых функций в другую, сохраняющее свойство образа и прообр..