Delbarhet
Delbarhet är ett av de grundläggande begreppen i aritmetik och talteori som är förknippat med divisionsoperationen . Ur mängdteorin är delbarheten av heltal en relation definierad på mängden heltal .
Definition
Om det för något heltal och ett heltal finns ett sådant heltal , så säger de att talet är delbart med eller som delar
I det här fallet kallas talet för talets divisor , utdelningen blir en multipel av talet , och talet kallas kvoten för att dividera med .
Även om egenskapen delbarhet definieras på hela uppsättningen av heltal , är det vanligtvis bara delbarheten av naturliga tal som beaktas . I synnerhet räknar funktionen av antalet divisorer av ett naturligt tal endast dess positiva divisorer.
Notation
- betyder [1] , som är delbart med , eller att talet är en multipel av .
- betyder att delar , eller, vad är samma: - divisor .
Relaterade definitioner
- Varje naturligt tal större än 1 har minst två naturliga delare: 1 och själva talet. I det här fallet kallas naturliga tal som har exakt två divisorer primtal , och de med fler än två divisorer kallas sammansatta . Enheten har exakt en divisor och är varken primtal eller sammansatt.
- Varje naturligt tal större än har minst en primtalsdelare .
- En riktig divisor för ett tal är vilken divisor som helst förutom själva talet. Primtal har exakt en riktig divisor, en.
- Begreppet triviala divisorer används också : detta är själva talet och enheten. Således kan ett primtal definieras som ett tal som inte har några andra divisorer än triviala.
- Oavsett delbarheten av ett heltal med ett heltal kan ett tal alltid delas med med en rest , det vill säga representeras som:
var .
I denna relation kallas talet den
ofullständiga kvoten , och talet är
resten av divisionen med . Både kvoten och resten är unikt definierade.
Ett tal är jämnt delbart med om och endast om resten av division med är noll.
- Alla tal som delar båda och kallas deras gemensamma divisor ; det största av dessa tal kallas den största gemensamma divisorn . Varje par av heltal har minst två gemensamma delare: och . Om det inte finns några andra gemensamma divisorer kallas dessa tal relativt primtal .
- Två heltal och sägs vara lika delbart med ett heltal om antingen och , och är delbart med , eller varken , eller är delbart med det.
- Ett tal sägs vara en multipel av ett tal om det är delbart med utan rest. Om ett tal är delbart utan rest med tal och , då kallas det deras gemensamma multipel . Det minsta naturliga talet kallas den minsta gemensamma multipeln av talen och .
Egenskaper
Obs: Alla formler i det här avsnittet antar att det är heltal.
- Vilket heltal som helst är delbart med ett:
- Endast noll är delbart med noll:
,
och kvoten är inte definierad i detta fall.
- En är bara delbar med en:
- För vilket heltal som helst finns det ett heltal för vilket
- Om och då Det följer också att om och då
- För att vara nödvändig och tillräcklig för att
- Om då
I heltalssystemet gäller endast de två första av dessa tre egenskaper; till exempel, och men . Det vill säga, delbarhetsförhållandet för heltal är bara en
förbeställning .
Antal divisorer
Antalet positiva delare av ett naturligt tal , vanligtvis betecknat är en multiplikativ funktion , för vilken den asymptotiska Dirichlet-formeln är sann :
Här är Euler-Mascheroni-konstanten , och för Dirichlet har detta resultat förbättrats många gånger om och är för närvarande det mest kända resultatet (erhölls 2003 av Huxley). Det minsta värdet av , där denna formel kommer att förbli sann, är dock okänt (det är bevisat att det inte är mindre än ). [2] [3] [4]
I detta fall växer medeldelaren för ett stort antal n i genomsnitt som , vilket upptäcktes av A. Karatsuba [5] . Enligt datoruppskattningar av M. Korolev .
Generaliseringar
Begreppet delbarhet generaliserar till godtyckliga ringar , såsom Gaussiska heltal eller en polynomring .
Se även
Länkar
Anteckningar
- ↑ Vorobyov, 1988 , sid. 7.
- ↑ A. A. Bukhshtab. Talteori . - M . : Utbildning, 1966.
- ↑ I. M. Vinogradov. Analytisk talteori // Matematisk uppslagsverk. — M.: Sovjetiskt uppslagsverk . - 1977-1985. (ryska)
- ↑ Weisstein, Eric W. Dirichlet Divisor Problem (engelska) på Wolfram MathWorld- webbplatsen .
- ↑ V. och Arnold. Dynamik, statistik och projektiv geometri för Galois-fält. - M. : MTSNMO, 2005. - S. 70. - 72 sid.
Litteratur
Ordböcker och uppslagsverk |
|
---|