Супернатуральные числа (иногда также именуемые обобщёнными натуральными числами или числами Штайница ) являются обобщением натуральных чисел . Супернатуральное число ${\displaystyle \omega }$ является формальным произведением :

${\displaystyle \omega =\prod _{p}p^{n_{p}},}$

где ${\displaystyle p}$ может быть любым простым числом , а каждое ${\displaystyle n_{p}}$ является или натуральным числом , или бесконечностью . Иногда пишут ${\displaystyle v_{p}(\omega )}$ для обозначения ${\displaystyle n_{p}}$ . Если не выполняется условие ${\displaystyle n_{p}=\infty }$ и имеется только конечное число ненулевых ${\displaystyle n_{p}}$ , получаем стандартный натуральный ряд. Супернатуральные числа позволяют расширить ряд натуральных чисел, используя возможность бесконечного числа простых факторов, и позволяют любому данному простому числу делить число ${\displaystyle \omega }$ «бесконечнократно», приравнивая показатель экспоненты к бесконечности.

Не существует естественного способа определить сложение на множестве супернатуральных чисел, но их можно перемножать: ${\displaystyle \prod _{p}p^{n_{p}}\cdot \prod _{p}p^{m_{p}}=\prod _{p}p^{n_{p}+m_{p}}}$ . Аналогичным образом на них распространяется понятие делимости ${\displaystyle \omega _{1}\mid \omega _{2}}$ если ${\displaystyle v_{p}(\omega _{1})\leq v_{p}(\omega _{2})}$ для всех ${\displaystyle p}$ . Можно также ввести для супернатуральных чисел понятия наименьшего общего кратного и наибольшего общего делителя , определив

${\displaystyle \displaystyle \operatorname {lcm} (\{\omega _{i}\})\displaystyle =\prod _{p}p^{\sup(v_{p}(\omega _{i}))}}$

${\displaystyle \displaystyle \operatorname {gcd} (\{\omega _{i}\})\displaystyle =\prod _{p}p^{\inf(v_{p}(\omega _{i}))}}$

С помощью этих алгоритмов можно как получить наименьшее общее кратное и наибольший общий делитель для бесконечного количества натуральных чисел, так и провести аналогичную процедуру для супернатуральных чисел.

Обычные p-адические функции можно распространить на супернатуральные числа, определив ${\displaystyle v_{p}(\omega )=n_{p}}$ для каждого ${\displaystyle p}$ .

Супернатуральные числа используются для определения порядков и индексов проконечных групп ; благодаря этому удалось обобщить на проконечные группы многие теоремы о конечных группах .

Ссылки