Capt3LibroMetMatPart1V01LN PDF

Captulo 3
Vectores Duales y Tensores
100
M
etodos de la Fsica Matem
atica (Vol 1)
3.1.
BORRADOR PRELIMINAR
Funcionales Lineales
Definiremos funcionales lineales aquella operacion que asocia un n

umero complejo (o real) a un vector |vi 2
V y cumple con la linealidad. Esto es
8
|vi 2 V
F [ |v1 i +
F [|vi] 2 C
|v2 i] F [|v1 i] +
F [|v2 i]
|vi , |v1 i , |v2 i 2 V
El conjunto de funcionales lineales {F1 , F2 , F3 , F4 , , Fn , } constituyen a su vez un espacio vectorial,

que se denomina espacio vectorial dual de V y se denotara como V . Este espacio lineal tambien se denomina
espacio de formas lineales y los funcionales son esas 1 forma. Esto es, dados F1 , F2 2 V se tiene
9
(F1 + F2 ) [|vi] = F1 [|vi] + F2 [|vi] =
8 |vi 2 V
;
( F) [|vi] = F [|vi]
En aquellos espacios lineales con producto interno definido (Espacios de Hilbert), el mismo producto interno
constituye la expresi
on natural del funcional. As para tendremos
(Fa ) [|vi] ha |vi
|vi 2 V
ha| 2 V
Es claro comprobar que el producto interno garantiza que los {Fa , Fb , } forman un espacio vectorial.
9
(Fa + Fb ) [|vi] = Fa [|vi] + Fb [|vi] = ha |vi + hb |vi =
8 |vi 2 V
;
( Fa ) [|vi] = ha |vi = ha |vi = Fa [|vi]
Esta u
ltima propiedad se conoce como antilinealidad. Con lo cual se establece una correspondencia 1
entre kets y bras, entre vectores y formas diferenciales.
1
|v1 i +
|v2 i
hv1 | +
hv2 |
Con lo cual podemos puntualizar esta correspondencia como
ha |
h
1 v1
1 a1 +
ha |vi = hv |ai
2 v2 i
2 a2 |vi =
1 ha |v1 i +
1 ha1 |vi +
2 ha |v2 i
2 ha2 |vi
M
as a
un, dada una base ortonormal {|e1 i , |e2 i , |e3 i |em i} para V siempre es posible asociar una base
para V de tal manera que
|vi = i |ei i
hv| = i ei
con i = ei |vi ^
con i = 1, 2, , n
i = hv |ei i
En un lenguaje arcaico (y muchos textos de Mecanica todava lo reproducen) denominan a la base del espacio
dual ei la base recproca de {|ei i}
N
otese estamos utilizando la notaci
on de Einstein
en la cual ndices repetidos indican suma y que las
k
bases del espacio dual de formas diferenciales
e llevan los ndices arriba. Los ndices arriba se llamar
an
contravariantes y los ndices abajo
covariantes.
Las
componentes
de
las
formas
diferenciales
en
una
base
dada,
i
llevan ndices abajo ha| = ai
e mientras que las componentes de los vectores los llevan abajo |ai = aj |
ej i
Hern
andez & N
un
ez
Universidad Industrial de Santander
101
M
atica (Vol 1)
3.2.
BORRADOR PRELIMINAR
Bases Discretas
Para fijar conceptos y extender algunos de los razonamientos que hemos desarrollado hasta aqu. Tal y
como vimos arriba, la representaci
on de un vector |Fi en un espacio vectorial abstracto V puede darse en
termino de una base ortonormal de vectores (discreta y finita BDF = {|u1 i , |u2 i , |u3 i , |un i} o discreta
e infinita BDI = {|u1 i , |u2 i , |u3 i |un i }) de la forma:
8
( BDF = {|u1 i , |u2 i , |u3 i |un i}

< ci |ui i = ui Fi |ui i
|Fi =
con i = 1, 2, , n
: i
c |ui i = ui Fi |ui i
( BDI = {|u1 i , |u2 i , |u3 i |un i }
donde en ambos casos:
ci = ui Fi = cj ui |uj i = cj
i
j
Donde la delta de Kronecker ik lleva un ndice arriba y uno abajo y representa ik = 1 si i = k y es nula en
los otros casos. Supondremos, de ahora en adelante un espacio de dimension finita y en este consideraremos
DF = {|
dos bases ortogonales, BDF = {|e1 i , |e2 i , |e3 i |en i} y B
e1 i , |
e2 i , |
e3 i |
en i} , de dimensi
on
finita. Como ambas son bases ortogonales todo vector de V puede expresarse en termino de esas bases, en
particular cada vector base se puede expresar en terminos de la otra base como
|e1 i = c1 |
e1 i + c2 |
e2 i + cn |
en i = cj |
ej i
|e2 i = c1 |
e1 i + c2 |
e2 i + cn |
en i = cj |
ej i
..
.
|en i = c1 |
e1 i + c2 |
e2 i + cn |
en i = cj |
ej i
Este sistema de ecuaciones se puede resumir a
un mas como
|ei i = Cij |
ej i = Cij |
ej i
Los Cij son constantes que han renombrado las distintas formas de las constantes cj , cj cj que expresamos
arriba. Igualmente, podemos expresar los vectores de la segunda base en terminos de la primera como
k
k
|
ei i = Aji |ej i =)
e |
ei i = ik = Aji
e |ej i = Aji Cjk
ya que
j
|em i = Cm
|
ej i
=)
k
k
j
j
e |em i = Cm
e |
ej i = C m
k
j
k
= Cm
Adicionalmente, hay varias costumbres a aclarar con la notacion de ndices.

k
Al asociar los Cm
con elementos de matriz los ndices contravariantes (arriba) indicaran filas y los covariantes (abajo) las columnas. Esas matrices seran no singulares para garantizar la independencia lineal de
los vectores base. De este modo para el caso i, k = 1, 2, 3 tendremos
k
i
representa
1
@ 0
0
Hern
andez & N
un
ez
= Aji Cjk
0
1
0
=)
1 0
0
B
0 A=@
1
k = Aj C k = C k Aj
i
j i
i j
Cj1 Aj1
Cj2 Aj1
Cj3 Aj1
Cj1 Aj2
Cj2 Aj2
Cj3 Aj2
1
Cj1 Aj3
C
Cj2 Aj3 A
Cj3 Aj3
102
M
atica (Vol 1)
0
Cji
1
@ 0
0
0
1
0
Aji
BORRADOR PRELIMINAR
1 0 C 1 A1 + C 1 A2 + C 1 A3
1 1
2 1
3 1
0
B
0 A = @ C 2 A1 + C 2 A2 + C 2 A3
1 1
2 1
3 1
1
C13 A11 + C23 A21 + C33 A31
C11 A13 + C21 A23 + C31 A33
..
.
C
C12 A13 + C22 A23 + C32 A33 A
C 3 A1 + C 3 A2 + C 3 A3
1
Es claro que
y
son inversas una de la otra, por cuanto su multiplicacion nos da la matriz identidad.
Por lo tanto si |ei i = Cij |
ej i se considera la transformacion directa, mientras que |
ei i = Aji |ej i sera la
transformaci
on inversa. El caso m
as emblematico lo constituyen las transformaciones entre la base ortonormal
cartesiana {|i , |
|i} y la base ortonormal de vectores en coordenadas polares {|ur i , |u i} .
Siguiendo con el esquema propuesto expresamos los vectores cartesianos en la base de vectores polares
9
|i = cos |ur i sen |u i =
=) |ei i = Cij |uj i =) Cij = uj |ei i

;
|
|i = sen |ur i + cos |u i
con
con lo cual
Cij
|e1 i
|e2 i
|i
|
|i
1
u2 |e1 i
=
u |e1 i
|ur i
|u i
|u1 i
|u2 i
1
r
Ci
u2 |e2 i
=
Ci
u |e2 i
i
ek |ej i =
u |ul i =
y
Cjr
Cj
cos
sen
i
j
k
l
sen
cos
M
as adelante veremos que esta es la matriz de rotaciones.
3.3.
3.3.1.
Par
entesis Tensorial
Tensores una definici
on funcional
La extensi
on natural al concepto de funcional lineal es el concepto de tensor. Definiremos como un tensor
a un funcional lineal que asocia un n
umero complejo (o real) a un vector |vi 2 V, a una forma hu| 2 V , o
ambas y cumple con la linealidad. Esto es
8
|vi 2 V
T [ hu| ; |v1 i +
hu| 2 V ! T [hu| ; |vi] 2 C

|v2 i] T [hu| ; |v1 i] +
T [hu| ; |v2 i]
T [ hu1 | + hu2 | ; |vi] T [hu1 | ; |vi] + T [hu2 | ; |vi]
8 |v1 i , |v2 i 2 V
8 |vi , 2 V
hu| 2 V
hu1 | , hu2 | 2 V
Es decir, un tensor es un funcional generalizado cuyos argumentos son vectores, formas o ambas. Esto es
T [; ] una cantidad con dos puestos y una vez cubiertos se convierte en un escalar (complejo o real). Al
igual que las funciones de varias variables (f (x, y) = 3x + 4y 2 ) la posicion es importante
2|vi
T 4
hu|
#
; 52C
Un tensor con dos argumentos correspondientes a formas y uno a un vector

2|v i |v i hu|3
1
T [ , ; ] T 4
Hern
andez & N
un
ez
; 5 2 C tensor de tipo
1
2
103
M
atica (Vol 1)
y el caso contrario
2|vi
T [ ; , ] T 4
En general
2|v
T [ ; , ] T 4
1i
|v2 i
#
BORRADOR PRELIMINAR
hu1 | hu2 |
#
#
; , 5 2 C tensor de tipo
, ,
|vn i hu1 | hu2 |

#
#
#
hum |
#
2
1
; , , 5 tensor de tipo
m
n
En esta notaci
on el punto y coma ;separa las entradas para las formas de las de los vectores. Es importante
recalcar que el orden si importa, no s
olo para las cantidades separadas por el punto y como sino el orden
de los puestos de los vectores y formas separados por coma. Ese u
ltimo orden repercutira en las propiedades
de los tensores. Ser
an tensores simetricos si al permutar dos de los puestos de vectores (o formas) cambia de
signo el orden no importa; antisimetricos si el orden importa y un tensor generico si el orden importa pero
no se comporta como los casos rese
nados anteriormente. De todos modos esto sera tratado con detalle m
as
adelante.
Obviamente las formas pueden ser representadas por tensores ya que son funcionales lineales de vectores,
es decir,
2ha|3
#
1
un vector es tensor de tipo
T 4 5 2 C.
0
Por su parte, los vectores constituyen un caso especial de tensores
una forma es tensor de tipo
0
1
porque son funcionales lineales para las formas diferenciales
3.3.2.
2|ai3
#
T 4 5 2 C.
Producto Tensorial: Definici

on y propiedades
Como ser
a evidente m
as adelante, unos tensores (simples) pueden provenir del producto tensorial (exterior
o directo) de espacios vectoriales. Esto es que, dados E1 y E2 dos espacios vectoriales con dimensiones N1 y N2 ,
respectivamente y vectores genericos, |'(1)i y | (2)i pertenecientes a estos espacios vectoriales, |'(1)i 2 E1
y | (2)i 2 E2 . Definiremos el producto tensorial (exterior o directo) de espacios
E = E 1 E2 , si
vectoriales,
2
a cada par de vectores |'(1)i 2 E1 y | (2)i 2 E2 le asociamos un tensor tipo
si se cumple que
0
2h(1)|
#
h(2)|
#
|'(1) (2)i = |'(1)i | (2)i = T 4 , 5 = h(1) |'(1)i h(2) | (2)i 2 C
y cumplen con las siguientes propiedades:
1. La suma entre tensores de E viene definida como

|'(1) (2)i + |(1)(2)i = |'(1)i | (2)i + |(1)i |(2)i
= |'(1) + (1)i | (2) + (2)i
Hern
andez & N
un
ez
104
M
atica (Vol 1)
BORRADOR PRELIMINAR
2. El producto tensorial es lineal respecto a la multiplicacion con n

umeros reales
[| '(1)i] | (2)i = [ |'(1)i] | (2)i =
[|'(1)i | (2)i] =
|'(1) (2)i
|'(1)i [| (2)i] = |'(1)i [ | (2)i] = [|'(1)i | (2)i] = |'(1) (2)i

3. El producto tensorial es distributivo respecto a la suma:
|'(1)i [|
1 (2)i
+|
2 (2)i]
= |'(1)i |
1 (2)i
+ |'(1)i |
2 (2)i
[|'1 (1)i + |'2 (1)i] | (2)i = |'1 (1)i | (2)i + |'2 (1)i | (2)i
N
otese que los ndices (1) y (2) denotan la pertenencia al espacio respectivo.
Es f
acil convencerse que los tensores |'(1) (2)i 2 E = E 1 E2 forman un espacio vectorial La demostraci
on
se basa en comprobar los axiomas o propiedades de los espacios vectoriales. Es decir:
1. La operaci
on suma es cerrada en V : 8 |vi i , |vj i 2 V ) |vk i = |vi i |vj i 2 V
Esto se traduce en demostrar que sumados dos tensores |'(1) (2)i , y |(1)(2)i 2 E el tensor suma
tambien pertenece a E,con a y b pertenecientes al campo del espacio vectorial
a |'(1) (2)i + b |(1)(2)i = |a'(1) + (1)i | (2) + b(2)i
y esto se cumple siempre ya que, el producto tensorial es lineal respecto a la multiplicacion con n
umeros
reales y por ser E1 y E2 espacios vectoriales se cumple
9
|a'(1) + (1)i = a |'(1)i + |(1)i 2 E1 =
=) |'(1) + (1)i | (2) + (2)i 2 E2
;
|'(2) + b(2)i = |'(2)i + b |(2)i 2 E2
2. La operaci
on suma es conmutativa y asociativa
Conmutativa 8 |vi i , |vj i 2 V ) |vi i |vj i = |vj i
Esta primera es clara de la definici
on de suma
|vi i
|'(1) (2)i + |(1)(2)i = |'(1) + (1)i | (2) + (2)i

