WikiDer > Теорема Стромквиста – Вудалла

В Теорема Стромквиста – Вудалла это теорема в справедливое разделение и теория меры. Неформально сказано, что для любого торта, для любого п люди с разными вкусами и на любую фракцию р, существует подмножество торта, которое все люди ценят ровно на долю р от общей стоимости торта.^[1]

Теорема касается круглого одномерного торта («пирога»). Формально его можно описать как интервал [0,1], в котором идентифицируются две конечные точки. Есть п непрерывные меры над тортом: ${ Displaystyle V_ {1}, ldots, V_ {n}}$; каждая мера представляет собой оценку разных людей по части торта.

Теорема гласит, что для каждого веса ${ Displaystyle ш в [0,1]}$, есть подмножество ${ displaystyle C_ {w}}$, который представляет собой объединение не более ${ displaystyle n-1}$ интервалы, которые все люди ценят точно ${ displaystyle w}$:

${ displaystyle forall i = 1, ldots, n: , , , , , V_ {i} (C_ {w}) = w}$

Доказательство эскиза

${ Displaystyle W substeq [0,1]}$ - подмножество всех весов, для которых верна теорема. Потом:

1. ${ displaystyle 1 in W}$. Доказательство: возьми ${ displaystyle C_ {1}: = C}$ (напомним, что меры стоимости нормализованы так, что все партнеры оценивают весь торт как 1).
2. Если ${ displaystyle w in W}$, то также ${ displaystyle 1-w in W}$. Доказательство: возьми ${ displaystyle C_ {1-w}: = C smallsetminus C_ {w}}$. Если ${ displaystyle C_ {w}}$ это союз ${ displaystyle n-1}$ интервалы по кругу, затем ${ displaystyle C_ {1-w}}$ также объединение ${ displaystyle n-1}$ интервалы.
3. ${ displaystyle W}$ это закрытый набор. Это легко доказать, так как пространство объединений ${ displaystyle n-1}$ интервалы - это компактный набор под подходящей топологией.
4. Если ${ displaystyle w in W}$, то также ${ displaystyle w / 2 in W}$. Это самая интересная часть доказательства; Смотри ниже.

Из 1-4 следует, что ${ Displaystyle W = [0,1]}$. Другими словами, теорема верна для каждый возможный вес.

Эскиз доказательства для части 4

• Предположить, что ${ displaystyle C_ {w}}$ это союз ${ displaystyle n-1}$ интервалы и что все ${ displaystyle n}$ партнеры оценивают это точно так же ${ displaystyle w}$.
• Определите на торте следующую функцию: ${ displaystyle f: C to mathbb {R} ^ {n}}$:

${ Displaystyle е (т) = (т, т ^ {2}, ldots, т ^ {п}) , , , , , , т в [0,1]}$

• Определите следующие меры по ${ Displaystyle mathbb {R} ^ {п}}$:

${ Displaystyle U_ {я} (Y) = V_ {я} (е ^ {- 1} (Y) cap C_ {w}) , , , , , , , , , Y substeq mathbb {R} ^ {n}}$

