Oszthatóság
Az oszthatóság az osztásművelethez kapcsolódó aritmetikai és számelméleti alapfogalmak egyike . Halmazelméleti szempontból az egész számok oszthatósága az egész számok halmazán meghatározott reláció .
Definíció
Ha valamilyen egész és egy egész számra létezik ilyen egész szám , akkor azt mondják, hogy a szám osztható vele, vagy osztható




Ebben az esetben a számot a szám osztójának nevezzük , az osztalék a szám többszöröse , a számot pedig az osztó hányadosának nevezzük .






Bár az oszthatóság tulajdonsága az egész számok teljes halmazán definiálva van , általában csak a természetes számok oszthatóságát veszik figyelembe . Konkrétan egy természetes szám osztóinak számának függvénye csak a pozitív osztóit számolja.
Jelölés
azt jelenti , hogy [1] , ami osztható -vel , vagy hogy a szám többszöröse .


azt jelenti, hogy osztja , vagy ami ugyanaz: - osztó .


Kapcsolódó definíciók
- Minden 1 -nél nagyobb természetes számnak legalább két természetes osztója van: 1 és maga a szám. Ebben az esetben azokat a természetes számokat, amelyeknek pontosan két osztója van, prímnek , a kettőnél több osztóval rendelkezőket pedig összetettnek nevezzük . Az egységnek pontosan egy osztója van, és nem prím vagy összetett.
- Minden nál nagyobb természetes számnak van legalább egy prímosztója .

- Egy szám megfelelő osztója minden osztó, amely nem a szám. A prímszámoknak pontosan egy helyes osztójuk van, egy.
- A triviális osztók fogalmát is használják : ez maga a szám és az egység. Így a prímszám olyan számként definiálható, amelynek nincs más osztója, mint triviális.
- Függetlenül attól, hogy egy egész szám osztható-e egy egész számmal , egy szám mindig osztható maradékkal , azaz a következőképpen ábrázolható:




ahol .
Ebben az összefüggésben a számot
hiányos hányadosnak nevezzük , a szám pedig a -vel való osztás
maradéka . Mind a hányados, mind a maradék egyedileg definiált.




Egy szám akkor és csak akkor osztható egyenlően, ha a vele való osztás maradéka nulla.



- Bármely szám, amely mindkettőt osztja, és közös osztójuknak nevezzük ; ezek közül a számok közül a legnagyobbat a legnagyobb közös osztónak nevezzük . Minden egész számpárnak van legalább két közös osztója: és . Ha nincs más közös osztó, akkor ezeket a számokat viszonylag prímnek nevezzük .




- Két egész szám és azt mondják, hogy egyenlően osztható egy egész számmal , ha vagy és , és osztható -val , vagy egyikkel sem , és nem osztható vele.








- Egy számot akkor nevezünk egy szám többszörösének , ha maradék nélkül osztható vele . Ha egy szám maradék nélkül osztható a és számokkal , akkor közös többszörösüknek nevezzük . A legkisebb ilyen természetes számot az és a számok legkisebb közös többszörösének nevezzük .









Tulajdonságok
Megjegyzés: Ebben a szakaszban minden képlet azt feltételezi, hogy egész szám.
- Bármely egész szám nulla osztó , a hányados pedig nulla:
- Bármely egész szám osztható eggyel:
- Csak a nulla osztható nullával:

,
és a hányados ebben az esetben nincs meghatározva.
- Az egyik csak eggyel osztható:
- Bármely egész számhoz létezik egy egész szám , amelyhez



- Ha és akkor Ebből az is következik, hogy ha és akkor






- Ahhoz, hogy szükséges és elégséges legyen


- Ha akkor


Az egész rendszerben e három tulajdonság közül csak az első kettő áll fenn; például és de . Vagyis az egész számok oszthatósági aránya csak
előrendelés .


Osztók száma
Egy természetes szám pozitív osztóinak számát általában szorzófüggvénynek nevezik , amelyre igaz az aszimptotikus Dirichlet-képlet :

Itt van az Euler-Mascheroni állandó , és Dirichlet esetében ez az eredmény többszörösen javított, és jelenleg a legismertebb eredmény (2003-ban Huxley szerezte meg). Azonban a legkisebb értéke , amelynél ez a képlet igaz marad, nem ismert (bebizonyosodott, hogy nem kisebb, mint ). [2] [3] [4]




Ebben az esetben egy nagy n szám átlagos osztója átlagosan a -val nő , amit A. Karatsuba [5] fedezett fel . M. Koroljev számítógépes becslései szerint .


Általánosítások
Az oszthatóság fogalma tetszőleges gyűrűkre általánosítható , mint például Gauss egész számokra vagy polinomgyűrűre .
Lásd még
Linkek
Jegyzetek
- ↑ Vorobjov, 1988 , p. 7.
- ↑ A. A. Bukhshtab. Számelmélet . - M . : Oktatás, 1966.
- ↑ I. M. Vinogradov. Analitikus számelmélet // Matematikai enciklopédia. — M.: Szovjet Enciklopédia . - 1977-1985. (Orosz)
- ↑ Weisstein, Eric W. Dirichlet osztóprobléma (angolul) a Wolfram MathWorld webhelyén .
- ↑ V. és Arnold. Galois-mezők dinamikája, statisztikája és projektív geometriája. - M. : MTSNMO, 2005. - S. 70. - 72 p.
Irodalom
Szótárak és enciklopédiák |
|
---|