Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Vai al contenuto

Covarianza e controvarianza

Da Wikipedia, l'enciclopedia libera.
Disambiguazione – Se stai cercando gli omonimi concetti in informatica, vedi Covarianza e controvarianza (informatica).

In matematica e fisica, in particolare in algebra multilineare e nel calcolo tensoriale, le nozioni di covarianza e controvarianza si riferiscono al modo in cui la descrizione di una data entità geometrica o fisica varia quando si effettua un cambiamento di coordinate, come una rotazione o una dilatazione dello spazio. Nel caso di una rotazione di una base ortogonale la differenza tra vettori e covettori non si percepisce.

  • Affinché un vettore sia indipendente dalla base (sistema di riferimento) in cui viene ambientato è necessario che le sue componenti subiscano una trasformazione "contraria" a quella che subiscono i vettori di base quando si cambia la base. Un vettore è per questo motivo detto vettore controvariante, e le sue componenti contravariano al fine di mantenerne l'invarianza rispetto al sistema di riferimento: la trasformazione delle coordinate avviene in maniera opposta rispetto al cambio di base, il quale rappresenta la rispettiva trasformazione inversa. Esempi di vettori contravarianti sono la posizione di un oggetto relativamente ad un osservatore e le sue derivate rispetto al tempo, come la velocità e l'accelerazione.
  • Affinché un vettore duale , ovvero appartenente allo spazio duale dello spazio di partenza, sia indipendente dalla base in cui viene scritto è necessario che le sue componenti subiscano la stessa trasformazione dei vettori (funzioni lineari) di base quando si cambia la base. Un vettore duale è perciò detto vettore covariante, e le sue componenti covariano al fine di mantenerne l'invarianza rispetto al sistema di riferimento: la trasformazione delle coordinate è la stessa del cambio di base. Esempi di vettori covarianti si ottengono solitamente applicando il gradiente ad una funzione.

Se quindi il sistema di riferimento subisce una trasformazione descritta dalla matrice invertibile in modo che le coordinate di un vettore diventano , un vettore covariante si trasforma nello stesso modo, ovvero .

Il concetto di covarianza e controvarianza è di grande importanza nell'ambito dei tensori, oggetti matematici che sono in generale caratterizzati sia da componenti covarianti che controvarianti, e che per tale motivo sono detti avere varianza mista.

Dato uno spazio vettoriale con una base e il suo spazio duale con la base duale , in relazione a tale dualità gli elementi di si dicono covettori in quanto sono dei funzionali lineari sullo spazio che, grazie al teorema di Riesz, possono essere "combinati" con gli elementi di , cioè i vettori, per dare uno scalare. Dopodiché i vettori e i covettori restano due oggetti distinti, definiti in spazi distinti, aventi ognuno le proprie componenti rispetto alla base data:

  • le componenti del vettore rispetto a vengono indicate con e si dicono componenti controvarianti;
  • le componenti di una applicazione rispetto alle funzioni vengono indicate con e si dicono componenti covarianti.

Sia uno spazio vettoriale di dimensione n sul campo , e siano e basi di . Sia il cambio di base da a dato da:

ovvero:

dove è la matrice di cambiamento di base, una matrice invertibile di dimensione e di elementi .

Trasformazione controvariante

[modifica | modifica wikitesto]

Un vettore è espresso unicamente dalla combinazione lineare degli elementi della base come:

dove sono scalari, e rappresentano le coordinate di nella base . Detto il vettore delle componenti di :

si osserva che può essere scritto come prodotto matriciale:

e analogamente nella base :

Dal momento che non dipende dalla base in cui è espresso si ha:

e poiché si ha:

da cui si ottiene la regola di trasformazione:

In termini di componenti essa diviene:

dove i coefficienti sono le entrate della matrice inversa di .

Dato che le componenti di si trasformano come l'inversa di , si dice che esse si trasformano in modo controvariante in seguito al cambio di base.

Il modo in cui lega le due coppie si rappresenta attraverso il seguente diagramma:

Trasformazione covariante

[modifica | modifica wikitesto]

Un funzionale lineare su è determinato univocamente dalla sua azione sui vettori di una base di . Detti gli elementi della base di , le componenti di rispetto a sono:

Passando dalla base alla base le componenti si trasformano in modo tale che:

Detto il vettore delle componenti di :

si ha:

Dal momento che le componenti del funzionale lineare si trasformano secondo la matrice , si dice che esse trasformano in modo covariante in seguito al cambio di base.

Il modo in cui lega le due coppie si rappresenta attraverso il seguente diagramma:

Se si fosse usata la rappresentazione mediante un vettore colonna, la trasformazione sarebbe stata:

Complementarità delle basi e delle componenti in spazi con metrica

[modifica | modifica wikitesto]

Se in uno spazio vettoriale su un campo è definita una forma bilineare , allora è possibile identificare vettori con covettori. In pratica, ad un vettore si associa in modo unico il covettore dato da:

