Тодда Класс

топологическое пространство, в к-ром каждое конечное множество замкнуто и для всякого замкнутого множества Ри любой не принадлежащей Рточки . Найдется непрерывная вещественная функция f на всем пространстве, к-рая принимает значение 0 в точке хи значение 1 во всех точках множества Р. Класс Т. П. Совпадает с классом вполне регулярных T1 -пространств. В Т. П. Любые две различные точки отделимы непересекающимися окрестностями - т. Е. Выполняется аксиома отделимости Хаусдорфа, но не всякое Т. П. Н..

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

- алгоритмическая проблема распознавания равенства (тождества) слов в алгебраич. Системе ( группе, подгруппе и др.) с заданной образующей и определяющими соотношениями. ..

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