Spaziotempo di Minkowski

modello matematico
(Reindirizzamento da Geometria di Minkowski)

«Le concezioni di spazio e di tempo che desidero esporvi sono sorte dal terreno della fisica sperimentale, e in ciò sta la loro forza. Esse sono fondamentali. D'ora in poi lo spazio di per sé stesso o il tempo di per sé stesso sono condannati a svanire in pure ombre, e solo una specie di unione tra i due concetti conserverà una realtà indipendente.»

Lo spaziotempo di Minkowski (M4 o semplicemente M) è un modello matematico dello spaziotempo della relatività ristretta. Prende il nome dal suo creatore Hermann Minkowski.

Fino all'epoca pre-einsteiniana lo spazio tridimensionale era tenuto ben distinto dal tempo ed entrambi erano considerati assoluti. I lavori di Jules-Henri Poincaré, Lorentz e, soprattutto, la relatività ristretta (1905) di Albert Einstein mostrarono invece un legame indissolubile fra spazio e tempo, ed entrambi i concetti persero il loro carattere assoluto.

Prima di Einstein, l'universo poteva essere rappresentato da uno spazio euclideo tridimensionale R3, ovvero a 3 dimensioni, e la variabile temporale considerata indipendentemente da tale spazio. L'avvento della relatività speciale indusse però la necessità di creare una struttura matematica diversa e quadridimensionale, comprensiva delle relazioni fra spazio e tempo: questa struttura matematica, denotata con M4 o R1,3, fu introdotta nel 1907 da Hermann Minkowski.

Lo spazio-tempo di Minkowski fornisce un semplice modello "locale" per la relatività ristretta. Non è tuttavia utilizzabile per descrivere l'universo nel suo complesso: la relatività generale (1915), incorporando la forza di gravità, descrive infatti l'intero spazio-tempo come "curvo" (cioè una varietà), di cui lo spazio-tempo di Minkowski è soltanto la versione "puntuale" o "piatta", cui si può ricorrere per approssimare lo spazio-tempo curvo nell'intorno di un evento.

Approccio fisico

modifica

Come in ogni modello di spazio-tempo, ogni punto dello spazio ha quattro coordinate  , tre delle quali rappresentano un punto dello spazio, e la quarta un preciso momento temporale: intuitivamente, ciascun punto rappresenta quindi un evento, un fatto accaduto in un preciso luogo in un preciso istante. Il movimento di un oggetto puntiforme è quindi descritto da una curva, con coordinata temporale crescente, detto linea di universo.[1]

Trasformazioni di Lorentz

modifica
  Lo stesso argomento in dettaglio: Trasformazione di Lorentz.

Nello spazio-tempo galileiano, la distanza fra due oggetti nello spazio e fra due eventi nel tempo è una quantità assoluta, che non dipende dal sistema di riferimento inerziale in cui è posto l'osservatore. Nella relatività ristretta, ambedue queste quantità diventano invece relative. I cambiamenti di coordinate fra sistemi di riferimento sono infatti più complicati, descritti dalle trasformazioni di Lorentz. Vi è comunque una "distanza" che non dipende dal riferimento (è invariante, ovvero non viene modificata, per trasformazioni di Lorentz): questa "distanza" fra due eventi   e   è detta separazione spazio-temporale ed è la quantità

 

dove c è la velocità della luce. Questo numero reale d2, che può essere positivo, negativo o nullo, è la separazione spazio-temporale fra i due eventi, o intervallo, e non dipende dal riferimento su cui è posto l'osservatore. A differenza dello spazio-tempo galileiano, ciascuna delle due componenti – spaziale e temporale – date da   e   non è però invariante. La separazione spazio-temporale è una quantità invariante per tutte le trasformazioni del gruppo di Poincaré (comprendente le trasformazioni di Lorentz e le usuali traslazioni dello spazio).

Vettori di tipo spazio, di tipo tempo e cono di luce

modifica
 
Il cono di luce in una versione tridimensionale dello spaziotempo di Minkowski
 
La linea di universo percorsa da un corpo nello spaziotempo di Minkowski. Il corpo viaggia in direzione 'tempo futuro' e la direzione limite è tangente alle superfici dei coni quando il corpo viaggia alla velocità della luce.

Poiché   può assumere valori negativi, la separazione spazio-temporale non è un'usuale distanza.

L'intervallo   fra due eventi   e   può essere positivo, nullo o negativo: il vettore   è quindi detto:

  • di tipo spazio se  ,
  • di tipo luce (anche detto isotropo o nullo[2]) se  ,
  • di tipo tempo se  .

