Appuntiperl'incontroconErriDeLucaalCNR

11maggio2010
diRobertoNatalini

"Discretoecontinuo,finitoeinfinito,sonoduepolioppostidelnostromododiconoscereilmondo
fisico. Spesso capaci di invertire la loro posizione, e a volte di fondersi l'uno nell'altro. Ci
piacerebbechetuttofosselimitatoecontabileesottoilnostrodirettocontrollo.Eppurelanostra
matematica,equindiinultimaanalisiunabuonapartedellascienzamoderna,sibasasull'ideae
primaancorasull'usodell'infinito.Uninfinitocontrollato,forseunpo'addomesticato,manonper
questodiventatofinito."

a)Daunapartecipiacerebbechetuttofossefinito,discreto,contabile(questitermininonsonotecnicamente
equivalenti,maok...).Chepotessimometteretuttoinungrandecomputer(chenotoriamentepuo'soloavere
achefareconunnumerofinitogrande,mafinitodioggetti,insommasempreunaspeciedigrande
pallottoliere)ecalcolare.Infondolamatematicanascestoricamentedalcontare:10dita,100pecore,1000
guerrieri,80miliardidigalassie,10^23stelle,10^80atomi.Chihabisognodinumeripigrossi??

b)Poiperc'ilteoremadiPitagora.EcomesapevanoipitagoricieciraccontaanchePlatonenelMenone,
siscoprecheseprendiamounquadratoconillatolungounmetro,lalunghezzadelladiagonaleugualealla
radicedi2.Echenonpossiamomaitrovareunafrazionecheesprimaquestalunghezza.Insommainumeri
naturali non bastano, e nemmeno le frazioni. E non bastano nemmeno a calcolare il rapporto tra
circonferenzaediametrodiuncerchio,ossialafamosaquadraturadelcerchio.Ok,perChuckNorris,pi
greco=3,manonperunmatematico,enemmenoperuningegnerechedeveprogettareunaruota(ola
fusolieradiunaereo).Equestinumeri,radicedidue,pigreco,e(ilnumerodiEulero,ossiala basedei
logaritminaturali),servonosempre,anchesesonodifficili(eranodifficiliperPitagora...)espessononsono
capitifinoinfondo.Sevogliamocalcolareunangoloounadistanzaofareunamoltiplicazioneappenapi
complessa(IlogaritmidiNapiernascononel1614proprioperfarerapidamentelemoltiplicazioni),pernon
parlaredifaredellafisicaseria(equazionidell'elettromagnetismo,relativit,fisicaquantistica),troviamo
l'infinito,infinitamentepiccoloeinfinitamentegrande.Insommadobbiamopassareallimite.Limitenel
sensomatematico,nelsensodicompiereinfiniteoperazioniconunasolaoperazione.Perchquandovadoal
limite,hobisognodell'infinito,perchpassosempreattraversoun'infinitdipuntiperraggiungerlo.Eposso
quindi riuscire per esempio a risolvere il paradosso di Zenone. Cerchi di attraversare la strada, ma per
arrivaredall'altrapartedeviraggiungerelametdelpercorso.Epoii3/4,epoii7/8ei15/16.Ossiaper
traversareunintervallodeviattraversareprimainfinitisottointervallisemprepicortieperfareunnumero
infinitodicosecivuoleuntempoinfinito.Giusto?Insomma.C'qualchecosachenontorna,no?Disolitola
stradariusciamoatraversarla.Forselasommadicosesemprepipiccole(ancheseinnumeroinfinito)alla
finepuesserefinita.Mafinoalladefinizionedelleserienumeriche,comelimitedellesommeparzialie
soprattuttoallasistemazionerigorosadellanozionediconvergenzaedinumerireali(conWeierstrasse
DedekinddopolametdelXIXsecolo),questoparadossohamessoinimbarazzotuttalafilosofia.Non
vogliamospiegarecomesirisolve,solocercaredifarcapireiproblemichepossononasceredalnonsapere
gestirel'infinito1.

d)PoiperconCantorscopriamochediinfinitononcen'unosolo,anzivisonounsaccoditipidiinfinito
(infinititipidiinfinito,sic!).Maprimavediamoilpisempliceparadossosull'infinito,giosservatoda
Galileo.Datochepossiamofareilquadratodiogninumero,inumeriquadrati(1,4,9,16,25...)sonotanti
quantituttiinumeri.Questorisultatosembraparadossale.Iltuttodovrebbeesseresempremaggiorediuna
suapartepropria.Cantorcidicechequestononpiveroquandolavoriamoconinsiemiinfiniti.Anzi,
proprio la sua (e la nostra) definizione di infinito: un insieme infinito se puo' essere messo in
corrispondenzaunoaunoconunasuapartepropria.Inumerinaturalisembranoesseredipideinumeri
quadrati,mainvecesonoequipotenti.Etorniamoaivaritipidiinfinito.Lefrazionisonoinfinite.seprendo

