it.wikipedia.org

Numero naturale - Wikipedia

Da Wikipedia, l'enciclopedia libera.

In matematica i numeri naturali sono quei numeri usati per contare e ordinare. Nel linguaggio comune i "numeri cardinali" sono quelli usati per contare e i "numeri ordinali" sono quelli usati per ordinare.

I numeri naturali corrispondono all'insieme {0, 1, 2, 3, 4, …}. Essi vengono fatti corrispondere biunivocamente all'insieme dei numeri interi non negativi {0, +1, +2, +3, +4, …}. Talvolta vengono usati anche per indicare l'insieme dei numeri interi positivi {1, 2, 3, 4, …}.

I numeri naturali sono i numeri più "intuitivi" che esistono. L'operazione di distinguere tra nessuno, uno e molti risale all'uomo primitivo. Ma la comprensione che, ad esempio, una pecora e un albero hanno in comune il fatto di essere "uno", cioè la nozione astratta di numero, fu un processo graduale (probabilmente non legato a una singola cultura o popolazione) che da vari studi viene fatto risalire circa al 30.000 a.C. Col tempo furono introdotti diversi simboli e parole per indicare i numeri naturali e in diversi casi anche alcuni tipi di frazioni. Esistono simboli risalenti agli antichi Egizi che indicano frazioni unitarie, cioè con numeratore uguale a uno.^[1] Se ne possono trovare ad esempio nel papiro di Rhind risalente circa al 2000 a.C. Tuttavia il numero zero dovette aspettare più tempo per venire considerato un numero al pari degli altri.

Le origini dell'idea di numero naturale astratto vengono fatte risalire ai Babilonesi nel 2000 a.C., come testimoniato dalla tavoletta Plimpton 322, "sussidiario di matematica" per gli studenti dell'epoca, che contiene problemi matematici che a un'attenta analisi sembrano essere qualcosa di più di semplici esercizi con fini utilitaristici. Il superamento dei numeri naturali in favore dei numeri razionali positivi è attribuito ai pitagorici che sembra furono i primi a considerare la frazione non più come entità unica ma come rapporto tra numeri naturali.

Importanti risultati riguardanti i numeri naturali sono contenuti negli Elementi di Euclide, successivamente Diofanto di Alessandria si pose il problema della ricerca di soluzioni intere positive di equazioni date.

L'introduzione dei numeri interi relativi, in particolare dei numeri negativi dovette aspettare ulteriormente. Risultati e spunti fondamentali sono dovuti a Pierre de Fermat. Lo studio dei numeri interi, noto oggi come teoria dei numeri, viene ripreso nel XIX secolo da matematici del livello di Carl Friedrich Gauss e Carl Jacobi e da allora viene considerato un capitolo primario della matematica (si veda ad esempio l'ultimo teorema di Fermat, l'ipotesi di Riemann o la congettura di Goldbach).

In matematica si usa il simbolo $\mathbb {N}$ (o N) per indicare l'insieme dei numeri naturali. Nella maggior parte della letteratura matematica contemporanea, nelle voci qui presenti e nello standard ISO 31-11 sui simboli matematici, si assume che l'insieme dei numeri naturali contenga anche lo zero; per evitare ogni ambiguità è spesso usata la dizione interi non negativi. Per mettere in evidenza che l'insieme non contiene lo $0$ si usa la scrittura $\mathbb {N} ^{*}$ , quindi

$\mathbb {N} ^{*}=\{1,2,3,\ldots \}.$

Per indicare l'insieme dei naturali senza lo zero si possono usare anche le scritture N^*, N⁺, N₊, ℕ⁺, ℕ₊, $\mathbb {N} _{>0}$ . Talvolta con la notazione $\mathbb {N} _{0}$ si indica invece l'insieme dei naturali con lo zero incluso.

Nella teoria degli insiemi, l'insieme dei numeri naturali in quanto insieme bene ordinato viene denotato con $\omega$ , e rappresenta il più piccolo numero ordinale infinito. Quando è usata questa notazione, lo zero è incluso.

Nonostante la sua intuitività, quello di numero naturale non è, in matematica, un concetto primitivo: è infatti possibile darne una definizione basandosi unicamente sulla teoria degli insiemi. La definizione è utile perché permette anche di estendere il concetto di numero a oggetti più generali: i numeri transfiniti.

