Решающая Функция

подкатегория, содержащая "наибольшую" модель любого объекта категории. Точнее, полная подкатегория категории наз. Р е ф л е к т и в н о й, если содержит -рефлектор (см. Рефлектор).для любого объекта категории. Полная подкатегория категории рефлективна тогда и только тогда, когда функтор вложения обладает сопряженным слева функтором Функтор Sсопоставляет каждому объекту Аиз его -рефлектор S(А);морфизмы , входящие в определение -рефлектора, определяют естественное преобразование тож..

о б ъ е к т а к а т е г о р и и - понятие, описывающее "наибольшую" модель данного объекта в нек-ром классе объектов. А именно, пусть - подкатегория категории . Объект наз. Рефлектором о б ъ е к т а в , или - р е ф л е к т о р о м, если существует такой морфизм , что для любого объекта X из отображение биективно. Другими словами, для любого морфизма существует такой единственный морфизм , что . -рефлектор объекта Аопределен неоднозначно, но любые два -рефлектора объекта Аизомор..

в т е о р и и и г р - исход (или множество исходов), удовлетворяющий принятому в данной модели принциггу оптимальности. Выделяют следующие основные типы Р. 1) р е ш е н и е п о Н э ш у (см. Бескоалиционная игра), в частности седловая точка функции выигрыша в антагонистич. Играх. 2) р е ш е н и е п о Н е й м а н у - М о р г е н ш т е р н у (Н-М-р е ш е н и е)- множество дележей, никакие два из к-рых не доминируют друг друга, причем для каждого дележа, не принадлежащего этому множеству, найдется..

- один из общих методов теории чисел, обобщающий принцип высеивания составных чисел из натурального ряда (см. Эратосфена решето). Проблема Р. М. Состоит в оценке для конечного множества Ацелых чисел количества тех элементов, к-рые не делятся ни на какое простое число риз нек-рого множества Рпростых чисел. Оценивается "просеивающая" функция , обозначающая количество указанных элементов из Апри дополнительном условии. Для получения оценок просеивающей функции часто используется информация о числе..