Naravno število

Iz Wikipedije, proste enciklopedije

Naravno število je katerokoli število iz neskončne množice pozitivnih celih števil {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, ...}. Naravno število služi za mero končnih množic. Z naravnimi števili štejemo ali pa razvrščamo. Označujemo jih z N ali z $\mathbb{N}$ .

Na nekaterih področjih matematike (teorija množic, logika in računalništvo) včasih privzamemo, da je tudi 0 naravno število. Takšni množici rečemo »množica naravnih števil z nič« in jo označimo z $\mathbb{N}_0$ .

Vsebina

1 Zgodovina naravnih števil in status števila nič
2 Označevanje naravnih števil
3 Formalna definicija
4 Lastnosti
5 Posplošitve
6 Glej tudi

[uredi] Zgodovina naravnih števil in status števila nič

[uredi] Označevanje naravnih števil

[uredi] Formalna definicija

Čeprav tudi majhen otrok razume kaj mislimo z naravnimi števili, njihova določitev ni enostavna. Peanovi aksiomi opišejo množico naravnih števil, ki jo običajno označimo z N ali z $\mathbb{N}$ .

Obstaja naravno število 0.
Vsakemu naravnemu številu n sledi naravno število n + 1 (ali kot tudi označimo naslednik števila n je n' ).
Ne obstaja naravno število, kateremu sledi število 0 (ni naravnega števila -1').
Različnima naravnima številoma sledita različni naravni števili: če je n₁ ≠ n₂, potem n₁ + 1 ≠ n₂ + 1 (ali n' ₁ ≠ n' ₂).
Če neka lastnost P velja za število 0 in če iz P(n) sledi P(n+1) za vsak n, potem velja lastnost P za vsa naravna števila.

Zadnji aksiom zagotavlja veljavnost matematične indukcije pri dokazovanju.

S standardno konstrukcijo v teoriji množic preko Zermelo-Fraenkelovih aksiomov določimo vsako naravno število kot množico naravnih števil, manjšo od števila, tako, da so prva naravna ševila:

0 ≡ Ø = {} (prazna množica),

1 ≡ 0' = {0} = {Ø },

2 ≡ 1' = {0,1} = {0, {0}}, = {Ø, {Ø },

3 ≡ 2' = {0,1,2} = = {0, {0}, {0, {0}}} = {Ø, {Ø , {Ø, {Ø }}...

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.

[uredi] Lastnosti

Seštevanje naravnih števil določimo induktivno z zahtevama:

n₁ + 0 ≡ n₁ za vsak n₁ $\in$ N,

n₁ + (n₂ + 1) ≡ (n₁ + n₂) + 1 za vsak n₁,n₂ $\in$ N.

Tako je množica naravnih števil (N, +) komutativni monoid z nevtralnim elementom 0 ali prosti monoid z enim generatorjem. Ta monoid lahko vložimo v grupo. Najmanjša grupa, ki vsebuje naravna števila je množica celih števil.

Podobno je množenje · določeno z zahtevama:

n₁ · 0 ≡ 0 za vsak n₁ $\in$ N,

n₁ · (n₂ + 1) = (n₁ · n₂) + n₁.

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:

n₁ · (n₂ + n₃) = n₁ · n₂ + n₁ · n₃.

Množica naravnih števil je popolno urejena tako, da velja n₁ ≤ n₂, samo tedaj kadar obstaja naravno število n₃, za katero velja n₁ + n₃ = n₂. Urejenost je združljiva z aritmetičnimi operacijami. Če so n₁, n₂ in n₃ naravna števila in n₁ ≤ n₂, potem velja:

n₁ + n₃ ≤ n₂ + n₃ in

n₁ · n₃ ≤ n₂ · n₃.

Pomembna lastnost 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 n₁ in n₂, kjer n₂ ≠ 0, obstajata takšni naravni števili k in l₂, da velja:

n₁ = n₂ · k + l in l < n₂.

Število k se imenuje količnik (kvocient) in l ostanek ali delitev števila n₁ z n₂. števili k in l sta enolično določeni s številoma n₁ in n₂.

Globlje lastnosti naravnih števil, kot je porazdelitev praštevil raziskuje teorija števil.

[uredi] Posplošitve

Naravna števila lahko uporabimo za dva namena. Za opis položaja 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.