Весьма избыточное число (Fyv,bg n[Qdmkcuky cnvlk)

Весьма избыточное число или высокоизбыточное число — это натуральное число, сумма делителей которого (включая само число) больше суммы делителей любого меньшего натурального числа.

Высокоизбыточные числа и некоторые подобные классы чисел ввёл Пиллай^[2], а раннюю работу на эту тему сделали Алаоглу и Эрдёш^[3]. Алаоглу и Эрдёш перечислили все высокоизбыточные числа вплоть до 10⁴ и показали, что число высокоизбыточных чисел, меньших N, по меньшей мере пропорционально log² N.

Формальное определение и примеры

Формально, натуральное число n называется весьма избыточным тогда и только тогда, когда для всех натуральных чисел m < n

\sigma (n)>\sigma (m)

,

где σ означает функцию «сумма делителей». Несколько первых высокоизбыточных чисел

1, 2, 3, 4, 6, 8, 10, 12, 16, 18, 20, 24, 30, 36, 42, 48, 60, ... (последовательность A002093 в OEIS).

Например, 5 не высокоизбыточно, поскольку σ(5) = 5+1 = 6 меньше, чем σ(4) = 4 + 2 + 1 = 7, в то время как 8 высокоизбыточно, поскольку σ(8) = 8 + 4 + 2 + 1 = 15 больше, чем все предыдущие значения σ.

Кроме чисел 1 и 3, других высокоизбыточных нечётных чисел нет^[4]

Связь с другими множествами чисел

Хотя первые восемь факториалов являются высокоизбыточными, таковыми будут не все факториалы. Например,

σ(9!) = σ(362880) = 1481040,

но существует меньшее число с большей суммой делителей,

σ(360360) = 1572480,

так что 9! не высокоизбыточно.

Алаоглу и Эрдёш заметили, что все суперизбыточные числа являются высокоизбыточными, и поставили вопрос, существует ли бесконечное число высокоизбыточных чисел, не являющихся суперизбыточными. На этот вопрос утвердительно ответил Жан-Луис Николас^[5].

Вопреки терминологии, не все высокоизбыточные числа являются избыточными. В частности, ни одно из семи первых высокоизбыточных чисел не является избыточным.

7200 является наибольшим полнократным числом, являющимся одновременно высокоизбыточным, все большие высокоизбыточные числа имеют простой множитель, делящий число только однократно. По той же причине 7200 является наибольшим высокоизбыточным числом с нечётной суммой делителей^[6].

Примечания

↑ Палочки Кюизенера — это счётные палочки для начальных классов школы, предназначенные для обучения счёту и понимания деления. Палочки имеют различную длину и раскрашены в различные цвета. Палочки были придуманы бельгийским школьным учителем Георгом Кюизенером.
↑ Pillai, 1943.
↑ Alaoglu, Erdős, 1944.
↑ См. статью Алаоглу и Эрдёша (Alaoglu, Erdős 1944), p. 466. Алаоглу и Эрдёш высказывают более сильное утверждение, что все высокоизбыточные числа, превосходящие 210, делятся на 4, но это утверждение ошибочно — 630 является высокоизбыточным, но на 4 не делится. (Фактически, только это число 630 и является контрпримером, все большие высокоизбыточные числа делятся на 12.)
↑ Nicolas, 1969.
↑ Alaoglu, Erdős, 1944, с. 464–466.

Литература

Leonidas Alaoglu, Paul Erdős. On highly composite and similar numbers // Transactions of the American Mathematical Society. — 1944. — Т. 56, вып. 3. — С. 448–469. — doi:10.2307/1990319. — JSTOR 1990319.
Jean-Louis Nicolas. Ordre maximal d'un élément du groupe S_n des permutations et "highly composite numbers" // Bull. Soc. Math. France. — 1969. — Т. 97. — С. 129–191.
Subbayya Sivasankaranarayana Pillai. Highly abundant numbers // Bull. Calcutta Math. Soc.. — 1943. — Т. 35. — С. 141–156.

[1] Палочки Кюизенера — это счётные палочки для начальных классов школы, предназначенные для обучения счёту и понимания деления. Палочки имеют различную длину и раскрашены в различные цвета. Палочки были придуманы бельгийским школьным учителем Георгом Кюизенером.

[_9cadc4614df8a7c1-2] Pillai, 1943.

[_9f2f90b6afbfc8e0-3] Alaoglu, Erdős, 1944.

[4] См. статью Алаоглу и Эрдёша (Alaoglu, Erdős 1944), p. 466. Алаоглу и Эрдёш высказывают более сильное утверждение, что все высокоизбыточные числа, превосходящие 210, делятся на 4, но это утверждение ошибочно — 630 является высокоизбыточным, но на 4 не делится. (Фактически, только это число 630 и является контрпримером, все большие высокоизбыточные числа делятся на 12.)

[_54985f112e3b0bbf-5] Nicolas, 1969.

[_15ec0bb0d7d6f1f1-6] Alaoglu, Erdős, 1944, с. 464–466.

[1]

[2]

[3]

[4]

[5]

[6]

Числа по характеристикам делимости
Общие сведения	Факторизация целых чисел Делимость Унитарный делитель Функция делителей Простое число Основная теорема арифметики Арифметическое число
Факторизационные формы	Простое число Составное число Полупростое число Прямоугольное число Сфеническое число Бесквадратное число Полнократное число Совершенная степень Ахиллесово число Гладкое число Регулярное число Грубое число Необычное число
С ограниченными делителями	Совершенное число Слегка недостаточные числа Слегка избыточные числа Мультисовершенное число Гемисовершенные числа Гиперсовершенное число Суперсовершенное число Унитарное простое Полусовершенное число Параритмическое число Число Эрдёша-Николя
Числа с многими делителями	Избыточные числа Примитивные избыточные числа Высокоизбыточные числа Суперизбыточные числа Колоссально избыточные числа Сверхсоставное число Весьма суперсоставное число Странное число
Связанные с аликвотными последовательностями	Неприкосновенное число Дружественные числа Общественные числа Квазидружественные числа
Другое	Недостаточные числа Приятельские числа Сублимированные числа Числа Оре Скромное число Равноцифровые числа Экстравагантное число