Теорема Ротса - Roths theorem - Wikipedia

Джозеф Лиувиль
Фриман Дайсон в 2005 году
Аксель Туэ
Карл Сигель в 1975 году

В математика, Теорема Рота фундаментальный результат в диофантово приближение к алгебраические числа. Это качественный тип, утверждающий, что алгебраические числа не могут иметь много Рациональное число приближения, которые являются «очень хорошими». Более полувека значение отлично здесь был уточнен рядом математиков, начиная с Джозеф Лиувиль в 1844 г. и продолжая работу Аксель Туэ  (1909 ), Карл Людвиг Сигель  (1921 ), Фриман Дайсон  (1947 ), и Клаус Рот  (1955 ).

Заявление

Теорема Рота утверждает, что каждый иррациональный алгебраическое число имеет показатель приближения равно 2. Это означает, что для каждого , неравенство

может иметь только конечное число решений в взаимно простые целые числа и . Доказательство этого факта Ротом разрешило гипотезу Сигеля. Отсюда следует, что любое иррациональное алгебраическое число α удовлетворяет

с положительное число, зависящее только от и .

Обсуждение

Первый результат в этом направлении: Теорема Лиувилля о приближении алгебраических чисел, что дает показатель аппроксимации d для алгебраического числа α степени d ≥ 2. Этого уже достаточно, чтобы продемонстрировать существование трансцендентные числа. Туэ понял, что показатель меньше, чем d будет иметь приложения к решению Диофантовы уравнения И в Теорема Туэ с 1909 г. установлен показатель степени . Теорема Зигеля улучшает это до показателя порядка 2d, а теорема Дайсона 1947 г. имеет показатель порядка 2d.

Результат Рота с показателем степени 2 в некотором смысле является наилучшим из возможных, потому что это утверждение не сработает при установке : к Теорема Дирихле о диофантовом приближении в этом случае решений бесконечно много. Однако есть более сильная гипотеза Серж Ланг который

может иметь только конечное число решений в целых числах п и q. Если позволить α пробегать весь набор действительных чисел, а не только алгебраические числа, то и вывод Рота, и вывод Лэнга верны для почти все . Итак, и теорема, и гипотеза утверждают, что некоторая счетный набор пропускает определенный набор нулевой меры.[1]

Теорема в настоящее время эффективный: то есть не известно никаких границ возможных значений п,q данный .[2] Давенпорт и Рот (1955) показали, что методы Рота можно использовать для получения эффективной оценки количества п/q удовлетворение неравенства по принципу «разрыва».[2] Тот факт, что мы на самом деле не знаем C(ε) означает, что проект решения уравнения или ограничения размера решений недостижим.

Техника доказательства

Техника доказательства включает построение вспомогательный многомерный полином от сколь угодно большого числа переменных в зависимости от , приводящее к противоречию при наличии слишком большого количества хороших приближений. Более конкретно, можно найти определенное количество рациональных приближений к рассматриваемому иррациональному алгебраическому числу, а затем применить функцию к каждому из них одновременно (т.е. каждое из этих рациональных чисел служит входом для уникальной переменной в выражении, определяющем нашу функцию ). По своей природе он был неэффективен (см. эффективные результаты в теории чисел ); это представляет особый интерес, поскольку основное применение результатов этого типа - ограничение числа решений некоторых диофантовы уравнения.

Обобщения

Есть многомерная версия, Теорема Шмидта о подпространстве, основного результата. Также существует множество расширений, например, использующих p-адическая метрика,[3] на основе метода Рота.

Уильям Дж. Левек обобщил результат, показав, что аналогичная оценка выполняется, когда приближающие числа берутся из фиксированного поле алгебраических чисел. Определить высота ЧАС(ξ) алгебраического числа ξ как максимум абсолютных значений коэффициентов его минимальный многочлен. Зафиксируем κ> 2. Для данного алгебраического числа α и поля алгебраических чисел K, уравнение

имеет лишь конечное число решений в элементах ξ из K.[4]

Смотрите также

Примечания

  1. ^ Это также тесно связано с Гипотеза Манина – Мамфорда.
  2. ^ а б Хиндри, Марк; Сильверман, Джозеф Х. (2000). Диофантова геометрия: введение. Тексты для выпускников по математике. 201. С. 344–345. ISBN  0-387-98981-1.
  3. ^ Ридаут, Д. (1958). "The п-адическое обобщение теоремы Туэ – Зигеля – Рота ». Математика. 5: 40–48. Дои:10.1112 / s0025579300001339. Zbl  0085.03501.
  4. ^ Левек, Уильям Дж. (2002) [1956]. Темы теории чисел, тома I и II. Нью-Йорк: Dover Publications. стр.II: 148–152. ISBN  978-0-486-42539-9. Zbl  1009.11001.

Рекомендации

дальнейшее чтение