Кроме указанных авторов заслуживают упоминания в интересующей нас проблеме только три автора, все уже XX века. Это Э. Борель [889], Д. Д. Мордухай–Болтовский [890]и А. Ф. Гельфонд [891].
Несмотря на то что вся эта литература не очень обширна, дать логический анализ всех этих учений можно только в большом специальном исследовании. Мы извлечем отсюда только наиболее принципиальные установки, чтобы вышеизложенная философия трансцедентного числа не повисла, в математическом смысле, в воздухе. А именно, 1) мы рассмотрим признак Лиувилля для трансцедентности числа. Затем 2) мы дадим характеристику главнейших представителей этого числа, т. е. Неперова числа е и числа π. При этом 3) придется коснуться и некоторых трансцедентных функций (к которым относятся прежде всего показательная, логарифмическая и тригонометрические), хотя специальному обследованию они должны быть подвергнуты, конечно, не в арифметике. Наконец, 4) огромный логический интерес представляет проблема взаимоотношения общетрансцедентальных, алгебраических (в частности, комплексных) и тригонометрических функций и чисел.
2. а) Итак, остановимся прежде всего на достаточном признаке трансцедентности числа по Лиувиллю. В указанных работах этот математик исходит для разыскания такого признака из абсолютной величины отклонения трансцедентного числа от рациональной дроби,
которая его приближенно выражает. Если алгебраическое число χ определяется неприводимым уравнением w–й степени, то для достаточно большого q мы имеем
x —
где А > 0 и не зависит от q. Это условие, очевидно, неоОходимо для того, чтобы число χ было алгебраическим. Оно, конечно, не есть еще достаточное условие. Но тогда отсюда можно получить условие для трансцедентности числа, которое будет, наоборот, достаточным, но не необходимым. Если, какое бы ни было η, мы имеем, при достаточно большом q, что
x —
то χ уже не сможет быть алгебраическим числом. Оно будет трансцедентным. На основании этого неравенства можно так формулировать достаточный признак трансцедентности числа ω:
Я утверждаю, что эта формула есть не что иное, как точный математический дублет к развитому выше учению о трансцедентном и об его эманациях в инобытие (§ 110, п. 2—3).
b) В самом деле, что мы тут имеем? Мы тут имеем 1) отношение двух целых чисел
4) Однако, чтобы определить ω согласно этой позиции, мы должны посмотреть, каково отношение этого трансцедентного «остатка» к инобытию, которое из него эманировало. Поскольку ρ мы соотносили с q и поскольку q у нас менялось, мы теперь должны сказать, что если из ω эманировала действительно бесконечность, то q должно у нас получить в конце концов значение бесконечности; q должно стремиться к бесконечности. Только тогда
5) При этом мы должны оба числа изучаемого соотношения, т. е. и трансцедентный «остаток», и инобытийную бесконечность, представить не иначе как в атмосфере эманации. «Остаток» должен трактоваться как результат эманации, и инобытийная бесконечность должна трактоваться как результат эманации. Позже, в анализе Неперова числа е, мы увидим, что е, основание натуральных логарифмов, является самым основным и примитивным трансцедентным числом, так как оно говорит о соотнесенности с инобытием не чего другого, как самой обыкновенной единицы, так что, если угодно, е может считаться своего рода трансцедентной единицей, или первообразом трансцедентности вообще. Поэтому, если мы покажем, как данное число, конечное или бесконечное, появилось из е, то этим самым мы обрисуем данное число именно как результат эманации трансцедентного. Но всякое данное число может быть получено из е путем возведения его в ту или иную степень, т. е. свидетелем происхождения данного числа из трансцедентной эманации может явиться только его натуральный логарифм.
Но проводимая здесь позиция для разыскания трансцедентного числа 6) должна привести к тому, что между этими двумя бесконечностями, трансцедентным «остатком» и инобытийной бесконечностью, в свою очередь должна залегать бесконечность, так что, только подвергаясь бесконечному умалению или росту, эти две бесконечности могут встретиться. А 7) если, кроме того, инобытийная бесконечность есть отрицательная, то отношение между натуральными логарифмами трансцедентного «остатка» и самой инобытийной бесконечности, отношение, взятое в пределе (поскольку инобытие только еще растет в бесконечность), это отношение и есть не что иное, как отрицательная бесконечность.
Все это с математической точностью зафиксировано в указанном выше достаточном признаке трансцедентности по Лиувиллю.
3. Этот признак Лиувилля переработан Гельфондом (в указанной статье соответствующего заголовка) в необходимый и достаточный признак путем рассмотрения вместо нижней границы двучленов первой степени относительно данного числа нижней границы многочленов любой степени от него. Это, однако, не вносит ничего принципиально нового в наш анализ, хотя и действительно уточняет математическую теорию. Гельфонд оперирует здесь с т. н. высотой многочлена, которая, во–первых, растет вместе с номером соответствующего коэффициента, а во–вторых, берется в соответствующей степени, при стремлении того и другого в бесконечность. Следовательно, многомерность бесконечно становящегося инобытия соблюдена и здесь; прочее же все в философском отношении не существенно, так как различие между биномом и полиномом в философском отношении не может явиться принципом для новой теории.
4. Признак Лиувилля дает возможность без особого труда построить новые трансцедентные числа (путем разложения) и проверять трансцедентность уже известных. Так, если мы имеем 1 и потом будем брать последовательно отношения этой 1 к некоей растущей функции, возведенной в степень, показатель которой будет тоже некоей растущей функцией, то, беря предельные отношения, мы получим из суммы всех этих отношений не что иное, как трансцедентное число. Напр., число ω, при 1>0, будет трансцедентным числом, если мы его определим при помощи ряда:
890
К теории трансцедентных чисел. Протоколы О–ва Естествозн. при Варш. Универс. 1913, и О некоторых свойствах транец, чисел первого класса. — Матем. сб. 1927. Т. 34, 55—100, где автор дает очень интересные построения (напр., определение транец, чисел при помощи корней ряда уравнений с целыми коэффициентами в условиях роста степеней и высот).
891
Давший целый ряд знаменитых построений, напр., доказавший теоремы Эрмита и Линдемана и решивший Гильбертову проблему трансцендентности еп и др. при помощи теорий конечных разностей и комплексного переменного (Очерк истории и современного состояния теории транец, чисел. — -Естествозн. и марксизм. 1930, 1/5, 33—55). Он же нашел и необходимый признак тр[ансцедентного] числа. — О необходимом и достаточном признаке трансцедентного числа. МГУ. Учен, записки. 1933.1, 6—8.