Semana 08[1/93]

Sumatorias

18 de abril de 2007

Sumatorias

Sumatorias

Semana 08[2/93]

Sumas dobles

Veremos a continuacin un caso particular de suma, en el que la que el trmino general ak es a su vez una suma, para cada k . Es decir, veremos cmo sumar sobre ms de un ndice.

Suma doble
Es una sumatoria del tipo
n

bk
k =0

en donde bk es a su vez una sumatoria, o sea bk = Reescribiendo:

m j=0 m

ak ,j . akj .

k =0 j=0

Notar que: El trmino general akj , se denota as pues puede depender de ambos ndices. Los lmites inferior y superior de
m j=0

ak ,j puede depender del ndice k .

Sumatorias

Sumatorias

Semana 08[3/93]

Sumas dobles: Intercambio de sumas

En el caso en que los lmites inferior y superior de bk no dependen de k , podremos intercambiar el orden de las sumatorias. Para ver esto, notemos que los trminos que estamos sumando son: a00 a10 . . . an0 a01 a11 an1 a02 a12 .. . an2 a0m a1m . . . anm

y que por ende, la suma doble representa el sumar los resultados de sumar cada la a la vez. Es claro que esto es equivalente a sumar los resultados de sumar cada columna a la vez. De donde tenemos la siguiente propiedad:

Intercambio de sumas
Si tenemos una suma doble Entonces:
n k =0 m j=0

akj , cuyos lmites inferiores y superiores no dependen de los ndices.

n m m n

akj =
k =0 j=0 j=0 k =0

akj .

Queda propuesto como ejercicio probar esta propiedad, usando induccin en n

Sumatorias

Sumatorias

Semana 08[4/93]

Sumas dobles

Un ejemplo importante es aquel en que: akj = ck dj . O sea, cuando el trmino general es la multiplicacin de dos trminos dependiendo independientemente cada ndice. En este caso:
n m n m

akj =
k =0 j=0 k =0 j=0 n

ck dj
m

=
k =0 n

ck ck

j=0 m

dj dj .

ck es una constante para la segunda suma.

=
k =0

j=0 S

Y como la cantidad S es una constante para la suma sobre k , resulta:

n m n m

ck dj =

ck

k =0 j=0

k =0

j=0

dj

Sumatorias

Sumatorias

Semana 08[5/93]

Sumas dobles

Ejemplo
n m

Calcular
i=0 j=0

ij.

Tenemos que, gracias a lo anterior:

n m n m

ij = (
i=0 j=0 i=0

i)(
j=0

j) =

n(n + 1) m(m + 1) . 2 2

Ejemplo
n i

Calcular
i=0 j=0

(i j)2 .

Ac tenemos la tentacin de desarrollar (i j)2 = i 2 + 2ij + j 2 y ocupar sumas conocidas, adems del resultado anterior. Sin embargo, el lmite superior de la segunda suma, depende de i por lo que no se puede recurrir a lo anterior. Ac nos bastar notar qu valores posibles puede tomar i j, para i jo y j mvil.

Sumatorias

Sumatorias

Semana 08[6/93]

Sumas dobles
Para j = i, i j = 0 y crece a medida que decrece j, hasta j = 0 en donde vale i j = i. Por ende hacemos el cambio de ndice en la primera sumatoria k =i j Esto resulta en:
n i n

con

k {0, . . . , i}.

k =
i=0 k =0 i=0

i(i + 1)(2i + 1) . 6

En donde esta ltima suma es perfectamente calculable y dicho clculo queda de ejercicio. Una ltima denicin, que generaliza la nocin anterior es la de:

Suma mltiple
Se trata de una suma:
n0 n1 n2 nl

k0 =0 k1 =0 k2 =0 kl =0

ak0 k1 ...kl .

Esta generalizacin tambin satisface:

Intercambio de sumas
Si los lmites inferiores y superiores no dependen de los ndices:
n0 n1 n2 nl nl nl1 nl2 n0

k0 =0 k1 =0 k2 =0 kl =0

ak0 k1 ...kl =
kl =0 kl1 =0 kl2 =0

k0 =0

ak0 k1 ...kl .

