Número altamente compuesto superior
# Número altamente compuesto superior

En matemáticas, un número altamente compuesto superior (SHCH por sus siglas en inglés) es un número natural que tiene la relación más alta de su número de divisibilidad con alguna potencia positiva de sí mismo que cualquier otro número. Es una restricción más fuerte que la de número altamente compuesto, que se define por tener más divisores que cualquier entero positivo más pequeño.

## Ejemplos

A continuación se enumeran los primeros 10 números altamente compuestos superiores y su factorización.

| # Factores primos | SHCN n | Factorización prima | Exponentes primos | # Divisores d(n) | # Divisores d(n) | Factorización primorial |
| - | - | - | - | - | - | - |
| 1 | 2 | 2 | 1 | 2 | 2 | 2 |
| 2 | 6 | 2 ⋅ 3 | 1,1 | $2^2$ | 4 | 6 |
| 3 | 12 | $2^2$ ⋅ 3 | 2,1 | 3×2 | 6 | 2 ⋅ 6 |
| 4 | 60 | $2^2$ ⋅ 3 ⋅ 5 | 2,1,1 | $3×2^2$ | 12 | 2 ⋅ 30 |
| 5 | 120 | $2^3$ ⋅ 3 ⋅ 5 | 3,1,1 | $4×2^2$ | 16 | $2^2$ ⋅ 30 |
| 6 | 360 | $2^3$ ⋅ $3^2$ ⋅ 5 | 3,2,1 | 4×3×2 | 24 | 2 ⋅ 6 ⋅ 30 |
| 7 | 2520 | $2^3$ ⋅ $3^2$ ⋅ 5 ⋅ 7 | 3,2,1,1 | $4×3×2^2$ | 48 | 2 ⋅ 6 ⋅ 210 |
| 8 | 5040 | $2^4$ ⋅ $3^2$ ⋅ 5 ⋅ 7 | 4,2,1,1 | $5×3×2^2$ | 60 | $2^2$ ⋅ 6 ⋅ 210 |
| 9 | 55440 | $2^4$ ⋅ $3^2$ ⋅ 5 ⋅ 7 ⋅ 11 | 4,2,1,1,1 | $5×3×2^3$ | 120 | $2^2$ ⋅ 6 ⋅ 2310 |
| 10 | 720720 | $2^4$ ⋅ $3^2$ ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 13 | 4,2,1,1,1,1 | $5×3×2^4$ | 240 | $2^2$ ⋅ 6 ⋅ 30030 |

Para un número superior altamente compuesto n existe un número real positivo ε tal que para todos los números naturales k menores que n, se tiene que

    ${\frac {d(n)}{n^{\varepsilon }}}\geq {\frac {d(k)}{k^{\varepsilon }}}$

y para todos los números naturales k mayores que n se cumple que

    ${\frac {d(n)}{n^{\varepsilon }}}>{\frac {d(k)}{k^{\varepsilon }}}$

donde d(n), la función divisor, denota el número de divisores de n. El término fue acuñado por Srinivasa Ramanujan (1915).

Por ejemplo, el número con más divisores con respecto al valor de su raíz cuadrada es 12; lo que se puede demostrar revisando los altamente compuestos cercanos a 12. ${\frac {2}{2^{.5}}}\approx 1.414,{\frac {3}{4^{.5}}}=1.5,{\frac {4}{6^{.5}}}\approx 1.633,{\frac {6}{12^{.5}}}\approx 1.732,{\frac {8}{24^{.5}}}\approx 1.633,{\frac {12}{60^{.5}}}\approx 1.549$

120 es otro número altamente compuesto superior porque tiene la proporción más alta de divisores con respecto a sí mismo elevado a la potencia 0,4. ${\frac {9}{36^{.4}}}\approx 2.146,{\frac {10}{48^{.4}}}\approx 2.126,{\frac {12}{60^{.4}}}\approx 2.333,{\frac {16}{120^{.4}}}\approx 2.357,{\frac {18}{180^{.4}}}\approx 2.255,{\frac {20}{240^{.4}}}\approx 2.233,{\frac {24}{360^{.4}}}\approx 2.279$

Los primeros 15 números altamente compuestos superiores, 2, 6, 12, 60, 120, 360, 2520, 5040, 55440, 720720, 1441440, 4324320, 21621600, 367567200, 6983776800 (sucesión A002201 en OEIS) son también los primeros 15 números colosalmente abundantes, que cumplen condiciones similares basadas en la función suma de divisores en lugar del número de divisores. Sin embargo, ningún conjunto es un subconjunto del otro.

## Propiedades

Todos los números altamente compuestos superiores son altamente compuestos. Esto es fácil de probar: si hay algún número k que tiene el mismo número de divisores que n pero es menor que n (es decir, $d(k)=d(n)$, pero $k<n$), entonces ${\frac {d(k)}{k^{\varepsilon }}}>{\frac {d(n)}{n^{\varepsilon }}}$ para todo ε positivo, por lo que si un número n no es altamente compuesto, no puede ser altamente compuesto superior.

Una construcción efectiva del conjunto de todos los números altamente compuestos superiores está dada por la siguiente aplicación monótona de los números reales positivos. Vamos

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

para cualquier número primo p y real x positivo. Entonces

    $\quad s(x)=\prod _{p\in \mathbb {P} }p^{e_{p}(x)}\quad$ es un número altamente compuesto superior.

Téngase en cuenta que el producto no necesita calcularse indefinidamente, porque si $p>2^{x}$ entonces $e_{p}(x)=0$, por lo que el producto para calcular $s(x)$ puede cancelarse una vez por $p\geq 2^{x}$.

También hay que considerar que en la definición de $e_{p}(x)$, $1/x$ es análogo a $\varepsilon$ en la definición implícita de un número altamente compuesto superior.

Además, para cada número altamente compuesto superior $s^{\prime }$ existe un intervalo semiabierto $I\subset \mathbb {R} ^{+}$ tal que $\forall x\in I:s(x)=s^{\prime }$.

Esta representación implica que existe una secuencia infinita de $\pi _{1},\pi _{2},\ldots \in \mathbb {P}$ tal que para el n-ésimo número altamente compuesto superior $s_{n}$ se cumple que

    $s_{n}=\prod _{i=1}^{n}\pi _{i}$

Los primeros son $\pi _{i}$ son 2, 3, 2, 5, 2, 3, 7, ... (sucesión A000705 en OEIS). En otras palabras, el cociente de dos números altamente compuestos superiores sucesivos es un número primo.

## Raíces superiores altamente compuestas

Los primeros números altamente compuestos superiores se han utilizado a menudo como bases, debido a su alta divisibilidad con respecto a su tamaño. Por ejemplo:

* Sistema binario (base 2)
* Sistema senario (base 6)
* Sistema duodecimal (base 12)
* Sistema sexagesimal (base 60)

Los números altamente compuestos superiores más grandes se pueden usar de otras maneras. Por ejemplo, el 120 aparece como el cien largo (el sistema de numeración usado en el ámbito cultural de las lenguas germánicas hasta el siglo XV), mientras que 360 ​​aparece como el número de grados de un círculo completo.

