c.

3) Notacin indicial
Todas las relaciones (1.1-15) a (1.1-17) se pueden resumir en notacin indicial con ayuda de dos smbolos espe-
ciales, conocidos como smbolos indiciales, y de los Convenios de notacin indicial.
Smbolos indiciales
Son la delta de Kronecker y los smbolos de permutacin, que se definen as:
delta de Kronecker: (1.1- ###)
smbolos de permutacin tridimensionales c
ijk
son las signaturas de las permutaciones [ijk], que se
forman con los valores distintos de tres ndices en el conjunto {1,2,3}, o sea:
c
ijk
:=
1, si (i,j,k) es una permutain par de (1,2,3)
1, si (i,j,k) es una permutacin impar
0, si (i,j,k) repite alguno de sus ndices
=

(1.1- ###)
Obsrvese:
1) para que o
ij
= 0 es necesario y suficiente que i =j, lo que permitir efectuar operaciones con este smbolo.
Por ejemplo: o
pq
x
p
=1 x
q
=x
q

2) para que c
ijk
= 0 los ndices deben formar una permutacin (no tener repeticiones), lo que, en el espacio,
reduce de 27 (=3
3
) a 6 (=factorial de 3 =3!) la cantidad de cs no nulos, y esto facilita su uso.
Ejemplo 1.1-.18. La propiedad de alternancia del producto mixto se puede enunciar con precisin y brevedad utili-
zando la distincin de los vectores mediante ndices: si se denotan a
1
, a
2
, a
3
los vectores factores, se tiene:
[a
i
, a
j
, a
k
] =c
ijk
[a
1
, a
2
, a
3
] (1.1- ###)
cualquiera que sea la permutacin {i, j, k} de los ndices {1, 2, 3}.

Convenios de notacin indicial
Adems de los smbolos indiciales la notacin de Einstein, se basa en los siguientes convenios:
1) Convenio de introduccin de los ndices: Se utilizan subndices (o superndices) para distinguir tan-
to los vectores de cada base como las componentes de los mismos. Los ndices son variables naturales valo-
radas en el conjunto {1,2,3} en el espacio, y en el conjunto {1,2} en el plano. Cada ndice toma siempre
obligatoriamente sus tres valores ( sus dos valores, en el plano) en cada expresin en que intervenga.
2) Convenio de los ndices mudos o contrados: Se suprimen los signos de sumatorio para resumir las
sumas, y se conviene en la simple repeticin de un ndice en dos factores de un mismo trmino
7
para repre-
sentarlas. De modo que se denota:
(1.1- ###)
y siempre que un ndice se repita en un mismo trmino se entender un sumatorio resumido. Los ndices que
cumplen este papel en una expresin indicial, se llaman ndices mudos, debido a que pueden cambiarse por
otro ndice cualquiera (que no aparezca ya usado en la expresin) sin afectar al valor de la misma: o sea, v
i
e
i


7
Se emplea la terminologa clsica del lgebra de polinomios: se distinguen los miembros de una igualdad o ecuacin; dentro de cada
miembro, se distinguen los trminos, monomios o sumandos; y normalmente los trminos son productos indicados, de manera que se
distinguen finalmente los factores de cada trmino o monomio.
ij
1 si i j
0 si i j
=
o =

=

i =3
i i i i
i =1
v v e e =

es lo mismo que v
h
e
h
o que v
j
e
j
. Tambin se llaman ndices contrados. Al dar valores a un ndice mudo o
contrado, se deben dar los tres (o dos) valores posibles, sumando los resultados en el mismo miembro de la
igualdad; as
+o
pq
x
p
+ = +(o
1q
x
1
+o
2q
x
2
+o
3q
x
3
) +
y se observa que los ndices mudos resumen sumas en un mismo miembro de una ecuacin.
3) Convenio de los ndices libres: El otro papel de los ndices se presenta cuando se separa una igual-
dad por componentes, aplicando el teorema de unicidad de las mismas en cualquier base, como la {e
i
}:
u =v u
1
=v
1
, u
2
=v
2
, u
3
=v
3
(en resumen) u
i
=v
i

