Теорема Хобби — Райса (Mykjybg }kQQn — Jgwvg)

Перейти к навигации Перейти к поиску

Теорема Хобби — Райса впервые появилась и была доказана в 1965 г. [1] при рассмотрении вопросов оптимальной аппроксимации функций в лабеговом пространстве . Более простое доказательство теоремы было дано Пинкусом[2] в 1976 году. Также используется в задачах справедливого дележа.

Теорема (адаптированная версия)

[править | править код]

Разобьем отрезок [0,1] последовательностью чисел на подынтервалов:

Определим знаковое разбиение как разбиение, в котором каждый подынтервал имеет ассоциированный знак :

Теорема Хобби — Райса утверждает, что для любых k непрерывно интегрируемых функций:

существует знаковое разбиение отрезка [0,1], такое что:

(другими словами, для каждой из k функций её интеграл по положительным подынтервалам равен её интегралу по отрицательным подынтервалам).

Теорема в оригинальной постановке

[править | править код]

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

.

Обобщенная теорема Хобби-Райса

[править | править код]

Н. Алон в 1987г. при решении задачи о разрезании ожерелья[3] сформулировал и доказал обобщенную теорему Хобби-Райса.

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

В случае получаем теорему Хобби-Райса.

Использование в задачах о справедливом дележе

[править | править код]

Пусть отрезок [0,1] будет тортом. Имеется k участников и каждая из k функций является функцией плотности значений для одного участника. Нам нужно разделить торт на две части так, что все участники соглашаются, что части имеют одинаковые величины. Эта задача справедливого дележа иногда называется задачей согласованного разрезания пополам [4]. Из теоремы Хобби — Райса следует, что это можно сделать с помощью k разрезов.

Примечания

[править | править код]
  1. Hobby, Rice, 1965, с. 665–670.
  2. Pinkus, 1976, с. 82–84.
  3. Alon, 1987, с. 247–253.
  4. Simmons, Su, 2003, с. 15–25.

Литература

[править | править код]