Стивен Строгац - Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир

• Название: Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир
• Автор: Стивен Строгац
• Издательство: Манн, Иванов и Фербер
• Жанр: Математика
• Год: 2014
• ISBN: 978-500057-008-1

Удовольствие от Х. Увлекательное путешествие в мир математики от одного из лучших преподавателей в мире / Стивен Строгац; пер. с англ. (Steven Strogatz. The Joy of X. A Guided Tour of Math, from One to Infinity) — М.: Манн, Иванов и Фербер, 2014.

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

---

Так что же здесь кошмарного? На первый взгляд, ничего. Знакочередующийся гармонический ряд походит на паиньку: сходящийся, с хорошим поведением. Ваши родители похвалили бы его.

Именно это и делает его опасным. Это хамелеон, мошенник, скользкий тип, который может быть кем угодно. Если переставлять его члены в произвольном порядке, вы можете подвести его сумму к любому значению. Буквально. Например, 297, 126 или –42π, или 0, или любому другому.

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

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

Далее упростим каждое выражение в скобках, вычитая второй член из первого и оставляя без изменения третий член. Тогда ряд сводится к сумме:

После вынесения за скобки из всех дробей выражения как общего множителя ряд примет вид:

Смотрите, кто вернулся! Бестия в скобках — это снова знакочередующийся гармонический ряд. Но в результате перестановки, даже при сохранении всех его членов, как-то получилось, что он вдвое уменьшился по сравнению с первоначальным! Представленный в таком виде ряд теперь сходится к ln2 = 0,346…

Странно? Да. Ненормально? Да[175]. Но неудивительно ли, что то же самое происходит и в реальной жизни. Как мы уже убедились в ходе прочтения книги, даже самые заумные и надуманные понятия математики часто находят практическое применение. Связь с практикой в данном случае заключается в том, что во многих областях науки и техники (от обработки сигналов и акустики до финансов и медицины) лучше всего представлять различные виды кривых, звуков, сигналов или изображений как группы (или совокупности) более простых кривых, звуков, сигналов или изображений. При этом основными строительными блоками будут синусоиды. Этот метод называется анализом Фурье[176], а соответствующая сумма — рядом Фурье. Но когда рассматриваемый ряд имеет некоторые патологические свойства, как у знакочередующегося гармонического ряда и его невменяемых родственников, сходимость у ряда Фурье может быть действительно очень необычной.

Вот, например, один из рядов Фурье, непосредственно вдохновленный знакочередующимся гармоническим рядом:

Чтобы получить представление о том, как он выглядит на графике, давайте рассмотрим сумму его первых десяти членов.

Частичная сумма 10 членов

Эта частичная сумма (показана сплошной линией) явно пытается приблизиться к более простой волновой кривой в форме зубцов пилы (показано пунктирной линией). Заметим, однако, что вблизи краев зубцов что-то не так. Синусоида «промахнулась» и приняла вид странного пальца, который выходит за пилообразную волну. Чтобы увидеть это отчетливее, посмотрим на увеличение одного из зубцов при x = π:

Частичная сумма 10 членов

Попытаемся избавиться от пальца, включив в частичную сумму больше слагаемых. Не повезло. Палец просто становится тоньше и перемещается ближе к краю, но его высота остается примерно такой же.

Частичная сумма 50 членов

Частичная сумма 100 членов

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

Данный эффект, обычно называемый феноменом Гиббса[177], больше, чем просто математический курьез. Он известен с середины XIX века и в настоящее время проявляется в цифровой фотографии и на МРТ-сканировании[178]. Нежелательные колебания, вызванные феноменом Гиббса, могут привести к размытости, мерцанию и прочим непреднамеренным нежелательным визуальным искажениям на острых краях видеоизображения. В медицинской практике их можно ошибочно принять за поврежденную ткань или скрыть повреждения, которые есть на самом деле.

К счастью, сто лет назад аналитики точно определили, что вызывает артефакты Гиббса (см. примечание[179]), и научили нас, как преодолеть эти явления, или, по крайней мере, распознать их в случае появления.

30. Отель Гильберта

В феврале 2010 года я получил электронное письмо от женщины по имени Ким Форбс. Ее шестилетний сын Бен задал ей математический вопрос, на который она не смогла ответить, и она надеялась, что я смогу помочь.

Сегодня 100-й день его пребывания в школе. Сын был очень взволнован и рассказал мне все, что знает о числе 100, включая то, что оно четное. Затем он сказал, что 101 нечетное число, а 1 000 000 — четное и т. д. А потом остановился и спросил: «Бесконечность — четная или нечетная?»

Я объяснил Ким, что бесконечность не может быть ни четной, ни нечетной. Это не число в обычном смысле, и оно не подчиняется правилам арифметики. Например, я писал: «Если бы бесконечность была нечетным числом, при умножении на себя она стала бы четным числом. И обе были бы бесконечностями! Так что в целом понятие четности и нечетности не имеет смысла для бесконечности».

Ким ответила:

Спасибо. Бен удовлетворен таким объяснением. Ему понравилась идея, что бесконечность достаточно велика, чтобы быть одновременно как четной, так и нечетной.

Несмотря на возникшее искажение (бесконечность не нечетная и не четная, а ни то и ни другое), толкование Бена близко к истине. Бесконечность бывает ошеломляющей.

Некоторые из ее странных сторон впервые были освещены в конце XIX века в новаторской работе Георга Кантора[180] по теории множеств[181]. Кантор особенно интересовался бесконечными множествами чисел и точек, подобных множеству {1, 2, 3, 4….} натуральных чисел и множеству точек на прямой. Он определил строгий способ сравнить разные бесконечные множества и обнаружил шокирующее свойство бесконечностей. Оказывается, одни бесконечности больше, чем другие.

В то время теория Кантора вызвала не только неприятие, но и возмущение. Анри Пуанкаре, один из ведущих математиков того времени, назвал ее «болезнью». Однако другой гигант той эпохи, Давид Гильберт[182], увидел в ней долгосрочный вклад в науку и провозгласил: «Никто не может изгнать нас из рая, созданного Кантором».

Моя задача — дать вам некоторое представление об этом рае. Но прежде чем начать, позвольте, следуя подходу, введенному самим Гильбертом, непосредственно рассмотреть множества чисел или точек. Он живо передал странности и уникальность теории Кантора на примере притчи о «Гранд-отеле», который в настоящее время называется отелем Гильберта[183].

Этот отель всегда заполнен, но в нем неизменно остается один свободный номер.

В отеле Гильберта не просто сотни номеров, в нем их бесчисленное множество. Всякий раз, когда прибывает новый постоялец, менеджер переселяет обитателя номера 1 в номер 2; обитателя номера 2 в номер 3 и т. д. Это освобождает номер 1 для нового постояльца и обеспечивает номерами всех остальных (правда, создавая им определенные неудобства при переезде).

Теперь предположим, что приехало бесконечно много новых, причем чем-то раздраженных постояльцев. Это не проблема. Невозмутимый менеджер перемещает обитателя номера 1 в номер 2, из номера 2 в номер 4, из номера 3 в номер 6 и т. д. Этот фокус с удвоением освобождает все нечетные номера (их бесконечное множество) для новых постояльцев.

Вечером того же дня бесконечная вереница автобусов с грохотом подъезжает к стойке регистрации. Их бесконечно много, и, что еще хуже, каждый заполнен бесконечным множеством ворчащих людей, требующих, чтобы отель соответствовал своему девизу: «В отеле Гильберта всегда есть свободные номера».

Менеджер раньше уже сталкивался с такой проблемой и запросто решает ее.

Сначала он проводит трюк удвоения. Это позволяет заселить новых постояльцев в четные номера и освободить все нечетные — хорошее начало, потому что теперь он имеет бесконечное число свободных номеров.

Но достаточно ли этого? Хватит ли нечетных номеров для размещения орд новых постояльцев? Кажется маловероятным, поскольку есть нечто вроде квадратной бесконечности людей, скандалящих из-за этих номеров. (Почему квадратной? Потому что каждый из бесконечного числа автобусов привез бесконечное число пассажиров. Общее количество людей составляет бесконечность, умноженную на бесконечность, чтобы это ни значило).