P-адическое число | это... Что такое P-адическое число? (original) (raw)
_p_-ади́ческое число (произносится: пэ-адическое) — элемент расширения поля рациональных чисел, являющегося пополнением поля рациональных чисел относительно _p_-адической нормы, которая определяется на основе свойств делимости целых чисел на заданное простое число р.
_p_-адические числа были введены Гензелем (нем.) в 1897 году[1].
Поле _p_-адических чисел обычно обозначается или .
Содержание
Алгебраическое построение
Целые _p_-адические числа
Стандартное определение
Целым _p_-адическим числом для произвольного простого p называется бесконечная последовательность вычетов x n по модулю p n, удовлетворяющих условию
Сложение и умножение целых _p_-адических чисел определяется как почленное сложение и умножение таких последовательностей. Для них непосредственно проверяются все аксиомы кольца.
Определение через проективный предел
В терминах проективных пределов кольцо целых _p_-адических чисел определяется как предел
колец вычетов по модулю p n относительно естественных проекций .
Эти рассмотрения можно провести в случае не только простого числа p, но и любого составного числа m — получится т. н. кольцо _m_-адических чисел, но это кольцо в отличие от обладает делителями нуля, поэтому дальнейшие построения, рассматриваемые ниже, к нему неприменимы.
Свойства
Обычные целые числа вкладываются в кольцо _p_-адических чисел очевидным образом: x = {x,x,...} и являются подкольцом.
Беря в качестве элемента класса вычетов число , такое, что , мы можем записать каждое целое _p_- адическое число в виде x = {_a_1,_a_2,...} однозначным образом. Такой вид называется каноническим. Записывая каждое an в _p_-ичной системе счисления и учитывая что мы можем всякое _p_-адическое число в каноническом виде представить в виде или записывая в виде бесконечной последовательности цифр в _p_-ичной системе счисления . Действия над такими последовательностями производятся по обыкновенными правилами сложения, вычитания и умножения «столбиком» в _p_-ичной системе счисления (в нашем примере _p_=5).
В такой форме записи натуральным числам и нулю соответствуют _p_-адические числа с конечным числом ненулевых цифр, точно таких, как у исходного числа. Отрицательным числам соответствуют _p_-адические числа с бесконечным числом ненулевых цифр, например в пятеричной системе −1=…4444=(4).
Кольцо целых _p_-адических чисел обычно обозначается .
_p_-адические числа
Определение как поля частных
_p_-адическим числом называется элемент поля частных кольца целых _p_-адических чисел. Это поле называется полем _p_-адических чисел.
Свойства
Поле _p_-адических чисел содержит в себе поле рациональных чисел. Нетрудно доказать, что любое целое _p_-адическое число, не кратное p обратимо в кольце , а кратное p однозначно записывается в виде x p n, где x не кратно p и поэтому обратимо, а n > 0, то ясно, что любой ненулевой элемент поля может быть записан в виде x p n, где x не кратно p а n любое, если n отрицательно, то исходя из представления целых _p_-адических чисел в виде последовательности цифр в _p_-ичной системе счисления мы можем записать любое такое _p_-адическое число в виде последовательности , то есть формально в виде в виде _p_-ичной дроби с конечным числом цифр после запятой и, возможно, бесконечным числом ненулевых цифр до запятой. Деление таких чисел можно также производить аналогично «школьному» правилу, но начиная с младших, а не старших разрядов числа. Так, в той же пятеричной системе имеем:
Метрическое построение
Любое рациональное число r можно представить как где a и b целые числа, не делящиеся на p, а n — целое. Тогда | r | p — _p_-адическая норма r — определяется как p − n. Если r = 0, то | r | p = 0.
Поле _p_-адических чисел есть пополнение поля рациональных чисел с метрикой d p, определённой _p_-адической нормой: d p(x,y) = | x − y | p. Это построение аналогично построению поля вещественных чисел как пополнения поля рациональных чисел при помощи нормы, являющейся обычной абсолютной величиной.
Норма | r | p продолжается по непрерывности до нормы на .
Свойства
- Каждый элемент _x_-поля _p_-адических чисел может быть представлен в виде сходящегося ряда
где _n_0 — некоторое целое число, а a i — целые неотрицательные числа, не превосходящие p − 1, а именно взяв в качестве a i цифры из записи _p_-адического числа x в виде последовательности цифр в системе счисления с основанием p. Такая сумма всегда сходится в метрике d p к самому x.
- p-адическая норма | x | p удовлетворяет сильному неравенству треугольника
- метрическое пространство гомеоморфно Канторову множеству, а пространство гомеоморфно Канторову множеству с вырезанной точкой.
- Для различных p нормы | x | p независимы, а поля неизоморфны.
- Для любых элементов , _r_2, _r_3, _r_5, _r_7, …, таких что и , можно найти последовательность рациональных чисел x n, таких что для любого p, и .
Применения
- Если — многочлен с целыми коэффициентами, то разрешимость при всех k сравнения
эквивалентна разрешимости уравнения
в целых _p_-адических числах. Необходимым условием разрешимости этого уравнения в целых или рациональных числах является его разрешимость в кольцах или, соответственно, полях _p_-адических чисел при всех p, а также в поле вещественных чисел. Для некоторых классов многочленов (например, для квадратичных форм) это условие является также достаточным.
На практике для проверки разрешимости уравнения в целых _p_-адических числах достаточно проверить разрешимость указанного сравнения для определенного конечного числа значений k. Например, согласно лемме Гензеля (Hensel’s lemma), при n = 1 достаточным условием для разрешимости сравнения при всех натуральных k служит наличие простого решения у сравнения по модулю p (то есть простого корня у соответствующего уравнения в поле вычетов по модулю p). Иначе говоря, при n = 1 для проверки наличия корня у уравнения в целых _p_-адических числах, как правило, достаточно решить соответствующее сравнение при k = 1.
Литература
- Боревич З. И., Шафаревич И. Р. Теория чисел, — М.: Наука, 1985.
- Коблиц Н. р-адические числа, р-адический анализ и дзета-функции, — М.: Мир, 1982.
- Серр Ж.-П. Курс арифметики, — М.: Мир, 1972.
- Б. Беккер, С. Востоков, Ю. Ионин 2-адические числа // Квант. — 1979. — Т. 2. — С. 26—31.
- _p_-адические числа для «чайников»
Ссылки
- ↑ Kurt Hensel Über eine neue Begründung der Theorie der algebraischen Zahlen // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1897. — Т. 6. — № 3. — С. 83—88.(нем.)
Числа | |||||||
---|---|---|---|---|---|---|---|
Простые | натуральные | целые | рациональные | иррациональные | вещественные | p-адические | алгебраические | трансцендентные |
Составные | комплексные | дуальные | двойные | кватернионы | числа Кэли (октавы) | седенионы | гиперкомплексные |