|(1)(2)i + |'(1) (2)i = |(1) + '(1)i |(2) + (2)i
por ser E1 y E2 dos espacios vectoriales
8 |vi i , |vj i , |vk i 2 V ) (|vi i |vj i)
una vez m
as, esto se traduce en:
|vk i = |vj i
(|vi i
|vk i)
(|'(1) (2)i + |(1)(2)i) + |{(1)(2)i = |'(1) (2)i + (|(1)(2)i + |{(1)(2)i)

con lo cual, por la definici
on de suma la expresion anterior queda como
(|'(1) + (1)i |(2) + (2)i) + |{(1)(2)i = |'(1) (2)i + (|(1) + {(1)i |(2) + (2)i)
|('(1) + (1)) + {(1)i |((2) + (2)) + (2)i = |'(1) + ((1) + {(1))i |(2) + ( (2) + (2))i
3. Existe un u
nico elemento neutro: 9! |0i
Es decir,
|0i
|vj i = |vj i
|0i = |vj i
8 |vj i 2 V
|'(1) (2)i + |0(1)0(2)i = |'(1) + 0(1)i | (2) + 0(2)i = |'(1)i | (2)i = |'(1) (2)i
Hern
andez & N
un
ez
105
M
atica (Vol 1)
BORRADOR PRELIMINAR
4. Existe un elemento simetrico para cada elemento de V :

8 |vj i 2 V 9 | vj i 3 |vj i | vj i = |0i )
|'(1) (2)i
|'(1) (2)i = |'(1)
5. ( |vi i) = ( ) |vi i
'(1)i | (2)
(2)i = |0(1)i |0(2)i = |0(1)0(2)i
)
( |'(1) (2)i) = (|
(2)i |'(1)i) = |
(2)i |'(1)i
= ( ) | (2)i |'(1)i = ( ) |'(1) (2)i
6. ( + ) |vi i = |vi i +
|vi i
( + ) |'(1) (2)i = |'(1)i |( + ) (2)i = |'(1)i | (2) +

= |'(1)i [( | (2)i +
= |'(1)i | (2)i +
7. (|vi i
|vj i) = |vi i
|vj i
(2)i
| (2)i)]
|'(1)i | (2)i
(|'(1) (2)i + |(1)(2)i) = (|'(1) + (1)i |(2) + (2)i)

= | ('(1) + (1))i |(2) + (2)i
= |'(1) + (1)i |(2) + (2)i
= (|'(1) (2)i + |(1)(2)i)
= |'(1) (2)i + |(1)(2)i
Equivalentemente, podemos construir un producto tensorial entre espacios de formas diferenciales. Si E1 y

E2 son dos espacios vectoriales duales a E1 y E2 , con dimensiones N1 y N2 , respectivamente. A estos espacios
pertenecen las formas diferenciales genericas h(1)| 2 E1 y h(2)| 2 E2 . Definiremos el producto tensorial de
espacios vectoriales duales,

E =
E 1 E2 , si a cada par de formas diferenciales h(1)| 2 E1 y h(2)| 2 E2 le
0
asociamos un tensor tipo
. Esto es
2
h(1)(2)| = h(1)| h(2)|
3.3.3.
La tentaci
on del producto interno
Uno puede verse tentado a definir un producto interno de la forma

h'(1)
(2) |'(1) (2)i = h'(1)
|'(1)i h (2) | (2)i

A partir de las definiciones de productos internos en E1 y E2 mostraremos, sin embargo que NO es una
buena definici
on de producto interno. Para ello supondremos que representa la multiplicacion est
andar
entre n
umeros reales. Para comprobar que
Debemos demostrar los axiomas o propiedades de los productos internos. Las propiedades que definen el
producto interno son:
1. hx| xi 2<
Esto es:
hx| xi
8 |xi 2 V
si
hx| xi = 0 ) |xi |0i
h'(1) (2) |'(1) (2)i = h'(1) |'(1)i h (2) | (2)i

Hern
andez & N
un
ez
106
M
atica (Vol 1)
BORRADOR PRELIMINAR
como h'(1) |'(1)i y h (2) | (2)i son buenas definiciones de producto interno tendremos que
9
h'(1) |'(1)i 0 =
) h'(1) (2) |'(1) (2)i 0
;
h (2) | (2)i 0
Aqu vale la pena mencionar algunos puntos sutiles sobre la segunda parte de la propiedad a demostrar:
si hx| xi = 0 ) |xi |0i lo cual para este caso se traducen en
h'(1) (2) |'(1)
(2)i = h'(1) |'(1)i
h (2) | (2)i = 0
8
9
h'(1) |'(1)i
=0 =
>
>
>
>
) |'(1)i
= |0(1)i
>
>
>
;
>
h
(2)
|
(2)i
=
6
0
>
>
>
>
>
>
9
>
>
h'(1) |'(1)i
=
6 0 =
<
h'(1) |'(1)i
h (2) | (2)i = 0 )
) | (1)i = |0(1)i
>
;
>
h
(2)
|
(2)i
=
0
>
>
>
>
>
>
9
8
>
>
h'(1) |'(1)i
=0 =
= |0(1)i
< |'(1)i
>
>
>
>
)
>
>
:
;
:
h (2) | (2)i = 0
| (1)i = |0(1)i
definitivamente, habra que restringir los posibles vectores que intervienen en el producto tensorial, de
modo que no fuera posible vectores del tipo
|'(1)0(2)i = |'(1)i |0(2)i
|'(1) (2)i = |0(1)i | (2)i
s
olo as se cumple la propiedad mencionada.
2. hx| yi = hy| xi
8 |xi , |yi 2 V
Esto puede ser demostrado f
acilmente como sigue
h'(1)
(2) |'(1) (2)i = h'(1)
|'(1)i h (2) | (2)i
= h'(1) |'(1)i
h (2) | (2)i
= (h'(1) |'(1)i
h (2) | (2)i)
= h'(1) (2) |'(1)
(2)i
3. hx| y + zi = hx| yi + hx| zi ^ hx + z| yi = hx| yi + hz| yi 8 |xi , |yi , |zi 2 V

Partimos del lado derecho de la primera de las igualdades anteriores:
h'(1)
(2)| [|'(1) (2)i + |(1)(2)i] = h'(1)
(2)| [|'(1) + (1)i |(2) + (2)i]
= h'(1)
|'(1) + (1)i h (2) |(2) + (2)i
y otra vez, como h'(1) |'(1)i y h (2) | (2)i son buenas definiciones de producto interno tendremos
que:
h'(1)
|'(1) + (1)i = h'(1)
|'(1)i + h'(1)
|(1)i
h (2) |(2) + (2)i = h (2) |(2)i + h (2) | (2)i
Hern
andez & N
un
ez
107
M
atica (Vol 1)
BORRADOR PRELIMINAR
y al multiplicar h (2) |(2) + (2)i por h'(1)
|'(1) + (1)i surgiran cuatro sumandos

h'(1)
|'(1)i h (2) |(2)i + h'(1)
|'(1)i h (2) | (2)i + h'(1)
|(1)i h (2) |(2)i + h'(1)
|(1)i h (2) | (2)i

lo cual contrasta con el lado izquierdo al utilizar la definicion dos veces que tienen dos sumandos
h'(1)
(2) |'(1) (2)i + h'(1)
(2) |(1)(2)i = h'(1)
|'(1)i h (2) | (2)i + h'(1)
|(1)i h (2) |(2)i

por lo cual NO se cumple esta propiedad y no hay forma de enmendarla. Solo por razones de
completitud.
3.3.4.
Bases para un producto tensorial
Si {|ui (1)i} y {|vi (2)i} son bases discretas para E1 y E2 , respectivamente, entonces podremos construir
el tensor
|ui (1)vj (2)i = |ui (1)i |vj (2)i 2 E
el cual funcionar
a como una base para E . Por lo tanto, un tensor generico de E, construido a partir
|'(1) (2)i = |'(1)i | (2)i = 'i
|ui (1)vj (2)i
donde 'i y j son las componentes de |'(1)i y | (2)i en sus respectivas bases. En otras palabras las
componentes de un tensor en E corresponden a la multiplicacion de las componentes de los vectores en E1
y E2 Recuerde que estamos utilizando
Pn la convencion de Einstein de suma tacita en ndices covariantes y
contravariantes, en la cual ck |vk i k=1 ck |vk i .
Es importante se
nalar que si bien un tensor generico | i 2 E siempre se puede expandir en la base
|ui (1)vj (2)i no es cierto que todo tensor de E provenga del producto tensorial de E1 y E2 . Es decir, E tiene
m
as tensores que los que provienen el producto tensorial. Esta afirmacion puede verse del hecho que si
| i 2 E entonces
| i = ci,j |ui (1)vj (2)i
por ser {|ui (1)vj (2)i} base para E. Es claro que dados dos n
umeros n1 y n2 habra ci,j que no provienen de
la multiplicaci
on de n1 n2 .
3.3.5.
Tensores, sus componentes y sus contracciones
Componentes de un tensor
Denominaremos componentes de un tensor, aquellos n
umeros que surgen de incorporar bases de formas
diferenciales y vectores. As si {|ui (1)i , |vj (2)i , |tk (3)i} y{hxm(1)| , hy n (2)|} son bases para los vectores y las
2
formas, respectivamente. Las componentes de un tensor
seran
3
2|u (1)i |v (2)i |t (3)i hxm (1)| hyn (2)|3
j
mn
Sijk
=S4
claramente, esta definici

on de componente contiene a las componentes ci,j de aquellos espacios tensoriales
generados por el producto tensorial. Ya si consideramos un tensor como resultado de un producto tensorial
y consideramos que las base {|ui (1)i , hxm (1)|} su componentes se pueden expresar {'m (1) i (1)}, vale decir,
1
() |'(1)i h (1)| =) hxm (1) |'(1)i h (1)| ui (1)i () {'m (1) i (1)}
1
Hern
andez & N
un
ez
108
M
atica (Vol 1)
BORRADOR PRELIMINAR
Combinaciones lineales de Tensores

Es claro que podremos sumar (componentes) de tensores como lo hemos hecho con la suma de (componentes) de vectores
= a1 + b1 + a2 + b2
= ai + bi |ei i
~a + ~b = (ax + bx ) + (ay + by )
| + (az + bz ) k
| + a 3 + b3 k
ij
ij
Rkl
= Qij
+
P
kl
kl
Producto Tensorial de Tensores
Podemos
un m
as la idea del producto directo y ahora realizarla entre tensores. As dos tensores
extender
a
2
2
tipo
y
si se cumple que
0
1
9
2h(1)| h(2)|3
>
>
#
#
>
>
|'(1) (2)i = |'(1)i | (2)i = T 4 , 5
>
>
>
>
=
=)
2|u (1)i h"(1)| h (2)|3 >
>
i
>
>
#
#
#
>
>
|(1)(2)(1)i = |(1)i |(2)i h (1)| = P 4
; , 5 >
>
;
|'(1) (2)i |(1)(2)(1)i = |'(1)i | (2)i |(1)i |(2)i h (1)|
2h(1)|
h(2)|
#
2|u
#
=T 4 , 5P4
2|u
= R4
i (1)i
i (1)i
h"(1)| h (2)|
#
#
; , 5
h"(1)| h (2)| h(3)| h(4)|

#
#
#
#
; , , , 5
Contracci
on de un Tensor
Denominaremos una contracci
on cuando sumamos las componentes covariantes y contravariantes, esto
es 'i (1) i (1) lo cual genera un escalar independiente de la base. Esta situacion sera mas evidente cuando
definamos metricas y contracci
on de tensores. Por
a y considerando un caso mas general,
analog
dada una
2
1
mn
componente Sijk correspondiente a un tensor
podremos construir un nuevo tensor
a partir
3
2
in
n
de una contracci
on. Las componentes de este nuevo tensor seran Sijk
Sjk
. Del mismo modo, dadas las
ij
lm
componentes de dos tensores, P y Qzk generaran componentes de nuevos tensores Rklij = P lm Qij
mk . As
9
2
>
=) P lm >
=
0
3
=)
=) Rklij = P lm Qij
mk
2
1
ij >
>
=) Qzk ;
2
Hern
andez & N
un
ez
109
M
atica (Vol 1)
BORRADOR PRELIMINAR
Es claro que si dos tensores derivan de productos tensoriales y si {|ui (1)i} , {hum (1)|} y {|vi (2)i} son bases
ortonormales para E1 E1 y E2 , entonces sus productos podran ser expresados como
9
| (1) (2)i = i (1) j (2) |ui (1)i |vj (2)i >
>
|
{z
}
>
>
>
=
P ij
=)
>
|(1) (1)i = l (1) m (2) |ul (1)i hum (1)| >
>
>
>
|
{z
}
;
Qlm
l (1)
l (1)
m (2)
|ul (1)i hum (1)|

