Număr natural

În matematică, numerele naturale sunt numerele folosite pentru numărarea și ordonarea obiectelor. Sunt numerele întregi strict pozitive (1, 2, 3, …). Atașează o măsură unei mulțimi (numărabile) de obiecte.
În alte contexte, de exemplu în teoria mulțimilor sau în teoria grupurilor, 0 este primul număr natural. 

Mulțimea tuturor numerelor naturale se notează de obicei cu N (N îngroșat) sau . Este inclusă în mulțimea numerelor întregi  . 

Sunt valabile următoarele incluziuni ale mulțimilor numerice:

  - numere naturale
  - întregi
  - raționale
  - reale
  - complexe

Numerele naturale au două întrebuințări importante: sunt folosite pentru numărare („sunt 3 mere pe masă”) și pentru aranjarea în ordine a unei colecții de obiecte („obiectul numărul 1”, „obiectul numărul 2” etc.).

Împreună cu operațiile de adunare și înmulțire formează o structură de semi-inel, pentru operația de înmulțire neexistând număr natural care să aibă element invers tot număr natural.
Disciplina care studiază proprietățile numerelor naturale (cu privire la divizibilitate, distribuția numerelor prime, etc) este teoria numerelor. Problemele referitoare la ordonări și partiții sunt studiate în combinatorică.

Unele definiții, incluzând standardul ISO 80000-2, încep numerele naturale cu zero, în timp ce altele încep cu 1. Apartenența lui 0 la numerele naturale este acceptată în algebră și teoria mulțimilor dar nu în analiză matematică.

Istoria numerelor naturale 

Numerele naturale își au originea în cuvintele folosite pentru a număra obiecte, începând cu numărul unu.

Primul pas important pentru abstractizare a fost folosirea numeralelor pentru reprezentarea numerelor. Acest lucru a dus la dezvoltarea unor sisteme de notare a numerelor mari. De exemplu, babilonienii dezvoltaseră un sistem puternic bazat pe numerele de la 1 la 10. În Egiptul Antic exista un sistem de numere cu hieroglife diferite pentru 1, 10 și toate puterile lui 10 până la un milion.

Proprietăți                
Numerele naturale sunt o mulțime ordonată pornind de la un prim element urmat succesiv de următoarele numere naturale,  fiecare având un succesor mai mare ca el. Se stabilește astfel relația de ordine obișnuită între un număr natural și succesorul său, o relație nereflexivă având notația ,,< .

Operația de adunare nu are proprietatea existenței unui opus ca element simetric al fiecărui număr. Similar și pentru operația de înmulțire numerele naturale nu au inverse.

Construcția mulțimii numerelor naturale

Numerele naturale au fost prima dată definite axiomatic de Giuseppe Peano în 1905 prin următoarele axiome le numește „Postulatele lui Peano” și începe cu "1.0 e un număr natural." (p. 117f)
 folosește limbajul teoriei mulțimilor pentru a enunța cele 5 axiome. Începe cu "(I) (unde, desigur, " ( e mulțimea tuturor numerelor). (p. 46)
 Oferă „axiomă în două părți” în care numerele naturale încep de la 1. (Secțiunea 10.1: An Axiomatization for the System of Positive Integers):

  este număr natural.
 Dacă n este număr natural, atunci și succesorul lui  ( sau ) este număr natural.
  nu este succesorul niciunui număr.
 Dacă  atunci și .
 Dacă o submulțime  a mulțimii numerelor naturale satisface primele două condiții, atunci aceasta este chiar mulțimea numerelor naturale.

În ramura matematicii cunoscută drept teoria mulțimilor se poate realiza următoarea construcție, propusă de John von Neumann Levy atribuie idea lucrărilor nepublicate ale lui Zermelo din 1916 și mai multe lucrări ale lui von Neumann din 1920.:

 Definim , mulțimea vidă.
 Definim , mulțimea ce conține toate elementele din  și pe .
 Și atunci numerele naturale vor fi următoarele mulțimi:
  0={}
  1={{}}
  2={{},{{}}}
  3={{},{{}},{{},{{}}}}
  ...

De asemenea putem defini mulțimea numerelor naturale pornind de la mulțimea  a numerelor reale.Definiția 1.
Fie ℝ mulțimea numerelor reale și A o submulțime nevidă.
Spunem că A este inductivă dacă pentru orice  rezultă 

Se observă că:
 Mulțimea  este inductivă.
 Intersecția oricărei familii de mulțimi inductive ce conțin pe 0 este de asemenea inductivă.Definiția 2.
Fie  familia de mulțimi inductive conținând numărul real 0.
Mulțimea  definită ca intersecția tuturor elementelor lui  se numește mulțimea numerelor naturale''.

Note

Vezi și 
 Număr cardinal
 Factorial
 Problema podurilor din Königsberg