Vizualizare sursă pentru „Număr superabundent”

{{Infocaseta Șiruri de numere întregi
| number = [[infinit]]
| formula = <math>\frac{\sigma(m)}{m} < \frac{\sigma(n)}{n}</math>
| first_terms = [[1 (cifră)|1]], [[2 (cifră)|2]], [[4 (cifră)|4]], [[6 (cifră)|6]], [[12 (număr)|12]], [[24 (număr)|24]], [[36 (număr)|36]]
| OEIS = A004394
| OEIS_name = superabundant
}}
În [[matematică]], un '''număr superabundent''' este un anumit tip de [[număr natural]]. Un număr natural {{mvar|n}} este numit superabundent atunci când, pentru toate {{mvar|m}}&nbsp;<&nbsp;{{mvar|n}}
:<math>\frac{\sigma(m)}{m} < \frac{\sigma(n)}{n}</math>
unde ''σ'' denotă [[funcția divizor |funcția suma divizorilor]] (adică suma tuturor divizorilor pozitivi ai {{mvar|n}}, inclusiv {{mvar|n}} în sine). Primele câteva numere superabundente sunt:<ref>{{OEIS|A004394}}</ref>
: [[1 (cifră)|1]], [[2 (cifră)|2]], [[4 (cifră)|4]], [[6 (cifră)|6]], [[12 (număr)|12]], [[24 (număr)|24]], [[36 (număr)|36]], [[48 (număr)|48]], [[60 (număr)|60]], [[120 (număr)|120]], [[240 (număr)|240]], 360, 720, 840, 1260, 1680, 2520, 5040, 10080, 15120, 25200, 27720, 55440, 110880, 166320, 277200, 332640, 554400, 665280, 720720, 1441440, 2162160, 3603600, 4324320, 7207200, 8648640, 10810800, 21621600, …

De exemplu, numărul 5 nu este un număr superabundent, deoarece pentru 1, 2, 3, 4 și 5 ''σ'' este 1, 3, 4, 7, 6 și 7/4&nbsp;>&nbsp;6/5.

Numerele superabundente au fost definite de {{Harvard citations|first1=Leonidas|last1=Alaoglu|author1-link=Leonidas Alaoglu|first2=Paul|last2=Erdős|author2-link=Paul Erdős|year=1944|txt=yes}}. Necunoscute lui Alaoglu și Erdős, aproximativ 30 de pagini din lucrarea lui [[Srinivasa Ramanujan]] din 1915, ''Highly composite numbers'' (în {{ro|[[număr extrem compus |Numere extrem compuse]]}}), au fost omise. Aceste pagini au fost publicate ulterior în Jurnalul Ramanujan 1 (1997), 119–153. În secțiunea 59 a acelei lucrări, Ramanujan definește numerele extrem compuse, care includ numerele superabundente.

== Proprietăți ==
{{Diagrama Euler a numerelor cu mai mulți divizori}}
Alaoglu și Erdős au demonstrat că dacă {{mvar|n}} este superabundent, atunci există numer {{mvar|k}} și {{mvar|a}}<sub>1</sub>, {{mvar|a}}<sub>2</sub>, ..., {{mvar|a}}<sub>k</sub> astfel încât
:<math>n=\prod_{i=1}^k (p_i)^{a_i}</math>
unde {{mvar|p}}<sub>i</sub> este al {{mvar|i}}-lea [[număr prim]], iar
:<math>a_1\geq a_2\geq\dotsb\geq a_k\geq 1.</math>

Adică au demonstrat că, dacă {{mvar|n}} este superabundent, descompunerea în factori primi a lui {{mvar|n}} are exponenți care nu cresc (adică exponentul unui prim mai mare nu este niciodată mai mare ca acela al unui prim mai mic) și că toți primii până la <math>p_k</math> sunt factori ai {{mvar|n}}. Apoi, că orice număr superabundent este un număr întreg și este un [[multiplu]] al celui de al {{mvar|k}}-lea [[primorial]] <math>p_k\#.</math>

În fapt, ultimul exponent {{mvar|a}}<sub>''k''</sub> este egal cu 1, excepțiile fiind când {{mvar|n}} este 4 sau 36.

Alaoglu și Erdős au observat și că toate numerele superabundente sunt numere extrem abundente.

Numerele superabundente sunt strâns legate de numerele extrem compuse. Nu toate numerele superabundente sunt numere extrem compuse. De fapt, doar 449 de numere superabundente și extrem compuse sunt aceleași.<ref>{{OEIS|A166981}}</ref> De exemplu, 7560 este extrem compus, dar nu superabundent. În schimb, 1163962800 este superabundent, dar nu și extrem compus.

Nu toate numerele superabundente sunt [[număr harshad |numere harshad]]. Prima excepție este al 105-lea număr superabundent, 149602080797769600. Suma cifrelor sale este 81, dar 81 nu este un divizor al acestui număr.

Numerele superabundente prezintă interes și în legătură cu [[ipoteza Riemann]] și cu teorema Robin că ipoteza Riemann este echivalentă cu
:<math>\frac{\sigma(n)}{e^\gamma n\log\log n} < 1</math>
pentru toate {{mvar|n}} mai mari decât cea mai mare excepție cunoscută, numărul superabundent 5040. Dacă această inegalitate are un contraexemplu mai mare, demonstrând că ipoteza Riemann este falsă, cel mai mic astfel de contraexemplu trebuie să fie un număr superabundent.{{harv|Akbary|Friggstad|2009}}

Nu toate numerele superabundente sunt [[Număr colosal abundent |colosal abundente]].

== Extensie ==
'''Numerele generalizate {{mvar|k}}-superabundente''' sunt acelea care <math>\frac{\sigma_k(m)}{m^k} < \frac{\sigma_k(n)}{n^k}</math> pentru toți <math>m < n</math>, unde <math>\sigma_k(n)</math> este suma puterilor de gradul {{mvar|k}} ale divizorilor lui {{mvar|n}}.

Numerele 1-superabundente sunt numere superabundente. Numerele 0-superabundente sunt numere extrem compuse. De exemplu, numerele generalizate 2-superabundente sunt 1, 2, 4, 6, 12, 24, 48, 60, 120, 240, ... <ref>{{OEIS|A208767}}</ref>

== Note ==
<references />

== Bibliografie ==
*{{en icon}} {{citation|first1=Keith|last1=Briggs|title=Abundant numbers and the Riemann hypothesis|journal=Experimental Mathematics|volume=15|year=2006|pages=251–256}}.
*{{en icon}} {{citation|doi=10.4169/193009709X470128|first1=Amir|last1=Akbary|first2=Zachary|last2=Friggstad|title=Superabundant numbers and the Riemann hypothesis|journal=American Mathematical Monthly|volume=116|issue=3|year=2009|pages=273–275}}.
*{{en icon}} {{citation|first1=Leonidas|last1=Alaoglu|author1-link=Leonidas Alaoglu|first2=Paul|last2=Erdős|author2-link=Paul Erdős|year=1944|title=On highly composite and similar numbers|journal=Transactions of the American Mathematical Society|volume=56|issue=3|pages=448–469|doi=10.2307/1990319|publisher=[[American Mathematical Society]]|jstor=1990319}}.

== Legături externe ==
{{Portal|Matematică}}
*{{en icon}} {{MathWorld|SuperabundantNumber|Superabundant number}}

{{Control de autoritate}}

[[Categorie:Șiruri de numere întregi]]