i
m (2)
(1) j (2) |ui (1)i |vj (2)i =)
(1) j (2) {hum (1) |ui (1)i} |vj (2)i |ul (1)i =)
|
{z
}
m
i
l (1)
k (2)
(1) j (2) |vj (2)i |ul (1)i = P ij Qli |vj (2)ul (1)i = Rjl |vj (2)ul (1)i
Pero m
as a
un si |ui (1)vj (2)i = |ui (1)i |vj (2)i 2 E es base de E entonces se puede demostrar lo anterior
sin circunscribirnos a tensores cuyas componentes provengan de multiplicacion de las componentes en cada
espacio vectorial.
Simetrizaci
on de Tensores
Un tensor (las componentes) ser
a simetrico respecto a dos de sus ndices si su permutacion no cambia su
valor:
Sij = Sji ;
S ij = S ji ;
Sijklmn = Sijlkmn
S ijklmn = S ijlkmn
y ser
a antisimetrico si
Aij =
Aji ;
Aij =
Aji
Aijklmn =
Un tensor de rango 2, viene representado por una

tendr
a como m
aximo 6 componentes distintas sera
0 1
S1 S21
j
i
Sj = Si = @ S12 S22
S13 S23
Aijklmn =
Aijlkmn
Aijlkmn
matriz. La matriz que representa un tensor de rango 2,

1 0 1
S31
S1
S32 A = @ S21
S33
S31
S21
S22
S32
1
S31
S32 A
S33
mientras que un tensor antisimetrico de segundo orden tendra, cuando maximo, tres componentes con valor
absoluto distintos de cero
0
1
0
A12 A13
0
A23 A
Aij = Aji = @ A21
3
3
A1
A2 0
Siempre es posible construir tensores simetricos y antisimetricos a partir de un tensor generico. Esto es:
Sij =
1
(Tij + Tji ) T(ij)
2
()
Sijklmn =
1
(Tijklmn + Tijlkmn ) = Tij(kl)mn
2
Aij =
1
(Tij
2
()
Aijklmn =
1
(Tijklmn
2
Hern
andez & N
un
ez
Tji ) T[ij]
Tijlkmn ) = Tij[kl]mn
110
M
atica (Vol 1)
BORRADOR PRELIMINAR
M
as a
un, es evidente que las componentes de un tensor generico Tij , pueden expresarse como una combinaci
on
de su parte simetrica y antisimetrica
Tij = Sij + Aij
Obviamente que algo equivalente se puede realizar para componentes contravariantes de tensores.
3.3.6.
Tensor M
etrico, Indices y Componentes
Para una base generica, {|xj i} , no necesariamenteortogonal,

de un espacio vectorial con producto interno,
0
podemos definir la expresi
on de un tensor simetrico
que hemos denominado tensor metrico como
2
2|x i |x i3
i
g4
2
, , 5 = gij gji
h xi | h xj |
# 7
6 #
g 4 , 5 = g ij g ij
=)
gij gji = g [|xi i , |xj i]
=)
g ij g ij = (gij )
2|x
N
otese que las gij gji son las componentes del tensor g 4
2|x
La denominaci
on de tensor m
etrico, no es gratuita, g 4
ii
ii
|xj i
#
, , 5 una vez que la base {|xj i} ha actuado.
|xj i
#
, , 5 cumple con todas las propiedades de la
metrica definida para un espacio vectorial euclidiano. Vale decir

2|x i |x i3
1. g 4
#
, , 5 = g [|xi i , |xj i] = gij gji
8 |xj i
y si
g [|xi i , |xj i] = 0 ) i = j
2. g [|xi i , |xj i] = g [|xj i , |xi i] ) gij gji

3. g [|xi i , |xj i] g [|xi i , |zk i] + g [|zk i , |xj i] La desigualdad Triangular
Si la base generica, {|xj i} , es ortonormal entonces estas propiedades emergen de manera natural y es
claro que
2|e i |e i3
j
i
#
#
g 4 , , 5 =) g [ , ] gij ei ej gji ej ei
y
g [, ] g ij |ei i |ej i g ji |ej i |ei i
con lo cual sus componentes ser

an matrices simetricas gij = gji y igualmente g ij = g ji . En general impondremos que
j
gij ei ej
g km |ek i |em i = gij g km ei |ek i ej |em i = gij g km ki m
= gij g ji = ii = n
ya que i, j = 1, 2, 3, , n. Con lo cual gij es la matriz inversa de g ij . Es decir, claramente, hemos definido
las componentes contravariantes del tensor de modo que cumplan con gik g kj = ij
Hern
andez & N
un
ez
111
M
atica (Vol 1)
BORRADOR PRELIMINAR
Adicionalmente, es tambien es claro que
gij ei ej |ai = ak gij ei ej |ek i = ak gij ej |ek i ei = ak gij
j
k
ei = ak gik ei ai ei
con lo cual ai = ak gik . De esta manera, el tensor metrico nos permite asociar componentes covariantes a
componentes contravariantes. Dicho r
apido y mal pero muy frecuente, el tensor metrico nos permite subir y
bajar ndices. De la misma forma
ha| g ij |ei i |ej i = ha| g ij |ei i |ej i = g ij ha |ei i |ej i = ak g ij ek |ei i |ej i = ak g kj |ej i aj |ej i
otra vez aj = ak g kj , y subimos el ndice correspondiente. La importancia de esta

Otra forma de verlo es combinando las propiedades del producto directo de tensores y contracci
on de
ndices
g ij |ei i |ej i Pklmn |el i |em i |en i ek

=)
g ij Pklmn |ej i Pklmn |el i |em i |en i ek ei i =
g ij Pklmn |ej i |el i |em i |en i ek ei i = P jlmn |ej i |el i |em i |en i
| {z }
k
i
g ij Pilmn P jlmn
Adicionalmente, el tensor metrico permite la contraccion de ndices. As, dado un producto tensorial de
dos vectores que se pueden expresar en una base ortonormal
|a, bi = |ai |bi = ak bm |ek i |em i
gij e e
k m
a |ek i b |em i = a b gij
i j
k m
= ak bm gkm = ak bk = hb |ai = ha |bi
Con lo cual, el producto interno de dos vectores involucra, de manera natural, la metrica del espacio. Esto
es
hb |ai = ha |bi = ak bk = ak bk = ak bm gkm = ak bm g km
Obviamente la norma de un vector, tambien incluira al tensor metrico:
2
k|aik = ha |ai = ai aj ei |ej i = ai ai = ai aj g ij = ai aj gij
El caso m
as emblem
atico lo constituye la norma de un desplazamiento infinitesimal. Para una base generica,
{|
ej i} no necesariamente ortogonal de un espacio vectorial con producto interno, el desplazamiento infinitesimal puede expresarse como
k
k
2
(ds) hdr |dri = d x
k
e (d x
m |
em i) =
e |
em i d x
k d x
m = d x
m d x
m = gkm d x
k d x
m
Si la base {|ej i} es ortogonal (cosa m
as o menos com
un pero no necesariamente cierta siempre) las matrices
gij y g ij son diagonales cumplen con
gii =
donde hi =
1
g ii
=) (ds) = h1 dx1
+ h2 dx2
+ h3 dx3
gii con i, j = 1, 2, 3.
Hern
andez & N
un
ez
112
M
atica (Vol 1)
3.4.
3.4.1.
BORRADOR PRELIMINAR
Un par de tensores
El tensor de esfuerzos (stress)
Figura 3.1: Tensor de Esfuerzos (stress) en 2 dimensiones
El caso 2D
Supongamos un cuerpo que se encuentra en equilibrio y esta sometido a un conjunto de fuerzas externas.
Para facilitar las cosas consideremos el efecto de esas fuerzas sobre un plano que contiene a un determinado
punto P (ver figura 3.1 cuadrante Ia) Es decir, vamos a considerar los efectos de las componentes de todas
las fuerzas sobre ese plano y obviaremos efecto del resto de las componentes. Como observamos en la figura
3.1 Ib y Ic, si cortamos la superficie en dos lneas (AB y A0 B 0 ), observaremos que el efecto del conjunto de
fuerzas externas es distinto sobre P en la direccion perpendicular a cada una de esas lneas. De hecho al
cortar la superficie las fuerzas que aparecen sobre las lneas AB (y A0 B 0 ) antes eran fuerzas internas y
ahora los son externas al nuevo cuerpo cortado. As, estas fuerzas por unidad de longitud1 sobre el punto
P existen un conjunto de fuerzas que generan esfuerzos (stress). Por lo tanto es claro que los esfuerzos sobre
un punto dependen del punto, de las fuerzas externas y de la direccion del efecto.
Para irnos aclarando consideremos un elemento de area infinitesimal ds sobre la cual act
uan un conjunto
de fuerzas externas, las cuales las podemos descomponer como normales y tangenciales a la lnea sobre la
cual est
an aplicadas (ver figura 3.1 cuadrante II). Es costumbre denotar los esfuerzos normales y tangenciales
8
" Y2 = 2 dx
! X2 = 2 dx
>
>
>
>
dx
<
Y3 = 3 dy "
" Y1 = 1 dy
dy ds dy
dA = dxdy )
X
=
dy
!
!
X1 = 1 dy
>
3
3
>
dx
>
>
:
" Y4 = 4 dx ! X4 = 4 dx
1 En el caso tridimensional, las fuerzas que generan los esfuerzos ser

an definidas como fuerzas por unidad de
area. Ese caso
lo veremos en la pr
oxima secci
on.
Hern
andez & N
un
ez
113
M
atica (Vol 1)
BORRADOR PRELIMINAR
La segunda ley de Newton nos lleva a

8
< 1 dy + 2 dx + 3 dy + 4 dx = 0 = ( 2 + 4 ) dx + (1 + 3 ) dy
X
F~iext = dm ~a = 0 )
:
1 dy + 2 dx + 3 dy + 4 dx = 0 = (2 + 4 ) dx + ( 1 + 3 ) dy
con lo cual
4;
2 =
1 =
pero m
as a
un, como est
a en equilibrio, tambien la sumatoria de torques se tendra que anular. Esto es
9
(1 dy) dx
(2 dx) dy
2
2 =0 =
) 1 = 2 = 3 = 4
;
dy
(3 dy) dx
(
dx)
=
0
4
2
2
con lo cual, nos damos cuenta que existen solo tres cantidades independientes: dos esfuerzos normales 1 y
on
2 ; y un esfuerzo tangencial 1 . Adicionalmente notamos que los esfuerzos tienen que ver, con la direcci
de la fuerza y la superficie sobre la cual va aplicada. Con ello podemos dise
nar la siguiente notacion para
los esfuerzos: ij . El primer ndice indica la direccion de la fuerza y el segundo direccion de la normal de la
superficie donde est
a aplicada. As, tal y como muestra la figura (ver figura 3.1 cuadrante II)
1
xx ;
yy ;
xy
yx
El cambio de signo se debe a lo inc

omodo de la notacion 4 y y ya que la normal de lado 4 apunta en la
direcci
on y. Es importante tambien se
nalar que los esfuerzos en cualquier punto contenido en el diferencial
de
area dA = dxdy deben ser considerado constantes. O, lo que es lo mismo, que podemos hacer tender a
cero el
area del diferencial y con ello asociar los esfuerzos ij a un punto P contenido en dA sobre la cual
hemos calculado los esfuerzos.
En esta misma lnea de razonamiento, nos podemos preguntar cual es la expresion de los esfuerzos cuando
se miden respecto a una superficie generica, definida por un vector normal ~n (ver figura 3.1 cuadrante III).
Es decir, queremos conocer los esfuerzos medidos en el punto P en la direccion ~n, es decir nn . Tendremos
que en
x!
xx dy
xy dx
nn ds cos
Ahora bien, dado que dy = ds cos
sn ds sen
y!
yy dx
yx dy
nn ds sen
sn ds cos
y dx = ds sen , entonces podemos expresar
nn
xx
cos2
sn
xx
sen cos +
xy
sen cos +
yx
sen cos +
sen2
yx
cos2
xy
yy
y si ahora nos damos cuenta que si construimos una matriz

x
An = cos
Axs = sen
i
Aj =
y
An = sen
Ays = cos
yy
sen2
sen cos
entonces podemos expresar

nn
= Axn Axn
xx
+ Axn Ayn
xy
+ Ayn Axn
yx
+ Ayn Ayn
yy
nn
sn
= Axs Axn
xx
+ Axs Ayn
xy
+ Ays Axn
yx
+ Ays Ayn
yy
sn
Hern
andez & N
un
ez
= Ain Ajn
= Ain Ajn
ij
ij
con i, j = n, s
con i, j = n, s
114
M
atica (Vol 1)
BORRADOR PRELIMINAR
Figura 3.2: Tensor de Esfuerzos en 3 dimensiones
es decir kl = Aik Ajl ij con i, j, k, l = n, s.

Como veremos m
as adelante, cualquier objeto que transforme como
de segundo orden.
kl
= Aik Ajl
ij
lo llamaremos tensor
El caso 3D
Analicemos ahora el caso tridimensional. En este caso tambien procedemos como en el caso anterior
estableciendo las condiciones de equilibrio
X
X
F~iext = 0 y
~iext = 0
con ello construimos un volumen (c
ubico) diferencial y construimos los esfuerzos normales y tangenciales,
los cuales ser
an
xx dydz;
yy dxdz;
zz dxdy;
xz dxdy;
yz dxdy;
xy dxdz;
Siguiendo el mismo proceso que involucra imponer el equilibrio es facil demostrar que al igual que el caso
anterior, el tensor de esfuerzos ij cumple con:
xz
zx ;
yz
zy ;
xy
yx
y por lo tanto tendremos 6 componentes (tres normales y tres tangenciales) independientes. Es decir, si bien
el tensor de esfuerzos ij viene representado por una matriz 3 3 y por lo tanto tiene 9 elementos, solo 6 son
independientes. Construyamos ahora el caso general para un tensor de esfuerzos en un medio elastico. Para
ello construimos un tetraedro regular tal y como muestra la figura 3.2, y sobre su cara generica asociada a
un vector normal ~n una fuerza
8
9
Fx = xn dSn >
>
>
>
>
>
>
>
<
=
i
~
~
~
Fy = yn dSn
F = F u
n = F i i = F x + F y + Fz k !
! F i = ji nj dS ! F~ = dS
>
>
>
>
>
>
>
>
:
;
Fz = zn dSn
Hern
andez & N
un
ez
115
M
atica (Vol 1)
BORRADOR PRELIMINAR
se especifica como la fuerza que act