1 ComediceDavidFosterWallaceinEverything&More:LaconfusionecentraledellaDicotomia[nelparadosso
diZenone]oraeliminata:muoversidalpuntoAalpuntoBnonrichiedeunnumeroinfinitodimosse,mapiuttosto
unasingolamossadilunghezza[BA],chepuessereapprossimatadaunaserieconvergente,E&M,p.195.
duefrazioninepossosempretrovareunainmezzo.Maconlefrazioninonpossofarelaradicedidue.
Insomma se voglio avere un metro senza buchi, in cui possa misurare la diagonale del quadrato o la
circonferenzadiuncerchio,devoaggiungerequestinumeri"irrazionali".Equandoliaggiungoottengoi
numerirealiemiaccorgo(Cantorsiaccorse)cheformanouninfinitodilivellosuperiore.Ladifferenzatra
unmetrobucherellatoeunmetro"pieno".Irazionali,ossialefrazioni,occupanounapartetrascurabiledel
nostrometro.Seavendounamatitadallapuntaaffilitassima,midivertissiasegnaredeipuntiacasosuuna
retta,avreiunaprobabilitnulladiscegliereunnumerofrazionario.

e)Aquestopunto,percapirecheveramentenonpossiamofareamenodell'infinito(edellimite,edel
continuo,edellederivateetc...)bisognachiarirechecosaunmodellomatematico.Unmodellounaforma
dirappresentazionechepermettediragionareconalcunifattireali,cercandoditrovareimeccanismibasilari
dellalorointerazione.Eciserveaprevedereilfuturoconunaragionevoleapprossimazione.Ilprimomodello
matematicosonoforsestatelenostredita.Perognipecoracheentravainunagrottamitoccounafalangee
cosialmenofinoa15permanociarrivo.Poicomincioafaredeisegnettiperterraosulleparetidellamia
grotta.Insommarappresentoinmodosemplice(unafalange)qualchecosadicomplesso(unapecora).Pero'
ognicosapuo'esserevistainmoltimodi.Nonesisteilmodelloperfetto.Prendiamoungasounliquido.
Certo,sonomolecoleepotremmopensarlecomepalline(eancora,nonsempresicomportanocometali...),
masonopropriotante(inuncm3digascisonocirca1020molecole)eddifficilecalcolarecosafanno.Una
soluzione,moltoprimachesiparlassediatomi,fupropostadaEuleronel'700.Considerareungasoun
liquido come una sostanza "continua", con comportamenti macroscopici, con grandezze che possiamo
misurareallanostrascala:pressione,temperatura,densit.Equestisonoifluidichevediamoveramente:il
ventointornoallavostraauto,l'ariachesostienelealidiunaereo,lenuvolenelcieloel'acquanelmare 2.
Quandosiguidalamacchinaosemplicementesiguardalanostrapelleracchiuderelecosechevisonoalsuo
interno,eacuiteniamomoltissimo,stiamofacendounlimite.Setirounapalladigomma,nondevoseguire
tuttelemolecolechelacompongono,masoloillorobaricentro(opocopi).

