Теорема Линдемана-Вейерштрасса

Теорема Линдемана-Вейерштрасса — это фундаментальный результат теории трансцендентных чисел, устанавливающий, что если набор алгебраических чисел линеен независим над полем рациональных чисел, то набор их экспонент алгебраически независим над полем алгебраических чисел. Теорема является мощным обобщением более ранних результатов, таких как теорема Эрмита о трансцендентности числа e и теорема Линдемана о трансцендентности числа π. Она названа в честь немецкого математика Фердинанда фон Линдемана, доказавшего частный случай в 1882 году, и Карла Вейерштрасса, который в 1885 году завершил общее доказательство.

История

Предыстория

В XIX веке одной из центральных проблем математики был вопрос о природе чисел — являются ли они алгебраическими (корнями многочленов с целыми коэффициентами) или трансцендентными (не являющимися таковыми). В 1873 году французский математик Шарль Эрмит доказал трансцендентность числа e (основания натурального логарифма). Его метод, основанный на использовании интегралов и аппроксимаций, стал основой для дальнейших прорывов.

Вклад Линдемана

В 1882 году Фердинанд фон Линдеман, опираясь на метод Эрмита, доказал, что для любого ненулевого алгебраического числа a число e^a является трансцендентным. Из этого немедленно следовала трансцендентность числа π, так как e^{iπ} = -1 — алгебраическое число, что невозможно, если бы π было алгебраическим (поскольку iπ было бы алгебраическим, а e^{iπ} — трансцендентным). Это доказательство окончательно решило проблему квадратуры круга, показав, что построить квадрат, равновеликий данному кругу, с помощью циркуля и линейки невозможно.

Завершение Вейерштрассом

Карл Вейерштрасс в 1885 году обобщил результат Линдемана, сформулировав и доказав теорему для произвольного набора алгебраических чисел, линейно независимых над Q. Его доказательство устранило некоторые пробелы в рассуждениях Линдемана и придало теореме окончательную форму. Современные формулировки теоремы часто объединяют имена обоих учёных.

Формулировка

Пусть α₁, α₂, …, α_n — алгебраические числа, которые линейно независимы над полем рациональных чисел Q (то есть никакая нетривиальная линейная комбинация с рациональными коэффициентами не равна нулю). Тогда числа e^{α₁}, e^{α₂}, …, e^{α_n} алгебраически независимы над полем алгебраических чисел \overline{Q} (то есть не существует ненулевого многочлена с алгебраическими коэффициентами, обращающегося в ноль при подстановке этих чисел).

Эквивалентная формулировка

Если β₁, β₂, …, β_m — алгебраические числа, не все равные нулю, и γ₁, γ₂, …, γ_m — различные алгебраические числа, то сумма: ∑_{i=1}^{m} β_i e^{γ_i} ≠ 0. Это означает, что нетривиальная линейная комбинация экспонент с алгебраическими коэффициентами и различными алгебраическими показателями не может быть равна нулю.

Следствия

Трансцендентность e и π

Из теоремы непосредственно следует, что e — трансцендентное число (достаточно взять n=1, α₁=1). Для π рассуждение идёт от противного: если бы π было алгебраическим, то iπ также было бы алгебраическим (как произведение алгебраических чисел). Тогда e^{iπ} = -1 было бы трансцендентным, что противоречит тому, что -1 — алгебраическое число. Следовательно, π трансцендентно.

Трансцендентность логарифмов

Если α — ненулевое алгебраическое число, то ln α (натуральный логарифм) является либо трансцендентным, либо неопределённым (если α не положительно). В частности, ln 2, ln 3, ln 5 — трансцендентные числа.

Алгебраическая независимость

Теорема гарантирует, что такие числа, как e и e^{√2}, алгебраически независимы. Это означает, что не существует многочлена P(x, y) с алгебраическими коэффициентами, такого что P(e, e^{√2}) = 0, за исключением тривиального нулевого многочлена.

Решение проблемы седьмой Гильберта

Хотя теорема Линдемана-Вейерштрасса не решает напрямую проблему Гильберта о трансцендентности чисел вида a^b для алгебраических a и иррациональных алгебраических b, она является важным шагом. Полное решение было дано в 1934 году советским математиком Александром Гельфондом и независимо немецким математиком Теодором Шнайдером (теорема Гельфонда-Шнайдера), которая является частным случаем более общей теории.