ua sobre un determinado elemento de superficie. Es claro que la condici
on
de equilibrio se traduce en
X
Fxi = 0
xn dSn
1
2
xx dy
dz
1
2
xy dx
dz
1
2
xz dx
dy = 0
Fyi = 0
yn dSn
1
2
yx dy
dz
1
2
yy dx
dz
1
2
yz dx
dy = 0
Fzi = 0
zn dSn
1
2
zx dy
dz
1
2
zy dx
dz
1
2
zz dx
dy = 0
Si consideramos que la proyecci

on de dSn sobre cada uno de los planos del sistema cartesiano tendremos que
9
dS n cos (;~n) = 12 dy dz = dS n Axn >
>
>
>
=
1
n
n
y
dS cos (;~n) = 2 dx dz = dS An
! xn = xx Axn + xy Ayn + xz Azn
>
>
>
>
;~n) = 12 dx dy = dS n Azn ;
dS n cos (k
y equivalentemente
yn
x
yx An
y
yy An
z
yz An ;
zn
x
zx An
y
zy An
z
zz An
las cuales se conocen como las relaciones de Cauchy y representan los esfuerzos sobre la superficie con normal
~ es una relacion vectorial podemos proyectar en la direccion u
~n. Ahora bien, dado que F~ = dS
m
u
m F~ = u
m
mn dS
~
dS
i
mi An
dS n
! Fm =
!
m
n
n dS
mn dS
m i
i An
k
i
ki Am An
dS n =
dS n
m i
i An
dS n
con i, j = x, y, z
Una vez m
as vemos que transforma como un tensor.
3.4.2.
El Tensor de Inercia
Consideremos el caso de un sistema de n partculas. La cantidad de movimiento angular para este sistema
vendr
a dada por
X
~ =
L
m(i) ~r(i) ~v(i)
i
donde hemos indicado que la i esima partcula que esta en la posicion ~r(i) tiene una velocidad ~v(i) . Si
las distancias entre las partculas y entre las partculas y el origen de coordenadas es constante podremos
expresar la velocidad de cada una de ellas como
~v(i) = !
~ ~r(i)
( por que ?). Donde !
~ es la velocidad angular instantanea del sistema. Entonces tendremos que
X
X
~ =
L
m(i) ~r(i) !
~ ~r(i) =
m(i) !
~ ~r(i) ~r(i)
~r(i) !
~ ~r(i)
i
Hern
andez & N
un
ez
116
M
atica (Vol 1)
BORRADOR PRELIMINAR
y para cada partcula se cumple que, las componentes de la cantidad de movimiento angular seran

X
m
k
Lk =
m(i) ! k r(i)
r(i)m
r(i)
! m r(i)m
i
k
Si vemos que !(i)
=
Lk =
m(i)
k l
l !(i)
k l
l!
entonces
m
r(i)
r(i)m
k
r(i)
! m r(i)m
es decir
l
Lk = !(i)
Ilk
donde Ilk =
l
= !(i)
m(i)
Ilk
k
l
m(i)
k
l
m
r(i)
r(i)m
{z
k
r(i)
r(i)l
Ilk
m
r(i)
r(i)m
k
r(i)
r(i)l
el objeto
se conoce como el tensor de inercia y corresponde a 9 cantidades (a pesar que solo
independientes porque es un tensor simetrico)
0
P
P
P
2
2
Ixx = i m(i) y(i)
+ z(i)
Ixy =
Ixz =
i m(i) x(i) y(i)
i m(i) x(i) z(i)
B
B
B
P
P
P
B
2
Ilk = B Iyx = i m(i) x(i) y(i)
Iyy = i m(i) x2(i) + z(i)
Iyz =
i m(i) y(i) z(i)
B
B
@
P
P
P
2
2
Izx = i m(i) x(i) z(i)
Izy = i m(i) y(i) z(i)
Izz = i m(i) z(i)
+ y(i)
6 son
1
C
C
C
C
C
C
C
A
nos contentaremos por ahora, suponer que esta construccion es un tensor y lo demostraremos mas adelante.
La ilustraci
on m
as sencilla de que la masa en rotacion se comporta como un tensor y no como un escalar
lo vemos en la rotaci
on de dos masas, m1 , m2 iguales (con lo cual m1 = m2 = m) unidas por una varilla
sin masa de longitud l. Si el sistema (masas + varillas) se encuentra girando alrededor su centro de masa y
ambas masas se encuentran sobre el plano x, y, vale decir que la barra sin masa forma un angulo de = 2
con el eje z. Entoces tendremos que
~r =
l
l
d~r
cos + sen ~j ) ~v =
=
2
2
dt
l d
l d
sen +
cos ~j
2 dt
2 dt
con lo cual
~ = m1 (~r1 ~v1 ) + m2 (~r2 ~v2 ) = m (~r1 ~v1 ) + m (( ~r1 ) ( ~v1 )) = 2m (~r1 ~v1 ) =
L
2
l
d
k
2
dt
ya que
m1 = m2 = m;
3.5.
3.5.1.
~r2 =
~r1
~v2 =
~v1
Repensando los vectores, otra vez

Vectores, Covectores y Leyes de Transformaci
on
Hemos visto que un determinado vector |ai 2 V puede expresarse en una base ortogonal {|ej i} como
aj |ej i donde las aj son las componentes del vector contravariantes en la base que se ha indicado. En general,
como es muy largo decir componentes del vector contravariante uno se refiere (y nos referiremos de ahora
Hern
andez & N
un
ez
117
M
atica (Vol 1)
BORRADOR PRELIMINAR
en adelante) al conjunto aj como un vector contravariante obviando la precision de componente, pero

realmente las aj son las componentes del vector.
Adicionalmente, en esta etapa pensaremos a las bases como distintos observadores o sistemas de referencias. Con ello tendremos (algo que ya sabamos) que un vector se puede expresar en distintas bases y
tendr
a distintas componentes referidas a esa base
|ai = aj |ej i = a
j |
ej i
As una misma cantidad fsica vectorial se vera distinta (tendra distintas componentes) desde diferentes
sistemas de coordenadas. Las distintas visiones estan conectadas mediante un transformacion de sistema
de referencia
que veremos m
as adelante.
Igualmente
hemos
dicho que una
i
iforma diferencial hb| 2 V es susceptible de expresarse en una base
e
del espacio dual V como bi e y, como el espacio esta equipado con un producto interno entonces
ha |bi = hb |ai = bi ei
aj |ej i = bi aj
i
j
= a i bi
Con lo cual avanzamos otra vez en la interpretacion de cantidades fsicas: una cantidad fsica escalar se
vera igual (ser
a invariante) desde distintos sistemas de referencia.
Adem
as sabemos que unas y otras componentes se relacionan como
i
9
8 i
j
e |ai = aj ei |ej i = aj ji = a
j ei |
ej i =
< a = Aij a
=)
i
i
i
;
: i
e |ai = a
j
e |
ej i = a
j ji = aj
e |ej i
a
= Aij aj
donde claramente
ei |
ej i = Aij ;
e |ej i = Aij
Aik Akj =
i
j
()
Aij = Aij
Diremos entonces que aquellos objetos cuyas componentes transforman como ai = Aij a
j o equivalentemente
i
i
j
a
= Aj a ser
an vectores o en un lenguaje un poco mas antiguo, vectores contravariantes. Tradicionalmente,
e inspirados en la ley de transformaci
on, la representacion matricial de las componentes contravariantes de
un vector, ei |ai = aj , para una base determinada {|ej i} se estructuran en una columna
0 1 1
a
B a2 C
i
B
C
|ai =)
e |ai
con i = 1, 2, 3, , n () B . C
@ .. A
an
De la misma manera, en el espacio dual, V , las formas

i diferenciales se podran expresar en termino de
una base de ese espacio vectorial como hb| = bi ei = bi
e Las {bi } seran las componentes de las formas
diferenciales o las componentes covariantes de un vector |bi o dicho rapidamente un vector covariante o
covector. Al igual que en el caso de las componentes contravariantes las componentes covariantes transforman
de un sistema de referencia a otro mediante la siguiente ley de transformacion:
i
9
8
hb |ej i = bi ei |ej i = bi ji = bi
e |ej i =
< bi = bi Aij
=)
i
;
:
hb |
ej i = bi
e |
ej i = bi ji = bi ei |
ej i
bi = bi Aij
Otra vez, objetos cuyas componentes transformen como bi = bi Aij los denominaremos formas diferenciales o
vectores covariantes o covectores y ser
an representados matricialmente como un arreglo tipo fila
hb|
Hern
andez & N
un
ez
=)
hb |ej i
con i = 1, 2, 3, , n
()
b1
b2
bn
118
M
atica (Vol 1)
3.5.2.
BORRADOR PRELIMINAR
Cartesianas y Polares, otra vez
El ejemplo m
as simple, y por ello, cl
asico y emblematico de lo anterior lo constituye las expresiones de
un mismo vector en dos sistemas de coordenadas en el plano: Cartesianas {|ii , |ji} y {|ur i , |u i} . Esto es
|ai = ax |ii + ax |ji = a1 |e1 i + a2 |e2 i
|ai = ar |ur i + a |u i = a
1 |
e1 i + a
2 |
e2 i
Al expresar una base en terminos de la otra obtenemos

|ur i = cos |ii + sen |ji
|u i =
sen |ii + cos |ji
hi |ur i
hj |ur i
hi |u i
hj |u i
hur |ii
hu |ii
hur |ji
hu |ji
0
1
con lo cual
Aij
()
Aij
y
i
e |ej i = Aij
()
Aij =
cos
sen
e |
ej i =
cumpliendo adem
as
cos
sen
sen
cos
sen
cos
1
0
cos
sen
sen
cos
sen
cos
cos
sen
()
Aik Akj =
i
j
De este modo si
|ai = ar |ur i + a |u i = a
1 |
e1 i + a
2 |
e2 i = ax |ii + ax |ji = a1 |e1 i + a2 |e2 i
tendremos que
a
= Aij aj
i
()
cos
sen
sen
cos
ax
ay
ar
a
ax cos + ay sen
ax sen + ay cos
con lo cual
ar = ax cos + ay sen
a =
ax sen + ay cos
ax
ay
del mismo modo

ai = Aij a
j
cos
sen
sen
cos
ax = ar cos
a sen
()
ar
a
ar cos a sen
ar sen + a cos
3.5.3.
ay = ar sen + a cos
Repensando las componentes
En general podemos pensar que las componentes de los vectores pueden ser funciones de las otras.
Consideremos el ejemplo anterior con esta vision. Tendremos que un punto en el plano viene representado
en coordenadas cartesianas por dos n
umeros (x, y) y en coordenadas polares por otros dos n
umeros (r, ) .
Siguiendo el ejemplo anterior un punto P, en el plano lo describimos como
|P i = rP |ur i = xP |ii + yP |ji
Hern
andez & N
un
ez
119
M
atica (Vol 1)
BORRADOR PRELIMINAR
Veamos como est

an relacionadas estas dos descripciones. Para este caso las ecuaciones de transformaci
on son
xP = xP (r, ) = x1 = x1 x
1 , x
2
rP = rP (x, y) = x
1 = x
1 x 1 , x2
()
yP = yP (r, ) = x2 = x2 x
1 , x
2
= P (x, y) = x
2 = x
2 x 1 , x2
y explcitamente
xP = rP cos P
yP = rP sen P
x1 = x
1 cos x
2
2
1
x =x
sen x
2
=)
=)
y
x2P + yP2

P = arctan xyPP
rP =
x
1 =
(x1 ) + (x2 )
2
x
2 = arctan xx1
=)
=)
Es claro que ambas coordenadas est

an relacionadas y que se puede invertir la relacion
1
1
x
=x
1 x 1 , x2
x = x1 x
1 , x
2
()
2
2
1
2
2
2
1
x
=x
x ,x
x =x x
,x
2
si se piden cosas razonables:
que las funciones xi = xi (
xm ) y x
j = x
j (xm ) sean al menos C 2 (funcion y derivada continua)
i 1 2
@ x (x
,
x )
que el determinante de la matriz Jacobiana sean finito y distinto de cero det
6= 0.
@ x
l
M
as a
un, si
xi = xi x
j (xm )
=)
@xi
@ xi @ x
k
=
=
@xl
@x
k @ xl
i
l
=) d xi =
@ xi
dx
k
@x
k
con lo cual intumos dos cosas:

1. que las componentes de un vector, deben transformar bajo un cambio de coordenadas como xi =
@ xi ( x
1 ,
x2 ) l
x
.
@ x
l
2. Las matrices Jacobianas
@ xi
@ x
k
@ x
i
@ xk
son una la inversa de la otra.
Veamos si es cierto para el caso de vectores en el plano. Para ello calculamos la matriz Jacobiana (matriz
de derivadas) la cual ser
a
1
! 0 @ x1 x1 ,x2
@ x1 ( x
1 ,
x2 )
(
)
i
1
2
@x x
,x
cos x
2
x
1 sen x
2
@ x
1
@ x
2
@
A
=
=
@ x2 ( x
1 ,
x2 )
@ x2 ( x
1 ,
x2 )
sen x
2 x
1 cos x
2
@x
l
@ x
1
@ x
2
y seguidamente, identificando
@ xi x
1 , x
2 l
x =
x
@x
l
i
=)
x1
x2
cos x
2
sen x
2
x
1 sen x
2
1
x
cos x
2
Igualmente, si calculamos la inversa de la matriz Jacobiana