Storicamente, la precisa definizione matematica dei numeri naturali ha incontrato alcune difficoltà. Gli assiomi di Peano definiscono le condizioni che ogni definizione matematica precisa deve soddisfare. Alcune costruzioni mostrano che dall'interno di una teoria degli insiemi è possibile costruire un modello degli assiomi di Peano.

Bisogna notare che lo "0", nella definizione sopra descritta, non deve necessariamente corrispondere con quello che si considera normalmente il numero zero. "0" significa semplicemente un oggetto che, quando combinato con una funzione successiva appropriata, soddisfa gli assiomi di Peano. Ci sono molti sistemi che soddisfano questi assiomi, inclusi i numeri naturali (sia che partano da zero o da uno).

Un numero naturale si può definire come una classe di insiemi aventi uguale cardinalità finita. In sostanza, si parte dalla proprietà (intuitiva) che tra due insiemi qualsiasi aventi lo stesso numero di elementi si può stabilire una corrispondenza biunivoca e la si riformula come definizione: tutti gli insiemi tra i quali si può stabilire una corrispondenza biunivoca vengono accomunati in una classe, che è come assegnare loro un'"etichetta", a questa etichetta viene dato il nome di numero naturale. La classe corrispondente all'insieme vuoto viene indicata con 0.

La seguente è una costruzione standard nella teoria degli insiemi per definire i numeri naturali.

Poniamo $0=\{\}$ , l'insieme vuoto ( $\varnothing$ ) e definiamo $S(a)=a\cup \{a\}$ per ogni insieme $a$ .

Consideriamo un insieme $X$ tale che $0\in X$ e che sia chiuso rispetto alla funzione successore $S$ ovvero $S:X\rightarrow X$ . Tale insieme $X$ si dice apodittico o induttivo. L'insieme dei numeri naturali $\mathbb {N}$ è allora definito come l'intersezione di tutti i sottoinsiemi induttivi $X'\subseteq X$ di un tale insieme. L'esistenza di un insieme induttivo $X$ è stabilita dall'assioma dell'infinito. Se tale insieme induttivo $X$ esiste, allora $\mathbb {N}$ è ben definito (indipendentemente da $X$ ) e soddisfa gli assiomi di Peano.^[2]

Ogni numero naturale è allora uguale all'insieme dei numeri naturali minori di esso, per esempio

$0=\{\}$
$1=\{0\}=\{\{\}\}$
$2=\{0,1\}=\{0,\{0\}\}=\{\{\},\{\{\}\}\}$
$3=\{0,1,2\}=\{0,\{0\},\{0,\{0\}\}\}=\{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\}$

e così via. Quando ci si riferisce a un numero naturale come insieme, e più propriamente come cardinalità di un insieme, questo è il senso. Con questa definizione, ci sono esattamente $n$ elementi nell'insieme $n$ e $n\leq m$ se e solo se $n\subseteq m$ (ovvero $n$ è un sottoinsieme di $m$ ).

Inoltre, vale $n<m$ se e solo se $n\in m$ (ovvero $n$ è un elemento di $m$ ).^[2]

Inoltre, con questa definizione, coincidono le differenti possibili interpretazioni delle notazioni come $\mathbb {R} ^{n}$ (insieme delle $n$ -uple di numeri reali e insieme delle funzioni da $n$ in $\mathbb {R}$ ).

Nonostante la costruzione standard sia utile, non è l'unica costruzione possibile. Per esempio:

definiamo $0=\{\}$

e $S(a)=\{a\}$ ,

quindi:

$0=\{\}$
$1=\{0\}=\{\{\}\}$
$2=\{1\}=\{\{\{\}\}\}$
$\ldots$

Oppure si può definire $0=\{\{\}\}$ e $S(a)=a\cup \{a\}$

producendo

$0=\{\{\}\}$
$1=\{\{\},0\}=\{\{\},\{\{\}\}\}$
$2=\{\{\},0,1\}$
$\ldots$

Discutibilmente la vecchia definizione basata sulla teoria degli insiemi è comunemente attribuita a Frege e Russell sotto la quale ogni numero naturale $n$ è definito come l'insieme di tutti gli insiemi con $n$ elementi. Questo può sembrare circolare, ma può essere esposto in modo rigoroso. Definendo $0$ come $\{\{\{\}\}\}$ (l'insieme di ogni insieme con 0 elementi) e definendo $\sigma (A)$ (per ogni insieme $A$ ) come $\{x\cup \{y\}\mid x\in A\wedge y\not \in x\}$ . Allora 0 sarà l'insieme di tutti gli insiemi con 0 elementi, $1=\sigma (0)$ sarà l'insieme di tutti gli insiemi con 1 elemento, $2=\sigma (1)$ sarà l'insieme di tutti gli insiemi con 2 elementi, e così via. L'insieme di tutti i numeri naturali può essere definito come l'intersezione di tutti gli insiemi contenenti $0$ come un elemento e chiuso sotto $\sigma$ .