• Обратите внимание, что ${ displaystyle f ^ {- 1} ( mathbb {R} ^ {n}) = C}$. Следовательно, для каждого партнера ${ displaystyle i}$: ${ Displaystyle U_ {я} ( mathbb {R} ^ {n}) = ш}$.
• Следовательно, по Теорема Стоуна – Тьюки, существует гиперплоскость, разрезающая ${ Displaystyle mathbb {R} ^ {п}}$ до двух полупространств, ${ displaystyle H, H '}$, такое, что:

${ displaystyle forall i = 1, ldots, n: , , , , , U_ {i} (H) = U_ {i} (H ') = w / 2}$

• Определять ${ displaystyle M = f ^ {- 1} (H) cap C_ {w}}$ и ${ displaystyle M '= f ^ {- 1} (H') cap C_ {w}}$. Тогда по определению ${ displaystyle U_ {i}}$:

${ displaystyle forall i = 1, ldots, n: , , , , , V_ {i} (M) = V_ {i} (M ') = w / 2}$

• Набор ${ displaystyle C_ {w}}$ имеет ${ displaystyle n-1}$ связные компоненты (интервалы). Следовательно, его образ ${ displaystyle f (C_ {w})}$ также имеет ${ displaystyle n-1}$ компоненты связности (одномерные кривые в ${ Displaystyle mathbb {R} ^ {п}}$).
• Гиперплоскость, образующая границу между ${ displaystyle H}$ и ${ displaystyle H '}$ пересекает ${ displaystyle f (C_ {w})}$ в лучшем случае ${ displaystyle n}$ точки. Следовательно, общее количество связных компонент (кривых) в ${ displaystyle H cap f (C_ {w})}$ и ${ displaystyle H ' cap f (C_ {w})}$ является ${ displaystyle 2n-1}$. Следовательно, одно из них должно иметь не более ${ displaystyle n-1}$ составные части.
• Предположим, это ${ displaystyle H}$ это самое большее ${ displaystyle n-1}$ компоненты (кривые). Следовательно, ${ displaystyle M}$ имеет самое большее ${ displaystyle n-1}$ компоненты (интервалы).
• Следовательно, мы можем взять ${ displaystyle C_ {w / 2} = M}$. Это доказывает, что ${ displaystyle w in W}$.

Доказательство герметичности

Стромквист и Вудалл доказывают, что число ${ displaystyle n-1}$ туго, если вес ${ displaystyle w}$ либо иррационально, либо рационально с уменьшенной дробью ${ displaystyle r / s}$ такой, что ${ displaystyle s geq n}$.

Эскиз доказательства для ${ Displaystyle ш = 1 / п}$

• выбирать ${ Displaystyle (п-1) (п + 1)}$ равномерно расположенные точки по окружности; позвони им ${ Displaystyle P_ {1}, ldots, P _ {(п-1) (п + 1)}}$.
• Определять ${ displaystyle n-1}$ меры следующим образом. Мера ${ displaystyle i}$ сосредоточена в малых окрестностях следующих ${ Displaystyle (п + 1)}$ точки: ${ Displaystyle Р_ {я}, Р_ {я + (п-1)}, ldots, Р_ {я + п (п-1)}}$. Итак, возле каждой точки ${ Displaystyle P_ {я + К (п-1)}}$, есть дробь ${ Displaystyle 1 / (п + 1)}$ меры ${ displaystyle u_ {i}}$.
• Определить ${ displaystyle n}$-я мера пропорциональна измерению длины.
• Каждое подмножество, согласованное значение которого равно ${ displaystyle 1 / n}$, должен касаться как минимум двух точек для каждой из первых ${ displaystyle n-1}$ меры (поскольку значение около каждой отдельной точки равно ${ Displaystyle 1 / (п + 1)}$ что немного меньше необходимого ${ displaystyle 1 / n}$). Следовательно, он должен касаться хотя бы ${ Displaystyle 2 (п-1)}$ точки.
• С другой стороны, каждое подмножество, согласованное значение которого равно ${ displaystyle 1 / n}$, должна иметь общую длину ${ displaystyle 1 / n}$ (из-за ${ displaystyle n}$-й такт). Количество «промежутков» между точками равно ${ Displaystyle 1 / { большой (} (п + 1) (п-1) { большой)}}$; следовательно, подмножество может содержать не более ${ displaystyle n-1}$ пробелы.
• Подмножество консенсуса должно касаться ${ Displaystyle 2 (п-1)}$ точки, но содержат не более ${ displaystyle n-1}$ пробелы; следовательно, он должен содержать как минимум ${ displaystyle n-1}$ интервалы.

Смотрите также

• Ярмарка нарезки торта
• Честная нарезка пирогов
• Точное деление
• Теорема Стоуна – Тьюки

Рекомендации