Matematica e Fisica: un amore senza tempo
Transcript
Matematica e Fisica: un amore senza tempo
Matematica e Fisica: il pensiero comune (ahimè) Matematica e Fisica: un amore senza tempo La Matematica e la Fisica sono: Andrea Tirelli • difficili London School of Geometry and Number Theory University College London • noiose 8 Aprile 2016 • causa degli esami a Settembre • inutili Andrea Tirelli London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Matematica e Fisica: dove sono? Quindi... London School of Geometry and Number Theory University College London Questa chiaccherata potrebbe avvenire senza Matematica e Fisica? Abbiamo bisogno di: La Matematica e la Fisica sono importanti e sono OVUNQUE! • elettricità: equazioni di Maxwell; • computer: macchina di Turing; Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Non solo puro raziocinio Uno sguardo più attento “[. . . ] ho detto per lungo tempo che possiamo arrivare alle nostre ipotesi in tutti i modi. Possiamo pervenirvi senz’altro direttamente, oppure sognandole, o bevendo caffè o whisky (io non faccio cosı̀). E possiamo anche arrivare ad esse “per induzione”, se con ciò intendiamo il vedere molte ripetizioni di taluni eventi.” Mettiamo a confronto: K. Popper, Congetture e confutazioni, Il Mulino, Bologna 1972. • il metodo sperimentale. Andrea Tirelli London School of Geometry and Number Theory University College London • il metodo assiomatico della Matematica, Andrea Tirelli Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Il metodo assiomatico Un esempio concreto London School of Geometry and Number Theory University College London Il gioco della briscola come sistema assiomatico: Gli ingredienti fondamentali del metodo assiomatico sono: • concetti primitivi: “seme” e “valore” di una carta (e.g. asso di coppe); • i concetti primitivi, • assiomi: le regole del gioco, che precisano l’uso dei concetti primitivi (e.g. la carta di briscola prende qualsiasi carta di un altro seme). • gli assiomi, • la logica, con la quale deduciamo i teoremi. Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London NB: gli assiomi non devono essere necessariamente “veri” ma solo condivisi. Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Un esempio astratto Un esempio astratto: i numeri naturali Domanda: cosa è un numero? Giuseppe Peano, in Formulaire de mathmatiques, assiomatizza i numeri naturali N = {0, 1, 2, 3, . . . }: Riusciamo a pensare ad esempi di numeri. • concetti primitivi: “numero”, “zero”, “successivo”. • assiomi: Possibile risposta: “numero” è un concetto primitivo di un qualche sistema assiomatico. 1. Zero è un numero; 2. Se a è un numero, anche il suo successivo è un numero; 3. . . . Andrea Tirelli London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Altri esempi Il metodo sperimentale London School of Geometry and Number Theory University College London Il metodo sperimentale si compone di due fasi: David Hilbert, I fondamenti della geometria 1. fase induttiva; Le geometrie non euclidee, Lobachevsky, Bolyai, Gauss. NB: induttivo = dal particolare al generale, deduttivo = dal generale al particolare. Ogni teoria matematica! Andrea Tirelli Matematica e Fisica: un amore senza tempo 2. fase deduttiva. London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Il metodo sperimentale Un esempio: Galileo e la caduta dei gravi Fase induttiva: 1. Osservazione del fenomeno 2. Formulazione dell’ipotesi Fase deduttiva: 3. Verifica dell’ipotesi “[. . . ] Ma io, signor Simplicio, che n’ho fatto prova, vi assicuro che una palla di artiglieria, che pesi cento, dugento e anco pi libbre, non anticiper d’un palmo solamente l’arrivo in terra della palla d’un moschetto, che ne pesi una mezza, venendo anco dall’altezza di dugento braccia... Ia maggiore anticipa due dita la minore, cio che quando la grande percuote la terra, I’altra ne lontana due dita. [. . . ]” Galileo Galilei, Discorsi e Dimostrazioni matematiche attorno a due nuove scienze attinenti alla Meccanica e i Movimenti Locali, 1638. 4. Formulazione della teoria Andrea Tirelli London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Un esempio: Galileo e la caduta dei gravi Due metodi a confronto Applichiamo il paradigma del metodo scientifico: 1. osserviamo che due corpi di peso diverso fatti cadere dalla stessa altezza toccano il suolo quasi nello stesso momento; 2. ipotizziamo: il tempo che un corpo impiega per toccare il suolonon dipende dal peso (nel vuoto); London School of Geometry and Number Theory University College London Una teoria fisica è vera fintanto che non troviamo un controesempio. Una teoria matematica non necessita di “esperimenti”. Una teoria fisica riguarda la realtà che ci circonda. Una teoria matematica è pura astrazione. 3. verifica: saliamo sulla torre di Pisa e ripetiamo l’esperimento; 4. formuliamo la teoria. Gli strumenti del mestiere del fisico sono: laboratori, acceleratori di particelle, etc. Gli strumenti del mestiere del matematico sono: carta e penna. Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London È davvero amore? È amore! Abbiamo troppi testimoni per affermare il contrario: La matematica vista da un fisico: è solo uno strumento. 1. la cinemtatica ed il calcolo differenziale 2. la Relatività generale e la geometria riemanniana La fisica vista da un matematico: è solo un’applicazione. 3. la teoria delle stringhe e le geometria enumerativa NB: questa lista potrebbe essere interminabilmente lunga! Andrea Tirelli London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Perchè? Dalla teoria alla pratica • Per formulare una teoria serve un modello matematico: ci sono gli strumenti per costruirlo? • La teoria matematica come linguaggio per capire l’esperimento e formulare una congettura fisica • L’approccio e le argomentazioni fisiche come spunto creativo per risolvere un problema matematico Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London London School of Geometry and Number Theory University College London Cerchiamo di vedere negli esempi 1., 2. e 3. sopracitati come queste interazioni di manifestano. Disclaimer: 1., 2. e 3. sono in ordine crescente di difficoltà. Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London La cinematica ed il calcolo differenziale Vogliamo studiare il moto di un punto materiale su una linea retta Vogliamo sapere, in funzione del tempo t, quanto valgono lo spostamento s(t) e la velocità v (t) So misurare tempo e spostamento, ma come faccio con la velocità? Problema: in che relazione stanno s(t) e v (t)? Andrea Tirelli London School of Geometry and Number Theory University College London Che cosa è la velocità? Nell’intervallo di tempo ∆t = t1 − t0 che va dal tempo t0 e t1 misuro uno spostamento ∆s = s(t1 ) − s(t0 ) Tentativo: il rapporto tra lo spazio percorso ed il tempo impiegato a percorrerlo ∆s vm = ∆t In realtà questa è la velocità media! Andrea Tirelli London School of Geometry and Number Theory University College London Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Un nuovo strumento: la derivata Il problema della gravitazione e la geometria di Riemann Idea: se t0 e t1 sono abbastanza vicini, ottengo un’informazione più precisa Tengo t0 fissato e considero t1 sempre più vicino a t0 . In gergo matematico, faccio tendere t1 a t0 , t1 → t0 Ottengo la velocità istantanea: v (t0 ) = lim ∆s(t1 ) − t0 t1 →t0 t1 “[In 1912] I suddenly realized that Gauss’s theory of surfaces holds the key for unlocking this mystery. I realized that Gauss’s surface coordinates had a profound significance. [. . . ] I realized that the foundations of geometry have physical significance. [. . . ] So I asked my friend whether my problem could be solved by Riemann’s theory, namely, whether the invariants of the line element could completely determine the quantities I had been looking for.” Abraham Pais, Subtle is the Lord. Parole chiave: calcolo differenziale, derivate, analisi matematica Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Dal moto rettilineo allo spazio-tempo La Relatività Generale in un’immagine L’universo è quadridimensionale: tre dimensioni per lo spazio, una per il tempo Il tempo non è più una grandezza indipendente dallo spazio! Einstein immaginò lo spazio-tempo come un’oggetto geometrico, la cui curvatura è determinata dalla massa e dall’energia Andrea Tirelli London School of Geometry and Number Theory University College London Andrea Tirelli London School of Geometry and Number Theory University College London Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo La matematica risolve il mistero Quante dimensioni ha l’Universo? Einstein non formulò la sua teoria sulla base di dati sperimentali Quando diciamo che lo spazio ha tre dimensioni, cosa intendiamo? Dovette studiare i concetti della geometria Riemanniana: i tensori, le metriche, la curvatura, il trasporto parallelo, le geodetiche... Il umero di dimensioni è dato da quanti numeri dobbiamo usare per descrivere completamente un oggetto nello spazio Anche il tempo è una dimensione! (Einstiein e lo spazio-tempo) Il fondamento teorico, l’idea, provenivano dalla matematica! Spazio e tempo sono parte di un unico lenzuolo che si piega e si curva in base alla distribuzione della materia e dell’energia. Parole chiave: geometria differenziale, metriche riemanniane, tensore di Ricci Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Perchè avere più dimensioni? Lo spazio-tempo 10-D in un’immagine Obiettivo: una singola teoria che spieghi tutte le quattro forze fondamentali come casi particolari Una possible proposta: teoria delle Stringhe 1. le particelle elementari non sono puntiformi ma delle stringhe (elastici) 2. spazio-tempo composto da 10 dimensioni Quattro le sappiamo. Le altre sono talmente piccole che non le possaimo percepire Andrea Tirelli London School of Geometry and Number Theory University College London Andrea Tirelli London School of Geometry and Number Theory University College London Matematica e Fisica: un amore senza tempo Matematica e Fisica: un amore senza tempo Lo spazio-tempo 10-D in formule Una varietà di Calabi-Yau Un possibile modello dell’universo è dato da R3,1 × X dove X è una varietà di Calabi-Yau compatta di dimensione 6 le stringhe sono curve C in X e sapere quante sono e come si deformano è fondalmentale contare curve è uno degli argomenti centrali della geometria enumerativa fisici che fanno dimostrazioni matematiche! Grazie per l’attenzione! Lettura interessante: The shape of the inner space, Shing-Tung Yau. Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London Andrea Tirelli Matematica e Fisica: un amore senza tempo London School of Geometry and Number Theory University College London