Тождества Проблема

- раздел дифференциальной геометрии, в к-ром изучаются нек-рые семейства линий и поверхностей - т. Н. Ткани (плоские, пространственные, многомерные). Плоской р-тканью наз. Область плоскости, в к-рой заданы р(обычно семейств достаточно гладких линий со свойствами. 1) через каждую точку области проходит точно по одной линии каждого семейства. 2) линии разных семейств имеют не более одной общей точки. Пример. Три семейства прямых, параллельных сторонам равностороннего треугольника, образуют 3-тка..

- характеристический класс комплексного расслоения равный где - мультипликативная последовательность, отвечающая степенному ряду - Чжэня классы. Введен Дж. Тоддом [1]. Лит.:[1] Тоdd J., лРгос. Lond. Math. Soc.. ..

логическая истинность, общезначимоеть,- свойство формул языка исчисления предикатов, означающее истинность формулы во всех ее интерпретациях и цри всех допустимых значениях ее свободных переменных. Так, для формул, содержащих только один двуместный предикатный символ р и переменные одного сорта (т. Е. Такие переменные, к-рые при интерпретации должны иметь одну и ту же область пробегания), интерпретациями служат пары ( М, R), где М - произвольное непустое множество, а - произвольное двуместное..

- бинарное отношение на множестве А, обладающее свойствами рефлексивности и симметричности, т. Е. Удовлетворяющее условиям aRa для всех и aRb влечет за собой bRa для любых Т. Rна универсальной алгебре наз. Совместимой, если она является подалгеброй прямого квадрата т. Е. Если для любой n-арной операции условие i=l, . ., п, влечет за собой Таким образом, Т. Является естественным обобщением понятия эквивалентности, а совместимая Т. - обобщением конгруэнции. Любая совместимая Т. Решетк..