Tensor que tiene índices covariantes y contravariantes
En el análisis de tensores, un tensor mixto es un tensor que no es ni estrictamente covariante ni estrictamente contravariante; al menos uno de los índices de un tensor mixto será un subíndice (covariante) y al menos uno de los índices será un superíndice (contravariante).
Un tensor mixto Tipo o Valence ()MN){fnMicrosoft} {M} {N}}
, también escrito "tipo (M, N), con ambos M " 0 " N Es un tensor que tiene M índices contravariantes y N índices covariantes. Tal tensor se puede definir como una función lineal que mapea un (M + N)-tuple de M una forma y N vectores a un escalar.
Cambiar el tipo de tensor
Considere el siguiente octeto de tensores relacionados:
Tα α β β γ γ ,Tα α β β γ γ ,Tα α β β γ γ ,Tα α β β γ γ ,Tα α β β γ γ ,Tα α β β γ γ ,Tα α β β γ γ ,Tα α β β γ γ .{displaystyle T_{alpha beta gamma }, T_{alpha beta }{} {gamma }, t_{alpha }{beta }{} {beta gamma }, t_{alpha }{}{beta gamma }, T^{alpha }{beta gamma }, T^{alpha } {beta }{gamma } T^{alpha beta }{}_{gamma }, T^{alpha beta gamma }
![{displaystyle T_{alpha beta gamma }, T_{alpha beta }{}^{gamma }, T_{alpha }{}^{beta }{}_{gamma }, T_{alpha }{}^{beta gamma }, T^{alpha }{}_{beta gamma }, T^{alpha }{}_{beta }{}^{gamma }, T^{alpha beta }{}_{gamma }, T^{alpha beta gamma }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38cf7ce947c2157d962dadb4124c7f7b6a58ac2b)
gμgμgμoperador de reducción de índicegμoperador de clasificación de índicesGeneralmente, el tensor métrico covariante, contraído con un tensor de tipo (M, N), produce un tensor de tipo (M − 1, N + 1), mientras que su inversa contravariante, contraída con un tensor de tipo (M, N), da un tensor de tipo (M + 1, N − 1).
Ejemplos
Como ejemplo, se puede obtener un tensor mixto de tipo (1, 2) elevando un índice de un tensor covariante de tipo (0, 3),
Tα α β β λ λ =Tα α β β γ γ gγ γ λ λ ,{displaystyle T_{alpha beta ♫ {cHFF} {cHFF} {cHFF} {cHFF} {cHFF} {cHFF} {cHFF}} {cHFF} {cHFF} {cHFF} }=T_{alpha beta gamma },g^{gamma lambda }
![{displaystyle T_{alpha beta }{}^{lambda }=T_{alpha beta gamma },g^{gamma lambda },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f29c733c609322382f11e5530f1874b7809b4b7f)
Tα α β β λ λ {displaystyle T_{alpha beta ♫ {cHFF} {cHFF} {cHFF} {cHFF} {cHFF} {cHFF} {cHFF}} {cHFF} {cHFF} {cHFF} }
Tα α β β γ γ {displaystyle T_{alpha beta } {}{gamma }![T_{{alpha beta }}{}^{gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b34b1531e8ad4ad85ed657cb72a74a2774d3f5c6)
Tα α β β λ λ δ δ λ λ γ γ =Tα α β β γ γ ,{displaystyle T_{alpha beta }{}{lambda },delta _{lambda }{} {gamma }=T_{alpha beta }{gamma }
![{displaystyle T_{alpha beta }{}^{lambda },delta _{lambda }{}^{gamma }=T_{alpha beta }{}^{gamma },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38f3e16ea209187e7a8cadb8324bcea42acfcbb7)
δDel mismo modo,
Tα α λ λ γ γ =Tα α β β γ γ gβ β λ λ ,{displaystyle T_{alpha ♫ {cHFF} {cHFF} {cHFF} {cHFF} {cHFF} {cHFF} {cHFF}} {cHFF} {cHFF} {cHFF} }{} {gamma }=T_{alpha beta gamma },g^{beta lambda }
![{displaystyle T_{alpha }{}^{lambda }{}_{gamma }=T_{alpha beta gamma },g^{beta lambda },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00d6b882cfb505a4cac87030d1f44e69bbda4355)
Tα α λ λ ε ε =Tα α β β γ γ gβ β λ λ gγ γ ε ε ,{displaystyle T_{alpha }{}{lambda epsilon }=T_{alpha beta gamma },g^{beta lambda },g^{gamma epsilon }
![{displaystyle T_{alpha }{}^{lambda epsilon }=T_{alpha beta gamma },g^{beta lambda },g^{gamma epsilon },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad9794ef6b255bf40002a1d20fad7f24f32f348b)
Tα α β β γ γ =gγ γ λ λ Tα α β β λ λ ,{displaystyle T^{alpha beta }{} {gamma }=g_{gamma lambda },T^{alpha beta lambda }}
![{displaystyle T^{alpha beta }{}_{gamma }=g_{gamma lambda },T^{alpha beta lambda },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2bb2329b18fb01638642b77103e974077e88d9b)
Tα α λ λ ε ε =gλ λ β β gε ε γ γ Tα α β β γ γ .{displaystyle T^{alpha }{} {\lambda epsilon }=g_{lambda beta },g_{epsilon gamma },T^{alpha beta gamma }
![{displaystyle T^{alpha }{}_{lambda epsilon }=g_{lambda beta },g_{epsilon gamma },T^{alpha beta gamma }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ebef7f9a2cec47e5ebe6722265998ce879be1a7)
Elevar un índice del tensor métrico es equivalente a contraerlo con su inverso, dando como resultado el delta de Kronecker,
gμ μ λ λ gλ λ .. =gμ μ .. =δ δ μ μ .. ,{displaystyle g^{mulambda }g_{lambda nu }=g^{mu ################################################################################################################################################################################################################################################################ } {} {nu }
![{displaystyle g^{mu lambda },g_{lambda nu }=g^{mu }{}_{nu }=delta ^{mu }{}_{nu },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c049f63d32d99d7d73d4394e0c96e0072939b23e)