Y en general para cualquier reordenamiento de las sumas.

Sumatorias

Cardinalidad

Semana 08[7/93]

Cardinalidad
Habitualmente nos topamos con la necesidad de contar los elementos de un determinado conjunto. Tratamos as de establecer una correspondencia entre conjuntos y nmeros naturales diciendo, por ejemplo, que {a, b, c} tiene 3 elementos y que {2, 3, 5, 7, 11, 13, 17} tiene 7 elementos. El problema de este enfoque tpico es que no nos sirve para ciertos conjuntos, como , o . De stos slo decimos que tienen una cantidad innita de elementos.

La teora de cardinalidad viene a establecer conceptos ms precisos, que nos permitirn obtener resultados ms poderosos que los sugeridos por la sola intuicin. Esta teora reemplaza la nocin de nmero de elementos por la de cardinal, as como la nocin de contar por establecer funciones biyectivas. Consideremos A = {a, z, x, p, q, r , s}, el cual es un conjunto de 7 elementos, y el conjunto : 1 x 7}. Es fcil construir una biyeccin entre A y 7 , como por ejemplo la dada por el 7 = {x siguiente esquema.

a 1 p 2 q 3 r 4 s 5 x 6 z 7 As, reemplazaremos nuestra idea de tener 7 elementos por la idea equivalente que es poder construir una biyeccin hacia 7 . Lo importante de este nuevo enfoque es que nos permite eventualmente trabajar con conjuntos que tengan innitos elementos.

Sumatorias

Cardinalidad

Semana 08[8/93]

Cardinalidad

Denamos esta nueva nocin:

Cardinalidad
Dados A, B conjuntos no vacos. Diremos que A y B tienen el mismo cardinal si existe una funcin f : A B que sea biyectiva. En tal caso denotaremos |A| = |B|. Tambin, denotaremos |A| |B| cuando exista una funcin f : A B que sea inyectiva. Se tiene las siguientes propiedades bsicas acerca de | |:

Propiedades
1 2 3 4

|A| |A| Si A B, entonces |A| |B| Si |A| |B| y |B| |C|, entonces |A| |C| |A| |B| |B| |A| |A| = |B|

Vale la pena hacer notar que la ltima propiedad es difcil de demostrar, escapndose del alcance de este curso.

Sumatorias

Cardinalidad

Semana 08[9/93]

Conjuntos nitos

un natural cualquiera. Denimos el conjunto n = {x : 1 x n} (por ejemplo, tenemos as que 0 = , 2 = {1, 2}, y 7 = {1, 2, 3, 4, 5, 6, 7}) Dado un conjunto cualquiera E, diremos que es nito si y slo si existe k tal que |k | = |E|.
Sea n As, podemos establecer las siguientes propiedades, las cuales se demuestran utilizando principio de induccin:

Propiedades
1 2

| k +1 | | k | (esto se nota | m n | m | | n |

k | < |k +1|)

Gracias a ellas, denotaremos | k | = k . Cualquier conjunto que no sea nito, diremos que es innito.

Propiedad

es innito.

Sumatorias

Cardinalidad

Semana 08[10/93]

Conjuntos nitos

Demostracin.
Supongamos que

fuese nito. Entonces, existira un k tal que || = |k | k +1 , y por lo tanto

|

Adems, sabemos que

k +1| ||

con lo que concluimos que | lo cual es una contradiccin.

k +1| |k |

Sumatorias

Cardinalidad

Semana 08[11/93]

Conjuntos numerables
Llamaremos conjunto numerable a cualquier conjunto que tenga la misma cardinalidad de

Propiedad
es numerable.

Demostracin.
Listemos ordenadamente los elementos de : ... -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 ...

y construiremos una funcin de a simplemente asignando a cada natural un entero. Notemos que de esta forma estaremos enumerando los elementos de , es decir iremos contando 0, 1, 2, 3, 4, . . . en la medida que recorremos . Una posible forma de hacerlo es la siguiente:

... ...

-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 ... 11 9 7 5 3 1 0 2 4 6 8 10 12 . . .

Observemos que sta es una forma sencilla de construir una f : , que en nuestro caso posee una forma explcita: n si n es par 2 f (n) = (n+1) si n es impar 2 Queda como ejercicio para el lector demostrar que esta f es efectivamente biyectiva, con lo que se concluye que | | = | |, lo que buscbamos.

Sumatorias

Cardinalidad

Semana 08[12/93]

Conjuntos numerables

Es importante que nos detengamos en el siguiente punto: cuando construimos la asociacin entre mediante el diagrama

... ...

-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 ... 11 9 7 5 3 1 0 2 4 6 8 10 12 . . .

YA hemos establecido una funcin f de a , a pesar de que su forma explcita la damos despus. A travs del diagrama estamos dando el valor de f (n) slo para los naturales n 12, sin embargo estamos dejando en claro la forma de calcular f (n) para los naturales n > 12. Por ejemplo, es claro gracias al proceso que seguimos, que f (13) = 7 y que f (20) = 10. Y para esto no hace falta conocer la forma explcita de la funcin f . Es ms, veremos casos donde no es fcil mostrar explcitamente la funcin f que corresponda, por lo que no nos preocuparemos de ella. Simplemente mostraremos la enumeracin que hay que hacer en cada caso.

Sumatorias

Cardinalidad

Semana 08[13/93]

Conjuntos numerables

Propiedad

es numerable.
Demostracin.
Para este caso, ordenaremos los elementos de

0 1 2 3 4 5 . . .

en una tabla de doble entrada:

2 (0,2) (1,2) (2,2) (3,2) (4,2) (5,2) . . . 3 (0,3) (1,3) (2,3) (3,3) (4,3) (5,3) . . . 4 (0,4) (1,4) (2,4) (3,4) (4,4) (5,4) . . . 5 (0,5) (1,5) (2,5) (3,5) (4,5) (5,5) . . . ... ... ... ... ... ... ... .. .

0 (0,0) (1,0) (2,0) (3,0) (4,0) (5,0) . . .

1 (0,1) (1,1) (2,1) (3,1) (4,1) (5,1) . . .

Contina...

Sumatorias

Cardinalidad

Semana 08[14/93]

Conjuntos numerables

Continuacin demostracin.
Y ahora, para enumerar

, asociaremos a cada casilla de la tabla un nmero natural distinto: 0 1 2 3 4 5 ...

0 1 2 3 4 5 . . . 0 2 5 9 14 20 . . . 1 4 8 13 19 . . . 3 7 12 18 . . . 6 11 17 10 16 15 ... ... ... ... ... ... .. .

. . .

. . .

. . .

De esta manera hemos establecido un proceso que enumera , por lo que sabemos que hay una funcin biyectiva entre y , y as concluimos lo que desebamos demostrar.

Sumatorias

Cardinalidad

Semana 08[15/93]

Conjuntos innitos

Propiedades
Sea A un conjunto innito cualquiera. Entonces 1 Sea A un conjunto innito. Entonces | | |A|. 2 Sea A un conjunto innito tal que |A| | |. Entonces |A| = | |.

Demostracin.
Demostraremos (1). Construiremos inductivamente una secuencia de elementos distintos a0 , a1 , a2 , . . . contenida en A. Como A es innito, en particular es no vaco. Sea, entonces, a0 A. El conjunto A \ {a0 } debe ser tambin innito, y en particular es no vaco tambin. Sea, entonces, a1 A \ {a0 }. Si hemos extrado de A los elementos a0 , a1 , . . . , an , tenemos que A \ {a0 , a1 , . . . , an } es no vaco. As, escogemos an+1 A \ {a0 , a1 , . . . , an }. Entonces {a0 , a1 , a2 , . . .} A, y luego |{a0 , a1 , a2 , . . .}| |A|. Si consideramos f : {a0 , a1 , a2 , . . .} dada por f (n) = an , como todos los ak son distintos, tenemos que f es inyectiva. As | | |{a0 , a1 , a2 , . . .}|, con lo que concluimos el resultado.

Sumatorias

Cardinalidad

Semana 08[16/93]

Uniones de cantidades innitas de conjuntos

Dados dos conjuntos A y B, ya habamos denido su unin A B diciendo que x A B x A x B

Esta denicin puede ser extendida para una cantidad nita de conjuntos A0 , . . . , An del modo siguiente x A0 A1 . . . An x A0 x A1 . . . x An (k {0, 1, . . . , n}) x Ak

Pensemos ahora en una cantidad innita de conjuntos. Ms precisamente, pensemos que tenemos una coleccin numerable de conjuntos A0 , A1 , . . . , An , . . . que deseamos unir (notemos que al hablar de coleccin numerable nos referimos a que hay un conjunto Ak por cada nmero natural k , sin embargo cada conjunto Ak no necesariamente es numerable). Para simplicarnos la escritura, denotaremos al conjunto unin (A0 A1 . . . An . . .) como

Ak

Cmo denir este conjunto unin? Extenderemos de forma muy sencilla la denicin de una cantidad nita de conjuntos, as: x Ak (k ) x Ak
k

Sumatorias

Cardinalidad

Semana 08[17/93]

Propiedades de conjuntos numerables

Propiedad
Sean A, B conjuntos numerables. Entonces A B es numerable.

Demostracin.
Como A y B son numerables, sabemos que existen funciones biyectivas f : Con stas, construimos la funcin :

g:

A B dada por
(i, j) = (f (i), g(j))

Queda propuesto al lector vericar que es tambin biyectiva. Concluimos entonces que | como | | = | | se concluye que A B es numerable.

| = |A B|, y

Sumatorias

Cardinalidad

Semana 08[18/93]

Propiedades de conjuntos numerables

Corolario

es numerable.
Demostracin.
Como es un conjunto innito, sabemos inmediatamente que | | | |. Basta demostrar entonces que | | | |. Consideremos un elemento x . Sabemos que se puede escribir de la forma x = p con p , q \ {0}, y donde p q y q son primos relativos. Podemos entonces construir una funcin : ( \ {0}), de modo que (x) = (p, q). Es decir:

Para x , denimos (x) = (p, q) ( \ {0}), p donde p, q son primos relativos y x = q . Es fcil demostrar que esta es inyectiva, en efecto: sean x1 , x2 tales que (x1 ) = (x2 ). Consideramos p1 , p2 y q1 , q2 \ {0} tales que (x1 ) = (p1 , q1 ) (x2 ) = (p2 , q2 )

Como (x1 ) = (x2 ), se tiene que p1 = p2 y q1 = q2 . Por denicin de , concluimos entonces que x1 = p1 p2 = = x2 q1 q2

Gracias a la inyectividad de , obtenemos que | | | ( \ {0})|. Como tanto como \ {0} son numerables, gracias a la propiedad para el producto cartesiano tenemos que | ( \ {0})| = | |. As, | || | y entonces

|| ||

es numerable.
Sumatorias

Cardinalidad

Semana 08[19/93]

Propiedades de conjuntos numerables

Propiedad
Sean A0 , . . . , An conjuntos numerables. Entonces A0 . . . An es numerable.

Propiedad
Sea A0 , A1 , . . . , An , . . . una coleccin numerable de conjuntos, donde cada Ak es un conjunto numerable. Entonces su unin Ak tambin es numerable
k

Sumatorias

Cardinalidad

Semana 08[20/93]

Ejemplo: conjuntos innitos

Sea A un conjunto innito, y sea x A. Se tiene que |A| = |A \ {x}|.

Demostracin.
Tal como hicimos en una demostracin anterior, contruyamos un conjunto numerable A = {a0 , a1 , a2 , a3 , . . .} A Sin prdida de generalidad, podemos suponer que x A . / para denir la funcin f : A A \ {x} dada por si a = x a0 ak +1 si a A a = ak (a A) f (a) = a si a A a = x /

Esta f deja invariantes a todos los elementos que no pertenecen a A {x}, y a los elementos de este conjunto los traslada todos en una posicin (x a0 , ak ak +1 ). Notemos que, gracias a la denicin de f : para a A, Si f (a) = a0 , entonces a = x. Si f (a) A \ {a0 }, entonces a A . Si f (a) A , entonces a A {x}. / / Con estas herramientas, queda propuesto al lector demostrar que f es biyectiva, con lo que se concluye la demostracin.

Sumatorias