Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

Видите, как аргумент каждый раз увеличивается путем прибавления 1, в то время как значения каждый раз увеличиваются путем умножения на 5? Это показательная функция. Аргументы увеличиваются «по сложению», а значения — «по умножению».

Я для удобства выбрал вариант, когда аргумент каждый раз увеличивается путем прибавления 1, и буду придерживаться его и далее. Для данной конкретной функции это приводит к умножению аргумента на 5. Разумеется, в числе 5 нет ничего специального. Можно было бы выбрать функцию, в которой множитель равен 2, или 22, или 761, или 1,05 (что, кстати, дало бы таблицу накопления сложных процентов при ставке в 5%), или даже 0,5. В каждом из случаев мы получим показательную функцию. Вот почему я сказал, что имеется некоторое «семейство функций».

Еще один термин, который математики обожают, — «канонический вид». В ситуации, подобной данной, когда имеется явление (в нашем случае — показательная функция), которое может проявляться многими различными способами, есть, вообще говоря, один способ, которым математики желают представить все явление. В данном случае вот какой. Есть одна показательная функция, которую математики предпочитают всем остальным. Если бы вы принялись угадывать, то, наверное, предположили бы, что это та функция, в которой множителем является число 2 — самое простое в конце концов, на что можно умножить. Но нет! Канонический вид показательной функции, предпочтительный для математиков, имеет множитель 2,718281828459045235. Это еще одно магическое число наряду с π, которое проявляет себя во всех областях математики.[17] Оно уже встречалось нам в этой книге (см. главу 1.vii). Оно иррационально[18], так что последовательность знаков после запятой никогда не повторяется и его нельзя переписать в виде дроби. Символ e для этого числа был введен Леонардом Эйлером, о котором будет много всего сказано в следующей главе.

Но почему именно это число? Не слишком ли оно неуклюже, чтобы с его помощью определять канонический вид? Разве не много проще было бы с числом 2? Да, наверное, для целей умножения было бы проще. Я не могу объяснить важность числа e, не вдаваясь в вычисления, а я дал торжественный обет объяснить Гипотезу Римана с минимумом вычислений. По этой причине я просто убедительно попрошу вас принять на веру, что e — действительно, действительно важное число и что ни одна другая показательная функция не может и близко сравниться с этой eN. Вот как выглядит наша таблица:

(здесь точность — 12 знаков после запятой). Основной принцип, конечно, сохраняется — аргументы (левая колонка) растут каждый раз за счет добавления 1; при этом значения в правой колонке каждый раз умножаются на e.

А если наоборот? Представим себе функцию, основанную на таком правиле: когда аргумент растет «по умножению», значения растут «по сложению». Что за функция получится?

Здесь мы вступаем в царство обратных функций. Математики имеют особое пристрастие к тому, чтобы обращать самые разные вещи — выворачивать их наизнанку. Если у есть 8 умножить на x, то как выразить x через y? Понятно, что это y/8. Деление обратно умножению. Еще есть такое любимое нами действие, как возведение в квадрат, когда мы умножаем число само на себя. И каково же его обращение? Если y = x2, то чему равен x в терминах y? Ну да, это квадратный корень из y. Если вы немного знакомы с анализом, то знаете, что есть действие, называемое «дифференцированием», которое позволяет превратить функцию f в другую функцию — g, говорящую о том, какова мгновенная скорость изменения функции f при каждом ее аргументе. И каково же действие, обратное дифференцированию? Это интегрирование. Ну и так далее. Обращение станет ключевой темой позднее, когда мы вникнем в работу Римана 1859 года.

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

(Я полагаю, что вы помните о правиле знаков, так что −3 умножить на −3 дает 9, а не −9).[19] А теперь поменяем колонки местами и получим обратную функцию:

Но постойте-ка! Каково же значение функции при аргументе, равном 9? Это −3 или 3? Похоже, что эта функция принимает такой вид:

Так дело не пойдет — слишком путано. Вообще-то… вообще-то существует математическая теория многозначных функций. Бернхард Риман был знатоком этой теории, и мы познакомимся с его идеями в главе 13.v. Но сейчас не время и не место для этого, и я не собираюсь тащить сюда сундук, набитый подобными вещами. Во всяком случае, что касается меня, то железное правило состоит в том, что на один аргумент — самое большее одно значение (ни одного значения, разумеется, если аргумент не лежит в области определения функции). Квадратный корень из 1 равен 1, квадратный корень из 4 равен 2, квадратный корень из 9 равен 3. Означает ли это, что я не признаю того факта, что −3 умножить на −3 даст 9? Разумеется, я его признаю, я просто не включаю его в мое определение «квадратного корня». Вот мое определение квадратного корня (по крайней мере на данный момент): квадратный корень из N есть единственное неотрицательное число (если таковое имеется), которое при умножении само на себя дает N.

По счастью, показательная функция не доставляет нам подобных хлопот. Вы можете шутя обратить ее и получить функцию, которая при выборе аргументов, получаемых друг из друга умножением, дает значения, получаемые друг из друга сложением. Разумеется, как и в случае показательных функций, обратные им функции также образуют семейство, зависящее от множителя; и, как и с показательной функцией, математикам намного, намного больше всех остальных нравится та, к значениям которой прибавляется единица, когда аргументы умножаются на e. Получаемую функцию называют логарифмической, а обозначают ln.[20] «Логарифм!» — вот слово, которое возникло в голове математика при вспышке лампочки, когда он увидел таблицу 3.2. Если y = ex, то x = ln y. (Отсюда, кстати, путем простой подстановки следует, что для любого положительного числа у выполнено y = eln y — факт, которым мы не преминем как следует воспользоваться в дальнейшем.)