Naravno število: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m dp/slog
Vrstica 11:
* Ne obstaja naravno število, kateremu sledi število 0 (ni naravnega števila -1').
* Različnima naravnima številoma sledita različni naravni števili: če je ''n''<sub>1</sub> ≠ ''n''<sub>2</sub>, potem ''n''<sub>1</sub> + 1 ≠ ''n''<sub>2</sub> + 1 (ali ''n' ''<sub>1</sub> ≠ ''n' ''<sub>2</sub>).
* Če neka lastnostznačilnost ''P'' velja za število 0 in če iz ''P(n)'' sledi ''P(n+1)'' za vsak ''n'', potem velja lastnostznačilnost ''P'' za vsa naravna števila.
 
Zadnji aksiom zagotavlja veljavnost [[matamatična indukcija|matematične indukcije]] pri dokazovanju.
Vrstica 24:
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'''.
 
== LastnostiZnačilnosti ==
 
[[seštevanje v N|Seštevanje]] naravnih števil določimo induktivno z zahtevama:
Vrstica 43:
:''n''<sub>1</sub> · ''n''<sub>3</sub> ≤ ''n''<sub>2</sub> · ''n''<sub>3</sub>.
 
Pomembna lastnostznač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 ''n''<sub>1</sub> in ''n''<sub>2</sub>, kjer ''n''<sub>2</sub> ≠ 0, obstajata takšni naravni števili ''k'' in ''l''<sub>2</sub>, da velja:
Vrstica 50:
Število ''k'' se imenuje ''količnik'' (''kvocient'') in ''l'' ''ostanek'' ali ''delitev'' števila ''n''<sub>1</sub> z ''n''<sub>2</sub>. števili ''k'' in ''l'' sta enolično določeni s številoma ''n''<sub>1</sub> in ''n''<sub>2</sub>.
 
Globlje lastnostiznačilnosti naravnih števil, kot je porazdelitev [[praštevilo|praštevil]] raziskuje [[teorija števil]].
 
== Posplošitve ==
Vrstica 58:
== Glej tudi ==
 
* [[von Neumannovo naravno število|von Neumannova števila]].
 
[[Kategorija:Števila]]