Вопрос выпуклые множества точек и их свойства. Свойства выпуклых множеств

Свойства выпуклого множества

Классификация и специфика задач математического программирования.

Введение в математическое программирование.

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

Определение модели.

Модель - ϶ᴛᴏ образ изучаемого явления или объекта.

Этапы моделирования.

1. Построение качественной модели, ᴛ.ᴇ. выделение факторов, которые представляются наиболее важными в установлении закономерности, которым они подчиняются.

2. Построение математической модели. Запись качественной модели в математических терминах.

Математическая модель принято называть точной если все исходные величины числовых параметров модели являются точными (к примеру, результаты наблюдений). В этом смысле точную модель называют идеальной. Далее будем полагать, что у точной задачи всегда существует точное решение(результаты наблюдений). В реальной ситуации сведения о входных параметрах носят, как правило, приблизительный характер (результаты измерений). В этом случае полученные задачи называются реальными, а их решения – реальными решениями.

Реальное решение может и не существовать .

2 этап. Включает также построение целевой функции, ᴛ.ᴇ. такой числовой характеристики, большему или меньшему значению которой соответствует лучшая ситуация с точки зрения лица, принимающего решения.

3 этап. Исследование влияния переменных на значения целевой функции, нахождение решения, поставленной задачей.

4 этап. Сопоставление результатов вычисления, полученных на 3 этапе с моделированным объектом, ᴛ.ᴇ. критерий практики.

Здесь устанавливается степень адекватности модели и моделируемого объекта.

В математическом программировании можно выделить два направления:

· Собственно математическое программирование – детерминированные задачи, когда вся исходная информация полностью определена;

· Стохастическое программирование. К нему относятся задачи, в которых исходная информация содержит неопределённость, либо когда некоторые параметры носят случайный характер с известными вероятностными характеристиками.

В математическом программировании выделяют следующие разделы:

1) Линейное программирование. В этих задачах целевая функция линейна, а множества, на котором исследуется его экстремальное значение задается системой линейных равенств или неравенств. В свою очередь, в линейном программировании существуют классы задач, структура которых позволяет создавать свои специальные методы решения, выгодно отличающиеся от методов общего характера. К примеру, транспортная задача.

2) Нелинейное программирование. Данная задача и целевая функция и ограничения носят нелинейный характер.
Размещено на реф.рф
Задачи нелинейного программирования обычно классифицируют на:

a) Выпуклое программирование, когда целевая функция выпукла и выпукло множество, на котором решается задача.

b) Квадратичное программирование, когда целевая функция квадратична, а ограничения линейное равенство или неравенство.

c) Многоэкстремальные задачи. Обычно выделяются специальные классы задач, часто встречающиеся в примечаниях. К примеру, задача минимизации на выпуклом множестве вогнутых функций.

3) Целочисленное программирование, когда на значения переменных или на значения целевой функции накладывается условие целочисленности.

Специфика задач математического программирования состоит в том, что, во-первых, методы классического анализа для отыскания условных экстремумов неприменимы, т.к. даже в простых задачах экстремумы достигаются в углах многогранника решения, а, следовательно, нарушается дифференцируемость функции.

Во-вторых, в практических задачах число переменных и ограничений столь велико, что если перебирать все точки в экстремальности, то может не хватить ресурсов ЭВМ, в связи с этим цель математического программирования создание, где возможно, аналитических методов решения, а при отсутствии таких методов – создание эффективных вычислительных способов нахождения принудительного решения.

Элементы выпускного анализа.

Множество Х принято называть замкнутым если оно содержит все свои предельные точки

Множество Х принято называть ограниченным если существует шар конечного радиуса с центром в любой точке этого множества целиком включающее в себя это множество.

Множество Х принято называть выпуклым множеством если на ряду с каждыми точками Х1, Х2 є этому множеству все точки Х равны (1-α)· , где 0≤α≤1 так же принадлежат этому множеству Х. Т.е. если множеству Х, то и отрезок, соединяющий эти точки, тоже множеству Х.

