Tensore di Riemann

Particolare tipologia di tensore

In geometria differenziale, il tensore di Riemann è un tensore di tipo (1,3) che codifica nel modo più completo la curvatura di una varietà riemanniana. Prende il nome da Bernhard Riemann ed è generalmente indicato (nella notazione con indici) tramite il simbolo:

Tutte le altre entità che descrivono la curvatura di una varietà possono essere dedotte dal tensore di Riemann, ad esempio il tensore di Ricci (un tensore di tipo (0,2)), la curvatura scalare e la curvatura sezionale. Il tensore di Riemann è definito per ogni varietà riemanniana, cioè differenziabile e dotata di un tensore metrico definito positivo, e più generalmente per ogni varietà dotata di connessione.

Descrizione modifica

Definizione generale modifica

Sia   una varietà differenziabile dotata di una connessione di Levi-Civita. Il tensore di Riemann è il campo tensoriale   di tipo (1,3) che soddisfa l'uguaglianza

 

per ogni terna   di campi vettoriali su  . Il teorema di Schwarz asserisce che nello spazio euclideo le derivate parziali commutano: questo fatto non è vero in una varietà con connessione arbitraria, e il tensore di Riemann tiene conto in un certo senso di questo fenomeno. I primi due termini della formula sono infatti proprio le derivazioni commutate applicate ad un campo  ; la presenza del terzo termine, che fa uso della parentesi di Lie  , è necessaria affinché   sia effettivamente un tensore.

Simboli di Christoffel modifica

Una connessione è pienamente individuata dai suoi simboli di Christoffel. Il tensore di Riemann può essere quindi rappresentato usando questi simboli in una qualsiasi carta, nel modo seguente.

 

Commutatori e indici modifica

Una definizione intermedia fra quelle date precedentemente può essere la seguente, espressa usando la notazione con indici. Come è già stato detto, le derivate covarianti lungo due direzioni non commutano. Il loro commutatore, applicato ad un vettore  , risulta però avere una forma relativamente semplice; è la somma di una parte lineare in   e di una parte lineare nella derivata covariante di  :

 

I coefficienti di entrambi gli addendi sono tensori: il tensore di Riemann e la torsione.

Versione covariante modifica

Se   è una varietà riemanniana, il tensore di Riemann è definito in base alla sua connessione di Levi-Civita. Il tensore metrico   può inoltre essere usato per innalzare o abbassare gli indici di un tensore: in particolare, la versione completamente covariante del tensore di Riemann è il tensore di tipo (0,4) dato da

 

Proprietà algebriche modifica

Simmetrie di base modifica

Nella sua forma completamente covariante, il tensore di Riemann è antisimmetrico rispetto allo scambio dei primi due o degli ultimi due indici:

 

ed è simmetrico rispetto allo scambio delle due coppie di indici:

 

Prima identità di Bianchi modifica

Il tensore di Riemann soddisfa la prima identità di Bianchi. In assenza di torsione, l'identità assume la forma seguente:

 

Questa relazione può essere anche descritta più stringatamente nel modo seguente:

 

In questa espressione,   indica che si deve effettuare una somma su tutte le permutazioni dei tre indici, con un segno corrispondente alla parità della permutazione. Risultano quindi 6 termini, che però possono essere accoppiati in virtù delle proprietà di base descritte prima.

Componenti indipendenti modifica

Il tensore di Riemann ha   componenti, dove   è la dimensione della varietà su cui è definito. Le relazioni appena descritte riducono questo numero a

 

componenti indipendenti. In dimensione 1, 2, 3 e 4 il numero di componenti indipendenti è quindi rispettivamente 0, 1, 6, 20.

Seconda identità di Bianchi modifica

La seconda identità di Bianchi è simile alla prima, ma tiene conto della derivata covariante del tensore di Riemann. In assenza di torsione, l'identità ha la forma seguente:

 

Come sopra, questa uguaglianza può essere scritta più concisamente:

 

Dalla seconda identità di Bianchi segue che il tensore di Einstein ha divergenza nulla.

Esempi modifica

Superficie modifica

Il tensore di Riemann di una superficie è dato da

 

dove   è la curvatura gaussiana e   è il tensore metrico.

Spazio euclideo modifica

In uno spazio euclideo, il tensore di Riemann è nullo. Una varietà riemanniana con tensore di Riemann nullo è detta piatta.

Proprietà geometriche modifica

Curvatura sezionale modifica

La curvatura sezionale è definita a partire dal tensore di Riemann. D'altra parte, il tensore di Riemann è completamente determinato dalla curvatura sezionale, tramite la formula

 
 
 
 

Varietà piatta modifica

Una varietà riemanniana, o più generalmente pseudo-riemanniana, è piatta se ogni punto ha una carta in cui il tensore metrico   è costante. Questa definizione risulta essere equivalente a varie altre: tra queste, vi è l'annullarsi del tensore di Riemann.

Una varietà (pseudo-)riemanniana è quindi piatta se e solo se il tensore di Riemann è ovunque nullo:

 

Questa proprietà non è soddisfatta dal tensore di Ricci, né dalla curvatura scalare: esistono varietà con tensore di Ricci nullo che non sono piatte.

Geodetiche modifica

Il tensore di Riemann è utile a misurare l'avvicinamento o allontanamento delle geodetiche, fenomeno tipico degli spazi curvi. Nello spazio euclideo, due punti che si muovono nella stessa direzione alla stessa velocità rimangono a distanza costante. Questo non avviene in una più generale varietà (pseudo-)riemanniana. In una varietà non ha neppure senso parlare di "stessa direzione" di partenza: l'unico strumento per comparare vettori tangenti a punti diversi è infatti il trasporto parallelo lungo un cammino che unisce i due punti; il trasporto parallelo dipende però fortemente dal cammino scelto!

Si può comunque caratterizzare la proprietà di avvicinamento o allontanamento delle geodetiche, considerando una famiglia di geodetiche

 

disgiunte, dipendente (in modo liscio) da un parametro reale  . Ciascuna geodetica è parametrizzata dalla sua lunghezza d'arco. Questa famiglia definisce quindi una superficie parametrica dentro  . I due parametri   e   determinano due campi vettoriali   e   tangenti alla superficie. Il primo misura la deviazione fra le varie geodetiche, il secondo è costituito dai vettori tangenti a quelle. Si può quindi definire la velocità relativa e l'accelerazione relativa fra geodetiche come i campi vettoriali:

 

Se la connessione è senza torsione, vale la relazione seguente, nota come equazione della deviazione geodetica:

 

Con gli indici:

 

Bibliografia modifica

  • (EN) Manfredo Perdigao do Carmo, Riemannian Geometry, 1994.
  • (EN) Shoshichi Kobayashi, Katsumi Nomizu, Foundations of Differential Geometry, Vol. 1, Wiley-Interscience, 1996 (Nuova edizione), ISBN 0-471-15733-3.

Voci correlate modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica