Praktiskt nummer
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från
versionen som granskades den 10 november 2021; kontroller kräver
2 redigeringar .
Ett praktiskt tal eller panaritmiskt tal [1] är ett positivt heltal n så att alla mindre positiva heltal kan representeras som summan av olika delare av n . Till exempel är 12 ett praktiskt tal, eftersom alla tal från 1 till 11 kan representeras som summan av divisorerna 1, 2, 3, 4 och 6 i detta tal - förutom själva divisorerna har vi 5 = 3 + 2, 7 = 6 + 1, 8 = 6 + 2, 9 = 6 + 3, 10 = 6 + 3 + 1 och 11 = 6 + 3 + 2.
Sekvensen av praktiska siffror (sekvens A005153 i OEIS ) börjar med
1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, 54, 56, 60, 64, 66, 72, 78, 80, 84, 88, 90, 96, 100, 104, 108, 112, 120, 126, 128, 132, 140, 144, 150....
Praktiska tal användes av Fibonacci i sin bok Liber Abaci (1202) i samband med problemet med att representera rationella tal som egyptiska bråk . Fibonacci definierade inte formellt praktiska tal, men han gav en tabell över representation av egyptiska bråk för bråk med praktiska nämnare [2] .
Namnet "praktiskt nummer" gavs av Srinivasan [3] . Han observerade att "uppdelningen av pengar, vikt och andra mått med siffror som 4, 12, 16, 20 och 28, som vanligtvis är så obekväma att de förtjänar att ersättas av potenser 10." Han återupptäckte ett antal teoretiska egenskaper hos sådana siffror och var den första som försökte klassificera dessa siffror, medan Stuart [4] och Sierpinski [5] slutförde klassificeringen. Att definiera praktiska tal gör det möjligt att avgöra om ett tal är praktiskt genom att titta på faktoriseringen av ett tal. Varje jämnt perfekt tal och vilken potens av två som helst är ett praktiskt tal.
Det kan visas att praktiska tal liknar primtal i många avseenden [6] .
Beskrivning av praktiska siffror
Srinivasans ursprungliga beskrivning [3] säger att ett praktiskt tal inte kan vara ett otillräckligt tal , det är ett tal vars summa av alla divisorer (inklusive 1 och själva talet) är mindre än dubbelt så många, förutom en brist som är lika med ett. Om vi för ett praktiskt tal skriver ut en ordnad uppsättning divisorer , var och , så kan Srinivasans uttalande uttryckas av ojämlikheten
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\displaystyle {d_{1},d_{2},...,d_{j))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee8097ca46dbb7aef9bbce55ccb333176a206379)
![{\displaystyle d_{1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56b088c47dfeccdfe8268e53843cc965c20294c7)
![{\displaystyle d_{j}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64cc088b416f3e4689c3199ab4ae82a6267e42fc)
![{\displaystyle 2n\leqslant 1+\sum _{i=1}^{j}d_{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f50514c10fc123b6ab299a677d73ac36f42cb39)
.
Med andra ord måste den ordnade sekvensen av alla divisorer av ett praktiskt tal vara en komplett undersekvens .
![{\displaystyle {d_{1}<d_{2}<...<d_{j))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0c0745202d98b09c480f85b2b5f6b47e26dde61)
Denna definition utökades och kompletterades av Stuart [4] och Sierpinski [5] , som visade att bestämningen av huruvida ett tal är praktiskt bestäms av dess faktorisering till primtalsfaktorer . Ett positivt heltal större än ett med en faktorisering (med stigande primtalsdelare sorterade ) är praktiskt om och endast om var och en av dess primtalare är tillräckligt liten för att ha en representation som summan av mindre divisorer. För att detta ska vara sant måste det första primtalet vara lika med 2, och för varje i från 2 till k , för varje efterföljande primtal måste olikheten gälla
![{\displaystyle n=p_{1}^{\alpha _{1}}...p_{k}^{\alpha _{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36ab0c0a55581c59bafcd05b7f665484ffa24aa3)
![{\displaystyle p_{1}<p_{2}<\dots <p_{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/30dcea57e62febaea7ea7e7919e92ab85cd33aab)
![pi}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bab39399bf5424f25d957cdc57c84a0622626d2)
![{\displaystyle p_{i}-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c0f6a8c8813a07b1f678d4f1a5cae0c85dab7b)
![p_{1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9b58f22283ca46dd5da309cc34303b06a797783)
![pi}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bab39399bf5424f25d957cdc57c84a0622626d2)
där betyder summan av divisorerna för talet x . Till exempel är det praktiskt eftersom ojämlikheten gäller för varje primtal divisor: och .
![\sigma (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae09ff47b50183fbfd1ea5697c63963ec9eefa20)
![{\displaystyle 2\times 3^{2}\times 29\times 823=429606}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db265a9cf59e942dbeca55ee916cd0ec351ecc51)
![{\displaystyle 3\leqslant \sigma (2)+1=4.29\leqslant \sigma (2\ gånger 3^{2})+1=40}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c634e8c5c30b92a50b7cd179be16eb1db5de03d9)
![{\displaystyle 823\leqslant \sigma (2\ gånger 3^{2}\ gånger 29)+1=1171}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a645cd5f2ec98480b3506797996233ac831e1b47)
Villkoret ovan är nödvändigt och tillräckligt. I en riktning är detta villkor nödvändigt för att kunna representera n som en summa av divisorer , för om ojämlikheten kränktes skulle lägga till alla mindre divisorer ge en summa som är för liten för att få . I andra riktningen är tillståndet tillräckligt, vilket kan erhållas genom induktion. Mer strikt, om sönderdelningen av talet n uppfyller ovanstående villkor, så kan vilket tal som helst representeras som summan av delaren av talet n efter följande steg [4] [5] :
![{\displaystyle p_{i}-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c0f6a8c8813a07b1f678d4f1a5cae0c85dab7b)
![{\displaystyle p_{i}-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c0f6a8c8813a07b1f678d4f1a5cae0c85dab7b)
![{\displaystyle m\leqslant \sigma (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e49ba92f4c65e3903402c331a8a3b286cdbea6)
- Låt , och låt .
![{\displaystyle q=\min\{\lfloor m/p_{k}^{\alpha _{k))\rfloor ,\sigma (n/p_{k}^{\alpha _{k))\} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/304c9818184f8c0be72d7676efe01a475df7cbcb)
![{\displaystyle r=m-qp_{k}^{\sigma _{k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fb5d05b2fe22eca8eb7d4fc5c203a57a7a50964)
- Med tanke på att det kan visas genom induktion, vilket är praktiskt, kan vi hitta en representation av q som summan av divisorer .
![{\displaystyle q\leqslant \sigma (n/p_{k}^{\alpha _{k)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb97a1ab911ecf4062ee2f70036334be5f771b66)
![{\displaystyle n/p_{k}^{\alpha _{k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01635dd6713ce57a6eeca2da35f342323d22d613)
![{\displaystyle n/p_{k}^{\alpha _{k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01635dd6713ce57a6eeca2da35f342323d22d613)
- Med tanke på att det kan visas genom induktion, vilket är praktiskt, kan vi hitta en representation av r som summan av divisorer av .
![{\displaystyle r\leqslant \sigma (n)-p_{k}^{\alpha _{k))\sigma (n/p_{k}^{\alpha _{k)))=\sigma (n/ p_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f53a11009918e920f0fca0164752afe29f2196c)
![{\displaystyle n/p_{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ef486e085bdd55ece531e1acdcc20cae33c579a)
![{\displaystyle n/p_{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ef486e085bdd55ece531e1acdcc20cae33c579a)
- Divisorrepresentationen av r , tillsammans med koefficienten för varje divisor av divisorrepresentationen av q , bildar tillsammans representationen av m som summan av divisorerna för n .
![{\displaystyle p_{k}^{\alpha _{k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fdda2900d3ca39bba0352bc73530291165ac7d7)
Egenskaper
- Det enda udda praktiska talet är 1, för om n > 2 är ett udda tal, kan 2 inte uttryckas som summan av olika delare av n . Srinivasan [3] noterade att andra praktiska tal än 1 och 2 är delbara med 4 och/eller 6.
- Produkten av två praktiska tal är också ett praktiskt tal [7] . Ett starkare uttalande, den minsta gemensamma multipeln av två praktiska tal, är också ett praktiskt tal. På motsvarande sätt stängs mängden av alla praktiska tal under multiplikation.
- Det framgår av Stewart och Sierpinskis beskrivning av tal att i det fall där n är ett praktiskt tal och d är en av dess divisorer måste n*d också vara ett praktiskt tal.
- I uppsättningen av alla praktiska tal finns en uppsättning praktiska primtal. Ett praktiskt primtal är antingen ett praktiskt och kvadratfritt tal , eller ett praktiskt tal, och när det divideras med någon av dess primtalsdelare, vars exponent i nedbrytningen är större än 1, upphör att vara praktisk. Sekvensen av praktiska primtal (sekvens A267124 i OEIS ) börjar med
1, 2, 6, 20, 28, 30, 42, 66, 78, 88, 104, 140, 204, 210, 220, 228, 260, 272, 276, 304, 306, 303, 303, 303, 308, 303, 348, 364, 368, 380, 390, 414, 460...
Relation till andra klasser av nummer
Flera andra anmärkningsvärda uppsättningar av heltal består enbart av praktiska tal:
- Från egenskaperna ovan, för ett praktiskt tal n och en av dess divisorer d (det vill säga d | n ), måste n*d också vara ett praktiskt tal, så varje potens av 3 gånger 6 måste också vara ett praktiskt tal. eftersom 6 är vilken potens av 2 som helst.
- Vilken tvåpotens som helst är ett praktiskt tal [3] . En tvåpotens uppfyller trivialt beskrivningen av praktiska tal i termer av heltalsfaktorisering – alla primtal i talfaktoriseringen, p 1 , är lika med två, vilket är vad som krävs.
- Varje jämnt perfekt tal är också ett praktiskt tal [3] . Det följer av Eulers resultat att ett jämnt perfekt antal måste vara av formen . Den udda delen av denna expansion är lika med summan av divisorerna för den jämna delen, så varje udda primtalsdelare av ett sådant tal får inte vara större än summan av divisorerna för den jämna delen av talet. Detta nummer måste således uppfylla beskrivningen av praktiska siffror.
![{\displaystyle 2^{n-1}(2^{n}-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd65f770559bac921e8eed985ce1e8e2a2afe5b1)
- Varje urtal (produkten av de första i -primtalen för något tal i ) är ett praktiskt tal [3] . För de två första primorialerna, två och sex, är detta tydligt. Varje efterföljande primtal bildas genom att multiplicera primtal p i med ett mindre primtal som är delbart med både 2 och föregående primtal . Enligt Bertrands postulat , så att varje föregående primtalsdelare av primorialen är mindre än en av divisorerna av den tidigare primorialen. Genom induktion följer det att varje primorial uppfyller beskrivningen av praktiska tal. Eftersom urnumret är kvadratfritt per definition är det också ett praktiskt primtal.
![{\displaystyle p_{i}<2p_{i-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1da9e75a471cf2b7e35983759cb635267c05ee61)
- Genom att generalisera primtalen måste alla tal som är en produkt av potenser som inte är noll av de första k primtalen vara praktiska. Denna uppsättning inkluderar supersammansatta Ramanujan- tal (tal med ett antal divisorer större än något mindre positivt tal), såväl som faktorialer [3] .
Praktiska tal och egyptiska bråk
Om n är praktiskt kan vilket rationellt tal som helst av formen m / n med m < n representeras som en summa , där alla d i är distinkta delare av n . Varje term i denna summa reduceras till en bråkdel av ett , så att en sådan summa ger representationen av talet m / n som ett egyptiskt bråktal . Till exempel,
![{\displaystyle \sum {\tfrac {d_{i}}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e485ac69d240070a81d3b5458750558b171e4da)
Fibonacci ger i sin bok Liber Abaci från 1202 [2] några metoder för att hitta representationen av ett rationellt tal som ett egyptiskt bråktal. Av dessa är den första metoden att kontrollera om talet redan är en bråkdel av ett, och den andra metoden är att representera täljaren som summan av nämnarens divisorer, som beskrivits ovan. Denna metod garanterar framgång endast när nämnaren är ett praktiskt tal. Fibonacci gav tabeller över sådana representationer för bråk med de praktiska talen 6, 8, 12, 20, 24, 60 och 100 som nämnare.
Vause [8] visade att vilket tal x / y som helst kan representeras som ett egyptiskt bråk med termer. Beviset använder sökningen efter en följd av praktiska tal n i med egenskapen att vilket tal som helst mindre än n i kan skrivas som summan av olika delare av n i . Då väljs i så att u är delbart med y , vilket ger kvoten q och resten r . Av detta val följer att . Efter att ha utökat täljarna på formelns högra sida till summan av divisorerna för talet n i får vi representationen av talet i form av ett egyptiskt bråk. Tenenbaum och Yokota [9] använde en liknande teknik, med en annan sekvens av praktiska siffror, för att visa att alla nummer x / y har en egyptisk bråkrepresentation där den största nämnaren är .
![{\displaystyle \scriptstyle O({\sqrt {\log y)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/523f004618b8456888b33ed04559e3914d83ca48)
![{\displaystyle \scriptstyle O({\sqrt {\log n_{i-1))})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f69046415304d1945ac285cde9497b92d8743118)
![{\displaystyle n_{i-1}<y\leqslant n_{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/9348ccff3da7bd057d20298d0485e1b2a37ca798)
![{\displaystyle xn_{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e5f7b8d563541cc125ccc38482c7dcb4270476a)
![{\displaystyle \scriptstyle {\frac {x}{y}}={\frac {q}{n_{i}}}+{\frac {r}{yn_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c396427c6797d30055d3894641dd3dc0e13f0aaf)
![{\displaystyle \scriptstyle O({\frac {y\log ^{2}y}{\log \log y)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3a0e0837df2f5f5e66d92c68ff533e6427251e5)
Enligt förmodan från september 2015 av Chih-Wei Sun [10] har varje positivt rationellt tal en egyptisk bråkrepresentation, där vilken nämnare som helst är ett praktiskt tal. Det finns ett bevis på gissningen i David Eppsteins blogg [11] .
Primtalsanalogi
En anledning till intresset för praktiska tal är att många av deras egenskaper liknar primtals egenskaper . Dessutom är satser som liknar Goldbach-förmodan och tvillingförmodan kända för praktiska tal - alla positiva jämna tal är summan av två praktiska tal och det finns oändligt många tripletter av praktiska tal [12] . Giuseppe Melfi visade också att det finns oändligt många praktiska Fibonacci-nummer (sekvens A124105 i OEIS ). En liknande fråga om existensen av ett oändligt antal Fibonacci-primtal förblir öppen. Houseman och Shapiro [13] visade att det alltid finns ett praktiskt tal i intervallet för alla positiva reella x , vilket är analogen till Legendres gissningar för primtal.
![{\displaystyle x-2,x,x+2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3601156944a34fb338bedb9d43412584ed1db533)
![{\displaystyle [x^{2},(x+1)^{2}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75560c54d957b76c4880324a9df95a781aa5e67d)
Låt p ( x ) räkna antalet praktiska tal som inte överstiger x . Margenstern [14] antog att p ( x ) asymptotiskt är lika med cx /log x för någon konstant c , som liknar formeln i primtalssatsen och förstärker ett tidigare påstående av Erdős och Loxton [15] att praktiska tal har densitet noll i uppsättningen heltal. Sayes [16] visade att för lämpliga konstanter c 1 och c 2
Slutligen bevisade Weingartner [17] Margensterns gissning genom att visa det
för och någon konstant .
![{\displaystyle x\geqslant 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7cfc52e04b97b3f8c76da4a5864299cc5e26e9c)
![c>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ba126f626d61752f62eaacaf11761a54de4dc84)
Anteckningar
- ↑ Margenstern ( Margenstern 1991 ), citerar Robinson ( Robinson 1979 ) och Heyworth ( Heyworth 1980 ), använder namnet "panaritmiska tal".
- ↑ 12 Sigler , 2002 .
- ↑ 1 2 3 4 5 6 7 Srinivasan, 1948 .
- ↑ 1 2 3 Stewart, 1954 .
- ↑ 1 2 3 Sierpiński, 1955 .
- ↑ Hausman, Shapiro (1984 ); Margenstern (1991 ); Melfi (1996 ) Saias (1997 ).
- ↑ Vose, 1985 .
- ↑ Tenenbaum, Yokota, 1990 .
- ↑ En gissning om enhetsfraktioner som involverar primtal (länk inte tillgänglig) . Hämtad 30 maj 2018. Arkiverad från originalet 19 oktober 2018. (obestämd)
- ↑ 0xDE: Egyptiska bråk med praktiska nämnare . Hämtad 30 maj 2018. Arkiverad från originalet 2 januari 2019. (obestämd)
- ↑ Melfi, 1996 .
- ↑ Hausman, Shapiro, 1984 .
- ↑ Margenstern, 1991 .
- ↑ Erdős, Loxton, 1979 .
- ↑ Saias, 1997 .
- ↑ Weingartner, 2015 .
Litteratur
- Paul Erdős , Loxton JH Några problem i partitio numerorum // Journal of the Australian Mathematical Society (Serie A). - 1979. - T. 27 , nr. 03 . — S. 319–331 . - doi : 10.1017/S144678870001243X .
- Heyworth MR Mer om panaritmiska tal // Nya Zeeland Math. Mag.. - 1980. - T. 17 , nr. 1 . — S. 24–28 . . Som citeras i Margenstern ( 1991 ).
- Miriam Hausman, Harold N. Shapiro. Om praktiska siffror // Kommunikationer om ren och tillämpad matematik . - 1984. - T. 37 , nr. 5 . — S. 705–713 . - doi : 10.1002/cpa.3160370507 .
- Maurice Margenstern. Résultats et conjectures sur les nombres pratiques // Comptes Rendus de l'Académie des Sciences, Série I. - 1984. - Vol. 299 , nr. 18 . — S. 895–898 . Som citeras i Margenstern ( 1991 ).
- Maurice Margenstern. Les nombres pratiques: teorier, observationer och gissningar // Journal of Number Theory . - 1991. - T. 37 , nr. 1 . — S. 1–36 . - doi : 10.1016/S0022-314X(05)80022-8 .
- Giuseppe Melfi. På två gissningar om praktiska tal // Journal of Number Theory. - 1996. - T. 56 , nr. 1 . — S. 205–210 . - doi : 10.1006/jnth.1996.0012 .
- Dragoslav S. Mitrinovic, József Sandor, Borislav Crstici. III.50 Praktiska siffror // Handbok i talteori, Volym 1. - Kluwer Academic Publishers, 1996. - Vol 351. - S. 118–119. - (Matematik och dess tillämpningar). - ISBN 978-0-7923-3823-9 .
- Robinson DF egyptiska bråk via grekisk talteori // Nya Zeeland Math. Mag.. - 1979. - T. 16 , nr. 2 . — s. 47–52 . . Som citeras i Margenstern ( 1991 ) och Mitrinovic Mitrinović , Sándor & Crstici (1996 ).
- Entiers à diviseurs denses, I // Journal of Number Theory. - 1997. - T. 62 , nr. 1 . — S. 163–191 . - doi : 10.1006/jnth.1997.2057 .
- Fibonaccis Liber Abaci / Laurence E. Sigler (översättning). - Springer-Verlag, 2002. - S. 119-121 . — ISBN 0-387-95419-8 .
- Waclaw Sierpinski . Sur une propriété des nombres naturels // Annali di Matematica Pura ed Applicata. - 1955. - T. 39 , nr. 1 . — S. 69–74 . - doi : 10.1007/BF02410762 .
- Srinivasan AK Praktiska siffror // Aktuell vetenskap . - 1948. - T. 17 . — S. 179–180 .
- Stewart BM Summor av distinkta divisorer // American Journal of Mathematics . - The Johns Hopkins University Press, 1954. - V. 76 , nr. 4 . — S. 779–785 . - doi : 10.2307/2372651 . — .
- Tenenbaum G., Yokota H. Längd och nämnare för egyptiska bråk // Journal of Number Theory. - 1990. - T. 35 , nr. 2 . — S. 150–156 . - doi : 10.1016/0022-314X(90)90109-5 .
- Vose M. Egyptiska bråk // Bulletin of the London Mathematical Society . - 1985. - T. 17 , nr. 1 . - S. 21 . - doi : 10.1112/blms/17.1.21 .
- Weingartner A. Praktiska tal och fördelningen av divisorer // The Quarterly Journal of Mathematics. - 2015. - T. 66 , nr. 2 . — S. 743–758 . - doi : 10.1093/qmath/hav006 . - arXiv : 1405.2585 .
Länkar