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

---

Трансценде́нтное число́ (от лат. transcens — переходить за предел, превосходить^[1]) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю)^[2]. Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.

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

Каждое трансцендентное вещественное число является иррациональным, но обратное неверно. Например, число ${\displaystyle {\sqrt {2}}}$ — иррациональное, но не трансцендентное: оно является корнем уравнения ${\displaystyle x^{2}-2=0}$ (и потому является алгебраическим).

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

Впервые понятие трансцендентного числа (и сам этот термин) ввёл Леонард Эйлер в труде «De relation inter tres pluresve quantitates instituenda» (1775 год)^[4]. Эйлер занимался этой темой ещё в 1740-е годы^[5]; он заявил, что значение логарифма ${\displaystyle \log _{a}{b}}$ для рациональных чисел ${\displaystyle a,b}$ не является алгебраическим («радикальным», как тогда говорили)^[6], за исключением случая, когда ${\displaystyle b=a^{c}}$ для некоторого рационального ${\displaystyle c.}$ Это утверждение Эйлера оказалось верным, но не было доказано вплоть до XX века.

Существование трансцендентных чисел доказал Жозеф Лиувилль в 1844 году, когда опубликовал теорему о том, что алгебраическое число невозможно слишком хорошо приблизить рациональной дробью. Лиувилль построил конкретные примеры («числа Лиувилля»), ставшие первыми примерами трансцендентных чисел.

---