Доказательство (схема)

Доказательство теоремы Линдемана-Вейерштрасса является сложным и использует методы математического анализа, алгебры и теории чисел. Основные этапы включают:

1. Построение вспомогательной функции: Для заданного набора алгебраических чисел строится многочлен с целыми коэффициентами, который обращается в ноль в некоторых точках, связанных с экспонентами.
2. Использование определителя Вандермонда: Для доказательства линейной независимости экспонент применяется определитель, составленный из значений экспонент в различных точках.
3. Оценка роста: С помощью интегральных представлений и оценок показывается, что если бы сумма экспонент была равна нулю, то можно было бы построить целое число, которое, с одной стороны, было бы ненулевым, а с другой — меньше 1 по модулю, что невозможно.
4. Применение леммы о целых числах: В доказательстве используется тот факт, что целое число, не равное нулю, имеет модуль не менее 1. Противоречие между оценками доказывает исходное утверждение.

Полное доказательство можно найти в учебниках по теории чисел, например, в работах Сержа Ленга или Алана Бейкера.

Обобщения

Теорема Бейкера

В 1960-х годах британский математик Алан Бейкер обобщил теорему Линдемана-Вейерштрасса на случай линейных форм в логарифмах алгебраических чисел. Его результаты позволили доказать трансцендентность многих конкретных чисел и получить эффективные оценки для диофантовых уравнений.

Теорема Шидловского

Советский математик Андрей Шидловский в 1950-х годах разработал общий метод для доказательства алгебраической независимости значений E-функций (гипергеометрических функций), который включает теорему Линдемана-Вейерштрасса как частный случай. Этот метод применяется к функциям, удовлетворяющим линейным дифференциальным уравнениям.

Гипотеза Шануэля

Более сильное утверждение, известное как гипотеза Шануэля (сформулированная в 1940-х годах), предполагает, что для алгебраически независимых чисел α₁, …, α_n числа e^{α₁}, …, e^{α_n} также алгебраически независимы. Эта гипотеза до сих пор не доказана и является одной из важнейших открытых проблем теории чисел.

Применение

Теорема Линдемана-Вейерштрасса имеет фундаментальное значение для:

• Теории трансцендентных чисел: Она даёт первый мощный инструмент для доказательства трансцендентности широкого класса чисел.
• Геометрии: Окончательное доказательство невозможности квадратуры круга.
• Алгебраической геометрии: Используется в изучении экспоненциальных отображений и теории периодов.
• Криптографии: Результаты о трансцендентности применяются в некоторых криптографических протоколах, основанных на сложности вычислений с алгебраическими числами.

Критика и ограничения

Теорема не даёт ответа на вопрос о природе чисел, не являющихся экспонентами алгебраических чисел, например, числа e + π или e * π. Их трансцендентность остаётся недоказанной. Кроме того, теорема не является эффективной — она не позволяет вычислить, насколько «близко» данная сумма экспонент может быть к нулю, что ограничивает её применение в вычислительных задачах.

Интересные факты

• Фердинанд фон Линдеман был учеником Карла Вейерштрасса, что делает теорему примером плодотворного научного сотрудничества учителя и ученика.
• Теорема Линдемана-Вейерштрасса является одним из немногих результатов в теории чисел, которые можно объяснить на уровне студента старших курсов, но при этом её доказательство требует глубоких знаний анализа и алгебры.
• В 2020 году группа математиков предложила новое, более простое доказательство теоремы, использующее методы теории представлений и алгебраической геометрии, что открыло путь к дальнейшим обобщениям.

Источники

• Ленг С. Алгебра. — М.: Мир, 1968.
• Бейкер А. Трансцендентные числа. — М.: Мир, 1976.
• Шидловский А. Б. Трансцендентные числа. — М.: Наука, 1987.
• Фельдман Н. И., Шидловский А. Б. Развитие теории трансцендентных чисел. — М.: Наука, 1977.
• Hilbert D. Über die Transcendenz der Zahlen e und π. — Mathematische Annalen, 1893.