D.23 · дефектный парадокс · подтип: Неопределённость понятия
Banach-Tarski
Суть ошибки. «Части» — неизмеримые множества, не физические объекты
Точная формулировка
Теорема (Банах и Тарский, 1924): шар в трёхмерном пространстве можно разбить на конечное число частей — достаточно пяти — и, перемещая их только вращениями и сдвигами, собрать два шара, каждый равный исходному. Без пустот и растяжений: движения сохраняют расстояния. Теорема доказана строго — она следует из аксиом теории множеств ZFC, включая аксиому выбора. Из одного шара — два таких же.
Происхождение
Предтечи: Витали (1905) построил первое неизмеримое множество — уже тогда аксиома выбора предъявила продукты, которым нельзя приписать длину; Хаусдорф (1914) дал парадоксальное разложение сферы. Банах и Тарский довели линию до удвоения шара. Фон Нейман (1929) вскрыл механизм: виновата не «бесконечность вообще», а богатство группы вращений трёхмерного пространства — она содержит свободную подгруппу; на прямой и плоскости таких подгрупп нет, инвариантная мера существует (Банах), и удвоение невозможно. Стандартная интерпретация устоялась: теорема показывает, что «объём» определён не для всех множеств точек, — «части» разбиения неизмеримы, и парадокс возникает лишь при попытке применить к ним интуицию куска. Каталог — по канону тома «Математика» — держит диагноз глубже: это верно, но недостаточно; настоящий вопрос — почему теория порождает «объекты», не имеющие геометрического смысла.
Следствие
Узел стал главным экспонатом в споре об аксиоме выбора: для одних — приемлемая цена мощного инструмента, для других — свидетельство, что инструмент отрывается от предмета. Он породил теорию аменабельных групп (фон Нейман), уточнение статуса неизмеримых множеств, подсчёт минимального числа частей (пять — Робинсон, 1947). И он же — эталон различия между теоремой и истолкованием: как теорема о действиях групп на множествах он безупречен; «парадоксом» его делает прочтение слов «разрезать», «часть», «собрать» в языке физических кусков. Защитники отвечают: физических следствий нет — тела состоят из атомов, не из точек. Ответ тома: это признание — теория описывает не физическую реальность; остаётся вопрос, какую реальность она описывает, — если какую-то вообще.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: шар как множество точек, разбиение на пять «частей», движения, сборка, два шара. Сигнал: хозяйственные слова — «разрезать», «кусок», «собрать» — о предметах, которых нельзя ни предъявить, ни вообразить.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Часть» двоится: физический кусок — связный, с объёмом, предъявимый; и произвольное множество точек — облако без определения и меры. АС-«части» разбиения — второго рода: их нельзя описать, построить или указать; они «существуют» только как следствие аксиомы, позволяющей выбор без правила выбора. «Разрезать» — не операция ножа, а теоретико-множественное расслоение. Сигнал: слова конечного опыта надеты на объекты без референта.
Домен 3 — Выбор рамки: второй слой дефекта: понятие объёма приложено к множествам вне его области определения; глубже — сама рамка «шар есть актуально завершённое множество точек» плюс постулирование выбора: существование без предъявления. Сигнал: инструмент и объект не встречаются.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: безупречен — теорема доказана строго, и в этом вся соль: проблема не в выводе, а в посылках и в прочтении результата.
Домен 6 — Рефлексия: «один шар равен двум» при движениях, сохраняющих объём, — сигнал: у «частей» объёма нет; возврат к домену 2.
Диагноз
Домен ошибки: Домены 2 и 3 (прояснение и рамка). Тип: дефектный — неопределённость понятия: «части» без меры, «разрезание» без ножа. Нарушенные законы: Тождество — слово «часть» обслуживает кусок и облако точек разом; Непротиворечие — при любой ненулевой мере удвоение даёт μ = μ + μ. Суть дефекта: теорема о действии группы на множествах прочитана как утверждение о кусках шара. На триаде E/R/R: Роль («часть шара с объёмом») назначена туда, где нет Элемента-носителя, — и это зафиксировано машинно: в реестре конструкций вердикт Банаха-Тарского — Illusory, AC-фантом без Element-референта.
Растворение
Три слоя, от счёта к основанию. Первый — трёхстрочный и машинный: если бы «части» имели меру, то из аддитивности μ = p₁ + p₂ и движение-инвариантности p₁ = μ, p₂ = μ следует μ = 0 — удвоение несовместимо с любой ненулевой мерой; стало быть, «части» неизмеримы, и «движения, сохраняющие объём», сохраняют то, чего у частей нет. Это закрывает противоречие — но не вопрос. Второй слой — вопрос тома: откуда в теории объекты без геометрического смысла? От связки «актуально бесконечное множество точек + выбор без правила»: аксиома выбора постулирует существование, не предъявляя его, и её продукты — множества, которых нет ни в каком построении. Прочитанная честно, теорема Банаха-Тарского — reductio ad absurdum этой связки: когда посылки дают «один равно двум» в геометрии, сомневаться следует в посылках, а не переименовывать абсурд в «контринтуитивное свойство». Третий слой — граница, которую указала сама математика: на прямой и плоскости удвоения нет — мера существует; в трёх измерениях виновник — свободная подгруппа группы вращений: удвоение — факт о структуре Правил (движений), не о «странности» шара. И строевой итог базы: на конечном выбор — теорема, а не аксиома (выбор наименьшего — L5-упорядочение); постулат нужен лишь бесконечному без правила — и вся формальная база этого проекта обходится без него.
Урок
О словах опыта. «Разрезать», «часть», «собрать» — контрабанда интуиции куска туда, где её предмет отсутствует; проверяй референт слова, когда область меняется. О теореме и истолковании. Строгость доказательства не освящает прочтения: безупречная теорема о множествах — и «парадокс» лишь в языке кусков. О постулировании существования. Объект, объявленный существующим без предъявления, — Роль без Элемента; рано или поздно он предъявит счёт — здесь счёт равен «1 = 2». О сигнале. Удвоение шара — не чудо бесконечности, а диагностика посылок.
Родня по механизму
Галилей и Отель Гильберта (та же лестница: конечные понятия на безграничном), Кантор (вершина лестницы; там же — честная граница о диагонали как технике), множество Витали (первое неизмеримое — предтеча), парадоксальное разложение Хаусдорфа (сфера, 1914).
Машинная проверка. Именной разбор есть — флагман реестра конструкций: banach_tarski_contradicts_measure (μ = p₁ + p₂, p₁ = μ, p₂ = μ ⟹ μ = 0: удвоение несовместимо с ненулевой Element-мерой), verdict BanachTarski = Illusory и свод illusory_constructions_summary (AC-фантом: нужен выбор, нет свидетеля — src/nonstandard/IllusoryConstructions.v, 0 аксиом). Выбор на конечном — теорема: finite_choice, AC_is_L5 (src/foundation/P4_Eliminates_AC.v). В реестре 46 — D23_BanachTarski: поле ConceptualAmbiguity, уровень L3_MetaOperations (defective_46_requires_rejection — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс