Чтение онлайн

на главную

Жанры

Как не ошибаться. Сила математического мышления
Шрифт:

И все-таки преподаватели математики, в том числе и я сам, скажут им: «Нет, это число равно 1».

Как мне привлечь хоть кого-нибудь на свою сторону? Один хороший способ – привести следующие доводы. Все знают, что:

0,33333… = 1/3.

Умножьте обе стороны на 3 – и получите такой результат:

0,99999… = 3/3 = 1.

Если это вас не убедило, попытайтесь умножить 0,99999… на 10, для чего нужно просто перенести десятичную запятую на одну позицию вправо.

10 x (0,99999…) = 9,99999…

Теперь надо вычесть раздражающее десятичное число из обеих сторон равенства:

10 x (0,99999…) - 1 x (0,99999…) = 9,99999… - 0,99999…

Левая

сторона равенства представляет собой просто 9 x (0,99999…), поскольку 10 умножить на что-то минус что-то равно 9 умножить на вышеупомянутую величину. А в правой части равенства нам удалось удалить ужасное бесконечное десятичное число, после чего у нас осталось просто 9. В итоге мы получим:

9 x (0,99999…) = 9.

Если 9 умножить на что бы то ни было равно 9, тогда это что-то должно быть равно 1, не так ли?

Как правило, чтобы убедить людей, подобных доводов вполне довольно. Но будем честны: в этой аргументации кое-чего не хватает. В действительности приведенные выше доводы не устраняют тревожную неопределенность, вызванную заявлением, что 0,99999… = 1; напротив, они представляют собой своего рода алгебраическое устрашение: «Вы верите в то, что 1/3 равно 0,3 в периоде, не так ли? Ведь вы действительно верите в это?»

Или еще хуже: скорее всего, вас убедили мои доводы, в основе которых лежало умножение на 10. Но как насчет следующего довода? Чему равно:

1 + 2 + 4 + 8 + 16 + …?

Здесь троеточие означает, что мы продолжаем вычислять сумму бесконечно, каждый раз прибавляя величину, которая в два раза больше предыдущей. Очевидно, что эта сумма должна быть бесконечной! Однако довод, во многом напоминающий на первый взгляд корректный аргумент в отношении 0,99999…, как будто говорит об обратном. Умножьте представленную выше сумму на 2 – и получите:

2 x (1 + 2 + 4 + 8 + 16 + …) = 2 + 4 + 8 + 16 + …

Этот результат очень похож на исходную сумму; на самом деле это и есть исходная сумма (1 + 2 + 4 + 8 + 16 + …), но без 1 в начале, а это значит, что 2 x (1 + 2 + 4 + 8 + 16 + …) меньше (1 + 2 + 4 + 8 + 16 + …). Другими словами:

2 x (1 + 2 + 4 + 8 + 16 + …) – 1 x (1 + 2 + 4 + 8 + 16 + …) = -1.

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

1 + 2 + 4 + 8 + 16 + … = -1.

Именно в это вы готовы поверить? [45] В то, что прибавление все больших и больших чисел до бесконечности приведет вас в область отрицательных чисел?

А вот еще более бредовая идея. Чему равно значение бесконечной суммы:

1 - 1 + 1 - 1 + 1 - 1 + …?

Кто-то может сразу же сделать вывод, что эта сумма составляет:

45

Есть объект, 2-адические числа, для которых этот довод, на первый взгляд бредовый, абсолютно корректен.

Согласно теории Коши, сходимость ряда к пределу x означает, что когда вы суммируете все больше и больше членов этого ряда, итоговая сумма все больше приближается к значению x. Чтобы понять это, мы должны представлять, что значит «близость» двух чисел друг к другу. Оказывается, знакомое нам значение слова «близость» не единственное! В мире 2-адических чисел два числа считаются близкими друг к другу, если разность между ними представляет собой величину, кратную большой степени числа 2. Когда мы говорим, что ряд 1 + 2 + 4 + 8 + 16 + … сходится к значению -1, мы тем самым утверждаем, что частичные суммы 1, 3, 7, 15, 31… все больше приближаются к -1. В обычном понимании «близости» это не так, однако при использовании понятия 2-адической близости ситуация обстоит совсем иначе. Разность между числами 31 и -1 равна 32, что составляет достаточно малое 2-адическое число 25. Просуммируйте еще несколько членов этого ряда – и получите число 511, которое отличается от -1 на 512, еще меньшую величину (в 2-адическом смысле). Большая часть математики, которую вы знаете (анализ, логарифмы и экспоненциальные функции, геометрия), имеет аналог в мире 2-адических чисел (а также аналог в мире p– адических чисел для любого p). Взаимодействие между всеми этими концепциями близости являет собой отдельную историю – умопомрачительную и недосягаемо прекрасную.

(1 - 1) + (1 - 1) + (1 - 1) + … = 0 + 0 + 0 + …,

и заявит при этом, что сумма множества нолей, пусть и бесконечно большого, должна быть равной 0. С другой стороны, 1 - 1 + 1 – это то же самое, что 1 - (1 - 1), поскольку отрицательное значение отрицательного числа – число положительное. Многократное применение этой операции позволяет нам переписать нашу сумму в таком виде:

1 - (1 - 1) - (1 - 1) - (1 - 1) - … = 1 - 0 - 0 - 0 - …

