Введение

О алгебраической независимости экспонент линейно независимых алгебраических чисел над Q

В трансцендентной теории чисел теорема Линдемана — Вейерштрасса является результатом, широко используемым для установления трансцендентности чисел. Она формулируется следующим образом:
Иными словами, поле расширения имеет степень трансцендентности n над Q.
Эквивалентная формулировка выглядит так: . Эта эквивалентность преобразует линейную зависимость над алгебраическими числами в алгебраическую зависимость над Q, используя тот факт, что симметричный многочлен, аргументами которого являются все сопряженные друг другу числа, принимает рациональное значение. Теорема названа в честь Фердинанда фон Линдемана и Карла Вейерштрасса. Линдеманн доказал в 1882 году, что e^α трансцендентно для любого ненулевого алгебраического числа α, тем самым установив трансцендентность числа e (см. ниже). Все это впоследствии было обобщено в гипотезе Шануэля.

Конвенция о наименовании

Теорема также известна как теорема Эрмита — Линдемана и теорема Эрмита — Линдемана — Вейерштрасса. Шарль Эрми доказал более простую теорему, в которой показатели αi должны быть рациональными целыми числами, а линейная независимость гарантируется только над областью рациональных целых чисел; этот результат иногда называют теоремой Эрмита. Хотя это может показаться частным случаем вышеуказанной теоремы, общий результат можно свести к этому более простому случаю. Линдеманн первым допустил алгебраические числа в работе Эрмита в 1882 году. Вскоре после этого Вейерштрасс получил окончательный результат, а дальнейшие упрощения были сделаны несколькими математиками, наиболее заметно — Давидом Гильбертом и Полом Горданом.

Превышение и

Трансцендентность *e* (математической константы) и *i* являются прямыми следствиями этой теоремы. Предположим, что α – ненулевое алгебраическое число; тогда {α} – линейно независимое множество над рациональными числами, и поэтому, согласно первой формулировке теоремы, {e<sup>α</sup>} – алгебраически независимое множество; или другими словами, e<sup>α</sup> – трансцендентное. В частности, *e* трансцендентно. (Более элементарное доказательство того, что *e* является трансцендентным, приведено в статье о трансцендентных числах.) В качестве альтернативы, согласно второй формулировке теоремы, если α – ненулевое алгебраическое число, то {0, α} – множество различных алгебраических чисел, и поэтому множество линейно независимо над алгебраическими числами, и в частности e<sup>α</sup> не может быть алгебраическим, а значит, оно трансцендентно. Чтобы доказать, что *i* трансцендентно, мы докажем, что оно не является алгебраическим. Если бы *i* было алгебраическим, то и -*i* было бы также алгебраическим, а затем по теореме Линдемана — Вейерштрасса (см. тождество Эйлера) *e<sup>i</sup>* было бы трансцендентным, что является противоречием. Следовательно, *i* не является алгебраическим, что означает, что оно трансцендентно. Незначительное изменение того же доказательства покажет, что если α – ненулевое алгебраическое число, то sin(α), cos(α), tan(α) и их гиперболические аналоги также являются трансцендентными.

Модульная гипотеза

Аналог теоремы, связанной с модулярной функцией j-инвариантом, был предложен Дэниелом Бертраном в 1997 году и остаётся нерешённой проблемой. Обозначая квадрат номы через q и гипотезу – как, формулировка следующая.

Доказательство

Доказательство опирается на два предварительных леммы. Заметьте, что одной лишь леммы B уже достаточно для вывода исходного утверждения теоремы Линдемана — Вейерштрасса.

Последний шаг

Теперь мы докажем теорему: пусть a(1), ..., a(n) – ненулевые алгебраические числа, а α(1), ..., α(n) – различные алгебраические числа. Тогда предположим, что:

Мы покажем, что это приводит к противоречию и, таким образом, докажем теорему. Доказательство очень похоже на доказательство леммы B, за исключением того, что на этот раз выбор делается над a(i):

Для каждого i ∈ {1, ..., n}, a(i) является алгебраическим, поэтому это корень неприводимого многочлена с целыми коэффициентами степени d(i). Обозначим различные корни этого многочлена a(i)1, ..., a(i)d(i), где a(i)1 = a(i). Пусть S – множество функций σ, которые выбирают один элемент из каждой последовательности (1, ..., d(1)), (1, ..., d(2)), ..., (1, ..., d(n)), так что для каждого 1 ≤ i ≤ n, σ(i) – целое число между 1 и d(i). Сформируем многочлен в переменных.

Так как произведение берется по всем возможным функциям выбора σ, Q симметричен относительно для каждого i. Следовательно, Q – многочлен с целыми коэффициентами в элементарных симметричных многочленах вышеуказанных переменных для каждого i, и в переменных yi. Каждый из последних симметричных многочленов является рациональным числом при вычислении в.

Вычисленный многочлен обращается в нуль, потому что один из вариантов – это σ(i) = 1 для всех i, для которого соответствующий множитель обращается в нуль в соответствии с нашим предположением выше. Таким образом, вычисленный многочлен является суммой вида,

где мы уже сгруппировали члены с одинаковой степенью. Следовательно, в левой части у нас есть различные значения β(1), ..., β(N), каждое из которых все еще алгебраическое (будучи суммой алгебраических чисел) и коэффициенты. Сумма нетривиальна: если максимальна в лексикографическом порядке, то коэффициент при – это произведение a(i)j (с возможными повторениями), которое не равно нулю. Умножив уравнение на соответствующий целочисленный множитель, мы получим тождественное уравнение, за исключением того, что теперь b(1), ..., b(N) – все целые числа. Следовательно, согласно лемме B, равенство не может выполняться, и мы приходим к противоречию, которое завершает доказательство. ∎

Обратите внимание, что леммы A достаточно, чтобы доказать, что e иррационально, поскольку в противном случае мы можем записать e = p / q, где p и q – ненулевые целые числа, но по лемме A у нас будет qe – p ≠ 0, что является противоречием. Леммы A также достаточно, чтобы доказать, что иррационально, поскольку в противном случае мы можем записать = k / n, где k и n – целые числа), а затем ±i – корни уравнения n²x² + k² = 0; таким образом, 2 − 1 − 1 = 2e⁰ + ei + e⁻i ≠ 0; но это неверно. Аналогично, леммы B достаточно, чтобы доказать, что e трансцендентно, поскольку лемма B утверждает, что если a₀, ..., aₙ – целые числа, не все из которых равны нулю, то

Леммы B также достаточно, чтобы доказать, что трансцендентно, поскольку в противном случае у нас будет 1 + ei ≠ 0.

Соответствующий результат

Также известен вариант теоремы Линдемана — Вейерштрасса, в котором алгебраические числа заменяются трансцендентными числами Лиувиля (или, в общем случае, U-числами).