Трансцендентное число

Определение "Трансцендентное число" в Большой Советской Энциклопедии

Трансцендентное число число (действительное или мнимое), не удовлетворяющее никакому алгебраическому уравнению с целыми коэффициентами. Таким образом, Трансцендентное число противопоставляются алгебраическим числам. Существование Трансцендентное число впервые установил Ж. Лиувилль (1844). Отправной точкой для Лиувилля служила его теорема, согласно которой порядок приближения рациональной дроби с данным знаменателем к данному иррациональному алгебраическому числу не может быть произвольно высоким. Именно, если алгебраическое число а удовлетворяет неприводимому алгебраическому уравнению степени n с целыми коэффициентами, то для любого рационального числа  должно выполняться неравенство  (с зависит только от a). Поэтому, если для заданного иррационального числа a можно указать бесконечное множество рациональных приближений, не удовлетворяющих приведённому неравенству ни при каких с и n (одних и тех же для всех приближений), то a есть Трансцендентное число Пример такого числа даёт:
…

Другое доказательство существования Трансцендентное число дал Г. Кантор (1874), заметив, что множество всех алгебраических чисел счётно (то есть все алгебраические числа могут быть перенумерованы; см. Множеств теория), тогда как множество всех действительных чисел несчётно. Отсюда следовало, что множество Трансцендентное число несчётно, и далее, что Трансцендентное число составляют основную массу среди множества всех чисел.

Важнейшая задача теории Трансцендентное число - это выяснение того, являются ли Трансцендентное число значения аналитических функций, обладающих теми или иными арифметическими и аналитическими свойствами при алгебраических значениях аргумента. Задачи этого рода принадлежат к числу труднейших задач современной математики. В 1873 Ш. Эрмит доказал, что неперово число  является трансцендентным.

В 1882 немецкий математик Ф. Линдеман получил более общий результат: если a - алгебраическое число, то е ^a - Трансцендентное число Результат Липдемана был значительно обобщён немецким математиком К. Зигелем (1930), доказавшим, например, трансцендентность значения широкого класса цилиндрических функций при алгебраических значениях аргумента. В 1900 на математическом конгрессе в Париже Д. Гильберт среди 23 нерешенных проблем математики указал на следующую: является ли трансцендентным числом a^b, где a и b - алгебраические числа, причём b - иррациональное число, и, в частности, является ли трансцендентным число , е ^p (проблема трансцендентности чисел вида a^b была впервые в частной форме поставлена Л. Эйлером, 1744). Полное решение этой проблемы (в утвердительном смысле) удалось получить лишь в 1934 А. О. Гельфонду. Из открытия Гельфонда, в частности, следует, что все десятичные логарифмы натуральных чисел (то есть «табличные логарифмы») суть Трансцендентное число Методы теории Трансцендентное число прилагаются к ряду вопросов решения уравнений в целых числах.
Лит.: Гельфонд А. О., Трансцендентные и алгебраические числа, М., 1952.