Пример:

Дано множество Ө ={х, у такие, что х+у≤1. Доказать, что данное множество является выпуклым.

Пусть взяли две точки () и () Ө (ᴛ.ᴇ. + ≤1 и + ≤1).

Доказать, что точка

1. Теорема 1

Пересечение выпуклых множеств является выпуклым множеством.

Доказательство:

Пусть Х пересечение множеств и, где и выпуклые множества.

Докажем, что Х выпуклое множество.

Пусть точки и Х. Докажем, что отрезок, соединяющий эти точки, тоже принадлежит множеству Х.

т.к. и Х => и Х1

Х1 выпуклое множество => отрезок [ , ] Х1

т.к. , Х => они Х2

Х2 выпуклое множество.

Отсюда следует, что отрезок [ , ] Х1∩Х2=Х

Теорема доказана.

2. Теорема 2.

Объединение выпуклых множеств не всегда является выпуклым.

3. Свойство определённости.

Рассмотрим двухмерное пространство, в котором имеется неĸᴏᴛᴏᴩᴏᴇ замкнутое и выпуклое множество Х и некая точка d (,), где d Х, тогда найдётся прямая

С такая, что будут выполняться неравенства

Гиперплоскостью в пространстве R принято называть множество точек x (которая удовлетворяет равенству

Свойства выпуклого множества - понятие и виды. Классификация и особенности категории "Свойства выпуклого множества" 2017, 2018.

Задачи выпуклого программирования

Выпуклые множества

2.1.1. Понятие выпуклого множества

Определение . МножествоSE n называется выпуклым, если для любых двух точек
и
имеем

при любом
. Геометрически это означает, что вместе с
и
и весь отрезок
принадлежит множеству . Отметим, что отрезок
называется выпуклой комбинацией точек
и
.

Примеры выпуклых множеств

1. E n .

2. Пустое множество.

3. Множество, состоящее из одной точки

где
.

4. Гиперплоскость

где
, a ≠ 0, иb – число. Приn = 3 это множество совпадает с обычной плоскостью, а приn = 2 – с прямой.

5. Полупространство

где
, a ≠ 0, иb – число.

6. Конус

а y (k) – заданные векторы
. Заметим, что часто рассматриваются конусы с вершиной не в нуле, а в какой-либо другой точке
, то есть множества типа

7. Выпуклая комбинация (оболочка) конечного числа точек

Такое множество геометрически представляет собой n -мерный выпуклый многогранник.

8. Пересечение конечного числа полупространств

где
. Такое множество называется многогранным выпуклым множеством. В том случае, когда оно ограничено, оно также является выпуклым многогранником. Таким образом, возможны два представления выпуклого многогранника – в виде выпуклой оболочки конечной совокупности точек и в виде пересечения конечного числа полупространств, заданных неравенствами.

9. Шар радиуса r ≥0 с центром в

В качестве примеров невыпуклых множеств можно назвать множество целых чисел или множество рациональных чисел.

2.1.2. Свойства выпуклых множеств

Пересечение любого числа выпуклых множеств является выпуклым множеством.

Объединение двух выпуклых множеств не обязательно выпукло.

Пример: объединение двух точек не есть выпуклое множество.

также является выпуклым множеством.

Эти утверждения следуют из определения выпуклого множества. Докажем, например, первое утверждение для пересечения двух множеств
и
. Пусть. Рассмотрим

Из выпуклости A иB получаем, что
и
при всех
. Отсюда
. Утверждение доказано.

Определение .Крайней (экстремальной) точкой выпуклого множества называется такая его точка, которая не может быть представлена в виде выпуклой комбинации двух различных точек этого множества.

В качестве примера приведем выпуклый многогранник. Его крайними точками являются его вершины.

Определение . МножествоSE n называетсястрого выпуклым , если оно выпукло и все его граничные точки являются крайними.

Примером строго выпуклого множества является замкнутый шар.

2.1.3. Опорная гиперплоскость

Рассмотрим важнейшее понятие опорной гиперплоскости . Прежде всего заметим, что любая гиперплоскость , где
, a ≠ 0, определяет в пространстве
два замкнутых полупространства

Гиперплоскость является пересечением этих полупространств и одновременно границей каждого из них.

Пусть имеется некоторое выпуклое множество S и его граничная точкаy .

Определение . ГиперплоскостьH , проходящая через точкуy и содержащая все точки множествоS в одном из определяемых ею замкнутых полупространств, называется гиперплоскостью,опорной к множествуS в точкеy .

Можно показать, что опорную гиперплоскость можно провести через любую граничную точку выпуклого множества. Иллюстрация опорной гиперплоскости приведена на рис. 3.1.

Рис. 3.1. Опорная гиперплоскость H к выпуклому множеству S в точке y .

Отметим, что опорная гиперплоскость может быть не единственна (см. рис. 3.2).

Рис. 3.2. Две опорных гиперплоскости H 1 и H 2 к выпуклому множеству S в точке y .

Пусть теперь задано два непустых множества A иB . ГиперплоскостьH называетсяразделяющей гиперплоскостью, если все точки множестваA лежат в одном из замкнутых полупространств, определяемых гиперплоскостьюH , а все точки множестваB лежат в другом из определяемых ею замкнутых полупространств. Можно доказать несколько теорем о разделяющих гиперплоскостях. Рассмотрим простейшую из них. Пусть
– совокупность внутренних точек множестваA .

Теорема 3.1. ПустьA иB – два непустых выпуклых множества, причем
Ø. Тогда существует гиперплоскостьH , разделяющая множестваA иB. 1

Примеры разделяющих гиперплоскостей приведены на рис. 3.3 и 3.4.

Рис. 3.3. Гиперплоскость H разделяет множества S 1 и S 2 , не имеющие общую точку

Рис. 3.4. Гиперплоскость H разделяет множества S 1 и S 2 , имеющие общую точку

Выпуклые и вогнутые функции

Задача линейного программирования - это нахождение минимума линейной функции f: n > 1 , заданной на некотором замкнутом выпуклом множестве, выделенном линейными неравенствами.

Общая задача линейного программирования имеет вид:

Дана система m линейных уравнений и неравенств с n переменными

и линейная функция F = c 1 x 1 + c 2 x 2 +… + c n x n min (max)

Система (1) называется системой ограничений, а функция F - линейной функцией, линейной формой, целевой функцией или функцией цели.

Более кратко общую задачу линейного программирования можно представить в виде:

x={x|Axb, A=, b=( T )}

Задачу линейного программирования записывают и в других формах - канонической и нормальной. Канонической задачей - обозначение Зк, назовем такую:

x={x|Axb, ?0, j=)}

Нормальной задачей - обозначение Зн, назовем такую

x={x|Axb, ?0, j=)}

