[¯|¯] Tensori completamente simmetrici

mercoledì, Marzo 11th, 2020

Sia T un tensore covariante di rango r ovvero un'applicazione multilineare:

Definizione
Il tensore T si dice completamente simmetrico se la predetta applicazione è invariante rispetto a una qualunque permutazione dei suoi argomenti v₁,v₂,...,v_r.

Tale definizione si generalizza immediatamente ai tensori controvarianti di rango qualsiasi. Inoltre, essa ha carattere intrinseco, ossia indipendente dalla base. Viceversa, il riferimento a una base restituisce la proposizione:
Proposizione
Un tensore r-covariante (o r-controvariante) è completamente simmetrico, se e solo se comunque prendiamo una base dello spazio vettoriale a cui esso appartiene, le sue componenti sono invarianti rispetto a una qualunque permutazione degli indici.

Dim.

Senza perdita di generalità, consideriamo un tensore doppio covariante:

Comunque prendiamo una base {e_i} di E_n, è univocamente determinata la base duale {θ^j}

e quindi la seguente base di

cioè

cosicché

(altro…)

Posted in Algebra Lineare | No Comments »

[¯|¯] Tensori controvarianti (seconda parte)

lunedì, Giugno 5th, 2017

tensori controvarianti,forme bilineari,prodotto tensoriale

Nel post precedente abbiamo definito i tensori controvarianti di rango 2 quali elementi dello spazio vettoriale dato dal prodotto tensoriale degli spazi vettoriali E_n e F_m sul medesimo campo K. Per quanto precede, ci aspettiamo che gli elementi di matrice T^ik siano le componenti del tensore T in una base del predetto spazio.
Ciò premesso, consideriamo le forme lineari:

È chiaro che si tratta di vettori controvarianti e a meno di un isomorfismo naturale, si riconducono ad elementi appartenenti a E_n e F_n rispettivamente. In ogni caso abbiamo:

ove σⁱ sono le componenti di σ in una base assegnata di E_n^**. Denotando con {η_i} tale base, si ha:
tensori controvarianti,forme bilineari,prodotto tensoriale