Общности Квантор

системы обыкновенных дифференциальных уравнений n -го порядка в области G- совокупность псоотношений содержащая ппараметров и в неявном виде описывающая семейство функций, составляющих общее решение этой системы в области G. Часто О. И. Системы (1) наз. Не соотношения (2), а совокупность функций Каждое из соотношений (2) [или каждая из функций (3)] наз. первым интегралом системы (1). Иногда под О. И. Системы (1) понимают совокупность более общих, чем (2), соотношений В случае обыкнове..

- множество Rмощности т, являющееся различных представителей системой для каждого из tсемейств подмножеств заданного множества S, каждое из к-рых состоитиз тчленов. ..

полугрупп с нулем - полугруппа, полученная из данного семейства {Sa} полугрупп с нулем, попарно пересекающихся лишь по этому нулю, заданием па объединении операции умножения, совпадающей с исходной операцией на каждой полугруппе Sa. И такой, что SaSb=0 для любых различных a, b 0-П. О. Наз. Также ортогональной суммой. Описание ряда типов полугрупп устанавливает возможность их разложения в 0-П. О. Тех или иных известных полугрупп (см., напр., Максимальный идеал, Минимальный идеал, Регулярная ..

категории - термин, используемый для обозначения элементов произвольной категории, играющих роль множеств, групп, топологич. Пространств и т. П. О. Категории - неопределяемое понятие. Каждая категория состоит из элементов двух классов, наз. Классом объектов и классом морфизмов соответственно. Класс О. Категории обычно обозначается . Любому объекту Акатегории однозначно соответствует единичный морфиам , причем разным О. Отвечают разные единичные морфнз-мы. Поэтому формально можно определить по..