Выпуклые множества и функции

Определение выпуклого множества: множество - - выпуклое, если вместе с любыми двумя точками множеству принадлежат все точки отрезка, соединяющего в пространстве точку с точкой.

На следующем рисунке изображены два множества на плоскости: одно выпуклое, а другое нет.

Рис. 1

Выпуклыми в пространстве являются, например, такие множества: всё пространство, его положительный октант и неотрицательный октант, любой шар, как открытый, так и замкнутый, любая гиперплоскость (заданная некоторым уравнением вида, а также открытое и замкнутое полупространства, заданные, соответственно, условиями и.

Среди точек выпуклого множества можно выделить внутренние, граничные и угловые точки.

Точка множества называется внутренней , если в некоторой ее окрестности содержатся точки только данного множества.

Точка множества называется граничной , если в любой ее окрестности содержатся как точки, принадлежащие данному множеству, так и точки, не принадлежащие ему.

Особый интерес в задачах линейного программирования представляют угловые точки. Точка множества называется угловой (или крайней), если она не является внутренней ни для какого отрезка, целиком принадлежащего данному множеству.

На рис. приведены примеры различных точек многоугольника: внутренней (точки М), граничной (точка N) и угловых (точки А, В, С, D, Е). Точка А - угловая, так как для любого отрезка, целиком принадлежащего многоугольнику, например, отрезка АР, она не является внутренней; точка А - внутренняя для отрезка KL, но этот отрезок не принадлежит целиком многоугольнику.

Для выпуклого множества угловые точки всегда совпадают с вершинами многоугольника (многогранника), в то же время для невыпуклого множества это не обязательно. Множество точек называется замкнутым, если включает все свои граничные точки. Множество точек называется ограниченным , если существует шар (круг) радиуса конечной длины с центром в любой точке множества, который полностью содержит в себе данное множество; в противном случае множество называется неограниченным. Выпуклое замкнутое множество точек плоскости, имеющее конечное число угловых точек, называется выпуклым многоугольником, если оно ограниченное, и выпуклой многоугольной областью, если оно неограниченное.

Функция f: называется выпуклой, если ее надграфик epi f= является выпуклым множеством. На рисунке изображена выпуклая функция, её график выделен синим и надграфик закрашен зеленым.

Функция f: называется замкнутой, если ее надграфик - замкнутое множество.

Геометрический смысл решений неравенств, уравнений и их систем

Рассмотрим решения неравенств.

Утверждение 1. Множество решений неравенства с двумя переменными a11x1+a12x2<=b1 является одной из двух полуплоскостей, на которые вся плоскость делится прямой a11x1+a12x2=b1, включая и эту прямую, а другая полуплоскость с той же прямой есть множество решений неравенства a11x1+a12x2>=b1.

Для определения искомой полуплоскости (верхней или нижней) рекомендуется задать произвольную контрольную точку, не лежащую на ее границе - построенной прямой. Если неравенство выполняется в контрольной точке, то оно выполняется и во всех точках полуплоскости, содержащей контрольную точку, и не выполняется во всех точках другой полуплоскости. И наоборот, в случае невыполнения неравенства в контрольной точке, оно не выполняется во всех точках полуплоскости, содержащей контрольную точку, и выполняется во всех точках другой полуплоскости. В качестве контрольной точки удобно взять начало координат О (0; 0), не лежащее на построенной прямой.

Рассмотрим множество решений систем неравенств.

Утверждение 2. Множество решений совместной системы т линейных неравенств с двумя переменными является выпуклым многоугольником (или выпуклой многоугольной областью).

Каждое из неравенств в соответствии с утверждением 1 определяет одну из полуплоскостей, являющуюся выпуклым множеством точек. Множеством решений совместной системы линейных неравенств служат точки, которые принадлежат полуплоскостям решений всех неравенств, т.е. принадлежат их пересечению. Согласно утверждению о пересечении выпуклых множеств это множество является выпуклым и содержит конечное число угловых точек, т.е. является выпуклым многоугольником (выпуклой многоугольной областью).

Координаты угловых точек - вершин многоугольника находят как координаты точек пересечения соответствующих прямых.

При построении областей решений систем неравенств могут встретиться и другие случаи: множество решений - выпуклая многоугольная область (рис. а); одна точка (рис. б); пустое множество, когда система неравенств несовместна (рис. в).

Определение понятия двойственности с помощью преобразования Лежандра

Пусть f:. Функция f*: определенная равенством f*(x*)==(x*), называется сопряженной функцией к f, а функция f**: определенная по правилу f**(x*)==(x*), называется второй сопряженной функцией к f.

Отображение f* (x*) =< x*, x> ? f(x) называется преобразованием Лежандра.

Обычный прием построения двойственной задачи состоит в следующем. Задача минимизации

где X - линейное пространство, включается в класс подобных ей задач, зависящих от параметра:

где Y - некоторое другое линейное пространство, F (x, 0)=f(x) (функцию F называют возмущением f). Обычно F предполагается выпуклой. Двойственной к задаче по отношению к данному возмущению наз. задача

где F* - функция, двойственная (сопряженная) с F в смысле Лежандра - Юнга - Фенхеля. Такая двойственность позволяет связать с каждой выпуклой функцией f: X-> R двойственный объект - сопряженную функцию, заданную на сопряженном пространстве X* и определяемую формулой

Для простейших задач выпуклого программирования типа

где X - линейное пространство, выпуклые функции на X, В-выпуклое множество в X (частными случаями (3) являются задачи линейного программирования), обычно применяются следующие стандартные возмущения, зависящие от параметров y=(у 1 ,…, y m), m, Теоремы двойственности для общих классов задач выпуклого программирования утверждают, что при некоторых допущениях на возмущение F значения задач (2) и (2*) совпадают, и более того, решение одной из задач является множителем Лагранжа для другой.

III. Выпуклые множества и функции 569

3. Все функции одной переменной с постоянной эластичность ю имеют вид (8) (воспользоваться равенством (4)).

4. Функции нескольких переменных с постоянными частными эластичностями - это степенные функции вида

y = Ax1 B 1 x2 B 2 ,...,xN B N .

III. Выпуклые множества и функции

При исследовании экономических явлений математическими методами весьма значительным оказывается такое свойство м ногих множеств и функций, как выпуклость. Характер поведения мн огих экономических объектов связан с тем. что определенные зав исимости, описывающие эти объекты, являются выпуклыми. С выпукл о- стью функций и множеств часто связано существование или е динственность решения экономических задач: на этом же свойст ве основаны многие вычислительные алгоритмы.

Справедливость многих утверждений, относящихся к выпукл ым множествам и функциям, совершенно ясна, они почти очевидн ы. В то же время их доказательство зачастую очень сложно. Поэтому здесь будут изложены некоторые основные факты, связанные с выпу клостью, без доказательств, в расчете на их интуитивную убедит ельность.

1. Выпуклые множества на плоскости

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

Множество точек на плоскости называется выпуклым, если он о обладает следующим свойством: отрезок, соединяющий любые две точки этого множества, целиком содержится в этом множестве (рис. 1).

Примерами выпуклых множеств являются: треугольник, отрезок, полуплоскость (часть плоскости, лежащая по одну сторону от какой-либо прямой), вся плоскость. Другие примеры выпуклых множеств приведены на рис. 2,а. На рис. 2,б приведены примеры невыпуклых множеств.

570 Математическое приложение

Рис. 1. Отрезок, соединяющий любые две точки выпуклой фигуры, содержится в ней целиком.

Рис. 2. Выпуклые (а) и невыпуклые (б) множества на плоскости.

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

Пересечение, т. е. общая часть двух выпуклых множеств, всегда выпукло: взяв любые две точки пересечения (а они - общие, т. е. принадлежат каждому из пересекающихся множеств) и соедин ив их отрезком, мы легко убеждаемся в том, что все точки отрезка я вляются общими для обоих множеств, так как каждое из них выпукло. Вы - пуклым будет и пересечение любого числа выпуклых множест в.

Важным свойством выпуклых множеств является их отделимость: если два выпуклых множества не имеют общих внутрен них точек, то плоскость можно разрезать по прямой таким образ ом, что одно из множеств будет целиком лежать в одной полупло скости, а другое - в другой (на линии разреза могут располагат ься точки обоих множеств). Отделяющая их прямая в одних случая х оказывается единственно возможной, в других - нет (рис. 3).

Граничная точка любого выпуклого множества сама может ра с- сматриваться как выпуклое множество, не имеющее с исходным множе-

Рис. 3. Отделяющие прямые. Рис. 4. Опорные прямые.

III. Выпуклые множества и функции 571

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

Введем на плоскости систему декартовых координат х, у. Теперь у нас появилась возможность рассматривать различные фиг уры как множества таких точек, координаты которых удовлетвор яют тем или иным уравнениям или неравенствам (если координат ы точки удовлетворяют какому-либо условию, будем для кратко сти говорить, что сама точка удовлетворяет этому условию).

Упражнение 1

Рассмотрите фигуры, точки которых удовлетворяют неравен ствам: а) y ³ x2 ; á)xy ³ 1; â)xy ³ 1, õ > 0; ã) |õ| + |ó|£ 2;