Данный результат точно так же требует вывода, что данная сумма равна 1!

Так чему же равна эта сумма, 0 или 1? Или она в половине случаев равна 0 и еще в половине случаев – 1? Создается впечатление, что это зависит от того, где вы остановитесь, но ведь бесконечные суммы никогда не останавливаются!

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

T = 1 - 1 + 1 - 1 + 1 - 1 + …

Умножение на -1 обеих сторон этого уравнения дает следующий результат:

T = -1 + 1 - 1 + 1 - …

Однако сумма с правой стороны уравнения – это именно то, что вы получите, если возьмете исходную сумму, равную Т, и удалите из нее первую 1, то есть вычтете 1 из этой суммы. Другими словами:

T = -1 + 1 - 1 + 1 - … = T - 1.

Таким образом, -T = T – 1 – уравнение с участием Т, которое выполняется только в случае, если Т равно 1/2. Может ли сумма бесконечно большого количества целых чисел каким-то волшебным образом превратиться в дробное число? Тот, кто говорит «нет» в ответ на этот вопрос, действительно имеет право как минимум с некоторым недоверием относиться к сомнительным аргументам подобного рода. Но обратите внимание на то, что некоторые люди дают утвердительный ответ на этот вопрос, в том числе итальянский математик и священник Гвидо Гранди, именем которого обычно называют ряд 1 - 1 + 1 - 1 + 1 - 1 + …. В работе, опубликованной в 1703 году, Гранди привел доводы в пользу того, что сумма данного ряда равна 1/2, а также заявил, что этот удивительный вывод символизирует сотворение Вселенной из ничего. (Не беспокойтесь, я тоже не понимаю последний пункт.) Другие выдающиеся математики того времени, такие как Лейбниц и Эйлер, были согласны со странными расчетами Гранди и даже с его интерпретацией {25} .

25

Информация о Гранди и его ряде взята в основном из работы: Morris Kline. Euler and Infinite Series // Mathematics Magazine, 1983, Nov., vol. 56, no. 5, p. 307–314.

Но на самом деле решение загадки с числом 0,999… (а также парадокса Зенона и ряда Гранди) кроется несколько глубже. Вы совсем не должны поддаваться давлению моих алгебраических доводов. Например, вы можете настаивать на том, что 0,999… равно не 1, а скорее 1 минус некое крохотное бесконечно малое число. Если уж на то пошло, вы можете настаивать и на том, что число 0,333… не равно в точности 1/3, а также отличается от этого числа на некую бесконечно малую величину. Для того чтобы довести данную мысль до конца, потребуется определенное упорство, но это можно сделать. Когда-то у меня был студент по имени Брайан, который изучал математический анализ. Не удовлетворившись теми определениями, которые давались на занятиях, Брайан сам разработал довольно большой фрагмент этой теории, назвав бесконечно малые величины числами Брайана.

Поделиться:
Популярные книги

Я еще не князь. Книга XIV

Дрейк Сириус
14. Дорогой барон!
Фантастика:
юмористическое фэнтези
попаданцы
аниме
5.00
рейтинг книги
Я еще не князь. Книга XIV

LIVE-RPG. Эволюция 2

Кронос Александр
2. Эволюция. Live-RPG
Фантастика:
социально-философская фантастика
героическая фантастика
киберпанк
7.29
рейтинг книги
LIVE-RPG. Эволюция 2

Матабар

Клеванский Кирилл Сергеевич
1. Матабар
Фантастика:
фэнтези
5.00
рейтинг книги
Матабар

Кодекс Крови. Книга VII

Борзых М.
7. РОС: Кодекс Крови
Фантастика:
боевая фантастика
попаданцы
аниме
5.00
рейтинг книги
Кодекс Крови. Книга VII

Безымянный раб [Другая редакция]

Зыков Виталий Валерьевич
1. Дорога домой
Фантастика:
боевая фантастика
9.41
рейтинг книги
Безымянный раб [Другая редакция]

Светлая ведьма для Темного ректора

Дари Адриана
Любовные романы:
любовно-фантастические романы
5.00
рейтинг книги
Светлая ведьма для Темного ректора

ТОП сериал 1978

Арх Максим
12. Регрессор в СССР
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
ТОП сериал 1978

Сердце дракона. Том 18. Часть 2

Клеванский Кирилл Сергеевич
18. Сердце дракона
Фантастика:
героическая фантастика
боевая фантастика
6.40
рейтинг книги
Сердце дракона. Том 18. Часть 2

Рота Его Величества

Дроздов Анатолий Федорович
Новые герои
Фантастика:
боевая фантастика
8.55
рейтинг книги
Рота Его Величества

Я — Легион

Злобин Михаил
3. О чем молчат могилы
Фантастика:
боевая фантастика
7.88
рейтинг книги
Я — Легион

Двойной запрет для миллиардера

Тоцка Тала
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Двойной запрет для миллиардера

Газлайтер. Том 12

Володин Григорий Григорьевич
12. История Телепата
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Газлайтер. Том 12

Мятежник

Прокофьев Роман Юрьевич
4. Стеллар
Фантастика:
боевая фантастика
7.39
рейтинг книги
Мятежник

На границе империй. Том 10. Часть 2

INDIGO
Вселенная EVE Online
Фантастика:
космическая фантастика
5.00
рейтинг книги
На границе империй. Том 10. Часть 2