p-адическое число[1] — теоретико-числовое понятие, определяемое для заданного фиксированного простого числа p как элемент расширения поля рациональных чисел. Это расширение является пополнением поля рациональных чисел относительно p-адической нормы, определяемой на основе свойств делимости целых чисел на p.
p-адические числа были введены Куртом Гензелем в 1897 году[2].
Поле p-адических чисел обычно обозначается или .
Целым p-адическим числом для заданного простого p называется[3] бесконечная последовательность вычетов по модулю , удовлетворяющих условию:
Сложение и умножение целых p-адических чисел определяется как почленное сложение и умножение таких последовательностей. Для них непосредственно проверяются все аксиомы кольца. Кольцо целых p-адических чисел обычно обозначается .
В терминах проективных пределов кольцо целых -адических чисел определяется как предел
колец вычетов по модулю относительно естественных проекций .
Эти рассмотрения можно провести в случае не только простого числа , но и любого составного числа — получится т. н. кольцо -адических чисел, но это кольцо в отличие от обладает делителями нуля, поэтому дальнейшие построения, рассматриваемые ниже, к нему неприменимы.
Обычные целые числа вкладываются в очевидным образом: и являются подкольцом.
Беря в качестве элемента класса вычетов число (таким образом, ), мы можем записать каждое целое p-адическое число в виде однозначным образом. Такое представление называется каноническим. Записывая каждое в p-ичной системе счисления и, учитывая, что , возможно всякое p-адическое число в каноническом виде представить в виде или записать в виде бесконечной последовательности цифр в p-ичной системе счисления . Действия над такими последовательностями производятся по обыкновенным правилам сложения, вычитания и умножения «столбиком» в p-ичной системе счисления.
В такой форме записи натуральным числам и нулю соответствуют p-адические числа с конечным числом ненулевых цифр, совпадающих с цифрами исходного числа. Отрицательным числам соответствуют p-адические числа с бесконечным числом ненулевых цифр, например в пятеричной системе −1=…4444=(4).
p-адическим числом называется элемент поля частных кольца целых p-адических чисел. Это поле называется полем p-адических чисел.
Поле p-адических чисел содержит в себе поле рациональных чисел.
Нетрудно доказать, что любое целое p-адическое число, не кратное p, обратимо в кольце , а кратное p однозначно записывается в виде , где x не кратно p и поэтому обратимо, а . Поэтому любой ненулевой элемент поля может быть записан в виде , где x не кратно p, а n любое; если n отрицательно, то, исходя из представления целых p-адических чисел в виде последовательности цифр в p-ичной системе счисления, мы можем записать такое p-адическое число в виде последовательности , то есть, формально представить в виде p-ичной дроби с конечным числом цифр после запятой и, возможно, бесконечным числом ненулевых цифр до запятой. Деление таких чисел можно также производить аналогично «школьному» правилу, но начиная с младших, а не старших разрядов числа.
Любое рациональное число можно представить как где и целые числа, не делящиеся на , а — целое. Тогда — -адическая норма — определяется как . Если , то .
Поле -адических чисел есть пополнение поля рациональных чисел с метрикой , определённой -адической нормой: . Это построение аналогично построению поля вещественных чисел как пополнения поля рациональных чисел при помощи нормы, являющейся обычной абсолютной величиной.
Норма продолжается по непрерывности до нормы на .
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .