WikiDer > Теорема Ротса - Википедия

Джозеф Лиувиль

Фриман Дайсон в 2005 году

Аксель Туэ

Карл Сигель в 1975 году

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

Заявление

Теорема Рота утверждает, что каждый иррациональный алгебраическое число ${ displaystyle alpha}$ имеет показатель приближения равно 2. Это означает, что для каждого ${ displaystyle varepsilon> 0}$, неравенство

${ displaystyle left | alpha - { frac {p} {q}} right | <{ frac {1} {q ^ {2+ varepsilon}}}}$

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

${ displaystyle left | alpha - { frac {p} {q}} right |> { frac {C ( alpha, varepsilon)} {q ^ {2+ varepsilon}}}}$

с ${ Displaystyle С ( альфа, varepsilon)}$ положительное число, зависящее только от ${ displaystyle varepsilon> 0}$ и ${ displaystyle alpha}$.

Обсуждение

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

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

${ displaystyle left | alpha - { frac {p} {q}} right | <{ frac {1} {q ^ {2} log (q) ^ {1+ varepsilon}}}}$

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

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

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

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

Обобщения

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

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

${ Displaystyle | альфа - xi | <{ гидроразрыва {1} {H ( xi) ^ { kappa}}}}$

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

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

• Теорема Давенпорта – Шмидта
• Гипотеза Гранвиля – Ланжевена
• Теорема Стёрмера

Примечания

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

• Давенпорт, Х.; Рот, Клаус Фридрих (1955), "Рациональные приближения к алгебраическим числам", Математика, 2: 160–167, Дои:10.1112 / S0025579300000814, ISSN 0025-5793, МИСТЕР 0077577, Zbl 0066.29302
• Дайсон, Фриман Дж. (1947), «Приближение алгебраических чисел рациональными числами», Acta Mathematica, 79: 225–240, Дои:10.1007 / BF02404697, ISSN 0001-5962, МИСТЕР 0023854, Zbl 0030.02101
• Рот, Клаус Фридрих (1955), "Рациональные приближения к алгебраическим числам", Математика, 2: 1–20, 168, Дои:10.1112 / S0025579300000644, ISSN 0025-5793, МИСТЕР 0072182, Zbl 0064.28501
• Вольфганг М. Шмидт (1996) [1980]. «Диофантово приближение». Конспект лекций по математике. 785. Springer. Дои:10.1007/978-3-540-38645-2. Цитировать журнал требует | журнал = (помощь)
• Вольфганг М. Шмидт (1991). «Диофантовы приближения и диофантовы уравнения». Конспект лекций по математике. 1467. Springer-Verlag. Дои:10.1007 / BFb0098246. Цитировать журнал требует | журнал = (помощь)
• Сигель, Карл Людвиг (1921), "Аппроксимация алгебры Зален" (PDF), Mathematische Zeitschrift, 10 (3): 173–213, Дои:10.1007 / BF01211608, ISSN 0025-5874, МИСТЕР 1544471
• Ту, А. (1909), "Über Annäherungswerte algebraischer Zahlen", Журнал für die reine und angewandte Mathematik, 135: 284–305, Дои:10.1515 / crll.1909.135.284, ISSN 0075-4102

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

• Бейкер, Алан (1975). Теория трансцендентных чисел. Издательство Кембриджского университета. ISBN 0-521-20461-5. Zbl 0297.10013.
• Бейкер, Алан; Вюстхольц, Гисберт (2007). Логарифмические формы и диофантова геометрия. Новые математические монографии. 9. Издательство Кембриджского университета. ISBN 978-0-521-88268-2. Zbl 1145.11004.
• Бомбьери, Энрико; Габлер, Вальтер (2006). Высоты в диофантовой геометрии. Новые математические монографии. 4. Издательство Кембриджского университета. ISBN 978-0-521-71229-3. Zbl 1130.11034.
• Войта, Пол (1987). Диофантовы приближения и теория распределения ценностей. Конспект лекций по математике. 1239. Springer-Verlag. ISBN 3-540-17551-2. Zbl 0609.14011.