Le classi di equivalenza degli insiemi infiniti non corrispondono a nessun numero naturale; possono tuttavia essere identificate con diversi ordini di infinito; su tali entità è possibile estendere le usuali operazioni di addizione e moltiplicazione ma queste non conservano le proprietà algebriche che hanno sui numeri naturali. Lo studio di oggetti corrispondenti a insiemi di cardinalità infinita e delle loro proprietà algebriche è oggetto della teoria dei cardinali transfiniti.

L'operazione di addizione viene definita nel modo seguente: date due classi di insiemi (quindi due numeri) $a$ e $b$ , se $A$ e $B$ sono insiemi disgiunti appartenenti alle classi $a$ e $b$ rispettivamente, la somma $a+b$ è la classe di equivalenza dell'insieme $A\cup B$ . È facile vedere che la definizione è ben posta, vale a dire che, presi due diversi insiemi disgiunti $A'$ e $B'$ in $a$ e $b$ , $A'\cup B'$ sta nella stessa classe di equivalenza di $A\cup B$ , cioè tra $A'\cup B'$ e $A\cup B$ è possibile stabilire una corrispondenza biunivoca.

Equivalentemente si può definire la somma in $\mathbb {N}$ ricorsivamente ponendo $a+0=a$ e $a+S(b)=S(a+b)$ per ogni $a,b$ .

Se si definisce $S(0):=1$ , allora $S(b)=S(b+0)=b+S(0)=b+1$ ; cioè il successore di $b$ è semplicemente $b+1$ .

$\left(\mathbb {N} ,+\right)$ è un monoide commutativo con l'elemento neutro $0$ , il cosiddetto monoide libero con un generatore.

Analogamente, una volta definita l'addizione, si può definire la moltiplicazione $\times$ mediante $a\times 0=0$ e $a\times S(b)=(a\times b)+a$ .

Questo fa sì che $\left(\mathbb {N} ,\times \right)$ sia un monoide commutativo con l'elemento identità $1$ : $a\times 1=a\times S(0)=(a\times 0)+a=a$ . Un insieme generatore per questo monoide è l'insieme dei numeri primi. Addizione e moltiplicazione sono compatibili, ossia la moltiplicazione è distributiva rispetto all'addizione:

$a\times (b+c)=(a\times b)+(a\times c).$

Queste proprietà dell'addizione e della moltiplicazione rendono i numeri naturali un esempio di semianello unitario commutativo. I semianelli sono una generalizzazione algebrica dei numeri naturali dove la moltiplicazione non è necessariamente commutativa.

Se si definisce l'insieme dei numeri naturali senza lo zero e si incomincia dal numero $1$ , le definizioni di $+$ e $\times$ sono le stesse, a parte $S(b)=b+1$ e $a\times 1=a$ .

Spesso si scrive $ab$ per indicare il prodotto $a\times b$ .

Inoltre, si può definire una relazione di ordine totale sui numeri naturali scrivendo $a\leq b$ se e solo se esiste un altro numero naturale $c$ con $a+c=b$ . Quest'ordine è compatibile con le operazioni aritmetiche nel seguente senso:

se $a,b,c$ sono numeri naturali e $a\leq b$ , allora $a+c\leq b+c$ e $ac\leq bc$ . Un'importante proprietà dei numeri naturali è che essi sono ben ordinati: ogni insieme non vuoto di numeri naturali ha un ultimo elemento.

Mentre in generale non è possibile dividere un numero naturale con un altro e ottenere un numero naturale come risultato, la procedura di divisione con resto è possibile: per ogni coppia di numeri naturali $a$ e $b$ con $b\neq 0$ si possono trovare due numeri naturali $q$ e $r$ tali che

$a=bq+r$ e $r<b.$

Il numero $q$ è chiamato il quoziente e $r$ è chiamato il resto della divisione di $a$ con $b.$ I numeri $q$ e $r$ sono unicamente determinati da $a$ e $b$ .