I vettori di tipo luce uscenti da   formano il cosiddetto cono di luce centrato in P.

Modelli con 2 o 3 dimensioni

modifica

Dato che la rappresentazione in quattro dimensioni risulta essere graficamente difficile, nelle descrizioni si usa abbandonare per semplicità una o due coordinate spaziali, rappresentando ad esempio il sistema bidimensionale   o tridimensionale  . Nella descrizione tridimensionale, il cono di luce è effettivamente un (doppio) cono, uscente da  . Fissando l'origine in  , il cono di luce nel sistema tridimensionale è formato da tutti i punti   tali che  , ovvero  

 
Versione tridimensionale dello spaziotempo di Minkowski.

Struttura causale

modifica

I vettori di tipo tempo uscenti da P possono essere ulteriormente scomposti in due classi: i vettori temporali futuri, la cui componente temporale t è positiva, e quelli passati, con t negativo. Analogamente, il cono di luce contiene i vettori nulli futuri, aventi (t > 0), e i nulli passati (t < 0).

Il movimento di un oggetto puntiforme è descritto come una curva, con coordinata temporale sempre crescente. Una siffatta curva è detta linea di universo.[1] Poiché secondo la teoria della relatività ristretta tale oggetto non può viaggiare più veloce della luce, in ogni punto il suo vettore tangente è di tipo tempo futuro, o al limite nullo futuro, se l'oggetto viaggia alla velocità della luce.

Per questa restrizione, se due eventi   e   hanno distanza spaziotemporale positiva, cioè   è di tipo spazio, questi non possono essere correlati da nessuna linea di universo: in altre parole, l'evento in   non può in nessun modo condizionare l'evento in  , che è quindi irraggiungibile per  . L'insieme dei punti al di fuori del cono di luce è a volte detto altrove assoluto, oppure presente relativo.

Coordinate fisicamente omogenee

modifica

La coordinata temporale è generalmente moltiplicata per   per ottenere quattro coordinate fisicamente omogenee (tutte spaziali). Inoltre, nei modelli iniziali dello spazio di Minkowski la coordinata temporale era anche moltiplicata per l'unità immaginaria i e messa al primo posto, così da ottenere quattro coordinate   con  , ove le altre tre coordinate sono usuali coordinate spaziali reali.

La moltiplicazione per i è un artificio[3] per ottenere, tramite applicazione della normale distanza euclidea fra vettori   e  , la separazione spazio-temporale:[4]

 
 

Scegliendo, invece, di porre la coordinata  , senza l'unità immaginaria, l'intervallo prende la seguente forma:

 

Struttura matematica

modifica

Con il passare del tempo, si è preferito abbandonare la coordinata immaginaria e definire lo spazio-tempo di Minkowski matematicamente come un usuale spazio euclideo a coordinate reali, su cui è però definita una distanza differente da quella euclidea. Tale distanza è ricavata da un prodotto scalare differente da quello ordinario.

Più precisamente, oggi si definisce uno spazio-tempo di Minkowski come uno spazio affine di dimensione 4, dotato di un prodotto scalare con segnatura  , ossia (-,+,+,+). Tale prodotto scalare è pertanto non degenere, ma non è definito positivo[5]. Molti matematici e fisici definiscono lo spazio-tempo di Minkowski come lo spazio dotato del prodotto scalare opposto, di segnatura  , cioè (+,-,-,-), tant'è che non esiste una vera convenzione sulla segnatura: le proprietà fondamentali dello spazio sono comunque le stesse in entrambi i casi e questo prodotto scalare è chiamato pseudo-euclideo.

Esempio

modifica

Un esempio di spazio-tempo di Minkowski è lo spazio   dotato del prodotto scalare

 

Detto spazio si denota a volte con il simbolo R3,1; talvolta viene anche utilizzato il simbolo M4 o più semplicemente M.

Basi ortonormali

modifica

L'esempio citato è fondamentale: difatti, per il teorema di Sylvester, ogni spazio-tempo di Minkowski   è isomorfo a R3,1. Un isomorfismo è costruito a partire da una qualsiasi base ortogonale   tale che:

 

Una base ortogonale di questo tipo viene spesso chiamata base ortonormale, e può essere costruita tramite l'algoritmo di Lagrange.

In notazione tensoriale, una base ortonormale è una base   che soddisfa l'identità:

 

dove   e   variano fra i valori   e la matrice   è data da:

 

Relativamente a una base ortonormale, le componenti di un vettore   sono scritte tramite le loro coordinate  . Usando la notazione di Einstein, si scrive brevemente:

 

