Время
Парадоксы о движении, сверхзадачах, путешествиях во времени и обращении, времени
От мельчайших субатомных частиц до гигантских галактик паша Вселенная находится в состоянии непрестанного изменения; ее чудесная мозаика каждую микросекунду трансформируется в неумолимом "потоке" времени. (Слово "поток" я взял в кавычки потому, что в действительности течет Вселенная. Утверждать, будто время течет, так же бессмысленно, как утверждать, что длина простирается.)
Трудно представить себе реальный мир без времени. Объект, существующий лишь в течение нулевого времени (0 секунд), не существовал бы вообще. Или существовал бы. Во всяком случае, течение Вселенной достаточно равномерно для того, чтобы мы могли производить измерения, а измерения порождают числа и уравнения. Можно считать, что время не входит в чистую математику, но в прикладной математике от элементарной алгебры до математического анализа и далеко за его пределами имеется немало проблем, в которые время входит как фундаментальная переменная.
В этой главе собрано множество известных парадоксов о времени и движении. Некоторые из них, например парадоксы Зенона, оживленно обсуждались еще древними греками. Другие парадоксы, такие, как "замедление" времени в теории относи-кости и так называемые "машины бесконечности", способны решать "сверхзадачи". Все они еще больше разохотят вас к парадоксам и к математике.
Упомянем лишь о некоторые связях, ведущих прямиком от собранных в этой главе парадоксов к серьезной математике и науке.
Парадокс с велосипедным колесом знакомит вас с циклоидой и служит великолепным введением в геометрию кривых, более сложных, чем конические сечения. История о разочаровании, постигшем лыжника, дает наглядное представление о мощи методов элементарной алгебры, позволяющей доказать неожиданный результат. Парадоксы Зенона о резиновом канате, сверхзадачах и собаке, бегающей от одного хозяина к другому, знакомят с понятием предела, весьма существенным для понимания дифференциального и интегрального исчисления и всей высшей математики. Решение этих парадоксов связано с теорией бесконечных множеств Георга Кантора, с которой мы уже встречались в главе 2. Задача о червяке, ползущем по резиновому канату, решается с помощью знаменитого так называемого гармонического ряда. Парадоксы о времени, идущем назад, тахионах и путешествиях во времени затрагивают фундаментальные понятия теории относительности. Трюк, позволяющий избегать путешествий во времени с помощью разветвляющихся путей и параллельных миров, познакомит вас с необычным подходом к квантовой механике, известным под названием "подход многих миров".
Заключительный парадокс о конфликте между детерминизмом и индетерминизмом позволяет читателю бросить беглый взгляд на одну из извечных и наиболее глубоких проблем философии.
"Сумасшедшие" часы Льюиса Кэрролла
Льюис Кэрролл - псевдоним скромного преподавателя математики из колледжа Крайст Черч в Оксфорде Чарлза Лютвиджа Доджсона. Ему принадлежит заметка "Какие часы лучше?" о "сумасшедших" часах [Kэрролл Л. История с узелками.-М.: Мир, 1973, с.387.].
Каким образом Кэрролл определил, как часто часы, отстающие ежесуточно на 1 мин, показывают точное время? Поскольку часы каждые сутки отстают на 1 мин, они покажут точное время, когда отстанут на 12 часов, то есть через 720 суток.
Загадочное колесе
О каких скоростях идет речь, когда говорят, что верхняя часть катящегося колеса движется быстрее нижней? Разумеется, о скоростях относительно земли. Парадокс легко решается, если рассмотреть кривую, известную под названием "циклоида". Любая точка на ободе колеса, катящегося по прямой, описывает циклоиду. В точке касания колеса с поверхностью земли скорость равна нулю. Оторвавшись от земли при качении колеса, точка на ободе начинает разгоняться и в верхней точке движется с максимальной скоростью. Затем по мере приближения к земле движение точки на ободе замедляется, и в новую точку касания она приходит с нулевой скоростью. На колесах железнодорожных вагонов имеются выступы - реборды. Когда колесо катится по рельсу, точка на ободе реборды, описывая небольшую петлю, расположенную ниже уровня рельса, какое-то время движется назад.
Циклоида обладает множеством красивых математических и механических свойств. Одна из глав моей "Шестой книги математических забав" из журнала Scientific American называется "Циклоида - Елена Прекрасная геометрии". В ней, в частности, рассказывается, как начертить циклоиду с помощью катящейся банки из-под кофе. Построим циклоиду и выведя ее уравнение, вы сможете лучше оценить изящество этой кривой и ее необычные свойства.
Разочарованный лыжник
Сначала кажется, что решение парадокса как-то связано с расстоянием, проходимым лыжником при подъеме и спуске. Но в действительности оно несущественно. Лыжник преодолевает какое-то расстояние, поднимаясь на гору, и хотел бы спуститься со скоростью, при которой средняя скорость при подъеме и спуске была бы вдвое больше скорости при подъеме. Чтобы развить такую среднюю скорость, лыжнику пришлось бы преодолеть вдвое большее расстояние (туда и обратно), чем он преодолел при подъеме, за то же время, которое он затратил на подъем. Следовательно, на спуск у нашего лыжника просто нет времени; он должен был бы преодолеть склон за нулевое время! Поскольку это невозможно, лыжник никаким способом не может поднять свою среднюю скорость с 5 до
Парадоксы Зенона
В обоих парадоксах Зенона бегунов следует считать точками, движущимися с постоянной скоростью вдоль прямой. Зенон знал, что если отрезок AB имеет конечную длину, то точка, движущаяся из A в B с конечной скоростью, достигает финиша за конечное время. Свои парадоксы Зенон придумал для того, чтобы продемонстрировать, к каким трудностям приводят атомистические представления о структуре пространства и времени, согласно которым отрезок "рассыпается" на отдельные неделимые элементарные отрезки, нанизанные один за другим, наподобие бусин, а время - на отдельные неделимые промежутки (и элементарным отрезкам, и элементарным промежуткам времени атомисты приписывали конечную протяженность) .
Доказать, что бегун достигнет финиша (точки B) за конечное время, поскольку на преодоление половины очередного отрезка дистанции ему потребуется вдвое меньше времени, чем на преодоление половины предыдущего отрезка (как это сделали мы), еще не означает решить парадоксы Зенона. Услышав о нашем решении, Зенон возразил бы, что, подобно тому как, прежде чем преодолеть любое расстояние, бегун сначала должен преодолеть половину этого расстояния, прежде чем истечет какой-то промежуток времени, должен истечь вдвое меньший промежуток времени. Иначе говоря, все, что Зенон говорит о прямой, в равной мере применимо и к временной последовательности событий. Время, затрачиваемое бегуном на преодоление дистанции, будет все более приближаться к 2 мин, но до истечения 2 мин всегда будет оставаться бесконечное число мгновений ("неделимых" по терминологии атомистов). То же относится и к парадоксу об Ахилле и черепахе. На каждом этапе бесконечного процесса преследования черепахи быстроногим Ахиллом впереди - и в пространстве, и во времени - неизменно будет оставаться бесконечно много "следующих" этапов.
Многие специалисты согласились со знаменитым анализом парадоксов Зенона, данным Бертраном Расселом. По мнению Рассела, парадоксы Зенона не были удовлетворительно решены вплоть до появления теории бесконечных множеств Георга Кантора.
Теория Кантора позволяет рассматривать бесконечные множества (будь то множества точек на прямой или мгновений времени) не как набор изолированных индивидуальных точек и событий, а как нечто целое. Суть парадоксов Зенона и состоит как раз Б том, что ни пространственные отрезки, ни временные промежутки недопустимо рассматривать как состоящие из бесконечно большого числа дискретных членов, изолированных друг от друга, как следы на снегу. Решение парадоксов Зенона требует теории типа канторовской теории множеств, в которой наши интуитивные представления об отдельных точках и индивидуальных событиях объединены в систему - последовательную теорию бесконечных множеств.
Резиновый канат
Задача легко решается, если учесть, что канат растягивается равномерно, как резиновая лента. Следовательно, при каждом растяжении червяк переезжает вперед - его переносит на себе, растягиваясь, сам канат.
Путь, пройденный червяком за каждую секунду, удобно выражать в долях длины каната к концу той же секунды. Как только сумма дробей, выражающих эти доли, станет равной 1, червяк достигнет конца каната.
В одном километре
1/100000 (1/1 + 1/2 + 1/3 + 1/4 + + 1/k).
В скобках стоит сумма первых k членов так называемого гармонического ряда. Заметим, что сумма членов, заключенных между 1/2 и 1/4, включая 1/4, то есть 1/3 + 1/4, больше, чем 2*1/4 = 1/2. Аналогично сумма членов, заключенных между 1/4 и 1/8, включая 1/8, то есть 1/5 + 1/6 + 1/7 + 1/8, больше, чем 4*1/8 = 1/2. Следовательно, сумма членов ряда, заключенных между 1/1 и 1/(2k), включая 1/(2k), всегда больше, чем k*1/2 = k/2, в чем нетрудно убедиться, если члены сгруппировать: возьмите сначала сумму двух первых членов, затем сумму следующих восьми членов и т.д. Частная сумма членов гармонического ряда может быть сделана сколь угодно большой.
Червяк доползет до конца каната, прежде чем с момента старта истекут 2(200000) с. Более точная оценка составляет e(100000), где e - основание натуральных логарифмов (иррациональное число, чуть большее числа 2,7). Обе оценки дают представление о времени в пути (в с) и о пройденном червяком расстояния (в см).
Точная формула частичной суммы членов гармонического ряда приведена, например, в статье Р.П. Боаса и Дж.М. Ренча "Частичные суммы гармонического ряда" [American Mathematical Monthly, October 1971, 78, pp. 864-870]. Когда червяк доползет до конца, длина каната будет во много раз превышать диаметр известной части Вселенной. На свой нелегкий путь червяк затратит время, которое во много раз превышает возраст Вселенной по оценкам современной космологии. Разумеется, в задаче речь идет об "идеализированном" червяке и "идеализированном" канате - точке на прямой. Реальный червяк тихо скончался бы в самом начале путешествия, а реальный канат от растяжения стал бы таким тонким, что отдельные его молекулы оказались бы разделенными огромными пустыми промежутками.
Независимо от параметров задачи (начальной длины канала, скорости червяка, длины отрезка, на который увеличивается с каждой секундой длина каната) червяк всегда доползает до конца за конечное (хотя и очень большое) время. Интересные задачи возникают, если мы будем по-разному удлинять канат. Например, что произойдет, если длина каната будет возрастать в геометрической прогрессии, скажем удваиваться в каждую секунду? В этом случае червяк никогда не достигнет конца каната.
Сверхзадачи
Парадоксы с "сверхзадачами", выполняемыми так называемыми "машинами бесконечности", и поныне волнуют специалистов по математической логике и философов. Парадокс с лампой известен под названием "лампа Томсона" - в честь впервые написавшего о нем Джеймса Ф. Томсона. Всякий согласится, что лампу Томсона нельзя построить реально, но дело не в этом. Главное в том, что если принять некоторые допущения, то лампа Томсона не приводит к логическим противоречиям. По мнению одних, лампа Томсона - вполне разумный "мысленный эксперимент", по мнению других, - вопиющая нелепость.
Парадокс с лампой Томсона беспокоит наш разум потому, что не существует логической причины, по которой лампу Томсона нельзя было бы бесконечно много раз включить и выключить. Если бегун Зенона успевает за 2 мин преодолеть бесконечно много отрезков дистанции, каждый из которых вдвое меньше предыдущего, то почему ровно за 2 мин нельзя успеть бесконечно много раз включить и выключить некую реально не существующую идеальную лампу? Но если лампа Томсона может за 2 мин бесконечно много раз перейти из состояния "вкл" в состояние "выкл", то это означает, что существует "последнее" натуральное число, с чем трудно согласиться.
Философ Макс Блэк сформулировал тот же парадокс несколько иначе. Он рассмотрел "машину бесконечности", переводящую шарик из лунки A в лунку B за 1 мин, затем возвращающую шарик из лунки B в лунку A за 1/2 мин, снова переводящую его из лунки A в лунку B за 1/4 мин и т.д., каждый раз вдвое быстрее, чем в предыдущий. Ряд 1 + 1/2 + 1/4 + сходится, и все операции по перекатыванию шарика завершаются в течение 2 мин. Но в какой из лунок - в A или B - окажется шарик по истечении 2 мин? В какой бы из них он ни оказался, это будет означать что последнее натуральное число либо четно, либо нечетно. Так как последнего счетного числа не существует, то обе возможности, по-видимому, исключаются. Но если шарика нет ни в лунке A, ни в лунке B, то где же он?
Основные статьи по анализу "сверхзадач" опубликованы в сборнике "Парадоксы Зенона" под редакцией Весли Ч. Солмона. Подробному разбору такого рода парадоксов посвящена книга Адольфа Грюнбаума "Современная наука и парадоксы Зенона" [см. список литературы. - Перев.].
Мэри, Том и Фидо
Первая задача (Том и Мэри идут навстречу друг другу, а Фидо бегает между ними туда и обратно) классическая. Она существует в различных вариантах. Иногда это задача о мухе, летающей туда и обратно между двумя сближающимися локомотивами, иногда - задача о птичке, порхающей между двумя едущими во встречных направлениях велосипедистами.
Рассказывают, что когда эту задачу предложили американскому математику Джону фон Нейману, тот сразу назвал правильный ответ. "Поздравляю! - сказал собеседник фон Неймана, сообщивший ему задачу. - Большинство людей пытаются решить задачу очень трудным способом, суммируя бесконечный ряд отрезков". "Но именно это я и сделал", - с удивлением ответил фон Нейман.
Итак, в какую сторону будет обращена морда Фидо в тот момент, когда Том и Мэри сойдутся посредине разделявшего их километрового отрезка? Задать такой вопрос все равно что спросить, будет ли включена или выключена лампа Томсона по окончании всех манипуляций с выключателем, или в какой из двух лунок, А или В, окажется в конце концов шарик. Это только кажется, будто Фидо должен быть обращен мордой либо к хозяину, либо к хозяйке. В действительности же любой ответ подразумевает, что существует последнее натуральное число (звеньев ломаной, по которой бежит собака), которое либо четно, либо нечетно.
Но если мы обратим процесс сближения Тома, Мэри и Фидо во времени, заставив Мэри и Тома расходиться из середины километрового отрезка, а Фидо по-прежнему бегать между хозяином и хозяйкой, то возникнет новый парадокс. Наша интуиция подсказывает нам, что если некую однозначно определенную процедуру обратить во времени, то есть изменить направление всех движений на противоположное, то мы должны вернуться к тому, с чего начали. Однако в рассматриваемом случае процедура при обращении времени утрачивает однозначную определенность. Если события развиваются от начала к концу, то Фидо оказывается в середине километрового отрезка, разделявшего Тома и Мэри. Но если события развиваются от конца к началу, то место, где будет находиться Фидо, когда Том и Мэри разойдутся на
Более подробный анализ этого парадокса проведен Весли Солмоном (Scientific American, декабрь 1971). И задача о двух хозяевах и их верной собаке, и парадоксы Зенона, и лампа Томсона могут служить описательным введением в теорию пределов и суммирования бесконечной геометрической прогрессии.
Ломаная, по которой бежит Фидо, похожа на траекторию прыгающего мячика. Вот несложная задача о таком мячике. Предположим, что круглый мяч брошен на пол с высоты
Предположим, что мяч подпрыгивает каждый раз на высоту, составляющую 1/3 от предыдущей. Какова суммарная высота всех подскоков в этом случае?
- 1
- 2