Teora de Campos- Captulo 1 -

Seccin 1.2 - lgebra tensorial

intrnseca
1
1.2 LGEBRA TENSORIAL INTRNSECA
1. Concepto intrnseco de tensor
Los tensores son tipos especiales de aplicaciones linealesdefinidas en (espacio
inicial), que tienen inters en Fsica (de los medios continuos). Su naturaleza
como apl. lin. viene determinada por el espacio final, que les confiere el llamado
orden tensorial, que les clasifica por categoras como se ver.
2. Ejemplos importantesde tensores descritos
intrnsecamente. Producto tensorial de vectores
3. Operaciones de e.v. entre tensores: los espacios
tensoriales
4. Contraccin o producto contradode tensores
5. Producto tensorial de tensores
Cuadro-resumen 1.2
1.2 a) Concepto intrnseco de tensor
1. tensores de orden 0: son las apl. lineales ms simples: las func. f : , de la forma f(x) = ox. Se
puede identificar f con el escalar o = f(1), que determina f.
As se define :
(0)
: (;) ~
Ejemplo: la dilatacin trmica lineal de un hilo es proporcional al incremento de temperatura y a la
longitud inicial, por un coeficiente de dilatacin:
2. tensores de orden 1: son las apl. lin. de la forma f : .
As se define :
(1)
: (;) = (;
(0)
) * ~ ~
23
(obs:
(1)
:= (;
(0)
) )
Ejemplos: 1) El incremento de cota z desde un pto. P de una ladera, z = h(x,y), cuando te desplazas una
magnitud Ar = Ax i + Ay j es aprox. el prod. esc. del gradiente de la ladera, Vh(P), por el vec.
desplazamiento desde el punto, Ar ; o sea: Az ~ Vh(P)Ar. La forma lineal Vh(P) es un tensor de
primer orden.
2) Asociando un vector cualquiera a con el producto escalar "" en la forma a se obtiene un tensor de
orden 1 siempre que definamos (a)(x) := ax, que es una accin lineal sobre los x y produce escalares,
luego: a : / x ax es un tensor de orden 1, o sea a e
(1)
y se llama mnada asociada al
vector a (o covector asociado). El ejemplo anterior es un caso particular de ste.
Todos los tensores de primer orden son en realidad mnadas (o co-vectores) del tipo a (pues la
asociacin a a es el isomorfismo cannico entre y * =
(1)
)
Ejemplo: La proyeccin (escalar) sobre una direccin dada por su versor e es la mnada e , ya que ex
es el valor escalar de la proyeccin de x sobre ({e}).
0 0
T T T
L L L L T A = = A
Teora de Campos- Captulo 1 -
Seccin 1.2 - lgebra tensorial
intrnseca
2
3.tensores de orden 2:
(2)
:= (;
(1)
) (;) ~
nn
() , (n = 2 3)
Ejemplo 1: dada o prod. tensorial de dos vectores: a, b e, se define ab: /
(ab)x := a (bx). El tensor de 2 orden (lo es?) ab se llama dada de antecedente a y de
consecuente b; la oper. se llama producto tensorial.
Por ejemplo, ee es el tensor proyeccin (vector) sobre el eje de versor e, o sea ({e})
Ejemplo 2: Tensor unidad o tensor mtrico: Es la aplicacin lineal identidad, que se describe
as: 1 : / "x: 1x = x. Se tiene 1
(2)
, pq. es lineal y produce vectores.
Ejemplo 3: tensor axial: Si un slido O gira en el espacio alrededor de un eje e con una
velocidad angular e, cada punto P e O tiene una velocidad v(P) = e r(P) , siendo e = ee y
r(P) = OP , el vector posicin respecto a un punto O del eje, origen. La velocidad del punto
v(P) es el resultado de una aplicacin lineal, comn a todos los puntos del slido, que acta
sobre el vector posicin de cada punto. Omitiendo P se tiene:
v = f(r) = e r se define el tensor: W:= e
resultando que P eO: v(P) = Wr = er(P)
As se considera el tensor W, que acta linealmente sobre cada r, y ser W= e e
(2)
. (*)
Se generaliza el concepto de tensor axial a para cualquier vector a, llamado eje o vector
axial del tensor a
Ejemplo 4: Tensor de inercia : I(P) / h(P) = I(P)e, con h = mom. cint. ang. = momento de
la cantidad de mvto. = r(m v) ; y resultando as que debe ser I(P) = m (r
2
1 rr)
El proceso de definicin de espacios tensoriales contina por induccin:
4. tensores de orden 3: apl. lin. de la forma B :
(2)
/ x Bx e
(2)
As, se define:
(3)
:= (;
(2)
)
Ejemplo 1: El tensor de permutacin, E, se define ve por hacer:
Ev := v e
(2)
Es un tensor de tercer orden, pq. es lineal (sobre v) y produce tensores de 2
orden.
Ejemplo 2: Tradas o prod. tensorial de tres vectores: abc, definidas por
actuar as:
x e : (abc)x := ab (cx). (de nuevo, se contrae lo contiguo)
Probar que es un tensor de 3er. orden.
5. tensores de orden arbitrario p: son las apl. lin. de L(;
(p1)
):
U e
(p)
U :
(p1)
/ Ux e
(p 1)
(lineal)
Tensores de orden superior
Teora de Campos- Captulo 1 -
Seccin 1.2 - lgebra tensorial
intrnseca
3
Las operaciones primeras en los esp. tens. son las de las apl. lineales. Se recuerda:
b.1) Igualdad de tensores (intrnseca): Dos tensores del mismo orden p son iguales si lo son como
aplicaciones, es decir,
S = T u : Su = Tu
obs.: los tensores se identifican intrnsecamente por su actuacin sobre un vector genrico, u, v, x ,
b.2) Suma y mltiplo escalar: Las definiciones correspondientes para apl. lin. son:
1.Def. de S + T : "S, T
(p)
: (S + T)x := Sx + Tx, "x.
2.Def. de T : "T
(p)
, " : (T)x := (Tx), donde se supone definido el mltiplo escalar de
tensores de orden p1 (induccin matemtica)
As se tiene:
Teorema: Todos los conjuntos
(p)
tienen estructura de esp. vect. de dim. n
p
(n = 2 3) sobre con
estas dos operaciones; se llaman espacios tensoriales.
Ejemplos: 1) formas didicas = comb. lin. de dadas (veremos: todo tensor de
(2)
es una forma
didica).
2) formas tridicas y formas polidicas: comb. lin. de tradas o poladas: generalizan lo anterior a
(3)
y
(p).
3) Expresar el tensor 1 como una forma didica (usando una base cannica para formar las dadas
adecuadas). Resulta: 1 = ii + jj + kk (= suma de las tres proyecciones a los ejes cannicos)
4) Identificar (intrnsecamente) el tensor A := ab ba . Resulta: ab ba = (ba)
1.2 b) OPERC. de e.v. con tensores: suma y mltiplo esc.
Definicin: Si T
(p)
y U
(q)
se define la contraccin TU por induccin
sobre q = orden tensorial del posfactor
1. Si q = 1, U es en realidad un vector u y Tu es la imagen de u por accin
del tensor T. Se llama tb. contraccin de T con u, como vimos.
2. Si q = 2, U
(2)
y la accin de TU se define sobre "x
(TU)x := T(Ux), esto ltimo ya definido pues Ux , "x.
(coincide con la composicin de las aplicaciones lineales T con U.
3. Si q = 3, U
(3)
y TU se define como antes:
(TU)x := T(Ux), esto ltimo ya definido pues Ux
(2)
, "x.
4. Supuesto definido hasta el orden q 1, se define anlogamente para q
(induccin completa). Cul es el orden tens. de TU?
NOTA Esta definicin no es la forma operativa u ordinaria de calcular T U : la teora tiene
pendiente desarrollar las operaciones en componentes tensoriales. An as:
Ejemplos: Aplicando la def. intrnseca, calcular la contraccin en los casos: u (ab) ,
a (u) , (ab) (uv) , (abc) (uv). Regla para contraer poladas? Orden tensorial
del producto contrado de tensores?
1.2 b.3) Contraccin tensorial o producto contrado
Teora de Campos- Captulo 1 -
Seccin 1.2 - lgebra tensorial
intrnseca
4
Propiedades de la contraccin tensorial:
1. No es conmutativa y slo es uniforme en
(2)
: orden (T
1
T
2
) = p
1
+ p
2
2
2. ley asociativa: el orden de S (el factor reagrupado) debe ser > 2:
R(ST) = (RS)T = RST
3. leyes distributivas: R(S+T) = RS + RT ; (R + S)T = RT + ST
4. linealidad frente al mltiplo escalar: R(S) = (R)S = (RS)
N.: las dos anteriores equivalen a la bilinealidad de la contraccin tens. o pr. contrado.
5. El elemento unidad para el producto contrado es el tens. identidad 1e
(2)
1T = T1 = T , T de cualq. orden
6. Elem. inverso slo de tens. regulares o automorf.: {Te
(2)
/ kerT = {0}}
T reg.e
(2)
-T
1
e
(2)
/ TT
1
= T
1
T = 1
N.: El Grupo Lineal de Transformaciones: (n;) := ut() (n = 23)
7. Leyes de potenciacin: definiendo: T
0
:= 1 , y, por induccin sobre m,
T
m
:= T
m1
T (siendo m y n enteros no negativos), se cumplen:
T
m
T
n
= T
m+n
; (T
m
)
n
= T
mn
Ejemplos: 1) Calcular intrnsecamente (ab)
n
(potencia n por la contraccin) siendo n natural.-
2) Dado un vector unitario e calcular en trminos intrnsecos el tensor T tal que Tx es la
proyeccin de x sobre el plano {e}