0
! 1
1
p x2
@ xi x
1 , x
2
cos x
2 sen x
2
1
2 )2
=
= @ (x ) +(x
2
sen x
2
cos x
2
x
@x
l
x
1
x
1
1 2
2 2
(x ) +(x )
Hern
andez & N
un
ez
x
1
0
x2
(x1 )2 +(x2 )2
x1
(x1 )2 +(x2 )2
1
A
120
M
atica (Vol 1)
BORRADOR PRELIMINAR
tendremos
x
1
0
Es decir
=@
x1
(x1 )2 +(x2 )2
2
x
(x1 )2 +(x2 )2
x2
(x1 )2 +(x2 )2
1
x
(x1 )2 +(x2 )2
q
2
2
x
= (x1 ) + (x2 )
1
1
A
=) r =
x1
x2
p
x2 + y 2
=) x
i =
@x
i x 1 , x2 l
x
@ xl
0=0
Supongamos ahora que tenemos el caso tridimensional en esos mismos dos sistemas de coordenadas:
uno cartesiano x1 = x, x2 = y, x3 = z y otro esferico x
1 = r, x
2 = , x
3 = , tal y como hemos
supuesto anteriormente el punto P vendr
a descrito por
|P i = rP |ur i = xP |ii + yP |ji + zP |ki
otra vez
9
=
x = x (r, , ) = x1 = x1 x
1 , x
2 , x
3
2
2
1
2
y = y (r, , ) = x = x x
,x
,x
3
3
3
1
2
z = z (r, , ) = x = x x
,x
,x
3
Las ecuaciones de transformaci

on ser
an
xP = rP sen P cos
yP = rP sen P sen
zP = rP cos P
P
P
()
=)
=)
=)
y
x2P + yP2 + zP2

yP
P = arctan xP
p
2
x2P +yP
P = arctan
zP
rP =
8
1 = x
1 x 1 , x2 , x3
< r = r (x, y, z) = x
2
= (x, y, z) = x
=x
2 x 1 , x2 , x3
:
3
= (x, y, z) = x
=x
3 x 1 , x2 , x3
=)
=)
=)
x1 = x
1 sen x
2 cos x
3
2
1
2
x =x
sen x
sen x
3
3
1
2
x =x
cos x
q
2
2
2
(x1 ) + (x2 ) + (x3 )
2
x
2 = arctan xx1
p
(x1 )2 +(x2 )2
3
x
= arctan
x3
x
1 =
con lo cual la matriz de las derivadas ser

a para esta transformacion en particular sera
0
1
sen () cos ( )
r sen () sen ( ) r cos () cos ( )
@ xi x
1 , x
2 , x
3
= @ sen () sen ( ) r sen () cos ( ) r cos () sen ( ) A
@x
l
cos ()
0
r sen ()
es decir
0
sen x
2 cos x
3
@ xi x
1 , x
2 , x
3
2
@
sen x
sen x
3
=
@x
l
2
cos x
y su inversa
@x
x ,x ,x
@ xl
Hern
andez & N
un
ez
B
=@
x
1 sen x
2 sen x
3
1
2
x
sen x
cos x
3
0
sen () cos ( )
sen () sen ( )
sen( )
r sen()
cos() cos( )
r
cos( )
r sen()
cos() sen( )
r
x
1 cos x
2 cos x
3
1
2
x
cos x
sen x
3
1
2
x
sen x
1
A
1
cos ()
C
0
A
sen()
r
121
M
atica (Vol 1)
0
B
@x
i x 1 , x2 , x3
=B
@
l
@x
BORRADOR PRELIMINAR
x
x2 +y 2 +z 2
y
x2 +y 2
xz p
(x2 +y 2 +z 2 )
x2 +y 2
y
x2 +y 2 +z 2
x
x2 +y 2
yz p
(x2 +y 2 +z 2 ) x2 +y 2
z
x2 +y 2 +z 2
x2 +y 2
(x2 +y 2 +z 2 )
dejaremos al lector comprobar que, efectivamente,

xi =
3.6.
@ xi x
1 , x
2 , x
3 l
x
l
@x
()
x
i =
1
C
C
A
@x
i x 1 , x2 , x3 l
x
@ xl
Transformaciones, vectores y tensores
En general las afirmaciones anteriores se pueden generalizar considerando que las coordenadas que definen
un determinado punto, P, expresado en un sistema de coordenadas particular, son x1 , x2 , , xn y las
coordenadas de ese mismo punto P, expresado en otro sistema de coordenadas es x
1 , x
2 , , x
n ambas
coordenadas estar
an relacionadas por
9
8 1
x
1 = x
1 x 1 , x2 , , x n >
x = x1 x
1 , x
2 , , x
n
>
>
>
>
>
2
2
1
2
n
2
2
1
2
=
< x =x x
,x
, ,x
n
x
=x
x ,x , ,x
()
..
..
>
>
.
.
>
>
>
>
:
;
x
n = x
n x 1 , x2 , , xn
xn = xn x
1 , x
2 , , x
n
es decir x
i = x
i xj
que:
()
xi = xi x
j con i, j = 1, 2, 3, , n. Otra vez, solo exigiremos (y es bastante)
1. las funciones xi = xi (
xm ) y x
j = x
j (xm ) sean al menos C 2 (funcion y derivada continua)
i 1 2
@ x (x
,
x )
2. que el determinante de la matriz Jacobiana sean finito y distinto de cero det
6= 0. Esto
@ x
l
es
@
@
@
@
x
1
x11
x
x2
@ x
n
@ x1
x
1
x22
x
x2
@ x
1
@ xn
@ x
n
@ x2
@ x
n
@ xn
@
@
@
@
6= 0 =)
xi = xi (
xm )
()
x
j = x
j (xm )
Ahora bien, una vez m

as, derivando y utilizando la regla de la cadena
xi = xi x
j (xm )
=)
@xi
@ xi @ x
k
=
=
@xl
@x
k @ xl
i
l
=) d xi =
@ xi
dx
k
@x
k
y como hemos comprobado para dos casos particulares, de ahora en adelante tendremos que:
ReDefinici
on Tal y como hemos visto, un conjunto de cantidades a1 , a2 , , an se denominaran componentes
contravariantes de un vector |ai 2 V en un punto P de coordenadas x1 , x2 , , xn si
1. dada dos base ortonormales de vectores coordenados. {|e1 i , |e2 i , |en i} y {|
e1 i , |
e2 i , |
en i}
se cumple que
i
i
i
j
i
ei ai = ai
|ai = a |ej i = a
|
ei i =)
=) a
i = aj
e |ej i
e ai = a
Hern
andez & N
un
ez
122
M
atica (Vol 1)
BORRADOR PRELIMINAR
2. o equivalentemente, bajo una transformacion de coordenadas xi = xi x

j con i, j = 1, 2, 3, , n.,
estas cantidades transforman como
a
i =
y donde las cantidades
@x
i k
a
@ xk
@ x
i
@ xk
()
@ xi
@ x
k
ai =
@ xi k
a
@x
k
con
@ xi @ x
k
=
k
@x
@ xl
i
l
deberan ser evaluadas en el punto P .
ReDefinici
on Un conjunto de cantidades {b1 , b2 , , bn } se denominaran componentes covariantes de un vector
hb| 2 V en un punto P de coordenadas x1 , x2 , , xn si
1 2
1. dada dos base de formas e1 , e2 , hen | y
e ,
e , h
en | se cumple que
j
i
hb| ei = bi
hb| = bj e = bi
e
=)
=) bi = bj hej
ei
hb|
ei = bi
2. o equivalentemente, bajo una transformacion de coordenadas xi = xi x
j con i, j = 1, 2, 3, , n.,
estas cantidades transforman como
i
bk = @ x bi
k
@x
@ x
i
@ xk
()
@ xi
@ x
k
bk =
@x
i
bi
@ xk
con
@ xi @ x
k
=
k
@x
@ xl
i
l
ReDefinici
on Generalizamos los conceptos anteriores de la siguiente manera. Dado un conjunto bases para de formas
diferenciales {hxm (1)| , hy n (2)|} hemos definido las componentes contravariantes de un tensor
2
hxi (1)| hyj (2)|
6 #
T ij = T 4 ,
# 7
52V
()
T ij T 11 , T 12 , , T 1n , T 21 , T 22 , , T 2n , , T nn
ahora, en esta visi

on, las componentes contravariantes en un punto P de coordenadas x1 , x2 , , xn ,ser
an
aquella que bajo una transformaci
on de coordenadas xi = xi x
j con i, j = 1, 2, 3, , n., estas cantidades transforman como
@x
i @ x
j km
Tij =
T
k
@ x @ xm
i
()
T ij =
@ xi @ xj km
T
@x
k @ x
m
con
@ xi @ x
k
=
k
@x
@ xl
i
l
y donde @@ xxk y @@ xxk deber

an ser evaluadas en el punto P . Esta generalizacion nos permite construir
el caso m
as general.
ReDefinici
on Si {|ti (1)i , |uj (2)i , , |vk (m)i} y hxe (1)| , y f (2) , , hz g (n)| son bases para los vectores y las
formas, respectivamente. Las componentes de un tensor seran
2
3
f
|ti (1)i |uj (2)i
|vk (m)i hxe (1)| hy (2)|
hz g (n)|
#
#
#
#
#
6 #
7
mn
Tijk
=T 4
, , , ,
; , , , 5
Hern
andez & N
un
ez
123
M
atica (Vol 1)
BORRADOR PRELIMINAR
11
21
1
n
1
n
1
11
n

n
un conjunto de cantidades T11
, T11
, , T11
, T11
, T21
, , Tm1
, , Tm
se denomi
m
nar
an componentes contravariantes y covariantes, respectivamente, de un tensor mixto en un punto P de coordenadas x1 , x2 , , xn si bajo una transformacion de coordenadas xi = xi x
j con
i, j = 1, 2, 3, , n., estas cantidades transforman como
@x
i
@x
j @ xa
@ xd pq
ik
Teg
=
T
@ xp
@ xq @ x
e
@x
g ad
@ xi @ x
k
@ x
k @ xl
con
3.7.
i
l
@ x
i
@ xk
()
y
@ xi
@ x
k
ik
Teg
=
@ xi
@ xj @ x
a
@x
d pq
T
@x
p
@x
q @ xe
@ xg ad
Teorema del Cociente
Al igual que existe el producto directo entre tenores, cabe preguntarse si es posible multiplicar una
componente de un tensor por otra de otro tensor y el producto sera un tensor ? Existe importantes
situaciones fsicas en las cuales es aplicable esta pregunta. Si Tij son las componentes de un tensor de rango
2 y V i el producto Tij V i = Bj ser
an componentes de un vector ? La respuesta no es siempre afirmativa, y
puede ser utilizado como un criterio de cuando una componente es un tensor. Este criterio que se denomina
el Teorema del Cociente.
La respuesta a esta pregunta surge de una respuesta a una pregunta distinta pero equivalente. Dados n2
n
umeros aij y un (una componente de un) vector generico V i , entonces la cantidadsi aijV i V j es un escalar
0
entonces la parte simetrica a(ij) = 12 (aij + aji ) sera un (una componente de) tensor
. La demostraci
on
2
involucra algunos de los conceptos antes expuesto y la haremos para fijar conceptos.
Dados dos sistemas de coordenadas xi = xi (
xm ) y x
j = x
j (xm ) con i, j = 1, 2, 3, , n se cumple que
aij xi xj = = = a
ij x
i x
j donde = constituye un escalar
y por lo tanto derivando y utilizando la regla de la cadena
aij xi xj
a
ij
@xi
@ xi @ x
k
xi = xi x
j (xm )
=)
=
=
l
k
@x
@x
@ xl
@x
k @ x
l
x
i x
j aij
a
kl
xi xj = 0
@ xi @ xj
i
l
=)
como hay una suma en ij no se puede afirmar la cantidad del parentesis se anula. Como esta afirmacion vale
para cualquier sistema de coordenadas Seleccionaremos las componentes coordenadas en la base canonica.
x1 = (1, 0, 0, , 0) ;
x2 = (0, 1, 0, , 0) ;
xn = (0, 0, 0, , 1)
con lo cual
@x
k @ x
l
@x
k @ x
l
@x
k @ x
l
=
0;
a
a
=
0;
a
a
=0
22
kl
nn
kl
@ x1 @ x1
@ x2 @ x2
@ xn @ xn
como siempre podemos hacer a
(kl) = 12 (
akl + a
lk ) y a
[kl] = 12 (
akl a
lk ) y separar el tensor
a11
a
kl
a
kl = a
(kl) + a
[kl]
=)
a(hh)
a
(kl) + a
[kl]
@x
k @ x
l
=0
@ xh @ xh
=)
@x
k @ x
l
=0
h
@ x @ xh
con lo cual se garantiza que la parte simetrica de un tensor transforma como un verdadero tensor una vez
que se contrae con un par de vectores.
a(hh)
Hern
andez & N
un
ez
a
(kl)
124
M
atica (Vol 1)
3.8.
BORRADOR PRELIMINAR
Vectores, Tensores y Espacios Pseudo-Euclideanos
k
Hasta este punto ha sido casi estetica la descripcion de formas representadas
k por bra ha| ak e , en las
cuales sus componentes tienen subindices, mientras que los vectores bases, e , deben tener superndices.
Quiza el ejemplo mas emblem
atico y simple donde se observa la diferencia entre formas (bras) y vectores
(kets) es el caso de los espacios Minkowskianos. Estos espacios, tambien llamados pseudoeuclideanos presentan una variante en la definici
on de producto interno, de tal forma que: hx| xi no necesariamente es positivo
y que si hx| xi = 0 no necesariamente implica que |xi |0i.
La consecuencia inmediata es que la definicion de norma n (|vi i) k|vi ik, que vimos en ??, otra vez, no
necesariamente es positiva. Vale decir que tendremos vectores con norma positiva, k|vi ik > 0, pero tambien
vectores con norma negativa o cero: k|vi ik 0. Con lo cual la definicion de distancia, entendida como la
norma de la resta de vectores, d (|xi , |yi) k|xi |yik . tampoco sera necesariamente es positiva. Esto es que
las distancias seran negativas, positivas o nulas, vale decir: d (|xi , |yi) < 0, d (|xi , |yi) = 0 y d (|xi , |yi) > 0.
Si extendemos la noci
on de distancia para que albergue las posibilidades de distancias nula y negativas,
entonces la definici
on del tensor metrico para espacios pseudo-euclideanos debe cambiar tambien.
8
2|x i |x i3
j
i
< <0
#
#
=0
g 4 , , 5 = g [|xi i , |xj i] = gij gji
:
>0
En resumen
8
9
< <0 =
=0
hx| xi =
:
;
>0
8
9
< <0 =
=0
) d (|xi , |yi) =
:
;
>0
2|x
) g4
ii
8
< <0
=0
, , 5 = g [|xi i , |xj i] =
:
>0
|xj i
#
Otra vez, este tipo de espacios, luce como un excentricidad mas de los matematicos. Una curiosidad de
estudio de ver como organizar los conceptos que aprendimos de los espacios euclidianos y extenderlos a otros
espacios. Quiz
a se hubiera quedado as, como una curiosidad matematica si la Fsica no hubiera sacado
partido de estas particularidades para describir el comportamiento de la naturaleza. En el proxima secci
on
analizaremos el caso de M4 .
3.8.1.
Espacios Minkowskianos
Consideremos un espacio tetradimensional expandido por una base ortonormal {|e0 i , |e1 i , |e2 i , |e3 i}.
3
4
Los vectores {|e1 i , |e2 i , |e3 i}corresponden
a aso 2 3 con la base canonica de R . Este espacio vectorial M tendr
0
1
ciado un espacio dual e , e , e , e
a traves de una metrica
2|e
|e i
#
, 5 ) [ , ] h | e
he |
[, ] |e i |e i
|e i |e i
con , = 0, 1, 2, 3 y donde 00 = 1, 11 = 1, 22 = 1, 33 = 1, y = 0 para 6= . con lo cual se dice

que tiene signo +22
Tal y como presentamos en 3.3.6 podemos asociar componentes covariantes y contravariantes a traves
de la metrica de la forma
he | e |ai = a he | e |e i = a e |e i he | = a
he | = a he | a he |
2 Realmente el signo +2 es una convencion. Se puede tambi
en considerar de signo
33 = 1
Hern
andez & N
un
ez
2, con 00 = 1, 11 =
1, 22 =
1,
125
M
atica (Vol 1)
BORRADOR PRELIMINAR
Lo intereante del caso es que

a
) a0 =
= a
a0 ,
a1 = a 1 ,
a2 = a 2 ,
a3 = a 3 .
Es decir, en este caso, porque la metrica tiene signo +2, entonces bajar el indice 0 le cambia de signo a la
componente. Dicho con mas propiedad, la componente 0 contravariante tiene signo contrario a las componente
0 covariante.
De la misma manera que se expuso anteriormente en 3.3.6
ha| j |e i |e i = ha| |e i |e i = ha |e i|ej i = a j he |e i |e i = a
|e i a |e i
y otra vez, a = a , y habra cambio de signo cuando se baja el indice 0 para la metrica con signo +2
que hemos considerado anteriormente. Del mismo modo se suben y se bajan indices para componentes
de tensores
P P
Por su parte el producto interno de dos vectores en un espacio de Minkowsky involucra, de manera
natural, la metrica del espacio. Esto es
hx |yi = hx |yi = x y = x y = x y = x y
Una vez mas, la norma de un vector, tambien incluira al tensor metrico:
2
k|xik = hx |xi = x x he |e i = x x = x x = x x
El caso m
as emblem
atico lo constituye la norma de un desplazamiento infinitesimal, en un espacio tetradimensional. Para una base generica, {|
ej i} no necesariamente ortogonal de un espacio vectorial con producto
interno, el desplazamiento infinitesimal puede expresarse como
k
k
2
(ds) hdr |dri = d x
k
e (d x
m |
em i) =
e |
em i d x
k d x
m = d x
m d x
m = gkm d x
k d x
m
3.8.2.
3.9.
3.9.1.
Un Toque de Relatividad Especial
Temas avanzados
Bases Discretas y Continuas
Haremos una disgresi

on para fijar conceptos y extender algunos de los razonamientos que hemos desarrollado hasta aqu. Tal y como vimos arriba, la representacion de un vector |Fi en un espacio vectorial abstracto V puede darse en termino de una base ortonormal de vectores (discreta y finita BDF =
{|u1 i , |u2 i , |u3 i , |un i} o discreta e infinita BDI = {|u1 i , |u2 i , |u3 i |un i }) de la forma:
8
( BDF = {|u1 i , |u2 i , |u3 i |un i}

< ci |ui i = ui Fi |ui i
|Fi =
: i
c |vi i = ui Fi |ui i
( BDI = {|u1 i , |u2 i , |u3 i |un i }
donde en ambos casos:
ci = ui Fi = cj ui |uj i = cj
i
j
Ahora bien, si estamos tratando el espacio vectorial de funciones de cuadrado integrable L2 ,definidas en <3
tendremos que
1 Z 1
X
|Fi = ci |ui i ui Fi |ui i =

d3 r0 ui (r0 ) f (r0 ) |ui i
i=0
Hern
andez & N
un
ez
126
M
atica (Vol 1)
BORRADOR PRELIMINAR
que se reescribe en terminos de funciones como

f (r) =
1 Z
X
1
1
i=0
d3 r0 ui (r0 ) f (r0 )
Es claro que se pueden intercambiar los smbolos de

f (r) =
3 0
R
0
d r f (r )
y
"
|
ui (r)
, por lo cual
1
X
i=0
ui
(r ) ui (r)
{z
G(r0 ,r)
la funci
on G(r0 , r) que depende de los argumentos, r0 y r, vive dentro de las integrales y convierte
Z 1
f (r) =
d3 r0 f (r0 ) G(r0 , r)
1
Este tipo de funciones que apareci

o en el captulo de transformadas integrales se conoce como la funci
on
distribuci
on delta de Dirac
Z 1
f (r) =
d3 r0 f (r0 ) (r0 r)
1
Esto sugiere la generalizaci

on de bases discretas a continua |w i de tal forma que transformamos el ndice
de la sumatoria en la variable de una integral
Z
| i = d c () |w i
donde
c ( ) = hw | i =
con en la cual
expresi
on:
d c () hw |w i =
d c ()
) es una Delta de Dirac. As, los dos conceptos expresados hasta ahora tienen una
Propiedad\Base
Ortogonalidad
Cierre
Expansi
on
Componentes
Producto Interno
Norma
3.9.2.
Discreta
vi |v i = ji
P1 j
1 = j=0 |vj i vj
P1
|Fi = i=0 ci |ui i
ci = P
ui Fi
1
hG| Fi = i=0 g i fi
P1
2
hF| Fi = i=0 |fi |
Bases de Ondas Planas
Continua
hw R|w i = (
)
1 = d |w i hw |
R
| i = d c () |w i
c ( )R= hw | i
hG| Fi = d g () f ()
R
2
hF| Fi = d |f ()|
Como un ejemplo de lo anterior consideraremos la base de las ondas planas. En el captulo de transformadas integrales consideramos un caso particular de las transformada de Fourier compleja para una funci
on,
vale decir
Z 1
Z 1
dt ei
F (s) =
Hern
andez & N
un
ez
st
f (t)
f (t) =
ds e
i st
F (s)
127
M
atica (Vol 1)
BORRADOR PRELIMINAR
las cuales re-escribiremos en terminos m

as familiares a la comunidad de fsicos como
Z 1
Z 1
1
(p) = p 1
(x) = p
dp ei px/~ (p)
dx e i
2~ 1
2~ 1
px/~
(x)
Hemos tenido cuidado de incluir los factores de normalizacion adecuados para el caso de las descripciones
en mec
anica Cu
antica. Estas f
ormulas pueden ser re-interpretadas en funcion de los conceptos anteriormente
expuestos y podemos definir una base continua de la forma
Z 1
Z 1
1
1
1
1
i px/~
i px/~
(x) = p
dp p
e
(p)
(p) = p
dx p
e
(x)
2~ 1
2~
2~ 1
2~
|
{z
}
|
{z
}
vpx (x)
vp (x)
por lo cual
(x) =
Diremos que la funci
on
N
otese
dp vp (x) (p)
(p) =
1
1
dx vp (x)
(x) est
a expresada en la base de ondas planas vp (x) =
El ndice p de vp (x) vara de forma continua entre
(x)
p 1 ei px/~
2~
1 e 1.
1
Que vp (x) = p2~
ei px/~ 2
/ L2 es decir no pertenece al espacio vectorial de funciones de cuadrado
integrable ya que su norma diverge
Z 1
Z 1
1
2
hvp | vp i =
dx |vp (x)| =
dx
!1
2~
1
1
Que las proyecciones de
(x) sobre la base de ondas planas es (p) = hvp | i
La relaci
on de cierre para esta base se expresa como
Z
Z 1
Z
0
1= d |v i hv |
dp vp (x ) vp (x) =
1
dp
1 i p ( x0
e
2~
mientras que de la definici

on de producto interno, uno obtiene
Z 1
Z 1
1 i x( p0
hvp0 | vp i =
dx vp0 (x) vp (x) =
dp
e
2~
1
1
p)/~
x)/~
= (p0
= (x0
x)
p)
En este mismo orden de ideas podemos construir otra base continua r0 (r) a partir de la utilizaci
on de
las propiedades de la delta de Dirac. Esto es
Z 1
Z 1
(r) =
d3 r0 (r0 ) (r0 r)
(r0 ) =
d3 r (r) (r r0 )
| {z }
1
1
r0 (r)
por lo cual la re-interpretaci

on es inmediata
Z 1
(r) =
d3 r0 (r0 ) r0 (r)
1
Hern
andez & N
un
ez
con
(r0 ) = hr0 | i =
1
1
d3 r r0 (r)
(r)
128
M
atica (Vol 1)
BORRADOR PRELIMINAR
m
as a
un la ortogonalidad queda garantizada por la relacion de cierre
Z 1
Z 1
hr0 | r0 i =
d3 r0 r0 (r) r0 (r0 ) =
d3 r0 (r r0 )
1
(r0
r0 ) = (r0
r)
al igual que
hr0 | r00 =
3.9.3.
1
1
d3 r r0 (r) r00 (r) =
d3 r
(r
r0 )
r00 ) = (r00
(r
r0 )
Las Representaciones |ri y |pi
A partir de las bases de ondas planas vp0 (x) ,y de distribuciones, r0 (r) , construimos las llamadas
representaciones |ri y |pi de la forma siguiente. Asociamos
r0 (r)
|r0 i
vp0 (x)
|p0 i
De esta forma dada las bases {r0 (r)} y {vp0 (x)} para el espacio vectorial V definiremos dos representaciones, la representaci
on de coordenadas, |r0 i , y la representacion de momentos |p0 i de V,respectivamente.
De tal modo que
Z 1
hr0 | r00 i =
d3 r r0 (r) r00 (r) = (r00 r0 )
1
Z
1 = d3 r0 |r0 i hr0 |
Z 1
Z 1
1
0
3
hp0 | p0 i =
d r vp00 (r) vp0 (r) =
d3 r
e i r0 p0 /~ = (p00 p0 )
2~
1
1
Z
1 = d3 p0 |p0 i hp0 |
Podemos, entonces expresar el producto interno para la representacion de coordenadas como
Z
Z
3
h | i=h |
d r0 |r0 i hr0 | | i = d3 r0 (~r0 ) (~r0 )
|
{z
}
1
y equivalentemente para la representaci

on de momentos
Z
Z
h | i=h |
d3 p0 |p0 i hp0 | | i = d3 p0
|
{z
}
(~
p0 ) (~
p0 )
por lo cual hemos encontrado que
| i=
d3 r0 |r0 i hr0 |
(~r0 ) = hr0 | i
Hern
andez & N
un
ez
i=
d3 p0 |p0 i hp0 |
(~
p0 ) = hp0 | i
129
M
atica (Vol 1)
BORRADOR PRELIMINAR
que es la representaci
on de | i en coordenadas, (r0 ), y en momentos, (p0 ). Adicionalmente cuando
| i = |pi tendremos que
Z
Z
i
3/2
hr0 |p0 i = hr0 |
d3 r00 |r00 i hr00 | |p0 i = (2~)
d3 r00 (~r00 ~r0 ) e ~ p~0 ~r0
|
{z
}
1
hr0 |p0 i = (2~)
3/2
i
~0 ~
r0
~p
con lo cual (p0 ) puede considerarse la transformada de Fourier de (r0 ), y denotaremos de ahora en adelante las bases |r0 i |ri y |p0 i |pi . Estos ndices continuos, r0 y p0 ,representan tres ndices continuos
r (x, y, z) y p (px , py , pz ) . La proyeccion de un vector abstracto | i en la representacion |ri ser
a considerada como su expresi
on en el espacio de coordenadas, igualmente su proyeccion hp | i sera su expresi
on
en el espacio de los momentos. Eso nos permitira hacer corresponder los elementos de espacios vectoriales abstractos con, con elementos de un espacio vectorial de funciones. Por lo tanto todas las formulas de
proyecci
on quedan como
hr | i = (r)
y
hp | i = (p)
mientras que las relaciones de cierre y ortonormalizacion
0
hr| r i = (r
hp| pi = (p0
r)
p)
1=
1=
d3 r |ri hr|
d3 p |pi hp|
por su parte, la relaci

on de cierre har
a corresponder a la expresion del el producto interno de dos vectores,
tanto en la representaci
on de las coordenadas como en la representacion de momentos de la forma
Z
Z
h |
d3 r |ri hr| | i = d3 r (r) (r)
h
h |
| i
d p |pi hp| | i =
d3 p (p) (p)
donde (p) y (p) son las transformadas de Fourier de (r) y (r), respectivamente. La afirmacion anterior
queda evidentemente demostrada del cambio entre las bases |ri y |pi . Esto es
hr |pi = hp |ri = (2~)
3/2
e ~ pr
por lo cual
(r) = hr | i = hr|
d p |pi hp| | i =
d3 p hr |pi hp|
i = (2~)
3/2
i = (2~)
3/2
i
d3 p e ~ pr (p)
d3 r e
e inversamente
(p) = hp | i = hp|
Hern
andez & N
un
ez
d r |ri hr| | i =
d r hp |ri hr|
i
~ pr
(r)
130
M
atica (Vol 1)
3.10.
BORRADOR PRELIMINAR
Algunos ejemplos resueltos
Ilustremos ahora las transformaciones de tensores bajo cambios de la base del espacio vectorial. Una vez
m
as consideremos dos bases de vectores coordenados {|e1 i , |e2 i , |e3 i} y {|
e1 i , |
e2 i , |
e3 i} para el espacio
vectorial <3 La expresi
on de un determinado tensor en la base {|e1 i , |e2 i , |e3 i} sera
0
1
2 1 3
{|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} =) Tji = @ 2 3 4 A
1 2 2
Si consideramos una nueva base
8
1
1
0 1
e |
e1 i = 1
e |
e2 i = 1
e |
e3 i = 1
|
e1 i = |ii
>
>
>
>
B
<
B 2
2
2
|
e2 i = |ii + |ji
e |
e1 i = 1
e |
e2 i = 2
e |
e3 i = 2
{|
e1 i , |
e2 i , |
e3 i} )
() B
B
>
>
@
>
>
3
3
3
:
|
e3 i = |ii + |ji + |ki
e |
e1 i = 1
e |
e2 i = 2
e |
e3 i = 3
1
C
C
C
C
A
para ese mismo espacio <3 encontraremos la expresion que toma Tji en esa base. Igualmente encontraremos las
k
expresiones para los siguientes tensores: Tij , Tij , Tij . Notese que
esta nueva base no es ortogonal ,
e |
ei i =
6
k
k
,
con
lo
cual
no
se
cumplen
muchas
cosas
entre
ellas
|
e
i
e
=
6
1
k
i
Para encontrar la expresi
on Tji lo haremos expresando los vectores base {|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki}
en termino de la base {|
e1 i , |
e2 i , |
e3 i}
8
e1 i
>
> |e1 i = |ii = |
>
>
<
|e2 i = |ji = |
e2 i |
e1 i
{|e1 i , |e2 i , |e3 i} =)
>
>
>
>
:
|e3 i = |ki = |
e3 i |
e2 i
recordamos que un vector generico
|ai = aj |ej i = a
j |
ej i
=)
|ai = aj |ej i = a
1 |
e1 i + a
2 |
e2 i + a
3 |
e3 i = a
1 |e1 i + a
2 (|e1 i + |e2 i) + a
3 (|e1 i + |e2 i + |e3 i)
con lo cual
a1 |e1 i + a2 |e2 i + a3 |e3 i = a
1 + a
2 + a
3 |e1 i + a
2 + a
3 |e2 i + a
3 |e3 i
y como
9
a1 = a
1 + a
2 + a
3 =
a2 = a
2 + a
3
;
3
3
a =a
=) ai =
@x k
a
@x
k
=)
8
>
>
>
>
>
<
>
>
>
>
>
:
@ x1
@ x
1
= 1;
@ x1
@ x
2
= 1;
@ x1
@ x
3
= 1;
@ x2
@ x
1
= 0;
@ x2
@ x
2
= 1;
@ x2
@ x
3
= 1;
@ x3
@ x
1
= 0;
@ x3
@ x
2
= 0;
@ x3
@ x
3
= 1;
Es de hacer notar que dado que la base ortonormal {|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} se tiene que
|ai = aj |ej i = a
i |
ei i
Hern
andez & N
un
ez
=) ei ai = aj ei |ej i = aj
i
j
= ai = a
k ei |
ek i
=)
@ xi
= ei |
ek i
@x
k
131
M
atica (Vol 1)
BORRADOR PRELIMINAR
El mismo procedimiento se puede aplicar para expresar el vector |ai como combinacion lineal de los vectores
|
ej i
|ai = a
j |
ej i = aj |ej i = a1 |e1 i + a2 |e2 i + a3 |e3 i = a1 |
e1 i + a2 (|
e2 i |
e1 i) + a3 (|
e3 i |
e2 i)
8
@ x
1
@ x
1
@ x
1
>
> @ x1 = 1; @ x2 = 1;
@ x3 = 0;
9
>
>
>
a
1 = a1 a2 =
<
k
@
x
k
i
@ x
2
@ x
2
@ x
2
a
2 = a2 a3
=) a
=a
=)
1;
i
@ x1 = 0;
@ x2 = 1;
@ x3 =
;
>
@
x
>
a
3 = a3
>
>
>
: @ x3
@ x
3
@ x
3
@ x1 = 0;
@ x2 = 0;
@ x3 = 1;
N
otese que, como era de esperarse,
@ xi @ x
k
=
@x
k @ xj
i
j
1
=) @ 0
0
10
1
1
1 A@ 0
1
0
1
1
0
1 0
0
1
1 A=@ 0
1
0
1
1
0
1
0
0 A
1
0
1
0
Con las expresiones matriciales para las transformaciones ,estamos en capacidad de calcular, componente a
componente, las representaci
on del tensor en la nueva base con lo cual
@x
k @ xj i
k
Tm
=
T
@ xi @ x
m j
T11 =
es decir
@ x
1 @ xj
@ xi @ x
1
=)
Tji =
@ x
1
@ x1
@ x1
@ x
1
+ @@
x
1
x2
+ @@
x
1
x3
T 1 + @ x1 T 1 + @ x1 T 1
1 1 @ x 2 2 @ x 3
@ x
2
+ @@ xx1 T22 + @@
1 T
@ x1 1
@ x
@ x2
@
3
3
@ x
1 T1 + @ x
1 T2 + @
T11 =
@ x
1 @ xj
@ xi @ x
1
Tji =
1 1 T11 + 0 T21 + 0 T31