ä) (õ+1)2 + (ó – 2)2 £ 9. Какие из них выпуклы?

Линейному уравнению ах + by = с удовлетворяют точки прямой. Иными словами, прямая является решением этого уравнения. Решением линейного неравенства

Решением каждого из неравенств является полуплоскость. Р ешение системы - это множество точек, каждая из которых удовл етворяет всем неравенствам системы, т. е. решение системы неравенств - это пересечение всех решений отдельных неравенств, составляющих систему. Полуплоскость - выпуклое множество, а пересече- ние выпуклых множеств всегда выпукло. Таким образом, решение системы (2) - выпуклое множество. На рис. 5 показано решение системы неравенств

ïî - 2x - y ³ -7.

Рис. 5. Решение системы из трех линейных неравенств.

572 Математическое приложение

Заметим, что неравенство ах + by £ с может быть заменено равносильным ему неравенством –àõ – by³ –ñ, имеющим вид (1). Кроме того, уравнение ах + by = с равносильно такой паре неравенств:

{ ax + by ³ c; ax + by £ c.

Таким образом, решение системы линейных уравнений и неравенств - всегда выпуклое множество.

Упражнение 2

Будет ли решение системы

ai x + bi y > ci , i = l, 2, ..., N

выпуклым множеством? Чем оно отличается от решения систем ы (2)?

Упражнение 3

Придумайте системы неравенств, решениями которых будут: а) параллелограмм; б) внутренность угла; в) полоса между двумя параллельными прямыми; г) единственная точка; д) пустое множество.

