Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
Cardinalità e Infinito
1
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
Indice
...........................................................................................................................................................2
1. Introduzione......................................................................................................................................3
2. Il percorso ........................................................................................................................................4
3. Complementi..................................................................................................................................14
4. Allegati...........................................................................................................................................15
5. Bibliografia.....................................................................................................................................15
2
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
1. Introduzione
“La teoria matematica dell‘ infinità ebbe inizio con Cantor....Il calcolo
infinitesimale....cercò di farne a meno...,si sforzò di tenerla nascosta.... Cantor
abbandonò questa politica codarda, e ha tirato fuori lo scheletro dal suo
armadio...Fuor di metafora, Cantor ha fondato un nuovo ramo della
matematica...” (B. Russell)
3
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
2. Il percorso
Leggiamo il passo di Galilei tratto dalle Nuove Scienze lì dove il grande fisico
per bocca di Salviati conduce in modo diretto, semplice e comprensibile il buon
Simplicio a trovare una contraddizione (apparente) nel percorso teso a scoprire
“quanti” siano i numeri quadrati e quanti i “numeri tutti”. Suggerisco tale passo
proprio per la sua non formalizzazione, ossia per una sua chiarezza linguistica
scevra da tecnicismi e proprio per questo adatta a creare lo stupore necessario
a chi legge per avvicinare un tema siffatto: l’ infinito. Ebbene, il ragionamento
è riassunto qui di seguito.
Disponiamo in fila i “numeri tutti” (i naturali senza zero) e i “numeri quadrati”:
“numeri tutti” 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
17 18 19 ......
“numeri quadrati” 1 4 9 16
............
Bene, dice Salviati i numeri tutti è chiaro esser più dei numeri quadrati. Ovvio!
Comprendono infatti i numeri quadrati e i non quadrati.
Ma allora chiediamoci quanti siano i numeri quadrati. Qui compare il concetto
fondamentale di tutta la questione. I numeri quadrati sono ovviamente tanti
quanti le loro radici, perchè per ogni numero quadrato c’è la sua, unica,
radice, e ogni radice lo è solamente del suo quadrato. Ma le radici sono
esattamente..”i numeri tutti”! Siamo in presenza di un problema. I “numeri
tutti” sono più dei numeri quadrati che a loro volta però sono tanti quanti i
numeri tutti...
4
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
5
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
6
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
7
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
8
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
Per ogni altezza h ho un numero finito di razionali di quella altezza. Allora ecco
come posso procedere alla numerazione:
h=1 h=2 h=3 h
=4
Q: 1 1/1, -1/1 2/1, 1/2 , -2/1, -1/2
ecc....
N: 1 2 3 4 5 6 7
ecc...
9
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
10
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
Ne esistono altre?
Cioè esistono insiemi infiniti ma non equipotenti a N e a R?. La risposta è
affermativa. Ne esistono addirittura...infiniti.
Il ragionamento, anche qui geniale per quanto semplice, conduce Cantor a
considerare il fatto che un insieme finito A, diciamo di n elementi, permette di
costruire una insieme i cui elementi sono i sottoinsiemi di A. Lo indichiamo con
P(A). (Nota: introdurre un insieme i cui elementi siano insiemi non è operazione
priva di rischi. Anzi, proprio da termini come insieme di tutti gli insiemi e simili
nascono paradossi che ci obbligano a chiamare ingenua la teoria degli insiemi
di Cantor. Non è questa nota la sede per affrontare tali questioni).
Chiaramente P(A) ha sempre 2n elementi. Quindi A e P(A) non saranno mai in
corrispondenza biunivoca! Il successivo grande risultato di Cantor consiste nell’
aver esteso questo teorema al caso di insiemi arbitrari (anche infiniti!)
11
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
P(D) A B C D E F G H I L M N.................
Sia chiaro che in questo modo noi affermiamo di prendere tutti i sottoinsiemi di
D.
Ora, e qui viene il bello, l’elemento a può appartenere ad A o non appartenere
ad A. La associazione tra elementi e sottoinsiemi non ha nulla a che vedere col
fatto che gli elementi stiano nei sottoinsiemi cui sono associati.
Costruiamo (anche qui!) allora un insieme X fatto così: se a appartiene ad A
non lo mettiamo dentro X. Se invece a appartiene ad A (oltre che essergli
associato), lo mettiamo nel “sacchetto X. Passiamo poi a b, a c ecc..
E’ chiaro che X appartiene a P(D) (essendo un suo sottoinsieme). Ma allora
siccome la nostra corrispondenza è esaustiva, X deve avere associato un certo
elemento x di D. Ma x appartiene o no ad X ? Vediamo. Se appartiene allora
vuol dire che....deve non appartenergli (perchè X contiene elementi che non
appartengono agli insiemi loro associati)! Se non appartiene ad X allora....deve
appartenergli (proprio per come è fatto X)!. E’ un dilemma da cui non si esce.
Per inciso fa parte di quelle varianti sul tema del paradosso del mentitore che
non ci si stupisce mai di indagare e riscoprire. Insomma, la tesi affermata porta
a contraddizioni insuperabili, non rimane che negare la ipotesi. Non si può
mettere in corrispondenza biunivoca D e P(D). Nei nostri termini, P(D) ha allora
una cardinalità superiore a D (contiene al suo interno D stesso visto come
sottoinsieme banale di sè stesso). Questo teorema ci fornisce la risposta che
cercavamo. Possiamo, dato un insieme infinito, passare all’ insieme delle parti
e trovare una cardinalità superiore, e così via
card(D) < card(P(D)) < card(P(P(D))) < ........
In particolare, per N
ℵ0 = card(N) < card(P(N)) < card(P(P(N))) < ........
12
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
Teorema: C = card(P(N)) := ℵ1
Ora, a conclusione, si può presentare uno schema che rende più “sistematica”
la disposizione dei numeri transfiniti data da Cantor.
13
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
3. Complementi
In questa sezione si accenna a concetti utilizzabili per opportune estensioni
dell’ argomento (in dipendenza stretta dal tipo di classe in cui si sta
lavorando).
A volte, o sempre, succede che chi scopre un nuovo sentiero del pensiero sia il
primo ad avere stupore e difficile accettazione per ciò che sta scoprendo. Ciò è
accaduto a Planck, Einstein, Galileo e via discorrendo. Cantor non fa eccezione.
A dimostrazione dell assoluta controintuitività del percorso sul quale si è
incamminato, egli tenta di dimostrare che il numero di punti di un quadrato è
un transfinito maggiore di C (che è il transfinito che compete ad un singlo lato
di tale quadrato...) . Ma nel 1877 il suo stupore è grande quando riesce a
mettere in corrispondenza biunivoca un segmento e i punti di un quadrato!
Scrive infatti “..lo vedo ma non posso crederci!” Cantor aveva sperato che i
suoi transfiniti avrebbero permesso di “distinguere” i diversi ordini di spazio.
Così non è. Oggi sappiamo bene che tale equipotenza non è equivalenza
topologica, nel senso che la “dimensione” degli oggetti si fa sentire nella
discontinuità della applicazione biunivoca. Ma da un punto di vista infinitario
tale cosa non conta.
14
Michele Antenucci
SSIS Fisica - Matematica - Informatica (A049 – A038) VII ciclo, II Anno, I Semestre
Relazione per il modulo : Didattica della Matematica (Prof.: A. Sambusetti)
Michele Antenucci
4. Allegati
[1] Percorso.doc
Contiene lo schema delle lezioni. In più una serie di prerequisiti e obiettivi
specifici
5. Bibliografia
[1] Lucio Lombardo Radice, L’ infinito. Itinerari filosofici e matematici di un concetto di base Editori
Riuniti
[1] A.N. Kolmogorov, S.V. Fomin, Elementi di teoria delle funzioni e di analisi funzionale Edizioni Mir
15