e tale corrispondenza è biunivoca. In questo modo si può parlare di componente covariante e componente controvariante di uno stesso vettore (covettore).

Data una base di , esiste quindi un'unica base duale di determinata da:

dove è il delta di Kronecker. Un generico vettore può essere quindi scritto come:

dove le componenti e di sono rispettivamente controvarianti e covarianti rispetto a . Applicando un cambio di base si ha infatti:

Un altro modo di esprimere questa complementarità è ottenuto calcolando il prodotto scalare di due vettori e in funzione delle componenti dei due vettori. Infatti sviluppando uno dei due vettori rispetto ad una base e l'altro rispetto alla base duale si ha:

La scelta della base dello spazio vettoriale definisce univocamente un set di funzioni coordinate su :

Le coordinate su sono dunque controvarianti:

Un sistema di n quantità che si trasformano come le coordinate su definisce un vettore controvariante, mentre un sistema che trasforma in maniera opposta è un vettore covariante.

Data una varietà, dati i vettori tangenti e cotangenti alla varietà in un punto nel quale si definisce un sistema di coordinate locale , gli assi di riferimento per tale sistema sono i campi vettoriali:

che danno luogo al sistema di riferimento , che può essere definito in ogni punto della superficie.

Se si considera un differente sistema di coordinate, con base data da:

allora il sistema è connesso a dall'inversa della Jacobiana :

ovvero:

Un vettore tangente è una combinazione lineare delle coordinate parziali , ed è quindi definito come:

Tale vettore è controvariante rispetto al cambio di sistema di riferimento, e rispetto al cambio di coordinate si ha:

Dunque le componenti del vettore tangente si trasformano secondo la legge:

Un sistema di n quantità che dipendono da coordinate che si trasformano in tale maniera è un vettore controvariante.

Collocazione degli indici

[modifica | modifica wikitesto]

La combinazione di due serie "complementari" di oggetti, una covariante ed una controvariante, è definita dalla relazione:

dove C è un oggetto che è definito in modo indipendente dalla scelta della base. Gli indici delle due serie che vengono combinate possono essere inoltre scambiati, spostando all'apice quelli che erano al pedice e viceversa, e ancora si ottiene lo stesso risultato. Inoltre, combinando indici all'apice e al pedice si ha una "eliminazione" dell'indice, propriamente detta contrazione. Se si ha un prodotto scalare, che corrisponde geometricamente ad una proiezione ortogonale, allora il prodotto con indici all'apice produce indici all'apice e il prodotto con indici al pedice produce indici al pedice.

Nel caso in cui la serie che viene combinata sia una base di vettori, per spostare gli indici dal pedice all'apice e viceversa (operazioni dette di innalzamento e abbassamento degli indici) è necessario costruire la base duale della base considerata.

Invece se la serie che viene combinata è costituita dalle componenti di un vettore, allora per alzare ed abbassare gli indici è necessario ricavare le componenti controvarianti da quelle covarianti e viceversa:

Introducendo due matrici complementari di componenti:

le precedenti relazioni diventano:

Le matrici e sono le matrici che rappresentano il prodotto scalare dei vettori, e permettono il passaggio dalla formulazione covariante e controvariante di un vettore.

  • Artin, Emil, Geometric Algebra, New York, Wiley, 1957, ISBN 0-471-60839-4. See Chapter III for the orthogonal groups O(p,q).
  • Carmeli, Moshe, Group Theory and General Relativity, Representations of the Lorentz Group and Their Applications to the Gravitational Field, McGraw-Hill, New York, 1977, ISBN 0-07-009986-3. A canonical reference; see chapters 1-6 for representations of the Lorentz group.
  • Frankel, Theodore, The Geometry of Physics (2nd Ed.), Cambridge, Cambridge University Press, 2004, ISBN 0-521-53927-7. An excellent resource for Lie theory, fiber bundles, spinorial coverings, and many other topics.
  • Hall, G. S., Symmetries and Curvature Structure in General Relativity, Singapore, World Scientific, 2004, ISBN 981-02-1051-5. See Chapter 6 for the subalgebras of the Lie algebra of the Lorentz group.
  • Hatcher, Allen, Algebraic topology, Cambridge, Cambridge University Press, 2002, ISBN 0-521-79540-0. See also the online version, su pi.math.cornell.edu. URL consultato il 3 luglio 2005. See Section 1.3 for a beautifully illustrated discussion of covering spaces. See Section 3D for the topology of rotation groups.
  • Naber, Gregory, The Geometry of Minkowski Spacetime, New York, Springer-Verlag, 1992, ISBN 0-486-43235-1, (Dover reprint edition). An excellent reference on Minkowski spacetime and the Lorentz group.
  • Needham, Tristam, Visual Complex Analysis, Oxford, Oxford University Press, 1997, ISBN 0-19-853446-9. See Chapter 3 for a superbly illustrated discussion of Möbius transformations.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]