Gli assiomi di Peano: fondamento dell’Aritmetica
Cosa sono i numeri?
Questa semplice e affascinante domanda è stata oggetto di studio di numerosi filosofi e matematici nel corso della storia. Fornire una risposta matematica al problema è stata una sfida estremamente stimolante, e una delle prime risposte soddisfacenti è stata prodotta nell’arco temporale tra il 1881 e il 1889 ad opera di alcuni matematici, tra cui il matematico torinese Giuseppe Peano, che elaborò i famosi “assiomi di Peano”.
Il suo lavoro sposta il focus dall’essenza dei numeri alle loro proprietà pratiche. In altre parole, più che chiedersi cosa siano i numeri, è più utile chiedersi “cosa si fa con i numeri”. In parole semplici, Peano sostenne che l’insieme dei numeri naturali è descritto dalle seguenti proprietà:
- Contiene lo ;
- La funzione “successore”, che a ogni numero naturale ne associa un altro, detto appunto successore. I successori non devono mai ripetersi e non è il successore di alcun numero.
- Il principio di induzione: se è un sottoinsieme di contenente lo e contenente il successore di ogni suo elemento, allora coincide con l’intero insieme .
Nel seguente articolo descriviamo nel dettaglio queste proprietà, dette assiomi, e includiamo esempi di impiego nella matematica, discutendo l’importanza del principio di induzione come strumento dimostrativo e la sua equivalenza col principio del buon ordinamento, approdando infine alla divisione euclidea.
Tutto ciò rende la dispensa una risorsa preziosa per chiunque sia interessato alla teoria dei numeri e alla sua fondazione logica.
Scarica la teoria
Ottieni il documento sintetico contenente la teoria sugli assiomi di Peano.
Autori e revisori
Gli assiomi di Peano
L’insieme numerico basilare è quello dei numeri naturali, ossia quei numeri che possono essere osservati in natura. Tale insieme nasce dalla necessità fondamentale di contare gli oggetti esistenti.
E’ possibile definire l’insieme a prescindere dagli elementi grazie a degli assiomi, detti postulati di Peano.
Analizziamo più nel dettaglio il significato dei postulati. Se vogliamo definire il concetto di numero naturale abbiamo bisogno di un “ punto di partenza “, ovvero di un numero naturale minimale. In questa esposizione abbiamo scelto lo come numero naturale di partenza (anche se questa convenzione non è universalmente accettata e talvolta si sceglie di partire dal numero naturale ). Una volta postulato l’esistenza del numero (o a seconda delle convenzione), gli assiomi di Peano richiedono l’esistenza della funzione che, preso un qualunque numero naturale in input, restituisce il numero successivo in output. Se avessimo già un’idea di cosa sono i numeri naturali, potremmo scrivere
Alla luce di quanto appena detto, possiamo interpretare i postulati nel seguente modo:
) Due numeri diversi hanno due diversi successivi;
) Il numero non è il successivo di un numero naturale;
) Principio di induzione debole: se è un sottoinsieme dei numeri naturali che contiene e che contiene il successivo di ogni suo elemento, si ha necessariamente . In altri termini, non esistono sottoinsiemi propri di che contengono sia , sia il successivo di ogni suo elemento.
Osservazione 1.
I primi due postulati possono essere interpretati come
) se e solo se ;
) L’equazione non ha soluzione in .
Il terzo postulato, detto
Principio di induzione è quello più importante perchè fornisce un vero e proprio metodo dimostrativo, detto
dimostrazione per induzione. Supponiamo di voler dimostrare una certa proprietà
per ogni numero naturale. Sia
allora possiamo schematizzare il metodo di dimostrazione per induzione in due passi:
- Passo base: si dimostra che , cioè che è verificata;
- Passo induttivo: supponiamo vera la proposizione per un generico valore e dimostriamo a partire da questa ipotesi, detta ipotesi induttiva, che la proposizione è vera.
Il Postulato permette di concludere che , ovvero che la proprietà è valida per ogni numero naturale. Infatti, il passo induttivo corrisponde esattamente a verificare che .
Possiamo riassumere in modo formale il Principio di Induzione come segue:
Nella formalizzazione di Peano dei numeri naturali il principio di induzione è dato come assioma, pertanto è assunto come vero e non viene dimostrato. In alternativa viene assunto come assioma il principio del buon ordinamento che invece nella formalizzazione di Peano viene dimostrato. In questo caso il principio di induzione è conseguenza del principio del buon ordinamento. Quindi le due teorie dei numeri naturali sono perfettamente equivalenti.
Il principio del minimo permette di dimostrare il seguente teorema alla base della definizione dell’operazione divisione euclidea
Teorema 2. Siano
con
allora esistono e sono unici
tale che
dove è detto quoziente e resto della divisione euclidea.
Tutta la teoria di analisi matematica
Tutte le cartelle di Analisi Matematica
Leggi...
- Prerequisiti di Analisi
- Ripasso algebra biennio liceo
- Ripasso geometria analitica
- Ripasso goniometria e trigonometria
- Errori tipici da evitare
- Insiemi numerici N,Z,Q,R
- Funzioni elementari
- Logica elementare
- Insiemi
- Successioni
- Teoria sulle Successioni
- Estremo superiore e inferiore
- Limiti base
- Forme indeterminate
- Limiti notevoli
- Esercizi misti Successioni
- Successioni per ricorrenza
- Funzioni
- Teoria sulle funzioni
- Verifica del limite in funzioni
- Limite base in funzioni
- Forme indeterminate in funzioni
- Limiti notevoli in funzioni
- Calcolo asintoti
- Studio di funzione senza derivate
- Dominio di una funzione
- Esercizi misti Funzioni
- Esercizi misti sui Limiti
- Funzioni continue-lipschitziane-holderiane
- Teoria sulle Funzioni continue-lipschitziane-holderiane
- Continuità delle funzioni
- Continuità uniforme
- Teorema degli zeri
- Esercizi sul teorema di Weierstrass senza l’uso delle derivate
- Calcolo differenziale
- Derivate
- Calcolo delle derivate
- Retta tangente nel calcolo differenziale
- Punti di non derivabilità nel calcolo differenziale
- Esercizi sul teorema di Weierstrass con l’uso delle derivate
- Studio di funzione completo nel calcolo differenziale
- Esercizi teorici nel calcolo differenziale
- Metodo di bisezione
- Metodo di Newton
- Teoremi del calcolo differenziale
- Teoria sui Teoremi del calcolo differenziale
- Teorema di Rolle
- Teorema di Lagrange
- Teorema di Cauchy
- Teorema di De L’Hôpital
- Calcolo integrale
- Integrale di Riemann
- Integrali immediati
- Integrale di funzione composta
- Integrali per sostituzione
- Integrali per parti
- Integrali di funzione razionale
- Calcolo delle aree
- Metodo dei rettangoli e dei trapezi
- Esercizi Misti Integrali Indefiniti
- Esercizi Misti Integrali Definiti
- Integrali impropri
- Teoria Integrali impropri
- Carattere di un integrale improprio
- Calcolo di un integrale improprio
- Espansione di Taylor
- Teoria Espansione di Taylor
- Limiti di funzione con Taylor
- Limiti di successione con Taylor
- Stime del resto
- Funzioni integrali (Approfondimento)
- Teoria Funzioni integrali (Approfondimento)
- Studio di funzione integrale
- Limiti con Taylor e De L’Hôpital
- Derivazione di integrali parametrici (Tecnica di Feynmann)
- Numeri Complessi
- Teoria Numeri complessi
- Espressioni con i numeri complessi
- Radice di un numero complesso
- Equazioni con i numeri complessi
- Disequazioni con i numeri complessi
- Esercizi misti Numeri complessi
- Serie numeriche
- Teoria Serie numeriche
- Esercizi Serie a termini positivi
- Esercizi Serie a termini di segno variabile
- Esercizi Serie geometriche e telescopiche
- Successioni di funzioni
- Teoria Successioni di funzioni
- Esercizi Successioni di funzioni
- Serie di funzioni
- Teoria Serie di funzioni
- Esercizi Serie di funzioni
- Serie di potenze
- Teoria Serie di potenze
- Esercizi Serie di potenze
- Serie di Fourier
- Teoria Serie di Fourier
- Esercizi Serie di Fourier
- Trasformata di Fourier
- Teoria Trasformata di Fourier
- Esercizi Trasformata di Fourier
- Funzioni di più variabili
- Teoria Funzioni di più variabili
- Massimi e minimi liberi e vincolati
- Limiti in due variabili
- Integrali doppi
- Integrali tripli
- Integrali di linea di prima specie
- Integrali di linea di seconda specie
- Forme differenziali e campi vettoriali
- Teorema di Gauss-Green
- Integrali di superficie
- Flusso di un campo vettoriale
- Teorema di Stokes
- Teorema della divergenza
- Campi solenoidali
- Teorema del Dini
- Equazioni differenziali lineari e non lineari
- Teoria equazioni differenziali lineari e non lineari
- Equazioni differenziali lineari e non lineari del primo ordine omogenee
- Equazioni differenziali lineari
- Del primo ordine non omogenee
- Di ordine superiore al primo,a coefficienti costanti,omogenee
- Di ordine superiore al primo,a coefficienti costanti,non omogenee
- Di Eulero,di Bernoulli,di Clairaut,di Lagrange e di Abel
- Non omogenee avente per omogenea associata un’equazione di Eulero
- Sistemi di EDO
- Equazioni differenziali non lineari
- A variabili separabiliO
- A secondo membro omogeneo
- Del tipo y’=y(ax+by+c)
- Del tipo y’=y(ax+by+c)/(a’x+b’y+c’)
- Equazioni differenziali esatte
- Mancanti delle variabili x e y
- Cenni sullo studio di un’assegnata equazione differenziale non lineare
- Di Riccati
- Cambi di variabile: simmetrie di Lie
- Analisi complessa
- Fondamenti
- Funzioni olomorfe
- Integrale di Cauchy e applicazioni
- Teorema della curva di Jordan e teorema fondamentale dell’Algebra
- Teorema di inversione di Lagrange
- Teorema dei Residui
- Funzioni meromorfe
- Prodotti infiniti e prodotti di Weierstrass
- Continuazione analitica e topologia
- Teoremi di rigidità di funzioni olomorfe
- Trasformata di Mellin
- Equazioni alle derivate parziali
- Equazioni del primo ordine
- Equazioni del secondo ordine lineari
- Equazioni non-lineari
- Sistemi di PDE
- Funzioni speciali
- Funzione Gamma di Eulero
- Funzioni Beta,Digamma,Trigamma
- Integrali ellittici
- Funzioni di Bessel
- Funzione zeta di Riemann e funzioni L di Dirichlet
- Funzione polilogaritmo
- Funzioni ipergeometriche
- Analisi funzionale
- Misura e integrale di Lebesgue
- Spazi Lp,teoremi di completezza e compattezza
- Spazi di Hilbert,serie e trasformata di Fourier
- Teoria e pratica dei polinomi ortogonali
- Spazi di Sobolev
- Complementi
- Curiosità e approfondimenti
- Compiti di analisi
- Esercizi avanzati analisi
- Funzioni Convesse
Tutti gli esercizi di geometria
In questa sezione vengono raccolti molti altri esercizi che coprono tutti gli argomenti di geometria proposti all’interno del sito con lo scopo di offrire al lettore la possibilità di approfondire e rinforzare le proprie competenze inerenti a tali argomenti.
Risorse didattiche aggiuntive per approfondire la matematica
Leggi...
- Math Stack Exchange – Parte della rete Stack Exchange, questo sito è un forum di domande e risposte specificamente dedicato alla matematica. È una delle piattaforme più popolari per discutere e risolvere problemi matematici di vario livello, dall’elementare all’avanzato.
- Art of Problem Solving (AoPS) – Questo sito è molto noto tra gli studenti di matematica di livello avanzato e i partecipanti a competizioni matematiche. Offre forum, corsi online, e risorse educative su una vasta gamma di argomenti.
- MathOverflow – Questo sito è destinato a matematici professionisti e ricercatori. È una piattaforma per domande di ricerca avanzata in matematica. È strettamente legato a Math Stack Exchange ma è orientato a un pubblico con una formazione più avanzata.
- PlanetMath – Una comunità collaborativa di matematici che crea e cura articoli enciclopedici e altre risorse di matematica. È simile a Wikipedia, ma focalizzata esclusivamente sulla matematica.
- Wolfram MathWorld – Una delle risorse online più complete per la matematica. Contiene migliaia di articoli su argomenti di matematica, creati e curati da esperti. Sebbene non sia un forum, è una risorsa eccellente per la teoria matematica.
- The Math Forum – Un sito storico che offre un’ampia gamma di risorse, inclusi forum di discussione, articoli e risorse educative. Sebbene alcune parti del sito siano state integrate con altri servizi, come NCTM, rimane una risorsa preziosa per la comunità educativa.
- Stack Overflow (sezione matematica) – Sebbene Stack Overflow sia principalmente noto per la programmazione, ci sono anche discussioni rilevanti di matematica applicata, specialmente nel contesto della scienza dei dati, statistica, e algoritmi.
- Reddit (r/Math) – Un subreddit popolare dove si possono trovare discussioni su una vasta gamma di argomenti matematici. È meno formale rispetto ai siti di domande e risposte come Math Stack Exchange, ma ha una comunità attiva e molte discussioni interessanti.
- Brilliant.org – Offre corsi interattivi e problemi di matematica e scienza. È particolarmente utile per chi vuole allenare le proprie capacità di problem solving in matematica.
- Khan Academy – Una risorsa educativa globale con lezioni video, esercizi interattivi e articoli su una vasta gamma di argomenti di matematica, dalla scuola elementare all’università.
Document
Document