WikiDer > Абстрактная аналитическая теория чисел

Абстрактная аналитическая теория чисел это филиал математика который берет идеи и методы классической аналитическая теория чисел и применяет их к множеству различных математических областей. Классический теорема о простых числах служит прототипическим примером, и акцент делается на абстрактных результаты асимптотического распределения. Теория была изобретена и развита математиками, такими как Джон Кнопфмахер и Арне Бёрлинг в двадцатом веке.

Арифметические полугруппы

Используемое фундаментальное понятие - это понятие арифметическая полугруппа, что является коммутативный моноид г удовлетворяющие следующим свойствам:

• Существует счетный подмножество (конечный или счетно бесконечный) п из г, так что каждый элемент а ≠ 1 дюйм г имеет уникальную факторизацию вида

${ displaystyle a = p_ {1} ^ { alpha _ {1}} p_ {2} ^ { alpha _ {2}} cdots p_ {r} ^ { alpha _ {r}}}$

где п_я являются отдельными элементами п, α_я положительные целые числа, р может зависеть от а, а две факторизации считаются одинаковыми, если они отличаются только порядком указанных факторов. Элементы п называются простые числа из г.

• Существует настоящий-ценный отображение норм ${ displaystyle | { mbox {}} |}$ на г такой, что
  1. ${ displaystyle | 1 | = 1}$
  2. ${ displaystyle | p |> 1 { mbox {для всех}} p in P}$
  3. ${ displaystyle | ab | = | a || b | { mbox {для всех}} a, b in G}$
  4. Общее количество ${ Displaystyle N_ {G} (х)}$ элементов ${ displaystyle a in G}$ нормы ${ Displaystyle | а | leq x}$ конечно, для каждого действительного ${ displaystyle x> 0}$.

Аддитивные системы счисления

An аддитивная система счисления - арифметическая полугруппа, в которой лежащий в основе моноид г является свободный абелевский. Нормальную функцию можно записать аддитивно.^[1]

Если норма целочисленная, связываем счетные функции а(п) и п(п) с участием г где п подсчитывает количество элементов п нормы п, и а подсчитывает количество элементов г нормы п. Пусть А(Икс) и п(Икс) - соответствующий формальный степенной ряд. У нас есть фундаментальная идентичность^[2]

${ displaystyle A (x) = sum _ {n} a (n) x ^ {n} = prod _ {n} (1-x ^ {n}) ^ {- p (n)} }$

который формально кодирует уникальное выражение каждого элемента г как продукт элементов п. В радиус схождения из г это радиус схождения степенного ряда А(Икс).^[3]

Фундаментальное тождество имеет альтернативную форму^[4]

${ Displaystyle A (x) = exp left ({ sum _ {m geq 1} { frac {P (x ^ {m})} {m}}} right) .}$

Примеры

• Типичным примером арифметической полугруппы является мультипликативная полугруппа из положительный целые числа г = Z⁺ = {1, 2, 3, ...}, с подмножеством рациональных простые числа п = {2, 3, 5, ...}. Здесь норма целого числа просто ${ Displaystyle | п | = п}$, так что ${ Displaystyle N_ {G} (х) = lfloor x rfloor}$, то наибольшее целое число не превышающий Икс.

• Если K является поле алгебраических чисел, т.е. конечное расширение поле из рациональное число Q, то множество г всех ненулевых идеалы в кольцо целых чисел О_K из K образует арифметическую полугруппу с единицей О_K и норма идеального я дается мощностью факторкольца О_K/я. В этом случае подходящим обобщением теоремы о простых числах является Теорема Ландау о простых идеалах, который описывает асимптотическое распределение идеалов в О_K.

• Различный арифметические категории которые удовлетворяют теореме типа Крулля-Шмидта. Во всех этих случаях элементы г являются классами изоморфизма в подходящем категория, и п состоит из всех классов изоморфизма неразложимый объекты, то есть объекты, которые нельзя разложить как прямое произведение ненулевых объектов. Вот некоторые типичные примеры.
  • Категория всех конечный абелевы группы при обычном прямом произведении и отображении норм ${ displaystyle | A | = operatorname {card} (A).}$ Неразложимые объекты - это циклические группы первого порядка власти.
  • Категория всех компактный односвязный глобально симметричный риманов коллекторы под римановым произведением многообразий и отображением нормы ${ Displaystyle | M | = c ^ { dim M},}$ где c > 1 фиксируется, а тусклый M обозначает размерность многообразия M. Неразложимые объекты представляют собой компактные односвязные несводимый симметричные пространства.
  • Категория всех псевдометризуемый конечный топологические пространства под топологическая сумма и отображение норм ${ displaystyle | X | = 2 ^ { operatorname {card} (X)}.}$ Неразложимые объекты - это связанные пространства.

Методы и приемы

Использование арифметические функции и дзета-функции обширны. Идея состоит в том, чтобы расширить различные аргументы и методы арифметических функций и дзета-функций в классической аналитической теории чисел до контекста произвольной арифметической полугруппы, которая может удовлетворять одной или нескольким дополнительным аксиомам. Такой типичной аксиомой является следующая, обычно называемая в литературе «Аксиомой А»:

• Аксиома А. Существуют положительные постоянные А и ${ displaystyle delta}$, а постоянная ${ displaystyle nu}$ с участием ${ Displaystyle 0 Leq Nu < delta}$, так что ${ displaystyle N_ {G} (x) = Ax ^ { delta} + O (x ^ { nu}) { mbox {as}} x rightarrow infty.}$^[5]

Для любой арифметической полугруппы, удовлетворяющей аксиоме А, имеем следующие абстрактная теорема о простых числах:^[6]

${ displaystyle pi _ {G} (x) sim { frac {x ^ { delta}} { delta log x}} { mbox {as}} x rightarrow infty}$

где π_г(Икс) = общее количество элементов п в п нормы |п| ≤ Икс.

Арифметическое образование

Понятие арифметическая формация дает обобщение группа идеального класса в алгебраическая теория чисел и позволяет получить абстрактные результаты асимптотического распределения при ограничениях. В случае числовых полей, например, это Теорема плотности Чеботарева. Арифметическая формация - это арифметическая полугруппа г с отношением эквивалентности ≡ таким, что фактор г/ ≡ - конечная абелева группа А. Это частное классная группа классов формации и эквивалентности являются обобщенными арифметическими прогрессиями или обобщенными идеальными классами. Если χ - характер из А тогда мы можем определить Серия Дирихле

${ Displaystyle сумма _ {г в G} чи ([г]) | г | ^ {- s}}$

который обеспечивает понятие дзета-функции для арифметической полугруппы.^[7]

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

• Аксиома А, свойство динамических систем
• Дзета-функция Берлинга

использованная литература

• Беррис, Стэнли Н. (2001). Теоретическая числовая плотность и логические предельные законы. Математические обзоры и монографии. 86. Провиденс, Род-Айленд: Американское математическое общество. ISBN 0-8218-2666-2. Zbl 0995.11001.
• Кнопфмахер, Джон (1990) [1975]. Абстрактная аналитическая теория чисел (2-е изд.). Нью-Йорк, штат Нью-Йорк: Dover Publishing. ISBN 0-486-66344-2. Zbl 0743.11002.
• Монтгомери, Хью Л.; Воан, Роберт С. (2007). Мультипликативная теория чисел I. Классическая теория. Кембриджские исследования по высшей математике. 97. п. 278. ISBN 0-521-84903-9. Zbl 1142.11001.