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![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![q](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
![bq=a,](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e30eb21b5c879e4394b715d9f9d7b8358125774)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
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 .
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![q](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
Ä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 .
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
betyder att delar , eller, vad är samma: - divisor .
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
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 .
![ett](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf)
- 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:
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b\neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad073253b4c817f2ec7e3dd7517b7f89a8e581dc)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
var .![0\leqslant r<|b|](https://wikimedia.org/api/rest_v1/media/math/render/svg/40edc54f64581618f9a3b2866b8747f69bcd2583)
I denna relation kallas talet den
ofullständiga kvoten , och talet är
resten av divisionen med . Både kvoten och resten är unikt definierade.
![q](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
Ett tal är jämnt delbart med om och endast om resten av division med är noll.
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
- 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 .
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![+1](https://wikimedia.org/api/rest_v1/media/math/render/svg/d04cf05c67d41d9f39dabf6a90722ce860a76958)
![-ett](https://wikimedia.org/api/rest_v1/media/math/render/svg/704fb0427140d054dd267925495e78164fee9aac)
- 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.
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
- 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 .
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![c](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a67b81c2de995bd608d5b2df50cd8cd7d92455)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![c](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a67b81c2de995bd608d5b2df50cd8cd7d92455)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
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:
![a\,\vdots \,0\quad \Högerpil \quad a=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/93f0e90cb9400b4a5093b5648224ba419e002e8e)
,
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
![a\neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
![b\neq a,](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b4f98f11c4b0c397b35d89b25418f4b43d2131a)
![b\,\vdots\,a.](https://wikimedia.org/api/rest_v1/media/math/render/svg/28a468922e040d53367c110519121751a592d317)
- Om och då Det följer också att om och då
![a\,\vdots \,b](https://wikimedia.org/api/rest_v1/media/math/render/svg/20823a36bb37c3e8ac0656fd256b3915aabb1093)
![\left|b\right|>\left|a\right|,](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bb750732f56e68eed5ab8201d33e1e67dcba374)
![a\,=\,0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ae0c9e6df20a3f47bceaf1e36d105a1b1da5c2f)
![a\,\vdots \,b](https://wikimedia.org/api/rest_v1/media/math/render/svg/20823a36bb37c3e8ac0656fd256b3915aabb1093)
![a\neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
![\left|a\right|\geqslant \left|b\right|.](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9a150ec8317e3c8ee1201a4cb2037b02c8a846)
- För att vara nödvändig och tillräcklig för att
![a\,\vdots \,b](https://wikimedia.org/api/rest_v1/media/math/render/svg/20823a36bb37c3e8ac0656fd256b3915aabb1093)
![\left|a\right|\vdots \left|b\right|.](https://wikimedia.org/api/rest_v1/media/math/render/svg/8550db0ef2d167d5d26258ed3c6172a936c6e6b1)
- Om då
![a_{1}\,\vdots \,b,\,a_{2}\,\vdots \,b,\,\dots ,\,a_{n}\,\vdots \,b,](https://wikimedia.org/api/rest_v1/media/math/render/svg/984ee69d063a36b0c60293fee54b164745d2a199)
![\left(a_{1}+a_{2}+\dots +a_{n}\right)\,\vdots \,b.](https://wikimedia.org/api/rest_v1/media/math/render/svg/08894a8e7a27c80b7731e0cb6072b6a05d73284c)
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 .
![{\displaystyle 2\,\vdots-2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec9a278308e3a764c74f1008ae4cef782910f586)
![{\displaystyle -2\,\vdots \,2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b8a0728f2fc112ee6d1969c4685c7e617f7bf18)
Antal divisorer
Antalet positiva delare av ett naturligt tal , vanligtvis betecknat är en multiplikativ funktion , för vilken den asymptotiska Dirichlet-formeln är sann :
![n,](https://wikimedia.org/api/rest_v1/media/math/render/svg/397bfafc701afdf14c2743278a097f6f2957eabb)
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]![\gamma](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
![\theta](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e5ab2664b422d53eb0c7df3b87e1360d75ad9af)
![{\frac {1}{2}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca269377f18d1b032279be1559cb3e7c3623e18)
![\theta ={\frac {131}{416}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8afe843b403d7f66d6d2c3854fd88a073171260e)
![\theta](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e5ab2664b422d53eb0c7df3b87e1360d75ad9af)
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 .
![{\frac {c_{1}n}{{\sqrt {\ln n))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/fee9bc307e7b3faebed02eb57f37be3c90ec08ab)
![{\displaystyle c_{1}={\frac {1}{\pi }}\prod _{p}\left({\frac {p^{3/2}}{\sqrt {p-1}}} \ln \left(1+{\frac {1}{p}}\right)\right)\approx 0{,}7138067}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93066f1c98c0e5a440438e46497e67dff474ba49)
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 |
|
---|