2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

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

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

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



Начать новую тему Ответить на тему На страницу 1, 2, 3  След.
 
 Сфера Банаха и Тарского
Сообщение17.06.2009, 15:22 
Аватара пользователя


27/02/09

416
Мегаполис
Приветствую!
Подскажите плиз, где почитать про и посмотреть саму теорему Банаха-Тарского о том, что сферу радиуса R можно разбить на конечное число таких неперекрывающихся частей так, что перемещая их как твердые тела и особым образом прикладывая друг к другу, можно получить новую сферу радиуса 2R, не устраняя и не добавляя ни одной точки!

-- Ср июн 17, 2009 16:48:29 --

В И. В. Ященко Парадоксы теории множеств как-то мутновато.

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение17.06.2009, 17:59 
Заслуженный участник
Аватара пользователя


11/01/06
3822
Wagon S. — The Banach-Tarski Paradox
Хорошая книжко. В свободном доступе не нашёл. :(

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение17.06.2009, 18:41 
Аватара пользователя


27/02/09

416
Мегаполис
Спсбо.
Есть конечно ещё статья самих Банаха и Тарского, но на французком. Sur la de...

Меня интересуют - какие неконструктивные моменты фигурируют в доказательстве.
То есть - аксиома выбора, множество Витали, сдвиг натурального ряда, ... ещё что?
Попытаться понять из франц. текста - маттексты с точки зрения лингвистики малонакручены.

А вот веселая выдержка из детской матем. энциклопедии
Цитата:
Аксиома выбора гласит, что если у нас есть семейство непустых и непересекающихся множеств Аi, то мы можем составить новое множество В, взяв в него ровно по одному элементу из каждого множества Аi. Казалось бы, чего проще? Казалось бы, где здесь может быть противоречие? Однако же аксиома не дает нам никаких указаний насчет способа, которым мы должны выбирать элементы из этих множеств.
Очень мне нравится фраза из Википедии: Бытует мнение, что доказательства, полученные с привлечением этой аксиомы, имеют иную познавательную ценность, чем доказательства, независимые от неё.
Но на этой аксиоме стоит остановиться отдельно.
Сейчас только скажу, что она используется при доказательстве парадокса Банаха-Тарского-Хаусдорфа.
И, наконец, сформулирую сам парадокс.

Парадокс удвоения шара
Трёхмерный шар можно разбить на конечное число «кусков» и составить из них два таких же шара. При этом для удвоения шара достаточно пяти кусков, но четырёх недостаточно.

Можете себе представить???
Когда речь идёт о бесконечности, это дело одно... То есть бесконечным числом кусков вроде бы никого и не удивишь... Мало ли что в бесконечности может случиться... Но пять?!!...
Единственное, что "утешает" — это такая же "неконструктивность" парадокса, как неконструктивность аксиомы выбора. Он говорит, что сделать это можно, но не говорит, как. И как это сделать, не знает никто... Или почти никто...

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение17.06.2009, 21:02 
Заслуженный участник
Аватара пользователя


11/01/06
3822
Кста. Не обратил внимания: в парадоксе Банаха-Тарского из одной сферы делается две точно таких же, а не сфера другого радиуса (что, очевидно, невозможно).

И что "неконструктивного" Вы видите в сдвиге натурального ряда? :?

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение18.06.2009, 08:25 
Аватара пользователя


27/02/09

416
Мегаполис
RIP в сообщении #222905 писал(а):
И что "неконструктивного" Вы видите в сдвиге натурального ряда?

Натуральный ряд бесконечен, а бесконечное количество движений КОНСТРУКТИВНО сделать невозможно. Можно говорить, что это, например,
"поручили" какому-то физическому процессу, но опять же проверить, что выполнено бесконечн. количество движений, опять же невозможно. Можно говорить, что преобразовали в какие-то энергии, но опять ...
Всё тот же тезис: бесконечность в конструктивизме не актуальна. Для констр. бесконечность - всего лишь символ, с которым оперируют по определенным правилам.

Также и со сферами и шарами - можем взять реальный шар, сделанный из какого-либо материала, но рарубить его на бесокнечное количество частей не можем.
Можем поручить это какому-то физ. процессу, который нарубит до каких-то частиц (число которых должно быть бесконечно) и тогда шар вроде как исчезнет, а потом - как собрать и как проверить, что было собрано из тех же частиц. Изображение

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение21.06.2009, 00:59 


31/01/09
96
Москва, мехмат МГУ, МИЭТ
Мастак в сообщении #222951 писал(а):
Натуральный ряд бесконечен, а бесконечное количество движений КОНСТРУКТИВНО сделать невозможно.

Сдвиг натурального ряда -- это не бесконечное множество движений, а одна функция.

-- Вс июн 21, 2009 01:02:21 --

Мастак в сообщении #222951 писал(а):
Также и со сферами и шарами - можем взять реальный шар, сделанный из какого-либо материала, но рарубить его на бесокнечное количество частей не можем.

Для парадокса Б-Т шар достаточно разрезать всего на 5 частей.

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение21.06.2009, 01:52 
Заслуженный участник
Аватара пользователя


04/04/09
1351
Мастак в сообщении #222863 писал(а):
А вот веселая выдержка из детской матем. энциклопедии
Цитата:
Аксиома выбора гласит, что если у нас есть семейство непустых и непересекающихся множеств Аi, то мы можем составить новое множество В, взяв в него ровно по одному элементу из каждого множества Аi. Казалось бы, чего проще? Казалось бы, где здесь может быть противоречие? Однако же аксиома не дает нам никаких указаний насчет способа, которым мы должны выбирать элементы из этих множеств.
Очень мне нравится фраза из Википедии: Бытует мнение, что доказательства, полученные с привлечением этой аксиомы, имеют иную познавательную ценность, чем доказательства, независимые от неё.
Но на этой аксиоме стоит остановиться отдельно

Об аксиоме выбора есть замечательная и легко читаемая книга: Abraham A. Fraenkel. Set Theory and Logic. К сожалению она издана только по-английски. Вот пару абзацев в моём переводе.

«… в структуре логических и математических процедур, которые были обычны и признаны к концу 19го века, не разрешалось использовать бесконечно много шагов в выборе произвольных элементов, не определённых конкретным законом. Это исключение бесконечности выбора основывалось некоторыми критиками на доводе что любая логическая процедура должна быть приведена к концу за конечный интервал времени, что очевидно невозможно в этом случае. Но этот довод вряд ли разумен, процесс мышления должен быть рассматриваем, как мгновенный, а не берущий определённый период времени. …
Но более глубокий анализ показывает, что процедур включающих в себя бесконечно много произвольных шагов избегали в прошлом не по выше приведённой причине, а потому что они считались бессмысленными, а не только неконструктивными. Эта позиция косвенно или подсознательно была усвоена повсеместно. Ещё в 1890 году, когда известный математик и логик Дж. Пеано, имевший дело с определённой проблемой в дифференциальных уравнениях, явно воздержался от лёгкого решения использующего бесконечный выбор и вместо этого разработал конструктивный метод с недвусмысленным доводом: «поскольку нельзя использовать бесконечно часто произвольную процедуру, в которой индивидуальный элемент сопоставляется данному множеству, мы здесь установили определённый закон который при подходящих предположениях сопоставляет индивидуальный элемент множества каждому данному множеству».»

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение21.06.2009, 14:09 


20/04/09

113
Вообще этот парадокс лично мне кажется странным (Я не математик, не пинайте сильно :-)
Ведь по сути, что такое сфера в пространстве $R^3$ - это лишь геометрическое место точек, определяемый неким уранением, и эти точки образуют множество A
По сути при разбиении сферы на две, получаем уже множество {A,A}
Эти две сферы можн разбить еще на две, и там до бесконечности, в результатет чего мы получим множество B={A,A,A...A,A,A}
Очевидно, что множество A и множество B ну никак не сопоставимы
Как же это обходится (Только я прошу, попроще пожалуйста, не закидывая особыми терминами теории множетсв)

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение21.06.2009, 21:00 
Заслуженный участник
Аватара пользователя


22/11/06
1096
Одесса, ОНУ ИМЭМ
LetsGOX в сообщении #223690 писал(а):
Очевидно, что множество A и множество B ну никак не сопоставимы. Как же это обходится

Это обходится зачеркиванием слова с неочевидным значением "сопоставимы". И написанием "теории сопоставимости".

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение22.06.2009, 09:05 
Аватара пользователя


27/02/09

416
Мегаполис
Alexey Romanov в сообщении #223644 писал(а):
Мастак в сообщении #222951 писал(а):
Натуральный ряд бесконечен, а бесконечное количество движений КОНСТРУКТИВНО сделать невозможно.

Сдвиг натурального ряда -- это не бесконечное множество движений, а одна функция.

-- Вс июн 21, 2009 01:02:21 --

Мастак в сообщении #222951 писал(а):
Также и со сферами и шарами - можем взять реальный шар, сделанный из какого-либо материала, но рарубить его на бесокнечное количество частей не можем.

Для парадокса Б-Т шар достаточно разрезать всего на 5 частей.


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

Текст о разрубании на беск. число частей - это лирическая попытка реализовать вообще некоторую неконструктивность.
А что касается 5 частей, то доказано, что можно, но не указано, что эти части из себя представляют.

LetsGOX в сообщении #223644 писал(а):
Вообще этот парадокс лично мне кажется странным


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

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение22.06.2009, 12:35 
Аватара пользователя


19/03/07
597
Bielefeld
Мастак в сообщении #222951 писал(а):
Также и со сферами и шарами - можем взять реальный шар, сделанный из какого-либо материала, но рарубить его на бесокнечное количество частей не можем.

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

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение22.06.2009, 13:24 
Аватара пользователя


27/02/09

416
Мегаполис
Таня Тайс в сообщении #223927 писал(а):
Мастак в сообщении #222951 писал(а):
Также и со сферами и шарами - можем взять реальный шар, сделанный из какого-либо материала, но рарубить его на бесокнечное количество частей не можем.

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


Обратное тоже верно - гуру по математике тоже любят сослаться на физику: вот, мол, в природе же ведь такое есть. Изображение
А вообще - эта драматургия создания основ квантовой механики, записанная уже в художесивенных произведениях, - сперва придумали моделирующую математику, выводящую из тьмы нелепостей, а потом находили блестящие физические подтверждения.

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение22.06.2009, 23:46 


21/06/06
1721
Ну хороршо, а такое кто-нибудь делал?
Хотелось бы воочию убедиться, как из одной сферы сделать две такие же.
Может схемка есть или рисунок какой?

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение23.06.2009, 00:11 
Заслуженный участник
Аватара пользователя


18/05/06
13435
с Территории
Там не на что смотреть. А то бы, конечно - - -

 Профиль  
                  
 
 Re: Сфера Банаха и Тарского
Сообщение23.06.2009, 00:23 


21/06/06
1721
Ну почему же, кто-то тут утверждал, что 5 кусков будет достаточно, чтобы такое сотворить.
Вот хотелось бы, чтобы эти куски были предъявлены.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 41 ]  На страницу 1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group