PROPIEDADES DEL OPERADOR SUMATORIA

-----------------------------------------------------------------------------------------------------------1] Sumas simples La letra griega sigma mayscula, , es una notacin abreviada para designar una suma. Por ejemplo, la suma x1 + x2 + + xn puede escribirse con el signo de adicin como:

x
i =1

que se lee la suma de xi desde i = 1 hasta i = n. Aqu, i se llama ndice de adicin y es una variable que vara entre los nmeros 1, 2, ..., n. La expresin i = 1 debajo del signo indica que 1 es el valor inicial adoptado por i, y la n arriba del signo indica el valor terminal de i. Al smbolo xi se le llama sumando; es una funcin de i que adopta los valores x1, x2, ..., xn, respectivamente, cuando i adopta los valores 1, 2, ..., n. El signo dice que los valores adoptados por el sumando han de ser sumados. El smbolo usado para el ndice de adicin se llama a veces ndice ficticio porque es completamente arbitrario. Por ejemplo: x1 + x2 + + xn = Como ilustraciones vemos que:

xi = x j = xk = .
i =1
j= 1

k= 1

i = 1+ 2 + 3 = 6 ;
i =1 5 i =1

i 2 = 12 + 2 2 + 32 = 14 ;
i =1 9 i =1

2
i=0

1
i

1 1 1 1 + 1 + 2 + + r ; 0 2 2 2 2

xi = x1 + x2 + x3 + x4 + x5 ; xi = x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 .
De los dos ltimos ejemplos podemos apreciar fcilmente que: x1 + x2 + + x9 = xi + xi = xi
i =1 i=6 i =1 5 9 9

Una funcin conocida de n valores x1, x2, , xn es su media aritmtica (su suma dividida por n), representada por el smbolo x . Usando la notacin podemos escribir: x= x1 + x 2 + + x n 1 n = xi . n n i =1

Si la amplitud de la suma es completamente clara en el contexto, puede omitirse el ndice de adicin. As, podemos usar:
x para substituir x i ;
i =1 n

1 1 x para substituir n n
n 2 2 i

x
i =1

x ( x )
2

n para substituir x xi ; y as sucesivamente. i =1 i =1

-----------------------------------------------------------------------------------------------------------2] Teoremas para adicin simple A continuacin, se listar una serie de teoremas sin demostracin. Se deja la demostracin formal para los lectores interesados (las demostraciones son muy sencillas y rpidas de obtener). Teorema I Si a es cierto valor constante de los n valores diferentes de i, entonces: Teorema II Dado el valor a, que es una constante de todos los valores individuales que intervienen en la adicin,
n

a = na .
i =1

a x i = a xi
i =1 i =1

Teorema III Si la nica operacin que ha de efectuarse antes de realizar una suma es una suma (o una diferencia), la adicin puede ser distribuida; es decir,

( x
i

+ y i z i ) = xi + y i z i
i i i

Teorema IV Si ha de efectuarse alguna operacin sobre los valores individuales de X antes de la adicin, se indica esto por la notacin matemtica. A menos que se incluya el signo de adicin en esta notacin, la adicin ha de hacerse despus de la otra operacin. Por ejemplo,

x
i

2 i

2 2 = x12 + x 2 + + xn

mientras que
2 xi = ( x1 + x 2 + + x n ) i
2

As,
xi2 xi i i
2

, en general.

Igualmente: mientras que

xi =

x1 + x 2 + + x n
x1 + x 2 + + x n

. -----------------------------------------------------------------------------------------------------------3] Sumas finitas dobles y triples Los valores de una variable X, el sumando, se disponen, a veces, como un cuadro en dos sentidos como sigue:

x =

x11 x12 x1m x21 x22 x2m

xn1 xn2

xnm

donde los valores individuales puede ser representados por el smbolo genrico xij, i = 1, 2, , n y j = 1, 2, , m. La suma de xij puede obtenerse sumando primero las distintas filas y luego sumando los totales de las filas para obtener el resultado deseado. Sin duda, obtendramos el mismo resultado sumando primero los valores de las columnas y luego los totales columnares. Esto es simplemente la aplicacin de la suma simple dos veces para obtener un signo doble de suma como sigue:

x
i =1 j =1

ij

= ( xi1 + xi 2 + + xim ) = ( x11 + x12 + + x1m ) + ( x 21 + x 212 + + x 2 m ) +

i =1

+ ( x n1 + x n 2 + + x nm )

Consideremos ahora el caso de un signo de triple suma. Si los valores de una variable se disponen en un cuadro que consta de n filas y m columnas es decir, nm celdas donde cada valor individual corresponde exactamente a una celda del cuadro, entonces la k-sima observacin en la ij-sima celda se representa por xijk. Igualmente, el nmero de observaciones en la celda ij lo designamos por nij. La notacin para la suma de las observaciones en tal cuadro puede escribirse empleando el signo de suma simple tres veces como sigue:

x
i =1 j =1 k =1

nij

ijk

Esta notacin dice: tome una celda particular, ij, y sume todos los nij valores de dicha celda; luego, manteniendo constante la fila i, sume los resultados de la suma de cada celda para todas las columnas; finalmente, sume los resultados de cada fila i para todas las filas. Un poco de reflexin revelar que esto es simplemente la suma de los valores individuales del cuadro. -----------------------------------------------------------------------------------------------------------4] Teoremas para sumas dobles Observemos ahora algunos de los teoremas que rigen las sumas dobles que son de especial inters y que tambin pueden ser aplicados a sumas triples y an mayores. Tampoco aqu daremos las demostraciones las cuales se dejan libradas a la inquietud del lector. De todas maneras, son muy sencillas de obtener. Teorema I Si a es una constante, entonces a = ma = nma y
i =1 j =1 i =1 n m n n m n m

axij = axij .
i =1 j =1 i =1 j =1

Teorema II Si ambos lmites de los signos de adicin son constantes, puede intercambiarse el orden de adicin:

x
i =1 j =1

ij

= a xij
j =1 i =1

Teorema III

( x
n m i =1 j =1

ij

+ yij ) =( xij ) + ( yij )

n m n m i =1 j =1 i =1 j =1

Teorema IV
x = x = m x
i =1 j =1 i i =1 n m n

j =1

i =1

Teorema V
n m

n m xi y j = xi yj i =1 j =1 i =1 j =1

n n Obsrvese que el teorema no dice que xi y i = xi y i . Esta ltima igualdad es i =1 i =1 i =1

n

falsa, excepto en casos especiales. El teorema se refiere a la suma doble con dos ndices diferentes de adicin. Teorema VI
n n xi = xi2 + 2 xi x j i =1 i< j i =1 --------------------------------------------------------------------------------------------------------------2