La componente   è chiamata componente temporale di  , mentre le altre sono le componenti spaziali. Queste componenti dipendono dalla base scelta e non sono intrinsecamente legate a  : questo è un concetto fondamentale nello spazio-tempo di Minkowski, legato al fatto che spazio e tempo non sono assoluti. Per evidenziare questa differenza con l'ordinario spazio euclideo, i vettori di uno spazio-tempo di Minkowski sono spesso chiamati quadrivettori.

Il prodotto scalare fra due vettori   e   scritti in coordinate è quindi:

 

Norma quadrata

modifica

Il prodotto scalare non è definito positivo: esistono vettori   per cui:

 

Non è quindi possibile definire una norma tramite l'uguaglianza:

 

come viene fatto normalmente per i prodotti scalari definiti positivi, poiché il secondo membro è negativo per alcuni vettori e quindi non ha una radice reale positiva. La norma quadrata   è comunque definita. In notazione di Einstein, la norma quadrata di un vettore   si esprime come:

 [6]

Definizione alternativa

modifica

Più sopra lo spazio di Minkowski è stato definito come uno spazio vettoriale con determinate proprietà. Vi è una definizione alternativa, espressa nei termini del programma di Erlangen,[7] collegata agli spazi affini: essa vede lo spazio di Minkowski come uno spazio omogeneo del gruppo di Poincaré con il gruppo di Lorentz come stabilizzatore.

Trasformazioni di Lorentz

modifica

Vedi: Trasformazione di Lorentz, Simmetria di Poincaré, Gruppo di Poincaré.

Spaziotempo localmente piatto

modifica

In senso stretto l'uso dello spazio di Minkowski per descrivere i sistemi fisici su distanze infinite si applica solo nel limite newtoniano dei sistemi senza gravitazione significativa. In caso di gravitazione significativa, lo spaziotempo diventa curvo e si deve abbandonare la relatività speciale per la più completa relatività generale.

Nonostante ciò anche in questo caso lo spazio di Minkowski dà ancora una buona descrizione di una regione infinitesima che circonda tutti i punti (tranne le singolarità gravitazionali). In senso più astratto si può dire che in presenza di gravità lo spazio-tempo viene descritto da una varietà curva a 4 dimensioni per la quale lo spazio tangente a ogni punto è uno spazio di Minkowski a 4 dimensioni (ossia una varietà pseudoriemanniana). Quindi, la struttura dello spazio di Minkowski è ancora essenziale nella descrizione della relatività generale.

Quando la gravità è estremamente debole lo spazio-tempo diviene piatto così da apparire totalmente, non solo localmente, come spazio di Minkowski. Per questo motivo lo spazio di Minkowski viene spesso definito come uno spazio-tempo piatto.

  1. ^ a b Paul Davies, È tempo di cambiare, in I misteri del tempo, Milano, Mondadori, 1996, p. 74. ISBN 978-88-04-42736-0
  2. ^ In inglese si usa correntemente il termine null vectors per indicare i vettori di tipo luce, mentre per indicare il vettore che ha tutte le componenti nulle si usa in questo contesto il termine zero vector. In italiano "vettore nullo" può avere entrambi i significati, ma nel contesto della relatività ristretta e degli spazi vettoriali pseudoeuclidei per vettore nullo si intende un vettore di norma nulla, non il vettore di componenti nulle.
  3. ^ Nella teoria di Hartle-Hawking si ipotizza che il tempo in prossimità del big bang sia stato effettivamente immaginario e si ipotizza che questa condizione possa sussistere tuttora. Paul Davies, Il tempo immaginario, in I misteri del tempo, Milano, Mondadori, 1996, p. 205-211. ISBN 978-88-04-42736-0
  4. ^ La distanza euclidea è a dire il vero la radice quadrata di questo numero: in questo contesto, il risultato può essere negativo e quindi la radice non viene svolta.
  5. ^ Alcuni autori incorporano l'ipotesi "definito positivo" nella definizione di prodotto scalare, e quindi usano il termine forma bilineare simmetrica al posto del termine "prodotto scalare" usato qui.
  6. ^ Con questa segnatura, cioè (-,+,+,+), i vettori a norma quadra negativa sono quelli di tipo tempo, con l'altra segnatura (+,-,-,-) quelli di tipo spazio.
  7. ^ Programma di Erlangen Archiviato il 19 giugno 2004 in Internet Archive.

Bibliografia

modifica

Collegamenti esterni

modifica
Controllo di autoritàLCCN (ENsh95008990 · GND (DE4293944-6 · BNF (FRcb11979629v (data) · J9U (ENHE987007563505905171