Теория трансцендентных чисел
Теория трансценде́нтных чисел — раздел теории чисел, изучающий трансцендентные числа, то есть числа (вещественные или комплексные), которые не могут быть корнями никакого многочлена с целыми коэффициентами. Например, такие важнейшие константы анализа, как и e, являются трансцендентными, а не является, поскольку есть корень многочлена .
Одна из главных проблем данной теории — выяснить, является ли заданное число трансцендентным или нет. Методы и результаты теории трансцендентных чисел широко применяются при исследовании диофантовых уравнений.
Трансцендентные числа
[править | править код]Согласно основной теореме алгебры, любой ненулевой многочлен с целыми коэффициентами имеет комплексный корень. Другими словами, для любого полинома с целыми коэффициентами существует комплексное число такое, что Теория трансцендентных чисел рассматривает преимущественно обратный вопрос: дано комплексное число ; определить, существует ли многочлен с целыми коэффициентами такой, что Если доказано, что такого полинома не существует, значит, тем самым доказана трансцендентность числа .
Совокупность корней всех многочленов с целыми коэффициентами называется множеством алгебраических чисел. Например, всякое рациональное число является алгебраическим как корень многочлена всевозможные конечные комбинации радикалов произвольной степени из целых чисел также относятся к алгебраическим числам. Таким образом, все комплексные числа делятся на два непересекающихся класса — алгебраические и трансцендентные. Как выяснилось, трансцендентных чисел в некотором смысле гораздо больше, чем алгебраических.
В отличие от множества алгебраических чисел, которое является полем, трансцендентные числа не образуют никакой алгебраической структуры относительно арифметических операций — результат сложения, вычитания, умножения и деления трансцендентных чисел может быть как трансцендентным, так и алгебраическим числом. Однако некоторые ограниченные способы получить трансцендентное число из другого трансцендентного существуют.
- Если t — трансцендентное число, то и также трансцендентны.
- Если a — алгебраическое число, не равное нулю, t — трансцендентное, то трансцендентны.
- Если t — трансцендентное число, а — натуральное, то и трансцендентны.
История
[править | править код]Приближение рациональными числами: от Лиувилля до Рота
[править | править код]Понятие трансцендентных чисел, противопоставленных алгебраическим, восходит к семнадцатому веку, когда Готфрид Лейбниц доказал, что синус не является алгебраической функцией[1]. Более обстоятельно этот вопрос в 1740-е годы рассмотрел Эйлер[2]; он заявил[3], что значение логарифма для рациональных чисел не является алгебраическим, за исключением случая, когда для некоторого рационального Это утверждение Эйлера оказалось верным, но не было доказано вплоть до XX века. Эйлеру принадлежат и сами термины: алгебраическое и трансцендентное число (в работе 1775 года)[4].
Первые конкретные примеры трансцендентных чисел указал Жозеф Лиувилль в 1840-х годах с помощью непрерывных дробей. Позднее, в 1850-х годах, он сформулировал необходимое условие для того, чтобы число было алгебраическим; соответственно, если это условие нарушается, то число заведомо трансцендентно[5]. С помощью такого критерия он описал широкий класс трансцендентных чисел, получивший название «чисел Лиувилля». Позднее было установлено, что числа Лиувилля образуют на вещественной числовой оси всюду плотное множество, имеющее мощность континуума и вместе с тем нулевую меру Лебега[6].
Критерий Лиувилля по существу означает, что алгебраические числа не могут быть хорошо аппроксимированы (приближены) рациональными числами (см. Теорема Лиувилля о приближении алгебраических чисел). Таким образом, если число хорошо аппроксимируется рациональными числами, то оно обязано быть трансцендентным. Точный смысл понятия «хорошо аппроксимируется» у Лиувилля следующий: если является алгебраическим числом степени и ε — любое положительное число, то неравенство
может иметь лишь конечное число рациональных решений Таким образом, для доказательства трансцендентности следует убедиться, что при любых и существует бесконечно много решений указанного неравенства[7].
В XX веке труды Акселя Туэ[8], Карла Зигеля[9] и Клауса Рота[10] позволили несколько упростить проверку неравенства Лиувилля, заменив выражение сначала на , а затем (1955 год) на Этот результат, известный как теорема Туэ — Зигеля — Рота, как полагали, уже не может быть улучшен, так как проверено, что замена на просто 2 даёт ошибочное утверждение. Однако Серж Ленг предложил улучшение версии Рота; в частности, он предположил, что можно заменить на меньшее выражение .
Теорема Туэ — Зигеля — Рота эффективно завершила работу, начатую Лиувиллем, она позволила математикам доказать трансцендентность многих чисел — например, постоянной Чемпернауна. Тем не менее данная методика недостаточно сильна, чтобы обнаружить все трансцендентные числа; в частности, она неприменима к числам и [11].
Вспомогательные функции: от Эрмита до Бейкера
[править | править код]Для анализа таких чисел, как и , в девятнадцатом веке были разработаны другие методы. Указанные две константы, как известно, связаны тождеством Эйлера. Удобным инструментом анализа стали так называемые вспомогательные функции[англ.], которые имеют много нулей в исследуемых точках. Здесь много нулей может означать буквально большое число нулей, или всего один ноль, но с высокой кратностью, или даже множество нулей с высокой кратностью каждый.
Шарль Эрмит в 1873 году, чтобы доказать трансцендентность , использовал вспомогательные функции, аппроксимирующие функцию для каждого натурального числа [12]. В 1880-е годы результаты Эрмита были использованы Фердинандом фон Линдеманом[13] для того, чтобы доказать: если — ненулевое алгебраическое число, то трансцендентно. В частности, отсюда следует, что число трансцендентно, поскольку является алгебраическим числом (равно −1). Это открытие закрывает такую известную проблему античности, как «квадратура круга». Другой класс чисел, чья трансцендентность следует из теоремы Линдемана — логарифмы алгебраических чисел[6].
Дальнейшим развитием темы занялся Карл Вейерштрасс, опубликовавший в 1885 году теорему Линдемана — Вейерштрасса[14]. Он значительно расширил класс чисел с доказанной трансцендентностью, включив в него значения функций синуса и косинуса почти для всех алгебраических значений аргументов[4].
В 1900 году Давид Гильберт в докладе на Втором Международном конгрессе математиков перечислил важнейшие математические проблемы. В седьмой из них, одной из самых трудных (по его собственной оценке), ставился вопрос о трансцендентности чисел вида , где и — алгебраические числа, не ноль и не единица, а иррационально. В 1930-х годах Александр Гельфонд[15] и Теодор Шнайдер[16] доказали, что все такие числа действительно трансцендентны (теорема Гельфонда — Шнайдера). Авторы использовали для доказательства неявную вспомогательную функцию, существование которой гарантирует лемма Зигеля[англ.]. Из теоремы Гельфонда — Шнайдера вытекает трансцендентность таких чисел, как и постоянная Гельфонда[6].
Следующий важный результат в этой области был получен в 1960-х годах, когда Алан Бейкер продвинулся в решении проблемы, поставленной Гельфондом и касающейся линейных форм над логарифмами. Ранее Гельфонду удалось найти нетривиальную нижнюю границу для выражения:
- ,
где все четыре неизвестные величины являются алгебраическими, причём и не равны нулю или единице, а и иррациональны. Найти аналогичные нижние границы для суммы трёх и более логарифмов Гельфонду не удалось. Доказательство теоремы Бейкера[англ.] содержало нахождение таких границ и решение проблемы числа классов Гаусса[англ.]. Эта работа принесла Бейкеру премию Филдса 1970 года за её использование для решения диофантовых уравнений.
Из теоремы Бейкера следует, что если — алгебраические числа, не равные нулю или единице, и — алгебраические числа такие, что линейно независимы над полем рациональных чисел, то число трансцендентно[17].
Другие методы: Кантор и Зильбер
[править | править код]В 1874 году Георг Кантор, разрабатывая свою теории множеств, доказал, что алгебраические числа могут быть поставлены во взаимно-однозначное соответствие с множеством натуральных чисел. Другими словами, множество алгебраических чисел счётно, а тогда множество трансцендентных чисел должно быть не только бесконечно, но и более чем счётно (континуально)[18]. Позже, в 1891 году, Кантор использовал для доказательства более простой и привычный диагональный метод[19]. Встречаются мнения, что эти результаты Кантора непригодны для построения конкретных трансцендентных чисел[20], однако на деле доказательства в обоих вышеупомянутых документах дают методы построения трансцендентных чисел[21]. Кантор использовал теорию множеств для доказательства полноты множества трансцендентных чисел.
Одной из последних тенденций при решении задач теории трансцендентных чисел стало использование теории моделей. Проблема состоит в том, чтобы определить степень трансцендентности поля
для комплексных чисел , которые являются линейно независимыми над полем рациональных чисел. Стивен Шеньюл (Stephen Schanuel) предположил, что ответ, по крайней мере, , но доказательства этого пока нет. В 2004 году Борис Зильбер опубликовал работу, которая использует теоретико-модельные методы, чтобы создать структуру, которая ведёт себя очень похоже на комплексные числа, снабжённые операциями сложения, умножения и возведения в степень. Кроме того, в этой абстрактной структуре гипотеза Шеньюла действительно выполняется[22]. Пока нет уверенности, что эта структура действительно такая же, как комплексные числа с названными операциями.
Подходы
[править | править код]Поскольку множество алгебраических чисел всего лишь счётно, то «почти все» числа трансцендентны. Трансцендентные числа, таким образом, представляют типичный случай; однако обычно не просто доказать, что данное число является трансцендентным. По этой причине теория трансцендентности часто предпочитает более количественный подход: пусть дано комплексное число α; спрашивается, насколько близко оно к алгебраическим числам? Например, если удаётся показать, что никакой рост степени многочлена или его коэффициентов не может сделать α его корнем, то это число должно быть трансцендентным.
Для реализации этой идеи можно найти нижнюю границу формы:
- ,
где правая сторона — некоторая положительная функция, зависящая от некоторой меры коэффициентов многочлена и его степени нижняя грань («мера трансцендентности») определяется по всем ненулевым многочленам. Случай соответствует классической задаче диофантовых приближений, то есть поиску нижней грани для выражения:
- .
Методы теории трансцендентности и диофантовых приближений имеют много общего: они оба используют концепцию вспомогательных функций.
Обобщения
[править | править код]Определение трансцендентности можно обобщить. Набор чисел называется алгебраически независимым над полем , если не существует ненулевого многочлена с коэффициентами в такого, что Для поля рациональных чисел и набора из одного числа это определение совпадает с данным выше определением трансцендентности . Разработана также теория трансцендентных p-адических чисел[6].
Открытые проблемы
[править | править код]Упомянутая выше теорема Гельфонда–Шнайдера открыла обширный класс трансцендентных чисел, но этот класс всего лишь счётный, и для многих важных констант до сих пор не известно, трансцендентны ли они. Не всегда даже известно, являются ли они иррациональными. Среди них, например, различные сочетания и e, константа Апери, постоянная Эйлера — Маскерони[23].
Существующие достижения в теории касаются преимущественно чисел, связанных с экспонентой. Это означает, что нужны совершенно новые методы. Главная проблема в теории трансцендентности — доказать, что конкретный набор трансцендентных чисел является алгебраически независимым, это более сильное утверждение, чем то, что отдельные числа в наборе трансцендентны. Мы знаем, что и e трансцендентны, но это не означает, что трансцендентно или другие комбинации этих чисел (за исключением , постоянной Гельфонда, которая, как уже известно, трансцендентна). Гипотеза Шеньюла решает проблему с , однако она также относится только к числам, связанным с экспонентой.
Примечания
[править | править код]- ↑ Bourbaki N. Elements of the History of Mathematics, Springer (1994).
- ↑ Гельфонд, 1952, с. 8.
- ↑ Euler, L. Introductio in analysin infinitorum (неопр.). — Lausanne, 1748.
- ↑ 1 2 Жуков А..
- ↑ J. Liouville. Sur les classes très étendues de quantités dont la valeur n’est ni algébrique ni même réductible à des irrationelles algébriques, Comptes Rendus Acad.
- ↑ 1 2 3 4 Математическая энциклопедия, 1985, с. 426—427.
- ↑ Гельфонд, 1952, с. 9.
- ↑ Thue, A. Über Annäherungswerte algebraischer Zahlen (неопр.) // Journal für die reine und angewandte Mathematik. — 1909. — Т. 135. — С. 284—305. — doi:10.1515/crll.1909.135.284.
- ↑ Siegel, C. L. Approximation algebraischer Zahlen (англ.) // Mathematische Zeitschrift[англ.] : journal. — 1921. — Vol. 10, no. 3—4. — P. 172—213. — doi:10.1007/BF01211608.
- ↑ Roth, K. F. Rational approximations to algebraic numbers (англ.) // Mathematika[англ.] : journal. — 1955. — Vol. 2, no. 1. — P. 1—20. — doi:10.1112/S0025579300000644.
- ↑ Mahler, K. On the approximation of π (неопр.) // Proc. Akad. Wetensch. Ser. A. — 1953. — Т. 56. — С. 30—42.
- ↑ Hermite, C. Sur la fonction exponentielle (неопр.) // C. R. Acad. Sci. Paris[англ.]. — 1873. — Т. 77.
- ↑ Lindemann, F. Ueber die Zahl π (неопр.) // Mathematische Annalen. — 1882. — Т. 20, № 2. — С. 213—225. — doi:10.1007/BF01446522.
- ↑ Weierstrass, K. Zu Hrn. Lindemann's Abhandlung: 'Über die Ludolph'sche Zahl' (нем.) // Sitzungber. Königl. Preuss. Akad. Wissensch. zu Berlin : magazin. — 1885. — Bd. 2 pages=1067—1086.
- ↑ Архивированная копия . Дата обращения: 9 августа 2017. Архивировано 17 октября 2011 года.Архивированная копия . Дата обращения: 9 августа 2017. Архивировано из оригинала 17 октября 2011 года..
- ↑ Schneider, T. Transzendenzuntersuchungen periodischer Funktionen. I. Transzendend von Potenzen (нем.) // Journal für die reine und angewandte Mathematik : magazin. — 1935. — Bd. 172. — S. 65—69. — doi:10.1515/crll.1935.172.65.
- ↑ Baker A. Linear forms in the logarithms of algebraic numbers.
- ↑ Cantor, G. Ueber eine Eigenschaft des Ingebriffes aller reelen algebraischen Zahlen (нем.) // Journal für die reine und angewandte Mathematik : magazin. — 1874. — Bd. 77. — S. 258—262. — doi:10.1515/crll.1874.77.258.
- ↑ Cantor, G. Ueber eine elementare Frage der Mannigfaltigkeitslehre (нем.) // Jahresbericht der Deutschen Mathematiker-Vereinigung : magazin. — 1891. — Bd. 1. — S. 75—78. Архивировано 7 мая 2021 года.
- ↑ Kac, M.; Stanislaw, U. Mathematics and Logic (неопр.). — Fredering A. Praeger, 1968. — С. 13.
- ↑ Gray, R. Georg Cantor and Transcendental Numbers (англ.) // Amer. Math. Monthly : journal. — 1994. — Vol. 101, no. 9. — P. 819—832. — . Архивировано 21 января 2022 года.
- ↑ Zilber, B. Pseudo-exponentiation on algebraically closed fields of characteristic zero (англ.) // Annals of Pure and Applied Logic : journal. — 2005. — Vol. 132, no. 1. — P. 67—95. — doi:10.1016/j.apal.2004.07.001.
- ↑ Hyun Seok, Lee.
Литература
[править | править код]- Гельфонд А. О. Трансцендентные и алгебраические числа. — М.: ГИТТЛ, 1952. — 224 с.
- Трансцендентное число // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1985. — Т. 5.
- Фельдман Н. И. Седьмая проблема Гильберта. — М.: Изд-во МГУ, 1982. — 312 с.
- Хинчин А. Я. Цепные дроби. — М.: ГИФМЛ, 1960.
- Baker, Alan. Transcendental Number Theory. — Cambridge University Press, 1975. — ISBN 0-521-20461-5.
- Baker, Alan; Wüstholz, Gisbert. Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs 9. — Cambridge University Press, 2007. — ISBN 978-0-521-88268-2.
- Lang, Serge. Introduction to Transcendental Numbers. — Addison–Wesley, 1966. — ISBN 0-521-20461-5.
Ссылки
[править | править код]- Жуков А. Алгебраические и трансцендентные числа . Дата обращения: 9 августа 2017.
- Фельдман Н. Алгебраические и трансцендентные числа . Дата обращения: 9 августа 2017.
- Filaseta Michael. The Beginning of Transcendental Numbers. (англ.)
- Hyun Seok, Lee. On Transcendence Theory with little history, new results and open problems . Дата обращения: 9 августа 2017.