Curvatura sezionale

Da Wikipedia, l'enciclopedia libera.

In geometria differenziale, la curvatura sezionale misura la curvatura di una varietà riemanniana lungo piani dello spazio tangente in un punto della varietà.

La curvatura sezionale contiene la stessa quantità di informazioni del tensore di Riemann.

Definizione[modifica | modifica sorgente]

Sia p un punto in una varietà riemanniana M, e \sigma un piano (passante per l'origine) nello spazio tangente T_p in p.

La mappa esponenziale manda un aperto di \sigma contenente l'origine su una superficie S, contenuta in M e tangente a \sigma in p. Si tratta della superficie ottenuta prendendo localmente tutte le geodetiche uscenti da p tangenti a \sigma.

La curvatura sezionale K(\sigma) di M rispetto a \sigma è la curvatura gaussiana di  S in p.

Relazione con il tensore di Riemann[modifica | modifica sorgente]

La curvatura sezionale può essere ricavata dal tensore di Riemann. Siano u e v due vettori che generano il piano \sigma; vale la formula

K(\sigma)={\langle R(u,v)v,u\rangle\over \langle u,u\rangle\cdot\langle v,v\rangle-\langle u,v\rangle^2}

dove R è il tensore di Riemann, ed il prodotto scalare è dato dal tensore metrico.

D'altra parte, il tensore di Riemann può essere completamente espresso in termini delle curvature sezionali nel punto.

Spazi a curvatura sezionale costante[modifica | modifica sorgente]

Una varietà a curvatura sezionale costante è una varietà riemanniana in cui la curvatura sezionale è sempre un valore K, indipendentemente dal punto p e dal piano \sigma. A meno di riscalare il tensore metrico di un fattore costante, si può supporre che questa curvatura sia K=-1 , 0 oppure  1. La varietà è allora detta rispettivamente iperbolica, piatta e ellittica.

Per ogni dimensione n esiste (a meno di riscalamento) esattamente una varietà iperbolica, piatta e ellittica, che sia anche connessa, semplicemente connessa e completa. Queste sono rispettivamente lo spazio iperbolico \mathbb H^n , lo spazio euclideo \R^n e la sfera S^n.

Ogni altra varietà iperbolica, piatta e ellittica completa ha uno di questi tre modelli come rivestimento universale, ed è quindi costruita a partire da questo come quoziente di un opportuno gruppo di isometrie.

Ad esempio, lo spazio proiettivo reale \R\mathbb P^n è una varietà ellittica ottenuta quozientando la sfera S^n tramite la mappa antipodale.

Bibliografia[modifica | modifica sorgente]

  • (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 | modifica sorgente]

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