![Page 1: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/1.jpg)
GianfrancoArrigoSMASILugano,NRDBologna
Dall’infinitodeiGreciagliinfini1infini1diCantor
![Page 2: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/2.jpg)
L’infinito nell’immaginario collettivo
![Page 3: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/3.jpg)
Checos’èl’infinitoperlagentecomune?(daun’indaginefa<anellenostrescuoledaGianfrancoArrigoeSilviaSbaragli,2004)
Infinito come indefinitoPer me vuol dire senza confini, senza margini, come lo spazio (III media).Mi dispiace ma nessuno mi ha mai insegnato cos’è l’infinito, penso però che sia un qualcosa di cui non si sa la quantità ben definita (I Liceo).Infinito come numero grandePer me è un numero grande, talmente grande che non si può dire esattamente il suo valore (IV media).
![Page 4: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/4.jpg)
Infinito come illimitato Ciò che quantitativamente non posso misurare; per esempio, i punti di una retta, ma non quelli di un segmento (studente universitario).
Infinito come procedimentoChe cosa vuol dire contare all’infinito? Vuol dire che se conti per 1000 anni di seguito c’è sempre un numero maggiore di quello dove sei arrivato! C’è sempre un numero in più e così per sempre.(V elementare)
L’infinito nell’immaginario collettivo
![Page 5: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/5.jpg)
(…) Esauri< i preliminari, la gara ebbe inizio allapresenza del principe ODone e di un ragguardevolegruppodiintelleDuali.«Uno,due,tre,quaDro,cinque...»(…) Alle ven<due precise avvenne il primo colpo discena.L'algebristaPullscaDò:«Unmiliardo».Binacchi,unitaliano,aggiunseissofaDo:«Unmiliardodimiliardidimiliardi».NellasalascoppiòunapplausosubitorepressodalPresidente.
La gara di matematica(racconto di Cesare Zavattini, 1931)
![Page 6: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/6.jpg)
(…) Mio padre guardò intorno con superiorità ecominciò: «Un miliardo di miliardi di miliardi dimiliardidimiliardidimiliardidimiliardi(…)»«Il presidenteMaust, pallidissimo,mormorava amiopadre,<randoloperlefaldedellapalandrana:«Basta,basta,lefaràmale».Miopadreseguitavafieramente:<...dimiliardidimiliardidimiliardidimiliardi...»Apoco apoco la sua voce si smorzò, l'ul<mofievole«dimiliardi»gliuscìdallelabbracomeunsospiro,indisiabbaDésfinitosullasedia.
La gara di matematica(racconto di Cesare Zavattini, 1931)
![Page 7: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/7.jpg)
GlispeDatori inpiedi loacclamavanofrene<camente.IlprincipeODoneglisiavvicinòestavaperappuntargliunamedaglia sul peDo,quandoGianniBinacchi urlò:«Piùuno!»La folla precipitatasi nell'emiciclo portò in trionfoGianniBinacchi.Quando tornammo a casa, mia madre ci aspeDavaansiosa alla porta. Pioveva. Il babbo, appena scesodalladiligenza,lesigeDòtralebracciasinghiozzando:«SeavessideDo"piùdue"avreivintoio».
La gara di matematica(racconto di Cesare Zavattini, 1931)
![Page 8: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/8.jpg)
Infinito e arte figurativa
![Page 9: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/9.jpg)
L’infinitonellafilosofiadeiGreci
![Page 10: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/10.jpg)
Primi passi [VII - VI sec. a.C.]
Lascuolaionica(regione di Mileto, nell’odierna Turchia)
TaleteeAnassimandro:
l’archécomequalcosadiqualita<vamenteindefinito(ideadiindeterminato)
ápeiron,generalmentetradoDoin“senzalimite”,“senzaconfine”
Anassimene:
Esempiodiápeiron:l’ariacherappresental’illimitatezzaelaonnipresenzapropriadeiprincipiprimordiali.
![Page 11: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/11.jpg)
La scuola pitagorica [VI sec. a.C.]
Gliogge\realisonoaggrega<dimonadi,corpuscoliunitari,dota<digrandezza,matalmentepiccolidarisultarenonulteriormentedivisibili(teoriaatomis1ca)
Pitagorasiaccorgechequalcosanonquadranellateoriaatomis<ca,quandoscopre,nonsenzadisappunto,l’esistenzadinumerinonrazionali.
Pitagora, nativo di Samo, un’isola del Mar Egeo, vicina all’Asia Minore, viaggia tra Oriente (Mesopotamia ed Egitto) e Occidente (Metaponto, Crotone)
![Page 12: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/12.jpg)
La scuola eleatica [VI - V sec. a.C.]
Paradosso della frecciaUnafrecciascoccatadall’arcononèinmovimentocomecomunementesicrede,inrealtàèferma.
Infatti, in ciascuno degli istanti in cui è divisibile il tempo la freccia occupa uno spazio determinato, la freccia è in riposo in ogni istante. Quindi il movimento è… la somma di istanti di riposo, e perciò la freccia non si muove ma è immobile per l’eternità.
Zenone di EleaElea, oggi Velia nel Cilento. Zenone è noto per i paradossi con i quali confutava le idee finitiste (atomiste) dei Pitagorici.
![Page 13: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/13.jpg)
La scuola eleatica [VI - V sec. a.C.]
Paradosso di Achille e la Tartaruga
A B CA B
QuandoAchillegiungeinB,latartarugahapercorsoBC,quandoAchillegiungeinC,latartaruga…CosìAchillenonraggiungeràmailatartaruga!
![Page 14: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/14.jpg)
Come si può spiegare il paradosso a una classe di scuola media?
Esempio Handicap iniziale 100 m; Velocità della tartaruga (T) 1/10 di quella di Achille (A) Quando A ha percorso i 100 m, T ha percorso 10 mQuando A ha percorso 10 m, la T ha percorso 1 mQuando A ha percorso 1 m, la T ha percorso 0,1 mEcc.La lunghezza che A deve percorrere per raggiungere T è:100 + 10 + 1 + 0,1 + 0,01 + 0,001 + … = 111,1111…=
=111,1= 10009
I liceali calcolerebbero il limite della serie (grazie a Dedekind!)
![Page 15: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/15.jpg)
Zenone,cometu\noi,sapevabenissimochelafrecciascoccatadaunarcononrimaneimmobileecheAchilleavrebberaggiuntolatartaruga,mailsuoparadossononsipuòspiegarenelcontestodellateoriaatomis<ca.Unaspiegazionematema<camentecorreDanonsisarebbepotutadareprimadel1872,annoincuiDedekinddefinìilnumeroreale,stabilendolastruDuratopologicadellareDadeinumerireali,sulqualesibasal’aDualeanalisimatema<ca.
La scuola eleatica [VI - V sec. a.C.]
![Page 16: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/16.jpg)
La posizione di Aristotele (384-322 a.C.) riguardo all’infinito dei matematici
Duplice natura dell’infinito:
“in atto”“in potenza”come procedimento come oggetto
«[l’infinitopotenzialeè]quelloaldilàdelqualec’èsemprequalcosa»
[l’infinitoa=ualeè]quelloaldilàdelqualenonc’èpiùnulla;…(Aristotele,Fisica)
![Page 17: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/17.jpg)
Perevitareparadossi,Aristoteleproibìaimatema<cidifarusodell’infinitoaDuale.
Euclide(300a.C.),l’ubbidiente,neisuoiElemenB,acceDalasceltadiAristotele.Peresempio:- nonusailterminereDa,maparladi
segmentoprolungabilecon1nuamenteperdiri<o;
- nellasuafamosadimostrazionedell’esistenzadiinfini<numeriprimi,nonusailtermine“infinito”,madicechenonesisteilpiùgrandenumeroprimo.
![Page 18: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/18.jpg)
Cosìrispondonoglistuden<diterzamedia:
Una questione intrigante
Hannousatol’infinitoinaDo?
Pongono x = 0,9Scrivono 10 x = 9,9Sottraggono la prima dalla seconda
10 x – x = 9,9 – 0,9 quindi 9 x = 9 cioè x =1
0,99999…= 0,9 =?1
![Page 19: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/19.jpg)
Archimede di Siracusa (287 – 212 sec. a.C.)“il primo grande disubbidiente”
Da una lettera di Archimede indirizzata a Eratostene (ritrovata solo nel 1906 dal filologo danese Heiberg):«(...) decisi di scriverti e di esporti nello stesso libro le caratteristiche di un certo metodo [il metodo di esaustione] (…)(…) di quei teoremi, dei quali Eudosso trovò per primo la dimostrazione, [cioè] che il cono è la terza parte del cilindro e la piramide [è la terza parte] del prisma aventi la stessa base e altezza uguale.»
![Page 20: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/20.jpg)
scaloide circoscritto
Archimede di Siracusa (287 – 212 sec. a.C.)il metodo di esaustione
elemento basescaloide inscritto piramide
piramide
Diminuendosemprepiùlospessoredeglielemen<base,ilvolumedegliscaloidisiavvicinasempredipiùaquellodellapiramide.
Quandoilnumerodielemen<basediventainfinito[ina<o!],illorospessorediventanullo[infinitesimo]eilvolumedegliscaloidisiuguagliaaquellodellapiramide.
![Page 21: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/21.jpg)
Laliberazionedalvetoaristotelico
edauna«nozionecomune»diEuclide
![Page 22: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/22.jpg)
Galileo Galilei Dialogo sopra i due massimi sistemi (1632)
Io non veggo che ad altra decisione si possa venire, che a dire, infiniti esser tutti i numeri [naturali], infiniti i quadrati, infinite le loro radici, né la moltitudine dei quadrati esser minore di quella di tutti i numeri [naturali], né questa maggiore di quella, ed in ultima conclusione, gli attributi di uguale, maggiore e minore non aver luogo negli infiniti [in atto!], ma solo nelle quantità terminate.
Il tutto è maggiore della sua parte
N 0 1 2 3 4 … k
Qu 0 1 4 9 16 … k2
…
… (per insiemi infiniti)
![Page 23: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/23.jpg)
Intervallo: la storiella dell’albergo infinito
Immaginiamo che esista un albergo con infinite camere.L’albergo è al completo: tutte le camere sono occupate.
Arriva un personaggio importante e chiede una camera.Il direttore è nei pasticci: come rifiutare l’alloggio a un vip?
…1 2 3 4 5 6 7 8 9 10 11 12
![Page 24: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/24.jpg)
Intervallo: la storiella dell’albergo infinitoNessun problema!Il direttore prega gentilmente ogni suo ospite di spostarsi nella camera successiva:
Rimane così libera la camera numero 1, che viene assegnata al nuovo arrivato.Dopo un po’ arriva un pullman carico di turisti. Chiedono 20 camere. Riuscirà il direttore ad accontentarli tutti?E se arrivasse un pullman con infiniti turisti?
…1 2 3 4 5 6 7 8 9 10 11 12
![Page 25: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/25.jpg)
Il metodo degli indivisibili (XVI-XVII sec.) Altri disubbidienti al veto di Aristotele:Luca Valerio, Bonaventura Cavalieri, Evangelista TorricelliInques<tempinessunoconoscevaidocumen<diArchimedesul“metododiesaus<one”(trova<solonel1906).Ilmetodo“degliindivisibili”èunareinvenzionedeilavoridiArchimede.
Adogni[parabola]sipuòinscrivereunafiguraformatada[reDangoli]ecircoscriverneun’altra,inmodochelafiguracircoscriDasuperil’inscriDadiunaqualsiasiquan1tàprefissata.
Quandoquestaquan<tàèinfinitesimaLedueareecoincidonoconquelladelsegmentodiparabola.
Esempio:LucaValerio
infinitoina<o
Infinitoinpotenza
![Page 26: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/26.jpg)
Lanascitadelcalcoloinfinitesimale:
Matema1cichelavoraronoconl’infinitoina<o
econinumerireali
senzacheques1fosserosta1rigorosamentedefini1
![Page 27: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/27.jpg)
Gottfried Wilhelm von Leibniz (1646-1716) punto di vista geometrico
A(a;0) B(b;0)
y=f(x)
x
y
O
area:l’integrale
pendenza della tangente: la derivata
area poligonale:
f xi( )i=1
n
∑ · Δxi
area superficie:
f x( )a
b
∫ · dx
pendenza secante PD:ΔyiΔxi
pendenza tangente t:
limΔx→0
ΔyΔx
infinitoina<o
operazioniinverse
A K
C
x
s
Q B
y
PE
D
F
r
t
Δx
Δy
![Page 28: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/28.jpg)
Isaac Newton (1642–1727)punto di vista cinematico
infinitoina<o
P
t=0s=0
t=ti
t=ti+1s(t)
Δti = ti+1 – ti Δsi = s ti+1( ) – s ti( )velocità media:
ΔsiΔti
velocità istantanea:
limΔt→0
ΔsΔt
![Page 29: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/29.jpg)
Gliapplicatoridelcalcolodifferenzialeeintegrale
![Page 30: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/30.jpg)
John Wallis (1616 –1703) Jakob Bernoulli (1654–1705) Johann Bernoulli (1667–1748)Leonhard Euler (1707–1783)Carl Friedrich Gauss (1777–1855)Georg Friedrich Bernhard Riemann (1826–1866)e tanti altriottennero numerosi risultati importanti che contribuirono a sviluppare anche la fisica e l’ingegneria.Ma il Gigante (il calcolo differenziale e integrale) ha ancora i piedi di argilla!Il passaggio dalla forma infinitesima a un limite finito non poteva essere dimostrato rigorosamente.Lo farà Richard Dedekind nel 1872 nella sua opera SteBgkeitundIrraBonaleZahlen.
![Page 31: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/31.jpg)
Curiosità: da dove viene il simbolo di infinito?
CIƆL’ipotesipiùcredibile:èlaM(Mille,moltogrande)dellascriDuraoncialechefuusatadalIIIall'VIIIsecoloneimanoscri\dagliamanuensila<niebizan<ni,edall'VIIIalXIIIsecolosopraDuDonelleintestazionienei<toli.
JohnWallislointrodusseconilsuosignificatomatema<conel1655.
Simbolou<lizzatodaLeonhardEulerperdenotareilconceDodiinfinitoassoluto(il“minore”degliinfini<).
![Page 32: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/32.jpg)
Versol’apoteosi:gliinfini1infini1
diCantor
![Page 33: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/33.jpg)
Georg Cantor 1845SanPietroburgo-1918Halle(D)
Ilpadre,danese,eraagentedivenditainRussia.Lamadre,russa,eraunabravamusicista.Nel1872,professorealPolitecnicodiZurigo,conobbeRichardDedekind,casualmente,duranteunavacanzaaInterlaken.CantortrovainDedekindl’unicomatema<cocheinqueitempiriconobbelasuateoriadegliinsiemiinfini1.
![Page 34: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/34.jpg)
PreliminariIlprimograndepasso,Cantorlocompiedimostrandochel’infinitàdell’insiemedeinumerirealièmaggioredell’infinitàdeinumerinaturali.Questorisultatoaipiùsembrascontato,mal’importanzastanelfaDocheCantorcominciaadis<ngueretradueinfinitàdiverse:
ℵ0 : infinità diN (naturali)ℵ : infinità diR (reali)Ilsecondopasso,piùsofferto,consistenelcercaresevisianoaltreinfinità.Nonnetrovatrae,quindiprovaapensarnedipiùgrandi.
ℵ0 ℵ
![Page 35: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/35.jpg)
Preliminari
Cantordapprimalericercaingeometria.Pensachel’infinitàdeipun<dellareDa,cheèquelladeinumerireali,siainferioreall’infinitàdeipun<diunasuperficie,laquale,asuavolta,siainferioreall’infinitàdeipun<dellospaziotridimensionale.
Ecosìperipun<dellospaziotridimensionale(odiunasuafiguraqualsiasi)!
ℵ
Congrandesorpresa,Cantorriesceadimostrarecheèpossibilestabilireunacorrispondenzabiunivocatraipun<diunquadratoequellidiunsuolato.Dunquel’infinitàdeipun<diunasuperficieèancora.
![Page 36: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/36.jpg)
Lo vedo, ma non ci credo
UnavarietàconBnuaapdimensioni,conp>1,puòesseremessainrelazione(bi-)univocaconunavarietàconBnuaaunadimensione,inmodotalecheadunpuntodell’unacorrispondaunpuntoedunosolodell’altra?
Fintantochevoinonmiavreteapprovato,iononpossochedire:lovedo,manoncicredo.
LeDeradiCantoraRichardDedekind(1831-1916),Halle(Sassonia),29giugno1877
![Page 37: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/37.jpg)
Un esempio della dimostrazione di Cantor
Visonotan<pun<nellasuperficiediunquadratoquan<sonoipun<diunsuolato.
P( 10, a 2a 3a 4a 5a 6a 7a …; 10, b 2b 3b 4b 5b 6b 7b …) 2-D
0 1
P
P’x
y
P’( 10, a 1b 2a 2b 3a 3b 4a 4b 5a 5b 6a 6b …) 1-D
![Page 38: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/38.jpg)
Inserto: l’insieme dei numeri reali
forma : ab
a,b interi,b ≠ 0
NUMERI REALIRAZIONALI IRRAZIONALI
interi
naturali
algebricialgebrici
soluzioni di un’equazionep(x) = 0 , p polinomio di grado n
a coefficienti razionali
non algebrici(o trascendenti)
π,e,…
ℵℵ0
![Page 39: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/39.jpg)
Finalmente!
Cantorhaun’illuminazione:confrontalacardinalitàdiuninsiemeAconquelladell’insiemeP(A)dellesuepar<.Proviamoanchenoi,facendocapoaltriangolodiTartaglia(italiano,XVIsecolo)odiPascal(francese,XVIIsecolo)
odiKhayyàm(persiano,XIIsecolo),odiYangHui(cinese,XIIIsecolo)notoancheainostristuden<.
![Page 40: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/40.jpg)
L’insieme delle parti
Quindi:uninsiemeAdinelemen<hasoDoinsiemi.2n
triangolo
nr.el.di A
nr. delleparti di A
parti di A
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
…
…
0 1= 20⏀
1 1+1= 21⏀ A
2 1+2+1= 22⏀ {x} {y} A
3 1+3+3+1= 23⏀ {x} {y} {x,y}{z} {x,z} {y,z} A
… … …
n 2n…
4 1+4+6+4+1= 24⏀ {x}{y} {x,y}{z} {x,z}{x,w}{y,z}{w} {y,z}{z,w}{x,y,z} {x,y,w} {x,z,w} {y,z,w}A
![Page 41: Dall’infinito dei Greci agli infini infini di Cantor · Dall’infinito dei Greci agli infini infini di Cantor. L’infinito nell’immaginario collettivo. ... di infini](https://reader030.vdocuments.net/reader030/viewer/2022020216/5c66f1cf09d3f2c14e8cc663/html5/thumbnails/41.jpg)
Finale: gli infiniti infiniti
Cantoraffermachelaformulaappenavistaèvalidaanchesenèunnumeroinfinito.Quindi:
ℵ0 < 2ℵ0 (=ℵ) < 2ℵ
ℵ0 < 2ℵ0 < 22
ℵ0 < 222ℵ0
< 2222ℵ0
<…
A questo punto il “gioco” può continuare!
Equestaèlasuccessionedeinumeriinfini1diCantor,de\anchenumeritransfini1.