Narávno števílo je katerokoli število iz neskončne množice pozitivnih celih števil .
Naravno število služi za mero končnih množic. Z naravnimi števili se šteje ali pa razvršča. Označuje se jih z N ali z .
Na nekaterih področjih matematike (teorija množic, matematična logika in računalništvo) se včasih privzame, da je tudi 0 naravno število. Takšna množica se imenuje »množica naravnih števil z nič« in se jo označi z . Kadar je množica naravnih števil definirana na ta način, označujejo množico naravnih števil brez 0 tudi ali .
Čeprav tudi majhen otrok razume kaj se misli z naravnimi števili, njihova določitev ni enostavna. Peanovi aksiomi opišejo množico naravnih števil, ki se jo običajno označi z N ali z .
Zadnji aksiom zagotavlja veljavnost matematične indukcije pri dokazovanju.
S standardno konstrukcijo v teoriji množic preko Zermelo-Fraenkelovih aksiomov se določi vsako naravno število kot množico naravnih števil, manjšo od števila, tako, da so prva naravna ševila:
Množica 0 nima elementov, množica 1 ima en element, množica 2 dva, itd. Množica n je množica, ki ima n elementov 0,1,2,...,n−1 in hkrati je n podmnožica N in element N.
Seštevanje naravnih števil se določi induktivno z zahtevama:
Tako je množica naravnih števil (N, +) komutativni monoid z nevtralnim elementom 0 ali prosti monoid z enim generatorjem. Ta monoid se lahko vloži v grupo. Najmanjša grupa, ki vsebuje naravna števila je množica celih števil.
Podobno je množenje · določeno z zahtevama:
S tem je (N, ·) komutativni monoid z nevtralnim elementom 1. Seštevanje in množenje sta združljivi dvočleni aritmetični operaciji, izraženi z distributivnostjo:
Množica naravnih števil je popolno urejena tako, da velja n1 ≤ n2, samo tedaj kadar obstaja naravno število n3, za katero velja n1 + n3 = n2. Urejenost je združljiva z aritmetičnimi operacijami. Če so n1, n2 in n3 naravna števila in n1 ≤ n2, potem velja:
Pomembna značilnost naravnih števil je, da so dobro urejena. Vsaka množica naravnih števil ima najmanjši element.
Deljenje v splošnem v množici naravnih števil ni mogoče. To operacijo zamenja deljenje z ostankom: za poljubni dve naravni števili n1 in n2, kjer n2 ≠ 0, obstajata takšni naravni števili k in l2, da velja:
Število k se imenuje količnik (kvocient) in l ostanek ali delitev števila n1 z n2. Števili k in l sta enolično določeni s številoma n1 in n2.
Globlje značilnosti naravnih števil, kot je porazdelitev praštevil raziskuje teorija števil.
Naravna števila se lahko uporabi za dva namena. Za opis lege elementa v urejenem zaporedju, kar je posplošeno s pojmom ordinalnega števila. In za določitev velikosti končne množice, kar je posplošeno s pojmom kardinalnega števila. V končnem pojma sovpadata: končna ordinalna števila so enaka N kot tudi končna kardinalna števila. V neskončnem pa se pojma razlikujeta.
Konstanta neskončnega verižnega ulomka naravnih števil je:
Vrednost tega verižnega ulomka je enaka razmerju neskončnih vrst:
kjer sta in modificirani Besselovi funkciji prve vrste reda 1 in 0 (OEIS A096789 in A070910).
This article uses material from the Wikipedia Slovenščina article Naravno število, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Vsebina je na voljo pod licenco CC BY-SA 4.0, razen če je navedeno drugače. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Slovenščina (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.