Неизмеримый набор

В математике неизмеримое множество это множество , которому нельзя присвоить значимый «объем». Математическое существование таких множеств предназначено для предоставления информации о понятиях длины , площади и объема в формальной теории множеств. В теории множеств Цермело–Френкеля предполагает , аксиома выбора что неизмеримые подмножества существовать.

Понятие неизмеримого множества стало источником больших споров с момента его появления. Исторически это привело Бореля и Колмогорова к формулировке теории вероятностей для множеств, которые должны быть измеримы. Измеримые множества на прямой представляют собой итерированные счетные объединения и пересечения интервалов (называемых борелевскими множествами ) плюс-минус нулевые множества . Эти множества достаточно богаты, чтобы включать в себя все мыслимые определения множеств, возникающие в стандартной математике, но они требуют большого формализма, чтобы доказать, что множества измеримы.

В 1970 году Роберт М. Соловей построил модель Соловея , которая показывает, что она согласуется со стандартной теорией множеств без несчетного выбора и что все подмножества действительных чисел измеримы. Однако результат Соловея зависит от существования недоступного кардинала , существование и непротиворечивость которого не могут быть доказаны в рамках стандартной теории множеств.

Исторические постройки [ править ]

Первым признаком того, что может возникнуть проблема с определением длины произвольного множества, стала теорема Витали . [1] Более поздняя комбинаторная конструкция, похожая на конструкцию Робина Томаса неизмеримого по Лебегу множества с некоторыми дополнительными свойствами, появилась в American Mathematical Monthly. [2]

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

В этом отношении плоскость подобна линии; существует конечно-аддитивная мера, расширяющая меру Лебега, инвариантная относительно всех изометрий . Для более высоких измерений картина ухудшается. Парадокс Хаусдорфа и парадокс Банаха – Тарского показывают, что трехмерный шар радиуса 1 можно разделить на 5 частей, которые можно снова собрать, чтобы сформировать два шара радиуса 1.

Пример [ править ]

Учитывать множество всех точек единичного круга и действие на группой состоящий из всех рациональных вращений (поворотов на углы, которые являются рациональными кратными ). Здесь счетно (точнее, изоморфен ) пока является неисчислимым. Следовательно распадается на бесчисленное множество орбит под (орбита это счетное множество ). Используя аксиому выбора , мы могли бы выбрать одну точку на каждой орбите, получив несчетное подмножество. со свойством, которое переводит все рациональное (переведенные копии формы для какого-то рационального ) [3] из к ( попарно не пересекаются то есть не пересекаются с и друг от друга). Набор этих трансляций разбивает круг на счетный набор непересекающихся множеств, которые все попарно конгруэнтны (путем рациональных вращений). Набор будет неизмеримой для любой счетно-аддитивной вероятностной меры, инвариантной к вращению на : если имеет нулевую меру, счетная аддитивность будет означать, что весь круг имеет нулевую меру. Если имеет положительную меру, счетная аддитивность показала бы, что окружность имеет бесконечную меру.

меры и Последовательные определения вероятности

Парадокс Банаха -Тарского показывает, что невозможно определить объем в трех измерениях, если не будет сделано одно из следующих пяти уступок: [ нужна ссылка ]

  1. Громкость набора может измениться при его вращении.
  2. Объем объединения двух непересекающихся множеств может отличаться от суммы их объемов.
  3. Некоторые наборы могут быть помечены как «неизмеримые», и нужно будет проверить, является ли набор «измеримым», прежде чем говорить о его объеме.
  4. Аксиомы ZFC ( теории множеств Цермело – Френкеля с аксиомой выбора), возможно, придется изменить.
  5. Объем является или .

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

В 1970 году Соловей продемонстрировал, что существование неизмеримого множества для меры Лебега недоказуемо в рамках теории множеств Цермело – Френкеля в отсутствие дополнительной аксиомы (такой как аксиома выбора), показав, что ( предполагая непротиворечивость недоступного кардинала ) существует модель ZF, называемая моделью Соловея , в которой имеет место счетный выбор , каждое множество измеримо по Лебегу и в которой полная аксиома выбора не выполняется. [ нужна ссылка ]

Аксиома выбора эквивалентна фундаментальному результату топологии точечного множества , теореме Тихонова , а также соединению двух фундаментальных результатов функционального анализа, теоремы Банаха-Алаоглу и теоремы Крейна-Мильмана . [ нужна ссылка ] Это также в значительной степени влияет на изучение бесконечных групп, а также на теорию колец и порядка (см. Булеву теорему о простых идеалах ). [ нужна ссылка ] Однако аксиомы детерминированности и зависимого выбора вместе достаточны для большинства геометрических теорий меры , теории потенциала , рядов Фурье и преобразований Фурье , при этом все подмножества действительной прямой измеримы по Лебегу. [ нужна ссылка ]

См. также [ править ]

Ссылки [ править ]

Примечания [ править ]

  1. ^ Мур, Грегори Х., Аксиома выбора Цермело, Springer-Verlag, 1982, стр. 100–101.
  2. ^ Садухан, А. (декабрь 2022 г.). «Комбинаторное доказательство существования плотных подмножеств в без свойства типа «Штайнхаус». Am. Math. Mon. 130 (2): 175. arXiv : 2201.03735 . doi : 10.1080/00029890.2022.2144665 .
  3. ^ Абрего, Бернардо М.; Фернандес-Терчант, Сильвия; Ллано, Бернардо (январь 2010 г.). «О максимальном количестве трансляций в наборе точек» . Дискретная и вычислительная геометрия . 43 (1): 1–20. дои : 10.1007/s00454-008-9111-9 . ISSN   0179-5376 .

Библиография [ править ]

  • Дьюдни, АК (1989). «Изготовитель материи предоставляет материю для мысли». Scientific American (апрель): 116–119. doi : 10.1038/scientificamerican0489-116 .