Весьма суперсоставное число

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

Функция делителя d(n) вплоть до n = 250

Простые множители (перевод текста вверху иллюстрации Простые множители весьма суперсоставных, колоссально избыточных чисел).

Перечислены первые 10 весьма суперсоставных чисел и их факторизация.

# простые множители	ВССЧ n	простая факторизация	простые показатели степени	# делители d(n)	праймориал факторизация
1	2	2	1	2	2	2
2	6	2 ⋅ 3	1,1	22	4	6
3	12	22 ⋅ 3	2,1	3×2	6	2 ⋅ 6
4	60	22 ⋅ 3 ⋅ 5	2,1,1	3×22	12	2 ⋅ 30
5	120	23 ⋅ 3 ⋅ 5	3,1,1	4×22	16	22 ⋅ 30
6	360	23 ⋅ 32 ⋅ 5	3,2,1	4×3×2	24	2 ⋅ 6 ⋅ 30
7	2520	23 ⋅ 32 ⋅ 5 ⋅ 7	3,2,1,1	4×3×22	48	2 ⋅ 6 ⋅ 210
8	5040	24 ⋅ 32 ⋅ 5 ⋅ 7	4,2,1,1	5×3×22	60	22 ⋅ 6 ⋅ 210
9	55440	24 ⋅ 32 ⋅ 5 ⋅ 7 ⋅ 11	4,2,1,1,1	5×3×23	120	22 ⋅ 6 ⋅ 2310
10	720720	24 ⋅ 32 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 13	4,2,1,1,1,1	5×3×24	240	22 ⋅ 6 ⋅ 30030

График числа делителей целых чисел от 1 до 1000. Сверхсоставные числа выделены жирным шрифтом, а весьма суперсоставные числа отмечены звёздочкой. В файле SVG наведите указатель мыши на полосу, чтобы просмотреть его статистику.

Для весьма суперсоставного числа n существует положительное действительное число ε такое, что для всех натуральных чисел k, меньших n, мы имеем

$\frac{d(n)}{n^{\mathrm{\epsilon <!--\; \epsilon \; -->}}}\ge <!--\; \ge \; -->\frac{d(k)}{k^{\mathrm{\epsilon <!--\; \epsilon \; -->}}}$${\frac {d(n)}{n^{\varepsilon }}}\geq {\frac {d(k)}{k^{\varepsilon }}}$

и для всех натуральных чисел k, больших n, имеем

$\frac{d(n)}{n^{\mathrm{\epsilon <!--\; \epsilon \; -->}}}>\frac{d(k)}{k^{\mathrm{\epsilon <!--\; \epsilon \; -->}}}$${\frac {d(n)}{n^{\varepsilon }}}>{\frac {d(k)}{k^{\varepsilon }}}$

где d(n), функция делителей, обозначает количество делителей числа n. Термин был введён Рамануджаном (1915 год).

Первые 15 весьма суперсоставных чисел 2, 6, 12, 60, 120, 360, 2520, 5040, 55440, 720720, 1441440, 4324320, 21621600, 367567200, 6983776800 (последовательность A002201 в OEIS) также являются первыми 15 колоссально избыточными числами, которые удовлетворяют аналогичному условию, основанному на функции суммы делителей, а не на числе делителей.

СвойстваПравить

 

Диаграмма Эйлера избыточных, примитивно избыточных, весьма избыточных, суперизбыточных, колоссально избыточных, сверхсоставных, весьма суперсоставных, странных и совершенных чисел меньше 100 по отношению к недостаточным и составным числам.

Все весьма суперсоставные числа являются сверхсоставными.

Эффективное построение множества всех весьма суперсоставных чисел даётся следующим монотонным отображением положительных действительных чисел. Пусть

$e_p(x)=\lfloor \frac{1}{\sqrt[x]{p}-<!--\; -\; -->1}\rfloor$$e_{p}(x)=\left\lfloor {\frac {1}{{\sqrt[{x}]{p}}-1}}\right\rfloor \quad$ 

для любого простого числа p и положительного действительного x. Тогда

$s(x)=\underset{p\in <!--\; \in \; -->\mathbb{P}}{\prod <!--\; \prod \; -->}{p}^{e_p(x)}$$\quad s(x)=\prod _{p\in \mathbb {P} }p^{e_{p}(x)}\quad$  является весьма суперсоставным числом.

Обратите внимание, что произведение не нужно вычислять бесконечно, потому что если $p>2^x$$p>2^{x}$ , тогда $e_p(x)=0$$e_{p}(x)=0$ , поэтому произведение для расчёта $s(x)$$s(x)$  может быть прекращено при $p\ge <!--\; \ge \; -->2^x$$p\geq 2^{x}$ .

Также обратите внимание, что в определении $e_p(x)$$e_{p}(x)$ , $1/x$$1/x$  аналогично $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$  в неявном определении весьма суперсоставного числа.

Более того, для каждого весьма суперсоставного числа $s^{\mathrm{\prime <!--\; \prime \; -->}}$$s^{\prime }$  существует полуоткрытый интервал $I\subset <!--\; \subset \; -->{\mathbb{R}}^{+}$$I\subset \mathbb {R} ^{+}$  такой, что $\mathrm{\forall <!--\; \forall \; -->}x\in <!--\; \in \; -->I:s(x)=s^{\mathrm{\prime <!--\; \prime \; -->}}$$\forall x\in I:s(x)=s^{\prime }$ .

Из этого представления следует, что существует бесконечная последовательность ${\mathrm{\pi <!--\; \pi \; -->}}_1,{\mathrm{\pi <!--\; \pi \; -->}}_2,\dots <!--\; \dots \; -->\in <!--\; \in \; -->\mathbb{P}$$\pi _{1},\pi _{2},\ldots \in \mathbb {P}$  такая, что для n-го весьма суперсоставного числа $s_n$$s_{n}$  содержит

$s_n=\underset{i=1}{\overset{n}{\prod <!--\; \prod \; -->}}{\mathrm{\pi <!--\; \pi \; -->}}_i$$s_{n}=\prod _{i=1}^{n}\pi _{i}$ 

Первыми ${\mathrm{\pi <!--\; \pi \; -->}}_i$$\pi _{i}$  являются 2, 3, 2, 5, 2, 3, 7, ... (последовательность A000705 в OEIS). Другими словами, частное двух последовательных весьма суперсоставных чисел является простым числом.

Весьма суперсоставные корниПравить

Первые несколько весьма суперсоставных чисел часто использовались как основание системы счисления из-за их высокой делимости по размеру. Например:

• Двоичное (основание 2)
• Шестиричное^[en] (основание 6)
• Двенадцатеричное (основание 12)
• Шестидесятеричное (основание 60)

Более крупные весьма суперсоставные числа можно использовать и по-другому. Число 120 отображается как длинная сотня, а число 360 — как число градусов в круге.

СсылкиПравить

• Ramanujan, S. (1915). “Highly composite numbers” (PDF). Proc. London Math. Soc. Series 2. 14: 347—409. DOI:10.1112/plms/s2_14.1.347. JFM 45.1248.01. Reprinted in Collected Papers (Ed. G. H. Hardy et al.), New York: Chelsea, pp. 78–129, 1962
• Handbook of number theory I. — Dordrecht : Springer-Verlag, 2006. — P. 45–46. — ISBN 1-4020-4215-9.

Внешние ссылкиПравить

• Weisstein, Eric W. Весьма суперсоставное число (англ.) на сайте Wolfram MathWorld.