f)Inrealtognilivellodiscaladellanostrarappresentazionedelmondohaisuoimodelli.Possiamopartire
dagliatomi,masevogliamocostruireuntavoloounacasa,dobbiamopassareallimiteevederelamateria
comeuncontinuo.Nondimenticandodeivarilivelli,matenendoinmemoriailivellipiu'piccoli,oppure
utilizzandomodellidiversiinregionidiverse.Possoricordamichelacorrenteelettricafattadielettroni,ma
poidevopassarelalimitepermisurarelacorrentemacroscopicachepassanellalampadina.Insomma,il
continuoovunque,edpretecnologico:unacorda,untavolo,unsasso,unastrada,unmuro,ilmondoche
vediamo,siamonaturalmenteportatiapensarlicomecontinui.Inunocchiocisono6milionidiconie120
milionidibastoncelli,quellochevediamosembracontinuo,masolounapprossimazione(oppurel'occhio
cheapprossimalacontinuitdelmondo?).Forsel'ideadicontinuitediinfinitosonosolodellemetafore,
concettiumanichenoncorrispondealmondoesterno.Mafunzionanobenissimo,edifficilmenteverranno
sostituiti.

g)Inrealtilprimomodellodicontinuodatodallanostraautocoscienza.Lanostrapercezionedeltempo,il
fluiredegliavvenimenti.Lanostrapercezionedinoistessi.Questituffiimprovvisichecifannoprecipitare
dentrodinoiinmomentidiinfinitaintensit.Oanchequestiistantidilatatiintornoacuisi(ri)costruisconoi
nostriricordi.Unasortadiinfinitaconcentrazione,senzascatti(allimitesalti,possosvenireerisvegliarmi)
chepoiquellachecifaimmaginaredipoteravereunapercezioneinfinitaeun'animaimmortale,Perchin
fondoquestochetuttivogliamosapere,comebensapeval'indovinocheaibarbonidiMiracoloaMilano,
per100lire,dicevasemprelastessacosa:"Leinonfiniscequi!Nono...Chissdovefinirlei,conquello
sguardo.Diventerunagrandepersona...Leinonfiniscequi!".

2 Edinquestifluidichenascelaturbolenza.neparloperchfacapirebenecomequestaspeciedi"finzione"diavereuntessuto
continuo,permettadispiegarecosechesarebbeimpossibilecapirealivellomolecolare.Prendeteunfluidoefatelogirare,per
esempiomischiatedell'acquaconuncucchiaio.Segiratepianononsuccedenulla.Poipianopianoappaionodeivorticiesegirate
ancorapiforte,vedreteappariresemprepivortici,tantimulinelli,ealtripiccolichevengonoinqualchemodoattivatidaquelli
grandi.EdeccodadovevienelastoriadellafarfallachebattelealiinCinaefanascereunuraganoinAmerica.Eccodadove
vienel'instabilitdelleprevisionideltempo.Einsomma,quandoabbiamoachefareconquestifluidisuscalecosigrandi,non
riusciamo a vederli come un materiale fatto di tante particelle, ma, anche se poi in realt le simulazioni numeriche che
produciamosonosemprefattesuunnumerofinitodivalori,ciostiniamoavederlicomecontinui.Comeseesistesseroveramente
elarealtfossesolounabuonaapprossimazionediquestarealt"continua"piprofonda.
DomandamiaaDeLuca:
Lamatematicacreadellestruttureimmaginariecondivise(anchesedaunaristrettacerchia
dipersoneappropriatamenteeducate,sempreparecchiemigliaiaintuttomondopero'),una
conoscenzachecercadiessereveramenteglobale,el'infinitofapartediquestestrutture.I
concettimatematicihannounaspeciedipermanenzaindipendentedallesingolepersone.
L'intenzionedell'autore,cichelohaportatoatrovarequellacosa,nonhapiimportanza,e
restaunoggettochepossoprendereemanipolareapiacere.Unavoltaintrodottaunanuova
idea,chiunquelapuo'farepropriaeusare.E'veroperl'infinito,perigruppifinitiopergli
spazidiBanach.Quandouno"impara"avederel'infinito,nonpuo'piu'fareameno di
vederlo.Eperquestolamatematicacresceepossiamopensarlacomeinfinita.
Sipuo'direlostessodell'immaginariodellaletteratura?Esisteunacosaaldildellasemplice
istanza contingente di una certa opera letteraria? La cosa che resiste alle cattive traduzioni, ai
cambiamenticulturaliedicostume,allediversefilosofie,alleriduzionicinematografiche,aicattivi
lettori?laletteratura,inquestosenso,infinita?