L'insieme dei numeri naturali si può caratterizzare univocamente (a meno di isomorfismi) mediante gli assiomi di Peano (nella logica del secondo ordine).

Le proprietà dei numeri naturali relativi alla divisibilità, la distribuzione dei numeri primi e a problemi collegati a questi sono studiate in quella che viene chiamata teoria dei numeri. I problemi riguardanti sequenze numeriche finite, altre configurazioni numeriche e problemi di enumerazione, quali la teoria di Ramsey, sono studiati nell'ambito della teoria combinatoria.

Due importanti generalizzazioni dei numeri naturali sono: i numeri ordinali per descrivere la posizione di un elemento in una successione ordinata e numeri cardinali per specificare la grandezza di un insieme.

^ Carl B. Boyer, Storia della matematica, Milano, Oscar Mondadori, 1980, ISBN 978-88-04-33431-6.
^ ^a ^b Luca Barbieri Viale, Che cos'è un numero? : Una introduzione all'algebra, Cortina, 2013, ISBN 978-88-6030-604-3, OCLC 898699172. URL consultato il 19 dicembre 2022.

Numero
Numero intero
Numero razionale
Numero reale
Insieme numerabile
Cardinalità
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, ... (articoli afferenti alla Categoria:Numeri)

Numero naturale, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) natural number, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Opere riguardanti Natural Numbers, su Open Library, Internet Archive.
(EN) Eric W. Weisstein, Natural Number, su MathWorld, Wolfram Research.
(EN) Natural number, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
(EN) Denis Howe, natural number, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL

V · D · M Teoria degli insiemi
Insiemi numerici	Naturali · Interi · Razionali · Reali · Complessi
Teoria ingenua degli insiemi (o di Cantor)	Insieme vuoto · Insieme universo · Sottoinsieme · Insieme potenza · Insieme complemento · Unione · Intersezione · Coppia ordinata · Prodotto cartesiano · Paradosso di Russell · Paradosso di Burali-Forti
Teoria assiomatica degli insiemi	Assioma · Assiomi di Peano · Teoria degli insiemi di Zermelo · Teoria degli insiemi di Zermelo-Fraenkel · Assioma della scelta · Lemma di Zorn · Teoria degli insiemi di Von Neumann-Bernays-Gödel

V · D · M Teoria dei numeri
Numeri più usati	Naturali · Interi · Pari e dispari
Principi generali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza
Successioni di interi	Fattoriale · Successione di Fibonacci · Numero di Catalan · Numero di Perrin · Numero di Eulero · Successione di Mian-Chowla · Successione di Thue-Morse
Caratteristiche dei numeri primi	Numero primo · Lemma di Euclide · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Test di primalità · Teorema fondamentale dell'aritmetica · Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Teorema dei numeri primi
Funzioni aritmetiche	Funzione moltiplicativa · Funzione additiva · Convoluzione di Dirichlet · Funzione φ di Eulero · Funzione di Möbius · Funzione tau sui positivi · Funzione sigma · Funzione di Liouville · Funzione di Mertens
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Criteri di divisibilità · Teorema di Fermat sulle somme di due quadrati · Teorema di Wilson · Legge di reciprocità quadratica
Congetture	Congettura di Goldbach · Congettura di Polignac · Congettura abc · Congettura dei numeri primi gemelli · Congettura di Legendre · Nuova congettura di Mersenne · Congettura di Collatz · Ipotesi di Riemann
Altro	Problema di Waring
Principali teorici	Fibonacci · Fermat · Gauss · Eulero · Legendre · Riemann · Dirichlet
Discipline connesse	Teoria algebrica dei numeri · Teoria analitica dei numeri · Crittografia · Teoria computazionale dei numeri

V · D · M

Algebra

Numeri

Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici

Principi fondamentali

Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza

Algebra elementare

Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica

Elementi di Calcolo combinatorio

Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione

Concetti fondamentali di Teoria dei numeri

Primi	Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica
Divisori	Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica

Teoria dei gruppi

Gruppi	Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(F_n) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato
Teoremi	Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti
Sottoinsiemi	Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione
Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo

Teoria degli anelli

Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato

Teoria dei campi

Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius
Estensioni	Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer
Teoria di Galois	Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso

Altre strutture algebriche

Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole

argomenti

Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

Controllo di autorità	Thesaurus BNCF 60214 · LCCN (EN) sh85093214 · GND (DE) 4041357-3 · BNF (FR) cb120988295 (data) · J9U (EN, HE) 987007538748705171