2. Выпуклые функции одной переменной

Проще всего определить выпуклую функцию геометрически. Д ля этого полезно ввести понятие надграфика функции. Надграфиком функции называется множество точек, расположенных над графиком ф ункции и на самом графике. Более строго, надграфик функции f(х) - это множество таких точек, координата х которых лежит в области определения функции, а координата у удовлетворяет неравенству у ³ f(x).

Функция называется выпуклой вниз, если ее надграфик - выпуклое множество. Рис. 6 иллюстрирует это определение.

Рис. 6. Надграфик выпуклой функции.

Рис. 7. Точка хорды не может располагаться ниже графика.

III. Выпуклые множества и функции 573

Приведенное определение является вполне строгим и может быть однозначно переведено на аналитический язык.

Во-первых, функция f(х) должна иметь выпуклую область определения - отрезок, луч или всю прямую.

В противном случае надграфик распался бы на несколько отдельных областей, и отрезок, соединяющий точки из разных о бластей, проходил бы через «запретную зону».

Для выяснения того, какому условию должны отвечать значе- ния выпуклой вниз функции f(x) «выберем какие-либо две точки M1 è M2 на ее графике и проведем хорду M1 M2 (рис. 7). Она целиком должна лежать в надграфике, т. е. надграфику должна принадлежать любая точка М хорды.

