разрешимость
111ПОДСТАНОВОК ГРУППА — совокупность подстановок на нек ром множестве X, образующих группу относительно операции умножения подстановок. Иначе, П. г. это пара (G, X), где G группа, X множество и каждому соответствует подстановка множества Xтакая, что 1) , , и 2) х a=х… …
112ПОТЕНЦИАЛА ТЕОРИЯ АБСТРАКТНАЯ — теория потенциала на абстрактных топология, пространствах. П. т. а. возникла в сер. 20 в. из стремления охватить единым аксиоматич. методом широкое многообразие свойств различных потенциалов, применяемых при решении разнообразных задач теории… …
113ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …
114ПРОДОЛЖЕНИЯ ПО ПАРАМЕТРУ МЕТОД — включение данной задачи в однопараметрическое (0 1) семейство задач, связывающее данную задачу (а=1) с известной разрешимой задачей (a=0), и изучение зависимости решений от параметра a. Метод широко используется в теории дифференциальных… …
115РАЗНОСТНАЯ ВАРИАЦИОННАЯ СХЕМА — разностная схема, построенная на основе вариационной задачи, соответствующей краевой задаче для дифференциального уравнения. Основная идея построения Р. в. с. состоит в том, чтобы при специальном выборе координатных функций в Ритца методе… …
116РАЗНОСТНОЕ УРАВНЕНИЕ — уравнение, содержащее конечные разности искомой функции. функция целочисленного аргумента , конечные разности. Выражение содержит значения функции в (m+1) й точке п, n+1,. . ., п+т. Справедлива формула (1) …
117СВОБОДНАЯ ПОЛУГРУППА — над алфавитом А полугруппа, элементами к рой. являются всевозможные конечные последовательности элементов из А(букв), а операция состоит в приписывании одной последовательности к другой. Элементы С. п. принято называть словами, а операцию часто… …
118СЕРВАНТНАЯ ПОДГРУППА — чистая подгруппа, такая подгруппа Сабелевой группы G, что для любого элемента из разрешимости в G уравнения пх=с следует его разрешимость в подгруппе С. Примерами С. п. служат нулевая подгруппа, сама группа G, периодич. часть данной группы и… …
119СИМПЛЕКТИЧЕСКОЕ ПРОСТРАНСТВО ОДНОРОДНОЕ — симплектическое многообразие (М, w) вместе с транзитивной группой Ли G его автоморфизмов. Элементы алгебры Ли группы G можно рассматривать как симплектические векторные поля на М, т. е. поля X, сохраняющие симплектическую 2 форму w: где точкой… …
120СМЕШАННОГО ТИПА УРАВНЕНИЕ — дифференцированное уравнение с частными производными, к рое в области задания принадлежит различным типам (эллиптическому, гиперболическому или параболическому). Линейное (или квазилинейное) дифференциальное уравнение 2 го порядка с двумя… …
