В математике p - адический анализ — раздел теории чисел , занимающийся математическим анализом функций p -адических чисел .
Теория комплекснозначных числовых функций на p -адических числах является частью теории локально компактных групп . Обычное значение, принятое для p -адического анализа, — это теория p -адическизначных функций на интересующих нас пространствах.
Приложения p -адического анализа в основном были в теории чисел , где он играет важную роль в диофантовой геометрии и диофантовых приближениях . Некоторые приложения потребовали разработки p -адического функционального анализа и спектральной теории . Во многих отношениях p -адический анализ менее тонок, чем классический анализ , поскольку ультраметрическое неравенство означает, например, что сходимость бесконечных рядов p -адических чисел намного проще. Топологические векторные пространства над p -адическими полями демонстрируют отличительные черты; например, аспекты, связанные с выпуклостью и теоремой Хана–Банаха, различны.
Теорема Островского, принадлежащая Александру Островскому (1916), утверждает, что каждое нетривиальное абсолютное значение рациональных чисел Q эквивалентно либо обычному действительному абсолютному значению, либо p -адическому абсолютному значению. [1]
Теорема Малера , введенная Куртом Малером [2] , выражает непрерывные p -адические функции через многочлены.
В любом поле характеристики имеем следующий результат. Пусть
быть оператором прямой разности . Тогда для полиномиальных функций f мы имеем ряд Ньютона :
где
— полином биномиального коэффициента k -го порядка.
В области действительных чисел предположение о том, что функция f является многочленом, можно ослабить, но его нельзя ослабить вплоть до простой непрерывности .
Малер доказал следующий результат:
Теорема Малера : Если f — непрерывная p-адическая -функция от p -адических целых чисел, то справедливо то же самое тождество.
Лемма Гензеля, также известная как лемма о подъеме Гензеля, названная в честь Курта Гензеля , является результатом в модульной арифметике , утверждающим, что если полиномиальное уравнение имеет простой корень по модулю простого числа p , то этот корень соответствует уникальному корню того же уравнения по модулю любой более высокой степени p , который может быть найден итеративным « поднятием » решения по модулю последовательных степеней p . В более общем смысле она используется как общее название для аналогов для полных коммутативных колец (включая p -адические поля в частности) метода Ньютона для решения уравнений. Поскольку p -адический анализ в некоторых отношениях проще вещественного анализа , существуют относительно простые критерии, гарантирующие корень полинома.
Чтобы сформулировать результат, пусть будет многочленом с целыми (или p -адическими целыми) коэффициентами, и пусть m , k будут положительными целыми числами, такими что m ≤ k . Если r — целое число, такое что
то существует целое число s такое, что
Более того, это s является уникальным по модулю p k +m и может быть вычислено явно как
Локально-глобальный принцип Хельмута Хассе , также известный как принцип Хассе, заключается в том, что можно найти целочисленное решение уравнения , используя китайскую теорему об остатках, чтобы объединить решения по модулю степеней каждого простого числа . Это делается путем изучения уравнения в завершениях рациональных чисел : действительных чисел и p -адических чисел . Более формальная версия принципа Хассе гласит, что некоторые типы уравнений имеют рациональное решение тогда и только тогда, когда они имеют решение в действительных числах и в p -адических числах для каждого простого числа p .
Теорема 1 (Островский). Всякая нетривиальная норма ‖ ‖ на эквивалентна | | p для некоторого простого числа p или для p = ∞ .