Рассмотрим число l , показывающее, в какой пропорции точка M делит хорду:

l = M 2 M .

M2 M1

Эта величина лежит в пределах 0 £ l £ 1. Ясно, что в такой же пропорции абсцисса и ордината точки М делят отрезки è [ó1 , ó2 ]:

õ2 – õ3 =l ·(õ2 – x1 ); y2 – y3 =l ·(y2 – y1 );

õ3 =l ·x1 + (1 –l )õ2 ; y3 =l ·y1 + (1 –l )y2 .

Условие принадлежности точки ние неравенства y3 ³ f(õ3 ). А так неравенство можно представить в

М надграфику - это выполне- âèäå êàê y 1 = f(x 1 ), y 2 = f(õ 2 ) - ýòî

Если неравенство (3) выполняется для любых значений x1 è õ2 , то любая хорда лежит в надграфике, тем более в надграфике л ежит любой отрезок, соединяющий точки, расположенные выше.

Таким образом, функция f(х), заданная на выпуклом множестве, выпукла вниз, если она обладает следующим свойством: для л ю- бых двух чисел x1 è õ2 из области определения функции и любого числаl из отрезка выполняется неравенство (3).

Неравенство (3) часто записывают в «симметричном» виде

574 Математическое приложение

Рис. 8. Функции: выпуклая вниз (а), выпуклая вверх (б), не имеющая постоянного знака выпуклости (в).