y los ndices utilizados para el resumen no se repiten en un mismo trmino de la expresin, sino en todos los
trminos de ambos miembros de una ecuacin. Este tipo de ndices se llama ndices libres. Al dar cada valor
a un ndice libre, debe sustituirse simultneamente en todas sus apariciones, dando lugar a 3 ecuaciones dis-
tintas (o 2 ecuaciones en el plano) por cada ndice libre: los ndices libres resumen sistemas de ecuaciones.
Ejemplo 1.1-.19. La expresin indicial y
q
=
pq
x
p
cuenta con un ndice mudo, p, y otro libre, q, y resume tres ecua-
ciones distintas (al dar valores a q), en cuyos segundos miembros hay tres sumandos distintos (al dar sus tres valo-
res a p). La escritura ntegra de la expresin se llama la forma desarrollada de la expresin indicial original:
y
1
=
p1
x
p
=
11
x
1
+
21
x
2
+
31
x
3

y
2
=
p2
x
p
=
12
x
1
+
22
x
2
+
32
x
3

y
3
=
p3
x
p
=
13
x
1
+
23
x
2
+
33
x
3

Ejemplo 1.1-.20. Escribir la forma desarrollada de la expresin indicial: a
ij
=c
ijk
c
k
sabiendo que c es un vector de
componentes c
k
en una base ortonormal {e
1
, e
2
, e
3
}. Deducir la matriz A :=[a
ij
] con i =fila, j =columna.
Ejemplo 1.1-.21. El producto de dos matrices 33, A =[a
ij
] y B =[b
ij
] da como resultado otra matriz C =AB cuyo
elemento genrico se puede describir cmodamente en notacin indicial, porque resulta que, denotando C =[c
ij
], se
cumple que cij es el producto matricial de la fila i-esima de A por la columna j-sima de B, es decir:
c
ij
=[ a
i1
a
i2
a
i3
]
1j
2j
3j
b
b
b
(
(
(
(

:= a
i1
b
1j
+a
i2
b
2j
+a
i3
b
3j
= a
ih
b
hj

de manera que podemos decir:
C =AB c
ij
=a
ih
b
hj
(1.1- ###)
Se observa que el algoritmo del producto matricial, llamado algoritmo fila columna, se formula en trminos in-
diciales mediante una ecuacin con dos ndice libres, i y j, y un ndice mudo o contrado, h. Puede decirse: el pro-
ducto de dos matrices consiste en contraer el ndice de columnas del prefactor con el ndice de filas del posfactor.
Naturalmente, slo se pueden contraer ndices que tengan el mismo conjunto o recorrido indicial.
Ejemplo 1.1-.22. Si A =[a
ij
]e
33
y B =[v
i
]e
31
, interpretar, en trminos vectoriales de los vectores fila de A, el
producto matricial AB, de la matriz A por el vector columna B. Misma cuestin, pero en trminos de los vectores
columna de A. En cada caso los vectores se consideran en una base ortonormal dada {e
i
}.
solucin: Llamando C :=AB e
31
se tiene c
i
=a
ij
v
j
, lo que se puede interpretar de dos modos compatibles, se-
gn se observe qu se hace con las filas o con las columnas del prefactor A:

1j j
1 11 1 12 2 13 3
2 2j j 21 1 22 2 23 3
3 31 1 32 2 33 3
3j j
a v
c a v a v a v
c a v a v a v a v
c a v a v a v
a v
(
+ +
( (
(
( (
= = + +
(
( (
+ +
(

algoritmo filas (de A) por columna (B) (1.1- ###)

1j
1 11 12 13
2 2j j 21 1 22 2 23 3
3 31 32 33
3j
a
c a a a
c a v a v a v a v
c a a a
a
(
( ( ( (
(
( ( ( (
= = + +
(
( ( ( (
(

algm. combinacin lineal de columnas (de A) (1.1- ###)
Ejemplo 1.1-.23. Siendo A, B matrices 33, escribir en notacin indicial los elementos genricos c
ij
y d
ij
de los pro-
ductos matriciales: C = A
t
B, D = AB
t
.
Ejemplo 1.1-.24. El determinante de una matriz 33 tambin se puede expresar de modo muy simple utilizando no-
tacin indicial, ya que se tiene:
det[a
ij
] =det = c
ijk
a
i1
a
j2
a
k3
=c
ijk
a
1i
a
2j
a
3k
(1.1- ###)

11 12 13
21 22 23
31 32 33
a a a
a a a
a a a
(
(
(
(