Clase de An alisis

Autor: Ludwin Leandro Venera Ruiz February 20, 2014

Conjuntos Innitos Denici on 1 (Conjunto nito). Un conjunto X es nito si X = o existe n N y una biyecci on : In X Denici on 2 (Conjunto Innito). Un conjunto X es innito si x = y para cualquier n N, no existe : In X biyectiva. Ejemplo 1. Mostrar que N es innito. Soluci on. Si X es nito, no existe una biyyecci on : X Y , con Y X . X es innito, si existe una biyecci on : X Y , con Y X . Teorema 1. X es innito si y solo si existe f : N X inyectiva. Demostraci on: Supongamos que f : N X es inyectiva y X es nito, , por el corolario anterior, entonces N es nito (Contradicci on). Supongamos que X es innito, denemos f : N X , como X es innito, entonces f (1) X , f (2) X1 X ,..., f (n) Xn X . Ahora f (n + 1) X {f (1), ..., f (n)}, tal que f (n + 1) / {f (1), f (2), ..., f (n)}. Sean n, m N con n = m y n < m, entonces, f (m) / {f (1), ..., f (n), ..., f (m 1)}, con lo cual f (m) = f (n). Por lo tanto f es inyectiva. Ejercicio I) Sean X, Y conjuntos nitos disyuntos, con m y n elementos respectivamente. Entonces X Y es nito y tiene m + n elemento. Prueba: Sean X, Y conjuntos nitos con X = Y . Como X es nito, entonces X = o existe N N tal que : In X es biyectiva. Analogamente, como Y es nita, entonces Y = o existe m N tal que : Im Y . Si X = y Y = , entonces X Y = , y la prueba esta demostrada. Ahora, puesto a que n, m N con n = m, entonces m + n N y X Y N y adem as como y son biyectivas, entonces por denici on N y es biyectiva, as : ( ) : (In Im ) (X Y ) Luego tiene m + n elementos.

II) Sean X1 , X2 , ..., Xk conjuntos nitos disyuntos dos a dos, con m1 , m2 , ..., mk elementos respectivamente. Entonces X1 ... Xk es nito y tiene m1 + m2 + ... + mk elementos. III) Sean Y1 , ..., Yk conjuntos dinitos no necesariamente disyuntos con m1 , ..., mk elementos respectivamente. Entonces Y1 ... Yk es nito y posee a lo m aximo m1 + ... + mk elementos. IV) Sea X1 , ..., Xk conjuntos nitos con m1 , ..., mk elementos respectivamente, entonces el producto cartesiano X1 ... Xk es nito y tiene m1 , ..., mk elementos.