Connessione (matematica)

oggetto matematico
(Reindirizzamento da Trasporto parallelo)
Disambiguazione – Se stai cercando la nozione topologica di connessione, vedi Spazio connesso.

In matematica, una connessione è uno strumento centrale della geometria differenziale. Si tratta di un oggetto matematico che "connette" spazi tangenti in punti diversi di una varietà differenziabile.

Una connessione sulla sfera permette di "far scivolare" il piano tangente ad un punto lungo una curva. La curva (qui in viola) corrisponde ad una curva (in rosso) nel piano tangente, tramite la mappa esponenziale.

Tale connessione tra i due spazi tangenti è effettuata sulla base di una curva che li collega. Intuitivamente, la connessione definisce un modo di far "scivolare" lo spazio tangente lungo la curva. Questa operazione di scivolamento è chiamata trasporto parallelo.

Definizione

modifica
  Lo stesso argomento in dettaglio: Derivata covariante.

Una connessione su una varietà differenziabile è generalmente introdotta definendo un oggetto differenziale, chiamato derivata covariante. Concettualmente, connessione e derivata covariante sono quindi essenzialmente la stessa cosa.

Una connessione può essere definita in modo analogo per qualsiasi fibrato vettoriale sulla varietà, oltre al fibrato tangente.[1]

Infatti, sia EM un fibrato vettoriale sopra la varietà differenziabile M e si denoti con Γ(E) l'insieme delle sezioni differenziabili di E.

Una connessione su E è una applicazione  -lineare

 

tale che la regola di Leibniz

 

sia soddisfatta per ogni funzione differenziabile f su M e per ogni sezione differenziabile σ di E.

Per ogni campo vettoriale X sopra M (ossia per ogni sezione del fibrato tangente TM), si può definire una derivata covariante

 

per contrazione di X con l'omomorfismo definito dall'operatore ∇ (ossia ∇Xσ = (∇σ)(X)). La derivata covariante soddisfa le seguenti proprietà:

 

Viceversa, ogni operatore ∇X di questo tipo definisce una connessione sopra il fibrato vettoriale E. Una connessione definita in questo modo si dice anche una derivata covariante su E.

Trasporto parallelo su un fibrato vettoriale

modifica

Sia M una varietà differenziabile. Siano dati un fibrato vettoriale EM con derivata covariante ∇ e una curva differenziabile γ: IM parametrizzata da un intervallo aperto I. Una sezione differenziabile σ di   definita sopra γ si dice parallela se è soddisfatta l'equazione:

 

Si supponga di fissare un punto e0EP della fibra sopra il punto P = γ(0) ∈ M, invece di una sezione. Il trasporto parallelo del vettore e0 lungo la curva differenziabile γ è l'estensione di e0 alla sezione parallela σ sopra la curva γ. Più precisamente, σ è definita come l'unica sezione (locale) del fibrato E lungo γ tale che

  1.  
  2.  

Si noti che in ogni sistema di coordinate locali, l'espressione (1) definisce una equazione differenziale ordinaria, con la condizione iniziale data dalla (2). Pertanto, il teorema di Picard–Lindelöf garantisce (almeno localmente) l'esistenza e l'unicità della soluzione.

Dunque, la connessione ∇ definisce un modo di trasportare vettori tra fibre connesse da una curva differenziabile, stabilendo un isomorfismo lineare tra fibre (ossia tra spazi vettoriali) sopra punti distinti di una medesima curva:

 

dallo spazio vettoriale sopra il punto γ(s) a quello sopra γ(t). Questo isomorfismo è noto col nome di trasporto parallelo associato alla curva differenziabile data. L'isomorfismo tra fibre ottenuto in questo modo in generale dipende dalla scelta della curva differenziabile: se ciò non accade, allora il trasporto parallelo lungo curve arbitrarie può essere usato per definire le sezioni parallele di E su tutto M. Questo è possibile soltanto se la curvatura della connessione ∇ risulta identicamente nulla.

  1. ^ G. Gentili, F. Podestà, E. Vesentini, Lezioni di geometria differenziale, Torino, Bollati Boringhieri, 1995, p. 126.

Bibliografia

modifica
  • Edoardo Sernesi, Geometria 2, Torino, Bollati Boringhieri, 1994, ISBN 978-88-339-5548-3.
  • G. Gentili, F. Podestà, E. Vesentini, Lezioni di geometria differenziale, Torino, Bollati Boringhieri, 1995, ISBN 978-88-339-5556-8.
  • (EN) Shoshichi Kobayashi, Katsumi Nomizu, Foundations of Differential Geometry, Vol. 1, Wiley-Interscience, 1996 (Nuova edizione), ISBN 0-471-15733-3.
  • (EN) Michael Spivak, A Comprehensive Introduction to Differential Geometry (Vol. 2), Publish or Perish, Inc., Houston, 1999.

Voci correlate

modifica

Altri progetti

modifica
Controllo di autoritàThesaurus BNCF 58085 · LCCN (ENsh85031181 · BNF (FRcb12275144b (data) · J9U (ENHE987007555421605171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica