Опорная Функция

, опорный функционал, множества А, лежащего в векторном пространстве X, - функция sA, задаваемая в находящемся с ним в двойственности векторном пространстве Y соотношением Напр., О. Ф. Единичного тара в нормированном пространстве, рассматриваемом в двойственности со своим сопряженным пространством, - это норма в последнем. О. Ф. Всегда выпуклая, замкнутая и положительно однородная (первой степени). Оператор взаимно однозначно отображает совокупность выпуклых замкнутых множеств в Xна совокупность выпуклых замкнутых однородных функций, обратный оператор - не что иное, как субдифференциал (в нуле) опорной функции. Именно, если А - выпуклое замкнутое подмножество в X, то , и если р - выпуклая замкнутая однородная функция на Y, то Эти два соотношения (являющиеся следствием теоремы Фенхеля - Моро, см.

Сопряженная функция).и выражают двойственность между замкнутыми выпуклыми множествами и выпуклыми замкнутыми однородными функциями. Примеры соотношений, связывающих оператор s с алгебраическими и теоретико-множественными операциями. Лит.:[1] Рокафеллар Р., Выпуклый анализ, пер. С англ., М., 1973. [2] Мinkоwski H., Geometric der Zalilen, Lpz,.-В., 1910. [3] его же, Gesammelte Abhandlungeri, Bd 2, Lpz.- В., 1911. [4] F e n с h e 1 W., "Canad. J. Malli.", 1949, v. I, p. 73-77. [5] e г о же, Convex cones, sets and funktions, Princeton, 1953. [6] Hогmander L., "Ark. For Mat.", 1955, bd 3, p. 181-86. В. М. Тихомиров.