Аналогично можно определить и функции, выпуклые вверх: дл я этого нужно знаки неравенства (3) и (4) заменить на противоположные.

Функции, выпуклые вниз, часто называют просто «выпуклыми» . Выпуклые функции обладают свойством более общим, чем нера венство (4). Если x1 , õ2 ,..., xN - произвольные значения аргументаl 1 ,l 2 ,...,

l N - неотрицательные числа, сумма которых равна единице, то

Выберем четыре значения аргумента x1 < õ2 < õ3 < õ4 è ïðî-
ведем хорду M1 M4 (ðèñ. 9).
Промежуточные точки M2 è Ì3	лежат в надграфике, так что угол
	наклона хорды M M * не больше,
	а хорды М * M
	а хорды М * M		Не меньше, чем
				M M *
	угол наклона хорды			M M *

	абсцисс (углы наклона - с учетом
	знаков!). Следовательно,				скорость
	возрастания выпуклой функции в
	области «больших» значений ар-
	гумента (на участке [х3 , õ4 ]) íå
	меньше, чем в области «малых»
	значений (). Переходя к
	пределам		x 2® x 1è			® õ 3 ,
		f¢(x3 )		³ f¢(x1 ) ,
		f¢(x3 )		³ f¢(x1 ) ,
Рис. 9. Хорда, проведенная в области	производная	¢(x) дифференциру-
Рис. 9. Хорда, проведенная в области	емой выпуклой функции f(х)- не-
больших значений аргумента, имеет	емой выпуклой функции f(х)- не-

III. Выпуклые множества и функции 575

Если производная f¢(x) дифференцируема (т. е. выпуклая функция f(х) дважды дифференцируема), то f¢¢(x) ³ 0. Для дважды дифференцируемых функций это неравенство оказывается р авносильным приведенному выше определению выпуклой функции; в курсах математического анализа выпуклость обычно опред еляют по знаку второй производной. Но в экономических приложени ях, где часто приходится иметь дело с функциями, графики кото рых имеют изломы, такое определение оказывается мало полезны м.

Если f(х) и g(x) - выпуклые функции и а ³ 0, то выпуклыми будут функции

á) f(x) + g(x);

â) max(f(õ), g(x)).

Выпуклость функций в а) и б) проверяется непосредственно с помощью неравенства (3) или (4). Функция в) при каждом х принимает значение, равное большему из значений f(х) и g(x) (и любому из них, если они равны). Надграфик функции max(f(x), g(x)) есть пересечение надграфиков функций f(х) и g(x) (проверьте!) - отсюда и выпуклость функции в).

Упражнение 4

Существуют ли функции, выпуклые вниз и выпуклые вверх одновременно?

Упражнение 5

Ê ак выглядит график функции f(х) = = mах (0, а + bх) при различных значе- ниях параметров а и b? Выпуклы ли эти функции?

