“
Video overview— panoramiche NotebookLM (clic per riprodurre)
Presentazioni— slide NotebookLM (clic per aprire il PDF)
Dio ha creato i numeri naturali; tutto il resto è opera dell’uomo.”
— Leopold Kronecker, citato in F. Cajori (1919)
“
Video overview— panoramiche NotebookLM (clic per riprodurre)
Presentazioni— slide NotebookLM (clic per aprire il PDF)
Dio ha creato i numeri naturali; tutto il resto è opera dell’uomo.”
— Leopold Kronecker, citato in F. Cajori (1919)
____________________________________________________________________________________
Contare oggetti, misurare lunghezze, indicare un debito, ripartire una pizza in parti uguali: a ognuna di queste azioni corrisponde un tipo di numero diverso. La storia della matematica è in larga parte la storia dell’ampliamento progressivo del concetto di numero: dai naturali agli interi relativi, dai relativi ai razionali, dai razionali ai reali (e oltre, ai complessi).
Ogni ampliamento risponde a un’esigenza precisa: c’è un’operazione che vorremmo poter fare, ma che non rimane all’interno dell’insieme di partenza. Sottrarre \(7\) da \(5\), dividere \(1\) per \(3\), estrarre \(\sqrt {2}\): ciascuno di questi passi forza l’introduzione di un nuovo insieme numerico, contenente quello vecchio ma più ricco di possibilità.
In questo capitolo facciamo conoscenza con i tre insiemi numerici del biennio: i naturali \(\mathbb{N} \), gli interi relativi \(\mathbb{Z} \), i razionali \(\mathbb{Q} \). Studieremo le proprietà di ciascuno, le motivazioni dietro a ogni estensione, e impareremo a rappresentarli sulla retta numerica — la prima e più potente immagine geometrica dei numeri. L’estensione a \(\mathbb{R} \) (i reali), legata ai numeri irrazionali, sarà ripresa nel capitolo 15.
Definizione 7.1 — Insieme dei numeri naturali
Nota — Lo zero in \(\mathbb{N} \)
La convenzione adottata in questo libro — e ormai prevalente nella matematica italiana — è di includere \(0\) tra i naturali. Esistono testi che lo escludono e definiscono \(\mathbb{N} =\{1,2,3,\ldots \}\): la distinzione è solo nominale, ma è importante sapere su quale convenzione ci si sta muovendo.
In \(\mathbb{N} \) sono definite due operazioni che danno sempre come risultato un naturale: la somma (\(+\)) e il prodotto (\(\cdot \)). Si dice perciò che \(\mathbb{N} \) è chiuso rispetto a queste operazioni.
Teorema 7.1 — Proprietà di somma e prodotto in \(\mathbb{N} \)
Nota — Ordinamento e principio del buon ordinamento
\(\mathbb{N} \) è totalmente ordinato: dati due naturali \(a,b\), si ha sempre una e una sola tra \(a<b\), \(a=b\), \(a>b\). In più ha una proprietà fondamentale, il principio del buon ordinamento: ogni sottoinsieme non vuoto di \(\mathbb{N} \) ha un minimo. Questa proprietà sta alla base del principio di induzione (capitolo 163).
Attenzione! — Sottrazione non sempre possibile in \(\mathbb{N} \)
La sottrazione \(a-b\) ha senso in \(\mathbb{N} \) solo se \(a\ge b\): \(5-3=2\in \mathbb{N} \), ma \(3-5\) non è un naturale. Allo stesso modo, la divisione \(a:b\) ha senso in \(\mathbb{N} \) solo se \(b\mid a\) (cioè \(b\) divide \(a\) esattamente): \(6:3=2\in \mathbb{N} \), ma \(5:3\) non è un naturale. Queste limitazioni motivano i prossimi ampliamenti.
Per poter sottrarre senza restrizioni, dobbiamo introdurre i numeri negativi.
Definizione 7.2 — Insieme dei numeri interi
In \(\mathbb{Z} \) sono ora chiuse tre operazioni: somma, prodotto e sottrazione, che si può sempre interpretare come somma con l’opposto: \(a-b = a+(-b)\).
Nota — Valore assoluto
Esempio 7.1 — Aritmetica con i segni
Attenzione! — Regole dei segni
Per il prodotto in \(\mathbb{Z} \):
Lo zero ha un comportamento speciale: \(a\cdot 0=0\) per ogni \(a\), e \(a\cdot b=0\) implica \(a=0\) oppure \(b=0\) (legge di annullamento del prodotto). Riprenderemo queste regole nel capitolo 8.
Attenzione! — Divisione ancora non chiusa
\(\mathbb{Z} \) è chiuso per somma, prodotto, sottrazione, ma non per divisione: \(5:2\) non è un intero. È questo il motivo del prossimo ampliamento.
Anche \(\mathbb{Z} \), come \(\mathbb{N} \), è un insieme ordinato: dati due interi si sa sempre dire qual è il minore (è quello più a sinistra sulla retta: \(-5<-2<0<3\)). Sulle uguaglianze e sulle disuguaglianze valgono quattro regole che useremo continuamente, dalle equazioni alle disequazioni.
Teorema 7.2 — Leggi di monotonia
Siano \(a,b,c\in \mathbb{Z} \).
Prima legge di monotonia (somme): aggiungendo lo stesso numero ai due membri, un’uguaglianza resta un’uguaglianza e una disuguaglianza mantiene il verso:
Seconda legge di monotonia (prodotti): moltiplicando i due membri per lo stesso numero \(c\neq 0\), un’uguaglianza resta un’uguaglianza; una disuguaglianza mantiene il verso se \(c>0\) e lo inverte se \(c<0\):
Teorema 7.3 — Leggi di cancellazione
Sono le leggi di monotonia lette al contrario: un addendo comune ai due membri si può togliere, e un fattore comune \(c\neq 0\) si può eliminare.
Esempio 7.2 — Monotonia e cancellazione all’opera
Attenzione! — Il caso che tradisce
Moltiplicare o dividere una disuguaglianza per un numero negativo inverte il verso: \(-2<3\) ma \((-2)\cdot (-1)=2>-3=3\cdot (-1)\). È l’errore più frequente nelle disequazioni.
Per chiudere anche la divisione (per un divisore non nullo), introduciamo i numeri razionali.
Definizione 7.3 — Insieme dei numeri razionali
Definizione 7.4 — Frazioni equivalenti
Esempio 7.3
\(\tfrac {1}{2}=\tfrac {2}{4}=\tfrac {3}{6}=\tfrac {-5}{-10}\) rappresentano tutte lo stesso razionale. La forma ridotta ai minimi termini è quella in cui numeratore e denominatore non hanno fattori comuni e il denominatore è positivo: per il razionale qui sopra è \(\tfrac {1}{2}\). Riprenderemo le operazioni con le frazioni nel capitolo 12.
Nota — Razionali come decimali
Ogni razionale si può scrivere come numero decimale eseguendo la divisione \(a:b\). Il risultato è sempre uno di due tipi:
Viceversa, ogni decimale finito o periodico è un razionale. Approfondiremo la conversione nel capitolo 13.
In \(\mathbb{Q} \) sono chiuse quattro operazioni: somma, prodotto, sottrazione e divisione (per un razionale non nullo). Si dice che \((\mathbb{Q} ,+,\cdot )\) è un campo.
Teorema 7.4 — Densità di \(\mathbb{Q} \)
Dimostrazione. Basta prendere la media aritmetica \(r=\tfrac {p+q}{2}\). Poiché \(p\) e \(q\) sono razionali, anche \(r\) lo è. Inoltre, da \(p<q\) si ha \(2p<p+q<2q\), dunque \(p<r<q\).
Nota — Conseguenza della densità
Iterando la costruzione, tra \(p\) e \(r\) c’è un altro razionale, e tra quello e \(r\) ce n’è un altro ancora…Tra due razionali distinti, per quanto vicini, ci sono infiniti razionali. È una proprietà geometricamente sorprendente: a differenza di \(\mathbb{N} \) e \(\mathbb{Z} \), \(\mathbb{Q} \) non ha “punti consecutivi”. Ma — e lo vedremo nel capitolo 15 — questo non significa che \(\mathbb{Q} \) riempia tutta la retta: ci sono “buchi” che corrispondono ai numeri irrazionali.
I tre insiemi si raggruppano in una catena di inclusioni:
Ogni inclusione è stretta: in \(\mathbb{Z} \) ci sono interi (i negativi) che non sono naturali; in \(\mathbb{Q} \) ci sono razionali (le frazioni non intere) che non sono interi.
Nota — Identificazione di un naturale con un intero, di un intero con un razionale
L’inclusione \(\mathbb{N} \subset \mathbb{Z} \) è da intendersi nel senso che ogni naturale \(n\) è identificato con l’intero \(+n\). Analogamente, ogni intero \(a\in \mathbb{Z} \) è identificato con il razionale \(\tfrac {a}{1}\in \mathbb{Q} \). Operazioni e ordinamento del sistema più piccolo coincidono con quelli del sistema più grande quando applicate ai suoi elementi.
I numeri possono essere rappresentati su una retta orientata, detta retta numerica.
Procedura — Costruzione della retta numerica
Nota — Ordine e retta
L’ordinamento di un qualsiasi insieme numerico (\(\mathbb{N} \), \(\mathbb{Z} \) o \(\mathbb{Q} \)) si rispecchia sulla retta: \(a<b\) se e solo se il punto associato ad \(a\) sta a sinistra del punto associato a \(b\).
Esempio 7.4 — Classificare un numero
Stabilire a quali tra \(\mathbb{N} \), \(\mathbb{Z} \), \(\mathbb{Q} \) appartiene ciascuno dei numeri seguenti.
Soluzione.
Ogni numero appartiene almeno a \(\mathbb{Q} \). Solo gli interi sono in \(\mathbb{Z} \), e solo quelli non negativi sono in \(\mathbb{N} \).
Esempio 7.5 — Tra due razionali ce n’è uno (e infiniti)
Trovare un razionale strettamente compreso tra \(\tfrac {2}{5}\) e \(\tfrac {3}{5}\).
Soluzione. Calcoliamo la media aritmetica:
Verifichiamo: \(\tfrac {2}{5}=0{,}4\), \(\tfrac {1}{2}=0{,}5\), \(\tfrac {3}{5}=0{,}6\). Effettivamente \(\tfrac {2}{5}<\tfrac {1}{2}<\tfrac {3}{5}\). Iterando, tra \(\tfrac {2}{5}\) e \(\tfrac {1}{2}\) ce n’è un altro, e così via all’infinito.
Esempio 7.6 — Frazioni equivalenti
Stabilire se \(\tfrac {6}{15}=\tfrac {10}{25}\).
Soluzione. Per la definizione di equivalenza, basta verificare \(6\cdot 25 = 15\cdot 10\). A sinistra: \(6\cdot 25 = 150\). A destra: \(15\cdot 10 = 150\). Le due frazioni sono equivalenti. La forma ridotta è \(\tfrac {2}{5}\) in entrambi i casi: si è infatti diviso numeratore e denominatore per \(3\) nella prima, per \(5\) nella seconda.
Esempio 7.7 — Operazione che esce dall’insieme
Indicare per ciascuna operazione se il risultato resta nell’insieme di partenza.
Soluzione.
Si vede in pratica la “catena di chiusure”: ogni ampliamento chiude un’operazione che era ancora aperta nel precedente.
Esercizio 7.1
Riepilogo
![[Picture]](immagini_matematica/libro_matematica_a_capitoli35x.svg)
![[Picture]](immagini_matematica/libro_matematica_a_capitoli36x.svg)