Questo è l'ottavo articolo della serie "La Relatività Generale al microscopio"

 

Partendo dal teorema di Pitagora sul piano arriviamo a quello su uno spazio curvo, grazie al tensore metrico... le cose si complicano e le sommatorie si affollano.

Scriviamo il nostro caro Teorema di Pitagora per trovare la distanza ds nel piano x¹, x² (spazio a due dimensioni).

ds² = dx¹² + dx²²

utilizzando, ormai, gli apici per determinare i vari assi coordinati abbiamo segnato in rosso l'effettiva operazione di elevazione al quadrato...

Se poi vogliamo trovare la distanza ds nello spazio a tre dimensioni (Fig. 10), dobbiamo applicare ancora una volta il Teorema e scrivere:

ds² = ds² + dx³²

Che pasticcio di colori e di indici... crea solo una grande confusione... Proviamo allora a scrivere ds per esteso

ds² = dx¹²+ dx²²+ dx³²

E, invece del quadrato che ci causa il numerino rosso, moltiplichiamo dxⁿ per se stesso...

ds² = dx¹ dx¹ + dx² dx² + dx³ dx³

Il ds può pure mantenersi il suo esponente dato che è chiaro che si riferisce al sistema x e possiamo scrivere il teorema di Pitagora in 3 dimensioni:

ds² = ∑_mdx^m dx^m

Una formuletta che ci permette di considerare quante dimensioni vogliamo... basta estendere la sommatoria a m  sempre più grande. In poche parole, e non ridete se questi passaggi sono stati poco più che infantili, la formuletta ci permette di estendere il calcolo della distanza tra due punti a uno spazio a m dimensioni.

Tanto che ci siamo, divertiamoci ancora un poco...

La stessa formula di prima la posso anche scrivere in modo apparentemente inutile, ma che tale non sarà. Essa contiene solo i termini che moltiplicano un dx per se stesso, ossia dx^m per dx^m. Perché non tenere in conto anche i termini in cui le x di indice diverso si moltiplicano tra loro?  Meglio scriverla direttamente:

ds² = ∑_mndx^m dxⁿ

E' sempre corretta? Nemmeno per sogno! Il teorema di Pitagora non tiene certo conto dei termini in cui dx¹ moltiplica dx² e via dicendo... Beh... possiamo migliorarla, moltiplicando il secondo membro per un certo fattore δ^mn, un fattore semplicissimo e molto "vigile", che dirige il traffico in modo da far rimanere la formula nell'ambito di correttezza del teorema del grande matematico greco. Come può fare? Banale:

δ_mn vale 1 (ossia dà il via libera) solo quando m = n, mentre δ_mn = 0 (ossia blocca il traffico) quando  m≠ n.

A questo attento vigile è stato dato il nome di delta di Kronecker. La formula del teorema di Pitagora così costruita diventa perciò

ds² =  ∑_mnδ_mndx^m dxⁿ

E' venuto il momento di utilizzare nuovamente la (1). Ancora una volta la possiamo scrivere, cambiando il nome alle coordinate:

dx^m = ∑_r (∂x^m/∂y^r )dy^r                   .... (1a)

Attenzione! A questo punto cerchiamo di non sovraffollare le nostre formule con troppi segni di sommatoria  e nella (1a) eliminiamo "visivamente" la sommatoria, pur sapendo che essa continua a esistere! D'altra parte l'indice r, per il fatto stesso di apparire, ci fa capire che stiamo sommando qualcosa con r ,che copre il numero di dimensioni considerate. La formula resta sempre un modo per descrivere una certo spostamento lungo una coordinata di un sistema x attraverso una sommatoria di gradienti relativi ciascuno a uno spostamento lungo gli assi del sistema y (siamo sempre nel caso della Fig. 7).

Forza e coraggio... e andiamo a sostituire la (1a) nella "nuova" formula del Teorema di Pitagora:

ds² =  ∑_mnδ_mndx^m dxⁿ

ds² = ∑_mn δ_mn (∂x^m/∂y^r )dy^r  (∂xⁿ/∂y^s ) dy^s 

Abbiamo lasciato la sommatoria su m e n, ma Einstein aveva preferito toglierla. Comunque sia, riscriviamo la formula in altro modo:

ds² =  ∑_mn δ_mn(∂x^m/∂y^r ) (∂xⁿ/∂y^s) dy^r dy^s 