. N.: Pueden hacerse PR1, ejercicios 1 y 2.

1.2 c) Producto tensorial de vectores y de poladas
Definicin: El producto tensorial (o directo) de dos vectores se define como la
relacin binaria: :
(2)
/ (a, b) ab
Resulta que es una operacin bilineal en , o sea:
(a
1
+ a
2
)b = a
1
b + a
2
b
y anlogo en el posfactor. Sin embargo, no es conmutativa.
Definicin: El producto tensorial de tres vectores a, b, c, entendido como
operacin ternaria, se define mediante las tradas:
:
(3)
/ (a,b,c) abc
Resulta trilineal y no conmutativa.
Nota: es equivalente definir la trada como el producto de la dada ab por () el vector c, o
de a por la dada bc, lo que constituye la propiedad asociativa del producto tensorial:
(ab)c = a(bc) = abc
Generalizacin: Se puede multipl. cualq. p-ada con cualq. q-ada resultando
una (p+q)-ada. La oper. es multilineal (lineal en cada factor) y asociativa y
puede afectar a un nm. arbitrario de pre- y pos-factores. No es conmutativa.
Teora de Campos- Captulo 1 -
Seccin 1.2 - lgebra tensorial
intrnseca
5
1.2 d) Otros ejemplos
Ejemplo: Tensor de inercia : Sea O el slido que gira en el espacio alrededor de un eje e con
una velocidad angular e, ya considerado. Sabiendo que el tensor de inercia, I(P), acta sobre
el vector velocidad angular del slido de forma que se cumple
h(P) = I(P)e,
siendo h(P) = r(P)(dm v(P))
momento cintico angular (o momento de la cantidad de movimiento) de la partcula de O de
masa dm ubicada en la posicin de P, probar que
I(P) = dm (r
2
1 rr)
solucin: ...
Prctica 1: pueden hacerse ejercicios 1 y 2.