Теория функций действительного переменного/Выпуклые множества и функционалы

Материал из Викиучебника — открытых книг для открытого мира
Теория функций действительного переменного

  1. Эквивалентные множества
  2. Счётные множества
  3. Метрическое пространство
  4. Множества в метрическом пространстве
  5. Сходимость метрического пространства
  6. Непрерывные отображения метрического пространства
  7. Полные метрические пространства
  8. Принцип сжимающихся отображений
  9. Применение принципа сжимающихся отображений
  10. Линейные пространства
  11. Линейные функционалы
  12. Выпуклые множества и функционалы
  13. Нормированные и евклидовы пространства
  14. Непрерывные линейные функционалы
  15. Сопряжённое пространство
  16. Слабая сходимость
  17. Обобщённые функции
  18. Линейные операторы
  19. Компактные операторы
  20. Системы множеств
  21. Мера множеств, измеримые функции
  22. Интеграл Лебега
  23. Теория дифференцирования
  24. Пространства суммируемых функций
  25. Тригонометрические ряды
  26. Ортогональные системы функций
  27. Преобразование Фурье

Выпуклые множества и выпуклые тела[править]

Пусть  — некоторое действительное линейное пространство, а и  — две точки этого пространства.

Совокупность всех точек вида

,

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

Отрезок без концевых точек, то есть совокупность точек вида

называется открытым отрезком в линейном пространстве .

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

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

Ядром произвольного множества называется совокупность таких его точек , что для каждого найдётся такое число , что

.

Выпуклое тело — это выпуклое множество с непустым ядром.

Если  — выпуклое множество, то его ядро  тоже является выпуклым. Действительно, пусть

,
,
,

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

точки

,
.

будут принадлежать множеству . Следовательно, при

,

точка

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

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

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

Рассмотрим набор выпуклых множеств и их пересечение:

.

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

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

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

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

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

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

,

где  — вещественные числа такие, что

.

Доказательство. Докажем, что указанная совокупность точек — обозначим её  — содержит точки . Если взять все числа , кроме одного — например  — равными нулю, то , поэтому выражение, указанное в условии теоремы, будет равно , утверждение доказано.

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

,
.

Пусть задано вещественно число , рассмотрим вектор

.

Используя предыдущие равенства, получим:

,

где

.

Так как , , и  — неотрицательные числа, то

.

Кроме того,

,

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

Осталось доказать, что  — наименьшее выпуклое множество, содержащее все точки . По индукции можно доказать, что выпуклое множество, содержащее точки , должно содержать и все точки вида

,

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

Выпуклые функционалы[править]

Функционал , определённый на линейном действительном пространстве , называется выпуклым, если для двух любых точек и всех вещественных чисел имеет место соотношение

.

Функционал , определённый на линейном действительном пространстве , называется положительно-однородным, если для любой точки и всех имеет место равенство

.

Однородно-выпуклый функционал — это функционал, одновременно являющийся положительно-однородным и выпуклым.

Установим некоторые свойства однородно-выпуклых функционалов.

Свойство 1. Пусть  — однородно-выпуклый функционал, тогда

.

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

Во-первых, в силу того, что  — положительно-однородный функционал, имеет место равенство

.

Так как функционал является ещё и выпуклым, то

.

Следовательно:

,

что и требовалось доказать.

Свойство 2.

.

Доказательство. Пусть , тогда, по определению однородного функционала:

.

Свойство 3.

.

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

.

Данное свойство, в частности означает, что если , то обязательно .

Свойство 4. Для любого (необязательно положительного) вещественного числа

.

Доказательство. Для случая свойство выполняется в силу определение однородно-выпуклого функционала. Если же , то неравенство будет иметь место в силу свойства 2, так как

.

Рассмотрим случай, когда . По свойству 3:

,

следовательно

.

Теорема Хана-Банаха[править]

Пусть - действительное линейное пространство, - некоторое его подпространство, а - линейный функционал, заданный на .

Функционал заданный на всём называется продолжением функционала , если для всех элементов имеет место равенство

.

Говорят, что функционал подчинён на подпространстве функционалу , если для любого элемента выполняется неравенство

.

Теорема Хана-Банаха. Пусть - однородно-выпуклый функционал, заданный на действительном линейном пространстве , а - подпространство . Если - линейный функционал, заданный на и подчинённый на функционалу , то существует продолжение функционал на всё пространство , подчинённое на .

Функционал Минковского[править]

Отделимость выпуклых множеств[править]