WikiDer > Парадокс фон Неймана

В математика, то парадокс фон Неймана, названный в честь Джон фон Нейман, идея о том, что можно разбить плоскую фигуру, такую ​​как единичный квадрат на наборы точек и подвергнуть каждый набор аффинное преобразование с сохранением площади так что в результате получатся две плоские фигуры того же размера, что и оригинал. Это было доказано в 1929 г. Джон фон Нейман, предполагая аксиома выбора. Он основан на более раннем Парадокс Банаха – Тарского, который, в свою очередь, основан на Парадокс Хаусдорфа.

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

Набросок метода

Ниже приводится неофициальное описание метода, найденного фон Нейманом. Предположим, что у нас есть свободная группа ЧАС линейных преобразований, сохраняющих площадь, порождаемых двумя преобразованиями, σ и τ, которые находятся недалеко от единичного элемента. Быть свободной группой означает, что все ее элементы могут быть однозначно выражены в форме ${displaystyle sigma ^ {u_ {1}} au ^ {v_ {1}} sigma ^ {u_ {2}} au ^ {v_ {2}} cdots sigma ^ {u_ {n}} au ^ {v_ {n} }}$ для некоторых п, где ${displaystyle u}$песок ${displaystyle v}$s - все ненулевые целые числа, кроме, возможно, первого ${displaystyle u}$ и последнее ${displaystyle v}$. Мы можем разделить эту группу на две части: те, которые начинаются слева с σ в некоторой ненулевой степени (мы называем это множество А) и те, которые начинаются с τ в некоторой степени (т. е. ${displaystyle u_ {1}}$ равен нулю - мы называем это множество B, и он включает в себя личность).

Если мы оперируем любой точкой евклидова 2-мерного пространства различными элементами ЧАС мы получаем то, что называется орбитой этой точки. Таким образом, все точки на плоскости можно отнести к орбитам, бесконечное число которых мощность континуума. С использованием аксиома выбора, мы можем выбрать по одной точке на каждой орбите и назвать множество этих точек M. Мы исключаем начало координат, которое является неподвижной точкой в ЧАС. Если мы затем оперируем M всеми элементами ЧАС, мы генерируем каждую точку плоскости (кроме начала координат) ровно один раз. Если мы оперируем M всеми элементами А или из B, мы получаем два непересекающихся множества, объединяющие все точки, кроме начала координат.

Теперь возьмем какую-нибудь фигуру, например, единичный квадрат или единичный круг. Затем мы выбираем другую фигуру внутри нее, например, меньший квадрат с центром в начале координат. Мы можем покрыть большую фигуру несколькими копиями маленькой фигуры, хотя некоторые точки покрыты двумя или более копиями. Затем мы можем назначить каждую точку большой фигуры одной из копий маленькой фигуры. Назовем наборы, соответствующие каждой копии ${displaystyle C_ {1}, C_ {2}, точки, C_ {m}}$. Теперь мы сделаем взаимно однозначное отображение каждой точки большого рисунка в точку внутри него, используя только преобразования, сохраняющие площадь. Берем точки, принадлежащие ${displaystyle C_ {1}}$ и переведите их так, чтобы центр ${displaystyle C_ {1}}$ квадрат находится в начале координат. Затем мы берем в нем те точки, которые входят в набор А определенные выше, и действуют на них с помощью операции сохранения площади σ τ. Это помещает их в набор B. Затем берем точки, принадлежащие B и оперируем ими с σ². Теперь они все еще будут в B, но набор этих точек не будет пересекаться с предыдущим набором. Действуем таким же образом, используя σ³τ на А очки от C₂ (после центрирования) и σ⁴ на его B очки и так далее. Таким образом, мы сопоставили все точки с большой фигуры (кроме некоторых фиксированных точек) взаимно однозначным образом, чтобы B точки типа не слишком далеко от центра, а внутри большой фигуры. Затем мы можем сделать второе сопоставление с А наберите очки.

На этом этапе мы можем применить метод Теорема Кантора-Бернштейна-Шредера. Эта теорема говорит нам, что если у нас есть инъекция из набора D устанавливать E (например, от большой фигуры к А в нем точки типа), и инъекция из E к D (например, отображение идентичности из А наберите на рисунке точки к себе), то есть индивидуальная переписка между D и E. Другими словами, отображение большой фигуры на подмножество А точек в нем, мы можем сделать отображение (биекцию) от большой фигуры к все то А указывает на это. (В некоторых регионах точки сопоставляются сами с собой, в других они отображаются с использованием сопоставления, описанного в предыдущем абзаце.) Аналогичным образом мы можем сопоставить большую фигуру со всеми B указывает на это. Итак, посмотрев на это с другой стороны, мы можем разделить фигуру на ее А и B точек, а затем сопоставьте каждую из них с целым рисунком (то есть, содержащим оба вида точек)!

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

Последствия

Парадокс квадрата можно усилить следующим образом:

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

Это имеет последствия в отношении проблема меры. Как отмечает фон Нейман,

"Infolgedessen gibt es bereits in der Ebene kein nichtnegatives adds Maß (wo das Einheitsquadrat das Maß 1 hat), dass [sic] gegenüber allen Abbildungen von А₂ инвариантный wäre. "^[1]

«В соответствии с этим уже на плоскости нет неотрицательной аддитивной меры (для которой единичный квадрат имеет меру 1), инвариантной относительно всех преобразований, принадлежащих А₂ [группа аффинных преобразований, сохраняющих площадь] ".

Чтобы объяснить это немного подробнее, вопрос о том, существует ли конечно аддитивная мера, которая сохраняется при определенных преобразованиях, зависит от того, какие преобразования разрешены. В Мера Банаха наборов на плоскости, которая сохраняется при перемещениях и поворотах, не сохраняется при неизометрических преобразованиях, даже если они сохраняют площадь многоугольников. Как объяснялось выше, точки плоскости (кроме начала координат) можно разделить на две плотные множества который мы можем назвать А и B. Если А точки данного многоугольника преобразуются определенным сохраняющим площадь преобразованием и B точек другим, оба набора могут стать подмножествами B точки в двух новых полигонах. Новые многоугольники имеют ту же площадь, что и старый многоугольник, но два преобразованных набора не могут иметь ту же меру, что и раньше (поскольку они содержат только часть B баллов), и поэтому не существует «работающей» меры.

Класс групп, выделенных фон Нейманом в ходе изучения феномена Банаха – Тарского, оказался очень важным для многих разделов математики: это приемлемые группы, или группы с инвариантным средним, и включают все конечные и все разрешимые группы. Вообще говоря, парадоксальные разложения возникают, когда группа, используемая для эквивалентностей в определении равноразложимости, есть нет послушный.

Недавний прогресс

Работа фон Неймана оставила открытой возможность парадоксального разложения внутренней части единичного квадрата относительно линейной группы SL(2,р) (Фургон, Вопрос 7.4). В 2000 г. Миклош Лацкович доказал, что такое разложение существует.^[2] Точнее, пусть А - семейство всех ограниченных подмножеств плоскости с непустой внутренней частью, находящихся на положительном расстоянии от начала координат, и B семейство всех плоских множеств, обладающих тем свойством, что объединение конечного числа переносится при некоторых элементах SL(2,р) содержит проколотую окрестность начала координат. Тогда все наборы в семье А находятся SL(2,р) -равномерно разложимыми, и аналогично для множеств в B. Отсюда следует, что оба семейства состоят из парадоксальных множеств.

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