Cтраница 2
Нормальной областью около изолированного неособого исключительного конуса называют его коническую окрестность в шаре t / ( 0, г) с достаточно малым г0, в которой нет компактного инвариантного множества уравнения (4.2.1) и замкнутого конуса, в точках которого хгР ( х) 0, и нет других исключительных конусов и исключительных направлений. Боковая граница нормальной области должна быть кусочно гладким конусом, пересекающимся с траекториями трансверсалыю, и кроме боковой границы в границу входят точка покоя и задняя граница - гладкое многообразие, пересекающееся с траекториями трансвер-сально. [16]
Доказательство теоремы 5.2. С помощью разбиения единицы доказательство легко сводится к тому случаю, когда / С имеет компактный носитель, WF ( / О с: QI x Q2 x Г, WF ( и) a Q2 X Г, где Г и Г - замкнутые конусы с вершинами в начале координат в пространствах Rn m и Rm соответственно. [17]
Типичной задачей выявления эффективного способа является основная задача производственного планирования. Если Z - выпуклый замкнутый конус, то это есть общая задача выпуклого программирования. Если Z задан конечным числом образующих ( так наз. Решение z лежит на границе Z. Коэффициенты я, характеризующие эффективный способ z, имеют важный экономич. Они интерпретируются как цены, соизмеряющие эффективность затрат и выпуска отдельных ингредиентов. Способ эффективен тогда и только тогда, когда стоимость выпуска равна стоимости затрат. [18]
Определение 1.2. Обозначим через NS ( X) группу Нерона - Севери X и положим NS ( X) fi - NS ( X) R. Конусом эффективных дивизоров X называется замкнутый конус Aeff ( X) С порожденный классами эффективных дивизоров. [19]