Sì, lo so ... è una formula decisamente molto complicata a causa delle sommatorie che intervengono, ma non fa che esprimere una "semplice" serie di trasformazioni di coordinate. Non solo, essa non è altro che il Teorema di Pitagora, scritto in modo "leggermente" diverso...

ds² =  ∑_mn δ_mn(∂x^m/∂y^r ) (∂xⁿ/∂y^s) dy^r dy^s 

Tutta la parte rossa non è altro che un tensore (combinazione di vettori) e viene chiamato TENSORE METRICO g_mn, da cui:

ds² = g_mn dy^r dy^s   

Questa formula diventa quella "normale" se si è in uno spazio piano, per il quale il tensore metrico si riduce a δ_mn. Definiamo in modo molto "rozzo", ma più comprensibile il significato profondo del tensore metrico. Esso non è altro che una correzione che bisogna applicare al teorema di Pitagora quando si passa da uno spazio piano a uno spazio curvo, una specie di "macchina" che ci permette di estendere il teorema di Pitagora a qualsiasi spazio a n dimensioni e, in particolare, a uno spazio a 4 dimensioni, di cui una è il tempo, ossia uno spaziotempo a quattro dimensioni.

In modo ancora più sintetico, il tensore metrico permette di calcolare la lunghezza di un arco di curva su uno spazio qualsiasi. Ciò è stato ottenuto, limitandoci allo studio delle trasformazioni di coordinate in un una zona estremamente piccola dove lo spazio può essere espresso in modo simile a quello piano. Una definizione non propriamente corretta, ma che in qualche modo dovrebbe aiutare a capire tutto ciò che è stato fatto. Abbiamo definito, attraverso uno studio LOCALE "piatto", le caratteristiche di qualsiasi trasformazione di coordinate su uno spazio curvo. In ogni punto si riesce a intervenire sapendo come agire per calcolare spostamenti e/o distanze infinitesime nell'intorno del punto.

Bene (si fa per dire) ... siamo riusciti a descrivere un tensore che compare nell'equazione di Einstein, quel fattore correttivo che, pur essendo stato ricavato attraverso uno studio locale, ci permette di agire per trasportare il tutto su uno spazio curvo. Einstein non usa gli indici m ed n, ma μ e ν, e si  permette di agire sia su coordinate spaziale che temporali, ossia di agire non solo su uno spazio curvo ma su uno spaziotempo curvo.

Cerchiamo di dire le cose in modo un po' più tecnico, ma senza cadere in frasi matematicamente troppo elevate. Vogliamo descrivere la curvatura di uno spazio a n dimensioni. Consideriamo un piccolo spostamento del punto approssimando il tratto con una normale geometria piana o -meglio- quasi piana alla Minkowski. Scriviamo le trasformazioni delle coordinate che lo contraddistinguono durante il suo movimento. Ne segue che nel passaggio da un sistema inerziale a uno non inerziale deve sempre essere possibile trovare una trasformazione di coordinate per passare dall’uno all’altro e viceversa. il campo gravitazionale localmente può essere assimilato ad un sistema non inerziale, è quindi sempre possibile trovare una trasformazione di coordinate che porti da un sistema soggetto a campo gravitazionale ad un sistema di riferimento inerziale in cui il campo gravitazionale è trascurabile a livello locale. In questo intorno infinitesimo dell’evento quadridimensionale è quindi valida la teoria della relatività ristretta. Per far ciò è necessario poter cambiare il sistema di coordinate mantenendo comunque inalterata la distanza percorsa (così come capita per una distanza nel piano di Minkowski).

Una volta descritta questa trasformazione tra coordinate si può passare ad applicarla ai vettori. Il tensore metrico è un operatore che permette di tener conto di un movimento in uno spazio comunque curvo a n dimensioni tale da mantenere invariata la "distanza" percorsa. In parole ancora più semplici, il tensore metrico permette di descrivere la geometria locale di uno spazio a n dimensioni e, in particolare, dello spaziotempo a quattro dimensioni.

Lo sforzo enorme di tutte queste trasformazioni è riuscire a riprodurre ciò che è stato possibile nella relatività ristretta, ossia determinare una trasformazione che mantenga inalterata una certa distanza al cambiare del sistema di riferimento, anche passando a un sistema non inerziale, lavorando localmente in un ambito talmente ristretto tale da poter approssimare il tutto, fino a che è possibile, con la metrica tipica della relatività ristretta.

Abbiamo il correttore e cerchiamo di studiarlo meglio per poi poterlo applicare a uno spaziotempo curvo: le cose cominciano a complicarsi e si devono introdurre simboli diversi...