В математике неравенство Эрдёша–Турана ограничивает расстояние между вероятностной мерой на окружности и мерой Лебега , в терминах коэффициентов Фурье . Оно было доказано Полом Эрдёшем и Палом Тураном в 1948 году. [1] [2]
Пусть μ — вероятностная мера на единичной окружности R / Z. Неравенство Эрдёша–Турана утверждает, что для любого натурального числа n
где супремум берется по всем дугам A ⊂ R / Z единичной окружности, mes обозначает меру Лебега,
— коэффициенты Фурье μ , а C > 0 — числовая константа.
Применение к несоответствию
Пусть s 1 , s 2 , s 3 ... ∈ R — последовательность. Неравенство Эрдёша–Турана, примененное к мере
дает следующую границу для расхождения :
Это неравенство справедливо для произвольных натуральных чисел m,n и дает количественную форму критерия Вейля для равнораспределения .
Многомерный вариант (1) известен как неравенство Эрдеша-Турана-Коксмы .
Примечания
- ^ Эрдеш, П.; Туран, П. (1948). «Об одной задаче теории равномерного распределения. I». (PDF) . Труды Koninklijke Nederlandse Akademie van Wetenschappen . 51 : 1146–1154. МР 0027895. Збл 0031.25402.
- ^ Эрдеш, П.; Туран, П. (1948). «Об одной задаче теории равномерного распределения. II» (PDF) . Труды Koninklijke Nederlandse Akademie van Wetenschappen . 51 : 1262–1269. МР 0027895. Збл 0032.01601.
Дополнительные ссылки