1 1 T12 + 0 T22 + 0 T32
+0 1 T13 + 0 T23 + 0 T33
T11 =
@ x
1 @ xj
@ xi @ x
1
Tji =
T11
T12 = 2
x3
x
1
T32
x3
x
1
T33
2=0
del mismo modo

T21 =
es decir
@ x
1 @ xj
@ xi @ x
2
Tji =
T21 =
@ x
1 @ xj
@ xi @ x
2
Tji =
T21 =
@ x
1 @ xj
@ xi @ x
1
Tji =
Hern
andez & N
un
ez
@ x
1
@ x1
@ x1
@ x
2
+ @@
x
1
x2
+ @@
x
1
x3
T 1 + @ x2 T 1 + @ x2 T 1
1 1 @ x 2 2 @ x 3
@ x
2
+ @@ xx2 T22 + @@
2 T
@ x1 1
@ x
@ x2
@
3
3
@ x
2 T1 + @ x
2 T2 + @
x3
x
2
T32
x3
x
2
T33
1 1 T11 + 1 T21 + 0 T31

1 1 T12 + 1 T22 + 0 T32
+0 1 T13 + 1 T23 + 0 T31
T11 + T21
T12 + T22 = (2 + 1)
(2 + 3) =
132
M
atica (Vol 1)
BORRADOR PRELIMINAR
se puede continuar termino a termino o realizar la multiplicacion de las matrices @@ xxi , Tji y @@ xxm
de la transformaci
on de componentes de tensores. Vale decir
0
10
10
1 0
1
1
0
2 1 3
1 1 1
0
2
k
j
@
x
@
x
k
i
@
A
@
A
@
A
@
0
1
1
2
3
4
0
1
1
1
2
Tm
=
T
,
=
@ xi j @ x
m
0
0
1
1 2 2
0 0 1
1
3
provenientes
1
3
4 A
5
hay que resaltar un especial cuidado que se tuvo en la colocacion de la matrices para su multiplicaci
on. Si
k
j
k
k
bien en la expresi
on Tm
= @@ xxi @@ xxm Tji las cantidades @@ xxi son n
umeros y no importa el orden con el cual
se multipliquen, cuando se colocan como matrices debe respetarse la concatenacion interna de ndices.
k
Esto es cuando queramos expresar Tm
como una matriz, donde el ndice contravariante k indica filas y el
ndice covariante m las columnas, fijamos primero estos ndices y luego respetamos la concatenacion ndices
covariantes con los contravariantes. Esta es la convencion para expresar la multiplicacion de matrices en la
notaci
on de ndices3 . Esto es
@x
k @ xj i
@x
k i @ xj
k
k
m
Tm
=
T
=)
T
=
T
j
@ xi @ x
m
@ xi j @ x
m
k
Ahora los objetos @@ xxi , Tji y @@ xxm pueden ser sustituidos (en sus puestos correspondientes) por su representaci
on matricial.
k
Con lo cual hemos encontrado la representacion matricial Tm
de las componentes del tensor T en la base
{|
e1 i , |
e2 i , |
e3 i}
0 1
1
T1 = 0 T21 = 2 T21 = 3
@ T12 = 1 T22 = 2
T32 = 4 A
3
3
T1 = 1 T2 = 3
T33 = 5
n
Para encontrar la expresi
on para Tkm recordamos que Tkm = gkn Tm
es decir, requerimos las componentes
covariantes y contravariantes del tensor metrico gkn que genera esta base. Para ello recordamos que para una
base generica, {|
ej i} , no necesariamente
ortogonal, de un espacio vectorial con producto interno, podemos

0
definir la expresi
on de un tensor
que denominaremos tensor metrico como
2
2|e i |e i3
i
g4
2
, , 5 = gij gji
hei | hej |
6 # # 7
g 4 , 5 = gij gij
=)
gij gji = g [|
ei i , |
ej i] h
ei |
ej i h
ej |
ei i
=)
gij gij = (
gij )
Es de hacer notar que la representaci

on matricial para la metrica covariante gij de una base ortonormal
{|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} es siempre diagonal. Esto es
g11 = he1 |e1 i = hi |ii = 1;
g12 = he1 |e2 i = hi |ji = 0;
g13 = he1 |e2 i = hi |ji = 0;
g21 = he2 |e1 i = hj |ii = 0;
g22 = he2 |e2 i = hj |ji = 1

n;
g23 = he2 |e3 i = hj |ki = 0;
g31 = he3 |e1 i = hk |ii = 0;
g32 = he3 |e2 i = hk |ji = 0;
g33 = he3 |e3 i = hk |ki = 1;
3 Quiz
a
una forma de comprobar si los ndices est

a bien concatenados se observa si se bajan los ndices contravariantes
pero se colcan de antes que los covariantes. Esto es Tji ! Tij As la multiplicaci
on de matrices queda representada por
Cji = Aik Bjk ! Cij = Aik Bkj y aqu es claro que nidices consecutivos est
an concatenados e indican multiplicaci
on
Hern
andez & N
un
ez
133
M
atica (Vol 1)
con lo cual
n
hTm
i
n
hTkm i hgkn Tm
i
BORRADOR PRELIMINAR
9
>
>
>
>
=
>
>
>
>
m ;
hT nm i g nk Tk
0
@ 1
1
=)
1
3
4 A
5
2
2
3
donde hemos denotado hi como la representacion matricial del objeto

Para el caso de la base generica no ortonormal {|
ej i} tenemos dos formas de calcular el tensor (las
componentes covariantes y contravariantes) del tensor metrico. La primera es la forma directa
g11 = h
e1 |
e1 i = hi |ii = 1;
g12 = h
e1 |
e2 i = hi| (|ii + |ji) = 1;
g21 = h
e2 |
e1 i = (hi| + hj|) |ii = 1;
g22 = h
e2 |
e2 i = (hi| + hj|) (|ii + |ji) = 2
g31 = h
e3 |
e1 i = (hi| + hj| + hk|) |ii = 1;
g32 = h
e3 |
e2 i = (hi| + hj| + hk|) (|ii + |ji) = 2;
y
g13 = h
e1 |
e3 i = hi| (|ii + |ji + |ki) = 1;
g23 = h
e2 |
e3 i = (hi| + hj|) (|ii + |ji + |ki) = 2
g33 = h
e3 |
e3 i = (hi| + hj| + hk|) (|ii + |ji + |ki) = 3
consecuentemente
gij gji
1
@ 1
1
()
1
1
2 A
3
1
2
2
=)
gij gij = (
gij )
()
2
@ 1
0
1
2
1
1
0
1 A
1
La otra forma de calcular la metrica correspondiente la base ortonormal {|e1 i , |e2 i , |e3 i} {|ii , |ji , |ki} y
transformarla a la base no ortonormal {|
e1 i , |
e2 i , |
e3 i} {|ii , |ii + |ji , |ii + |ji + |ki} esto es
gkm =
@ xi @ xj
gij
@x
k @ x
m
=) gkm =
@ xi
@ xj
g
ij
@x
k
@x
m
La metrica para el la base ortonormal ser

