April 13, 2020

Представьте себе, что вы держите в руках шар

А теперь представьте, что вы начали рвать этот шар на куски, причём куски могут быть любой формы, какая вам нравится.

После сложите кусочки вместе таким образом, чтобы у вас получилось два шара вместо одного. Каков будет размер этих шаров по сравнению с шаром-оригиналом?

Согласно теории множеств, два получившихся шара будут такого же размера и формы, как шар-оригинал. Кроме того, если учесть, что шары при этом имеют разный объём, то любой из шаров может быть преобразован в соответствии с другим. Это позволяет сделать вывод, что горошину можно разделить на шары размером с Солнце.

Хитрость парадокса заключается в том, что вы можете разорвать шары на куски любой формы. На практике сделать это невозможно — структура материала и в конечном итоге размер атомов накладывают некоторые ограничения.

Для того чтобы было действительно возможно разорвать шар так, как вам нравится, он должен содержать бесконечное число доступных нульмерных точек. Тогда шар из таких точек будет бесконечно плотным, и когда вы разорвёте его, формы кусков могут получиться настолько сложными, что не будут иметь определенного объёма. И вы можете собрать эти куски, каждый из которых содержит бесконечное число точек, в новый шар любого размера. Новый шар будет по-прежнему состоять из бесконечных точек, и оба шара будут одинаково бесконечно плотными.

Если вы попробуете воплотить идею на практике, то ничего не получится. Зато всё замечательно получается при работе с математическими сферами — безгранично делимыми числовыми множествами в трехмерном пространстве. Решённый парадокс называется теоремой Банаха-Тарского и играет огромную роль в математической теории множеств...