Разрешимый Предикат

множество конструктивных объектов какого-либо фиксированного типа, допускающее проверку принадлежности к нему его элементов при помощи алгоритма. Фактически мы можем ограничиться понятием Р. М. Натуральных чисел, т. К. Более общий случай может быть сведен к данному при помощи соответствующей нумерации рассматриваемых объектов. Множество Мнатуральных чисел наз. Р а з р е ш и м ы м, если существует такая общерекурсивная функция f, что В этом случае f и представляет собой алгоритм, проверяющий..

поток на разрешимом многообразии , определяемый действием на Мкакой-нибудь однопараметрич. Подгруппы gt разрешимой группы Ли G:если Мсостоит из смежных классов gН, то под действием Р. П. Такой класс за время t переходит в класс . Частный случай Р. П.- ниль-поток. В общем случае свойства Р. П. Могут быть значительно более разнообразными. Лит.:[1] А у с л е н д е р Л., Г р и н Л., Х а н Ф., Потоки на однородных пространствах, пер. С англ., М., 1966. [2] С т еп и н А. М., "Успехи матем. Нау..

- точка, принадлежащая множеству X определения функции , где Xи Y - топологич. Пространства, в к-рой эта функция не является непрерывной. Иногда к Р. Т. Относят и точки, к-рые хотя и не принадлежат множеству определения функции, но в этом множестве содержатся нек-рые их проколотые окрестности. Среди Р. Т. Функций, определенных в проколотых окрестностях точек числовой оси, различают точки разрыва 1-го и 2-го рода. Если точка x0 является Р. Т. Функции f, определенной в нек-рой окрестности этой ..

- задача вариационного исчисления, в к-рой экстремум функционала достигается на ломаной экстремали. Л о м ан а я э к с т р е м а л ь - кусочно гладкое решение Эйлера уравнения, удовлетворяющее в угловых точках нек-рым дополнительным необходимым условиям. Эти условия принимают конкретный вид в зависимости от типа Р. В. З. Так, в Р. В. З. 1-го рода ломаная экстремаль разыскивается при обычных предположениях относительно непрерывности и непрерывной дифференцируемости подинтегральной функции. Для ..