Упражнение 6

Выпукла ли функция

Рис. 10. Графики функций f(х) (1), g(x)

N (2) è max(f(x), g(x)) (3). f(x) = å fi (x) ,

fi (x) = max (0, ai + bi x)?

Как выглядит ее график?

576 Математическое приложение

Упражнение
Рассмотрим
	ì ax,


	f(x) = í
	f(x) = í
	ïï	B × (x - 1) , x ³ 1.
	ïï	B × (x - 1) , x ³ 1.

При каких значения а и b эта функция

Выпукла вниз?

Выпукла вверх?

- не имеет постоянного знака выпуклости?

IV. Пространство благ

Основные понятия

Многие теоретические вопросы обсуждаются в нашем учебни ке применительно к случаю двух продуктов. В качестве удобного средства, существенно упрощающего их анализ, использовались г рафические построения, в которых набор, включающий два продукта в коли- чествах x1 , è x2 изображался точкой на плоскости с декартовыми координатами (x1 , x2 ). Перевод теоретических понятий на геометри- ческий язык делал свойства обсуждаемых явлений весьма на глядными и при этом не приводил к потере строгости: все геометрические понятия (прямые, кривые, углы наклона и т. п.) имели точно определенные аналитические эквиваленты - уравнения, производные, с оотношения между параметрами и т. д. Поэтому такие построения широко используются и в учебниках по экономике, и в научных публикациях.

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

С выпуклостью функций и множеств часто связано существование или единственность решения экономических задач: на этом же свойстве основаны многие вычислительные алгоритмы.

Справедливость многих утверждений, относящихся к выпуклым множествам и функциям, совершенно ясна, они почти очевидны. В то же время их доказательство зачастую очень сложно. Поэтому здесь будут изложены некоторые основные факты, связанные с выпуклостью, без доказательств, в расчете на их интуитивную убедительность.

Выпуклые множества на плоскости .

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

Множество точек на плоскости называется выпуклым, если оно обладает следующим свойством: отрезок, соединяющий любые две точки этого множества, целиком содержится в этом множестве.

Примерами выпуклых множеств являются: треугольник, отрезок, полуплоскость (часть плоскости, лежащая по одну сторону от какой-либо прямой), вся плоскость.

Множество, состоящее из одной-единственной точки, и пустое множество, не содержащее ни одной точки, по принятому соглашению, также считаются выпуклыми. Во всяком случае, в этих множествах невозможно провести отрезок, соединяющий какие-то точки этих множеств и не принадлежащий этим множествам целиком, - в них вообще невозможно выбрать две точки. Поэтому их включение в число выпуклых множеств не приведет к противоречию с определением, а для математических рассуждений этого достаточно.

Пересечение, т. е. общая часть двух выпуклых множеств, всегда выпукло: взяв любые две точки пересечения (а они - общие, т. е. принадлежат каждому из пересекающихся множеств) и соединив их отрезком, мы легко убеждаемся в том, что все точки отрезка являются общими для обоих множеств, так как каждое из них выпукло. Выпуклым будет и пересечение любого числа выпуклых множеств.

Важным свойством выпуклых множеств является их отделимость: если два выпуклых множества не имеют общих внутренних точек, то плоскость можно разрезать по прямой таким образом, что одно из множеств будет целиком лежать в одной полуплоскости, а другое - в другой (на линии разреза могут располагаться точки обоих множеств). Отделяющая их прямая в одних случаях оказывается единственно возможной, в других - нет.

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

Введем на плоскости систему декартовых координат х, у. Теперь у нас появилась возможность рассматривать различные фигуры как множества таких точек, координаты которых удовлетворяют тем или иным уравнениям или неравенствам (если координаты точки удовлетворяют какому-либо условию, будем для краткости говорить, что сама точка удовлетворяет этому условию).

Тематические материалы: