Постникова Система

нормальная система Поста, нормальное исчисление Поста,- частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил эквивалентность П. С. П. И канонич. Систем Поста в широком смысле. П. С. П. Были использованы Э. Постом и А. А. Марковым (1947) при построении первых примеров ассоциативных исчислений с неразрешимой проблемой распознавания равенства слов (проблема Т уэ). ..

Когомологическая операция типа 0(1, А, 3, В), где А, В - абелевы группы с фиксированным гетероморфизмом h. , т. Е. Таким отображением, что функция билинейна и h (-g) =h(g). Пусть - эпиморфизм, а - свободная абелева группа. Для 1-коциклов П. К. Определен формулой где - такая коцепь с коэффициентами в F, что . Надстройкой над П. К. Является Понтрягина квадрат. Для односвязного XП. К., для к-рого А=p2 (Х), В=p3 (Х), а h определяется композицией с отображением Хопфа , используетс..

риманово пространство М, у к-рого секционная кривизна K(s) по всем двумерным направлениям а постоянна. Если К(s)=k, то говорят, что П. К. П. Имеет кривизну k. Согласно теореме Шура, риманово пространство М п, n>2, есть П. К. П., если для любой точки секционная кривизна K(s) по направлению любых двумерных подпространств s касательного пространства Т р М одна и та же. Тензор кривизны П. К. П. Выражается через кривизну kи метрич. Тензор gij по формуле П. К. П. Является локально с..

- плоская выпуклая кривая для к-рой расстояние между любыми парами параллельных опорных прямых одинаково. Это расстояние наз. Шириной П. Ш. К. Кроме окружности, существует бесконечно много других, вообще говоря, негладких П. Ш. К. Простейшей из них является треугольник Рёло, состоящий из трех дуг окружности одного радиуса а, к-рые соединяют вершины равностороннего треугольника со стороной а(см. Рис. 1). Ширина треугольника Рёло равна а. Площадь фигуры, ограниченной треугольником Рёло, равна ..