a diagonal y ademas gii =
gij
()
y
gkm
1
@ 0
0
0
1
0
1
0
0 A;
1
@ xi
@ xj
=
g
ij
@x
k
@x
m
g ij
1
;@ 1
1
()
0
1
1
1
@ 0
0
10
0
1
0 A@ 0
1
0
0
1
0
0
1
0
1
0
0 A;
1
1
g ii
, con lo cual
gji
10
0
1
0 A@ 0
1
0
1
1
0
()
1
@ 0
0
1 0
1
1
1 A=@ 1
1
1
0
1
0
1
2
2
1
0
0 A;
1
1
1
2 A
3
n
otese para conservar la convenci
on de ndices y matrices hemos representado que hemos traspuesto la matriz
@ xi
correspondiente a @ xk . La raz
on, como dijimos arriba es
gkm =
Hern
andez & N
un
ez
@ xi
@ xj
g
ij
@x
k
@x
m
! gkm = ik gij jm
ki gij jm
! gkm =
134
M
atica (Vol 1)
BORRADOR PRELIMINAR
Para poder representar multiplicaci

on de matrices los ndices deben estar consecutivos, por tanto hay que
trasponer la representaci
on matricial para poder multiplicarla.
Ya estamos en capacidad de obtener las representaciones matriciales para los tensores: Tij , Tij , Tij .
D
D
0
!@ 1
1
Tij = Tji
ET
n
Tkm = gkn Tm
n mk
Tkn = Tm
g
Hern
andez & N
un
ez
1
!@ 1
1
0
0
!@ 1
1
1T 0
3
0
4 A =@ 2
5
3
2
2
3
1
2
2
2
2
3
10
1
0
2 A@ 1
3
1
10
3
1
4 A@ 1
5
1
2
2
3
1
2
2
1
1 1
D E
2 3 A ! Tij
4 5
1 0
3
2
4 A=@ 4
5
5
1 0
1
2 A=@
3
5
7
9
3
8
11
1
6
D
E
15 A ! Tkm
20
10
13
17
1
13
D
E
17 A ! Tkm
22
135
M
atica (Vol 1)
3.11.
BORRADOR PRELIMINAR
Algunos ejercicios propuestos
1. Dado Fijk un tensor totalmente antisimetrico respecto a sus ndices ijk muestre que
rot [Fijk ] = @m Fijk
@k Fmij
@i Fjkm + @j Fkmi
rot [Fijk ] = Fijk,m
Fjkm,i + Fkmi,j
2. El momento de inercia se define como

Z
i
Ij =
dv (~r) ji xk xk
@Fijk
@xm
Fmij,k @m Fijk
xi xj
@Fjkm
@j Fkmi
+
i
@x
@xj
@i Fjkm + @j Fkmi
@k Fmij
@xk
@k Fmij
con xi = {x, y, z} y dv = dx dy dz
a) Muestre que Iji es un tensor

b) Encuentre la representaci
on matricial para Iji
c) Considere un cubo de lado l y masa total M tal que tres de sus aristas coinciden con un sistema
de coordenadas cartesiano. Ecuentre el Tensor momento de Inercia, Iji .
3. Para un sistema de n partculas rgidamente unidas, la cantidad de movimiento p~ y cantidad de movi~ vienen definidas por
miento angular L
(~
p) = m (~v ) = m (~
! (~r) ) ijk !j xk |ei i
~ =
L
(~r p~) ijk xk pk |ei i ;
n
o
y xi = {x, y, z}
con = 1, 2, , n, |ei i = ,
|, k
Muestre que:
~ = P m [(~r ~r) !
a) L
(~r) ((~r) !
~ )]
~
P
b) Li = Iji ! j donde Iji = m ji xk xk
xi xj es el tensor momento de inercia para un sistema
de n partculas rgidamente unidas
4. Dado un tensor generico de segundo orden Tij Demostar

a) El determinante , det [T] det Tji = T y la traza, tr Tji = Tii de los tensores son un invariantes,

en otras palabras det Tji y tr Tji son escalares respecto a transformaciones de coordenadas.
b) Si definimos la matriz adjunta, adj [A], como la traspuesta de la matriz de cofactores
adj [A] = (Ac )
T

i
j
=) adj Aij = (Ac )j
= (Ac )i
donde la matriz de cofactores (Ac )j viene dada por

0
a11
i
Aj = @ a21
a31
Hern
andez & N
un
ez
a12
a22
a32
1
a13
a23 A
a33
(Ac )1
c i
=) (A )j = @ (Ac )21
3
(Ac )1
(Ac )2
2
(Ac )2
3
(Ac )2
1 1
(Ac )3
2
(Ac )3 A
3
(Ac )3
136
M
atica (Vol 1)
BORRADOR PRELIMINAR
y los cofactores son

1
1+1
2+1
3+1
(Ac )1 = ( 1)
(Ac )1 = ( 1)
(Ac )1 = ( 1)
a22
a32
a23
a33
(Ac )2 = ( 1)
a12
a32
a13
a33
(Ac )2 = ( 1)
a12
a22
a13
a23
(Ac )2 = ( 1)
1+2
2+2
3+2
a21
a31
a23
a33
(Ac )3 = ( 1)
a11
a31
a13
a33
(Ac )3 = ( 1)
a11
a21
a13
a23
(Ac )3 = ( 1)
1+3
2+3
3+3
a22
a32
a23
a33
a11
a31
a12
a32
a11
a21
a12
a22
Para la transformaci
on x
i = a xi con a un escalar constante, muestre que
1) ji =
adj[Tji ]
T
es un tensor

2) Su determinante, det ji = y su traza, tr ji = ii tambien seran invariantes.
adj[ i ]
3) Tji = j
4) T = 1
(
5. Dados dos sistemas de coordenadas ortogonales O (x, y, z) y O
x, y, z) ,donde el sistema de
se obtiene a rotando O, alrededor del eje z, para rotarlo alrededor del eje x
coordenas O
con lo
6
2
cual los ejes y y z coinciden.
a) Si tenemos los vectores
~ = + 2
A
| + 3k
~ = + 2
B
| + 3k
(
Expreselos en el sistema de coordenadas O
x, y, z)
b) El tensor de esfuerzos (tensiones normales y tangenciales a una determinada superficie) se expresa
en el sistema O (x, y, z) como
0
1
P 1 0 P4
Pji = @ 0 P2 0 A
0 P6 P3
(
cu
al ser
a su expresi
on en el sistema de coordenadas O
x, y, z)?
6. Suponga un sistema de coordenadas ortogonales generalizadas q 1 , q 2 , q 3 las cuales tienen las siguiente
relaci
on funcional con las coordenadas cartesianas
q 1 = x + y;
q2 = x
y;
q 3 = 2z;
a) Compruebe que el sistema q 1 , q 2 , q 3 conforma un sistema de coordenadas ortogonales

b) Encuentre los vectores base para este sistema de coordenadas
c) Encuentre el tensor metrico y el elemento de volumen en estas coordenada.
d ) Encuentre las expresiones en el sistema q 1 , q 2 , q 3 para los vectores
~ = 2
A
|;
Hern
andez & N
un
ez
~ = + 2
B
|;
~ = + 7
C
| + 3k
137
M
atica (Vol 1)
BORRADOR PRELIMINAR
e) Encuentre en el sistema q 1 , q 2 , q 3 la expresion para las siguienentes realciones vectoriales
~ B;
~
~ C;
~
~B
~ C
~
A
A
A
que puede decir si compara esas expresiones en ambos sistemas de coordenadas ?
7. La relaci
on entre las coordenadas cartesianas (x, y) y las coordenadas bipolares (, ) viene dada por
x=
a sinh
;
cosh + cos
y=
a sin
;
cosh + cos
con a = const
a) Compruebe si los vectores base para las coordenadas bipolares son ortogonales
b) Encuentre el tensor metrico para las coordenadas bipolares
c) Escriba las componentes covariantes y contravariantes para los vectores ,
| y + 2
|.
Hern
andez & N
un
ez
138
Bibliografa
[1] Apostol, T. M. (1972) Calculus Vol 2 (Reverte Madrid ) QA300 A66C3 1972
[2] Arfken, G. B.,Weber, H., Weber, H.J. (2000) Mathematical Methods for Physicists 5ta Edici
on
(Academic Press, Nueva York)
[3] Borisenko, A.I, y Tarapov I.E. (1968) Vector and Tensor Analisys (Dover Publications Inc, Nueva
York)
[4] Dennery, P. y Krzywicki, A. (1995) Mathematics for Physicists (Dover Publications Inc, Nueva York)
[5] Gelfand, I.M. (1961) Lectures on Linear .Algebra (John Wiley & Sons Interscience, Nueva York ).
[6] Lovelock, D, y Rund, H. (1975) Tensors, Dierential Forms & Variational Principles (John Wiley
Interscience, Nueva York ).
[7] Santal
o, L.A (1969) Vectores y Tensores (Editorial Universitaria, Buenos Aires)
[8] Schutz, B. (1980) Geometrical Methods in Mathematical Physics (Cambridge University Press,
Londres)
139

Capt3LibroMetMatPart1V01LN PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Capt3LibroMetMatPart1V01LN PDF

Caricato da

Copyright:

Formati disponibili

Captulo 3

Vectores Duales y Tensores

Definiremos funcionales lineales aquella operacion que asocia un n

|vi , |v1 i , |v2 i 2 V

El conjunto de funcionales lineales {F1 , F2 , F3 , F4 , , Fn , } constituyen a su vez un espacio vectorial,

Con lo cual podemos puntualizar esta correspondencia como

Universidad Industrial de Santander

( BDF = {|u1 i , |u2 i , |u3 i |un i}

Adicionalmente, hay varias costumbres a aclarar con la notacion de ndices.

Universidad Industrial de Santander

C11 A13 + C21 A23 + C31 A33

=) |ei i = Cij |uj i =) Cij = uj |ei i

hu| 2 V ! T [hu| ; |vi] 2 C

T [ hu1 | + hu2 | ; |vi] T [hu1 | ; |vi] + T [hu2 | ; |vi]

Un tensor con dos argumentos correspondientes a formas y uno a un vector

Universidad Industrial de Santander

|vn i hu1 | hu2 |

porque son funcionales lineales para las formas diferenciales

Producto Tensorial: Definici

|'(1) (2)i = |'(1)i | (2)i = T 4 , 5 = h(1) |'(1)i h(2) | (2)i 2 C

y cumplen con las siguientes propiedades:

1. La suma entre tensores de E viene definida como

Universidad Industrial de Santander

2. El producto tensorial es lineal respecto a la multiplicacion con n

|'(1)i [| (2)i] = |'(1)i [ | (2)i] = [|'(1)i | (2)i] = |'(1) (2)i

|'(1) (2)i + |(1)(2)i = |'(1) + (1)i | (2) + (2)i

(|'(1) (2)i + |(1)(2)i) + |{(1)(2)i = |'(1) (2)i + (|(1)(2)i + |{(1)(2)i)

Universidad Industrial de Santander

4. Existe un elemento simetrico para cada elemento de V :

|'(1) (2)i = |'(1)

(2)i = |0(1)i |0(2)i = |0(1)0(2)i

= ( ) | (2)i |'(1)i = ( ) |'(1) (2)i

( + ) |'(1) (2)i = |'(1)i |( + ) (2)i = |'(1)i | (2) +

(|'(1) (2)i + |(1)(2)i) = (|'(1) + (1)i |(2) + (2)i)

Equivalentemente, podemos construir un producto tensorial entre espacios de formas diferenciales. Si E1 y

espacios vectoriales duales,

Uno puede verse tentado a definir un producto interno de la forma

|'(1)i h (2) | (2)i

hx| xi = 0 ) |xi |0i

h'(1) (2) |'(1) (2)i = h'(1) |'(1)i h (2) | (2)i

Universidad Industrial de Santander

|'(1) (2)i = |0(1)i | (2)i

|'(1)i h (2) | (2)i

3. hx| y + zi = hx| yi + hx| zi ^ hx + z| yi = hx| yi + hz| yi 8 |xi , |yi , |zi 2 V

|'(1) + (1)i h (2) |(2) + (2)i

|'(1) + (1)i = h'(1)

Universidad Industrial de Santander

y al multiplicar h (2) |(2) + (2)i por h'(1)

|'(1) + (1)i surgiran cuatro sumandos

|'(1)i h (2) |(2)i + h'(1)

|'(1)i h (2) | (2)i + h'(1)

|(1)i h (2) |(2)i + h'(1)

|(1)i h (2) | (2)i

|'(1)i h (2) | (2)i + h'(1)

|(1)i h (2) |(2)i

Bases para un producto tensorial

|ui (1)vj (2)i

Tensores, sus componentes y sus contracciones

claramente, esta definici

Universidad Industrial de Santander

Combinaciones lineales de Tensores

h"(1)| h (2)| h(3)| h(4)|

Universidad Industrial de Santander