1-forma

In algebra lineare, una 1-forma su uno spazio vettoriale è sinonimo di funzionale lineare su tale spazio. In tale contesto, la dicitura "1-forma" è solitamente utilizzata per distinguere i funzionali lineari da funzionali multilineari di grado maggiore (una forma multilineare di grado n è un'espressione polinomiale che è lineare rispetto a tutte le n variabili su cui è definita).

In geometria differenziale, una 1-forma differenziale su una varietà differenziabile è una sezione liscia del fibrato cotangente, lo spazio duale del fibrato tangente. In modo equivalente, una 1-forma su una varietà M è una funzione liscia α definita dallo spazio totale del fibrato tangente di M a ℝ la cui restrizione ad ogni fibra è un funzionale lineare sullo spazio tangente. In simboli:

α:TM→ℝαx=α|TxM:TxM→ℝ

dove αx è lineare.

Spesso le 1-forme sono descritte localmente come combinazioni lineari dei differenziali delle coordinate:

αx=f1(x)dx1+f2(x)dx2+⋯+fn(x)dxn

dove fi sono funzioni lisce. Da questo punto di vista, una 1-forma obbedisce ad una legge di trasformazione covariante per cambiare sistema di coordinate. Si tratta quindi di un campo tensoriale covariante di ordine 1.

Differenziale di una funzione

Lo stesso argomento in dettaglio: Differenziale (matematica).

Sia U⊆ℝ un insieme aperto, ad esempio un intervallo (a,b), e si consideri una funzione differenziabile f:U→ℝ, con derivata f′. Il differenziale df di f, nel punto x0∈U, è definito come una trasformazione lineare della variabile dx data da:

df(x0,dx):dx↦f′(x0)dx

Il simbolo dx è quindi un argomento (variabile indipendente) della funzione df. La mappa x↦df(x,dx) associa quindi ogni punto al funzionale lineare df(x,dx). Si tratta del più semplice esempio di 1-forma differenziale.

Bibliografia

Voci correlate

Collegamenti esterni

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