Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.
Шрифт:
Неизвестно, в какой степени методы, развитые для доказательства аналогов Гипотезы Римана, относящихся к столь замысловатым полям, пригодны для доказательства классической Гипотезы Римана. Но очень многие считают, что вполне пригодны, и данная область остается очень активным направлением в исследовании Гипотезы Римана.
Ведут ли эти исследования куда-нибудь? Это не ясно — по крайней мере, мне не ясно. По поводу существа дела обратимся снова ко второму абзацу в этом разделе, где говорилось, что с полями определенного вида связаны аналоги дзета-функции. Для классической дзета-функции — той, о которой говорится в исходной Гипотезе Римана и которой главным образом и посвящена данная книга, — полем такого вида будет Q, поле обычных рациональных чисел. По мере развития исследований в последние десятилетия выяснилось, что элементарное поле рациональных чисел Qв некотором смысле глубже и более своенравно, нежели «искусственно выведенные» поля, к которым
Для понимания физической линии в исследовании Гипотезы Римана, генезис которой будет описан в разделе VI и которая открыла исследователям новые обширные территории, следует обратиться к другой алгебраической теме — теории операторов. Поэтому данный раздел, как и следующий, посвящен рассказу об операторах, рассматриваемых с точки зрения связанной с ними теории матриц.
В современной математике и физике матрицы вездесущи, и способность управляться с ними относится к числу основных математических навыков. Из-за ограничений в объеме мне придется спрямить историю, приведя лишь самое необходимое. В частности, я вообще обойду стороной вопрос о вырожденных матрицах, как если бы таких в природе не было. Это, должно быть, самое возмутительное упрощение во всей книге, и я приношу свои извинения математически подкованным читателям.
Матрица — это квадратная таблица из чисел, например
Если даны две матрицы одного и того же размера, то их можно складывать, вычитать, умножать и делить. Правила, по которым выполняются эти действия, не сразу очевидны. Например, если Aи B— две матрицы одного и того же размера, то, вообще говоря, не верно, что АxВ = ВxА.Правила обращения с матрицами несложно найти в любом обычном учебнике по алгебре, и нам нет нужды вдаваться в них. Достаточно сказать, что такие правила существуют и что имеется арифметика матриц, в целом напоминающая арифметику обычных чисел, только похитрее.
Нам же важно знать про матрицы следующее. Из всякой матрицы (NxN)можно извлечь многочлен N-й степени — полиномиальную функцию, составленную из различных степеней буквы x, вплоть до N-й степени. Боюсь, я не могу объяснить, как же найти этот многочлен для данной матрицы. Придется поверить мне, что он действительно существует и что имеется способ его построить. Этот многочлен называется характеристическим многочленомматрицы.
Характеристический многочлен для приведенной выше матрицы 2x2 равен x 2– 11 x+ 28. [162] При каких значениях xэтот многочлен равен нулю? Это все равно что спросить, каковы решения квадратного уравнения x 2– 11 x+ 28. По хорошо известной формуле (или, как оптимистически говаривал мой школьный учитель, «путем усмотрения») находим, что решения — это 4 и 7. Ну и правда, если подставить 4 вместо x, то значением многочлена будет 16 – 44 + 28, что в самом деле равно нулю. То же самое и с подстановкой числа 7: 49 – 77 + 28 тоже равно нулю.
162
Для получения более ясной картины читателю все же может быть полезна формула, по которой получается характеристический многочлен матрицы 2x2. Общий вид такой матрицы ( a b c d ). Ее характеристический многочлен равен ( a - x)x(d - x) - bc.Таким образом и получается x 2– 11 x+ 28.
Далее автор рассматривает характеристические многочлены с точностью до общего ненулевого множителя. (Примеч. перев.)Эти факты служат иллюстрацией ситуации, которая верна в общем случае. Всякая (NxN)-матрица имеет характеристический многочлен степени N, и этот многочлен имеет Nнулей. [163] Нули характеристического многочлена матрицы невероятно важны. Они называются собственными значениямиматрицы. Заметим еще одно. Если сложить числа на главной диагонали нашей (2x2)-матрицы, то получится 11 (поскольку 5 + 6 = 11). Такова же и сумма собственных значений (7 + 4 = 11); и это число противоположно первому из чисел, которые встречаются в характеристическом многочлене ( – 11 и 11 противоположны). Это очень важное число, называемое следомматрицы.
163
Возможно, лучше было бы говорить «от 1 до Nнулей», поскольку нули иногда повторяются. Нули многочлена x 2– 6 x+ 9 — это числа 3 и 3. Данный многочлен разлагается на множители как (x - 3)(x - 3). Поэтому вам может прийтись больше по душе говорить, что он имеет только один нуль, а именно 3. В строгом математическом смысле это «нуль кратности 2». Имеется, между прочим, способ приписывать подобную кратность любому нулю любой функции. Насколько известно, все нетривиальные нули дзета-функции имеют кратность 1, однако это пока не доказано. Если окажется, что какой-то нетривиальный нуль дзета-функции имеет кратность 2 или выше, то это само по себе не опровергнет Гипотезу, но произведет опустошение в некоторой части вычислительной теории.
Характеристический многочлен, собственные значения, след — для чего все это? Видите ли, важность матриц не в них самих, а в том, что они представляют. Матричная арифметика, коль скоро вы ею овладели, — это просто набор технических навыков, как и в обычной арифметике. Но подобно тому, как обычные числа можно использовать для выражения гораздо более глубоких, более фундаментальных вещей, так же используются и матрицы. Прогулка от моего дома до Хантингтон-Вилидж занимает у меня 12 минут; расстояние составляет приблизительно 0,8 мили. Если начиная с завтрашнего утра Соединенные Штаты перейдут на метрическую систему, мне придется говорить «приблизительно 1,3 километра», а не «приблизительно 0,8 мили». Расстояние, однако, от этого не изменится; только числа, используемые для его выражения, пришлось бы изменить. Я по-прежнему проходил бы это расстояние за 12 минут (если только не состоится еще и переход к метрическим единицам времени).
Вот еще один пример: календарь, висящий у меня на стене, представляет собой численное выражение движений Солнца и Луны. Главным образом Солнца, поскольку у нас в Америке принят солнечный календарь, месяцы в котором рассинхронизированы с движением Луны. Однако этот календарь нам дали в соседнем китайском ресторане. Если присмотреться, то можно заметить, что там указаны месяцы и дни традиционного китайского лунного календаря, причем каждый месяц начинается в новолуние. Все числа отличаются от «солнечных» чисел, но они выражают те же небесные явления, то же течение времени, те же фактические моменты времени.
Точно так же обстоит дело и с матрицами. Великое значение матриц в том, что их можно использовать для представления и численного выражения некоторых более глубоких и более фундаментальных вещей. Что же это за вещи? Это операторы.Понятие оператора — одно из самых важных как в математике, так и в физике XX столетия. Я не собираюсь вдаваться в подробности насчет того, что же такое операторы, по крайней мере, до главы 20 точно не собираюсь. Важный момент, который надо осознать, — что это именно они притаились за всей этой суетой с матрицами и что именно их свойства мы и можем численно изучать, используя матрицы.
Теперь понятно, почему характеристический многочлен, собственные значения и след — понятия фундаментальные. Они суть свойства скрывающегося за матрицей оператора, а не матрицы самой по себе. На самом деле данный оператор можно представить многими матрицами, но это обязаны быть матрицы с одними и теми же собственными значениями. Приведенная выше (2x2)-матрица представляет некоторый оператор. Один и тот же оператор представляется и матрицей