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

с о л в м н о г о-о б р а з и е,- компактное факторпространство связной разрешимой группы Ли (иногда, впрочем, компактности не требуют). Частный случай - нильмногообразие. По сравнению с последним общий случай значительно сложнее, но для него тоже имеется полная структурная теория. Лит.:[1] A u s l a n d е rL., "Bull. Amer. Math. Soc.", 1973, v. 79, № 2, p. 227-61. Д. В. Аносов. ..

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

такой n-местный предикат Р, заданный на нек-ром множестве конструктивных объектов (напр., натуральных чисел) М, для к-рого существует алгоритм, позволяющий для любого набора а 1. ., а п элементов множества Мнайти значение (И или Л) предиката Рна этом наборе. Иными словами, предикат является разрешимым, если он, рассматриваемый как n-местная функция на Мсо значениями во множестве {И, Л}, является вычислимой функцией. Когда в качестве математич. Уточнения понятия вычислимости используется ..

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