Anda di halaman 1dari 7

Ivn Giovanny Mosso Garc a a

Departamento de Formacin Bsica o a Matemticas Discretas a

Apuntes de Teor de Conjuntos y Nmeros Enteros a u

1.

Algebra de conjuntos

Teorema 1.1. (Algebra de conjuntos, Propiedades de los conjuntos) Sean A, B y C conjuntos de un universo U. Entonces tenemos las siguientes propiedades. i. Propiedad del doble complemento (Ac )c = A ii. Propiedad conmutativa iii. Propiedad asociativa iv. Propiedad distributiva v. Propiedad de De Morgan vi. Propiedad de los neutros vii. Propiedad de los inversos viii. Propiedad de dominacin o ix. Propiedad de idempotencia x. Propiedad de absorcin o AB =BA AB =BA A (B C) = (A B) C A (B C) = (A B) C A (B C) = (A B) (A C) A (B C) = (A B) (A C) (A B)c = Ac B c (A B)c = Ac B c AU =A A=A A Ac = A Ac = U A= AU =U AA=A AA=A

A (A B) = A A (A B) = A 1

2 CARDINALIDAD Demostracin.- ejercicio o Observaciones 1.2. Sean A y B conjuntos de un universo U. i. A \ B = A B c , ii. Ac = U \ A, iii. c = U y U c = .

Proposicin 1.3. Sean A, B y C conjuntos de un universo U tales que A B. Entonces o A C B C y A C B C. Demostracin.- Probemos primero que A C B C. o Sea x A C, luego x A y x C. Como A B entonces x B, as x B C. Por lo tanto A C B C. Ahora probemos que A C B C. Tenemos que A B y que B B C , luego A B C. Por otro lado C B C. Por lo tanto A C B C. En esta demostracin se utilizaron algunas propiedades de la contencin. o o

2.

Cardinalidad

Denicin 2.1. Sea A un conjunto en universo U. Denimos a la cardinalidad del cono junto A como: i. |A| = 0 si A = , ii. |A| = n, donde n N y n es la cantidad de elementos que tiene el conjunto A. iii. |A| = en otro caso. Si |A| N {0}, entonces decimos que A es de cardinalidad nita y escribimos |A| < . En otro caso, decimos que A es de cardinalidad innita y escribimos |A| = . Ejemplos 2.2. i. Sea el universo U = N. Sean A = {1, 2, 3, 4, 5}, B = {2, 3, 6, 7} y C = {6, 7, 8}. Tenemos que: |A| = 5, |B| = 4, |C| = 3, |U| = |N| = , |A B| = |{2, 3}| = 2, |A B| = |{1, 2, 3, 4, 5, 6, 7}| = 7, |A C| = || = 0, |Ac | = |{6, 7, 8, . . . }| = , |A \ B| = |{1, 4, 5}| = 3. ESCOM-IPN IGMG

2 CARDINALIDAD ii. Si en el ejemplo anterior el universo es U = {1, 2, . . . , 8, 9}, entonces |Ac | = |{6, 7, 8, 9}| = 4. Proposicin 2.3. Sean A y B conjuntos de un universo U. Entonces o i. si |A| < (A es de cardinalidad nita), entonces |Ac | = |U| |A|. ii. si |A B| < , entonces |A B| = |A| + |B| |A B|. iii. si |A B| < , entonces |A \ B| = |A| |A B|. Demostracin.- pendiente o

Ejemplo 2.4. Se desarrolla una encuesta entre 100 estudiantes de la ESCOM para saber cuales materias , de entre Matemticas Discretas, F a sica y Calculo, les parecen dif ciles. Se obtienen los siguientes resultados. A 45 les parece dif Matemticas Discretas cil a A 50 les parece dif F cil sica A 55 les parece dif Clculo cil a A 15 de los que no los parece dif Calculo les parece dif F cil cil sica. Suman 70 a los que les parecen dif ciles Matemticas Discretas o Clculo. a a A 5 les parecen dif ciles Matemticas Discretas y F a sica pero no Clculo. a Son 25 a los que les parecen dif ciles las tres materias y 20 a los que ninguna. Determinemos la cantidad de estudiantes a quienes les parecen dif ciles Matemticas a Discretas y Clculo pero no F a sica, y la de quienes solo creen que F sica es dif cil. Sea U los alumnos encuestados. Sean A los alumnos a los que les parece dif Matemticas Discretas, cil a B los alumnos a los que les parece dif F cil sica, C los alumnos a los que les parece dif Clculo. cil a Entonces los datos que conocemos son: |U| = 100, |A| = 45, |B| = 50, |C| = 55, |C c B| = 15, ESCOM-IPN IGMG

2 CARDINALIDAD |A C| = 70, |(A B) \ C| = 5 |A B C| = 25 y |(A B C)c | = 20. Los datos que queremos conocer son |(A C) \ B| y |B \ (A C)|. Calculemos primero |(A C) \ B|. Tenemos que |(A C) \ B| = |A C| |(A C) B| = (|A| + |C| |A C|) (|A B C|) = (45 + 55 70) 25 =5 Ahora calculemos |B \ (A C)|. |B \ (A C)| = |B| |B (A C)| = |B| |(B A) (B C)| = |B| [|B A| + |B C| |(B A) (B C)|] = |B| [|A B| + |C B| |A B C|]

Notemos que los datos desconocidos son |A B| y |C B|. Sin embargo tenemos que |(A B) \ C| = |A B| |(A B) C|, luego |A B| = |(A B) \ C| + |(A B) C|. Tambin tenemos que |C c B| = |B C c | = |B \ C| y que |B \ C| = |B| |B C|, e luego |B C| = |B| |C c B|. Entonces |B \ (A C)| = |B| [|A B| + |C B| |A B C|] = |B| |A B| |C B| + |A B C| = |B| [|(A B) \ C| + |A B C|] [|B| |C c B|] + |A B C| = |(A B) \ C| + |C c B| = 5 + 15 = 10

ESCOM-IPN

IGMG

3 CONJUNTO POTENCIA

3.

Conjunto Potencia

Denicin 3.1. Sean U un universo y A un conjunto en el universo. Denimos al conjunto o potencia de A como P(A) = {B B A}. P(A) es el conjunto que contiene a los subconjuntos de A. Nota 3.2. i. Tenemos que P(A) es un conjunto en el universo P(U). P(U) es el conjunto de todos los subconjuntos del universo U. ii. Tenemos que P(A) y que A P(A). Ejemplo 3.3. Sea A = {1, 2, 3, 4} un conjunto del universo N. Entonces , {1}, {2}, {3}, {4}, {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}, P(A) = {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}, A i. Entonces |P(A)| = 2|A| = 2n . ii. Sea r N. Si 1 r n, entonces existen n r subconjuntos de A de cardinalidad r. Ejemplo 3.5. Sea A como en el ejemplo anterior. Entonces i. |A| = 4, ii. |P(A)| = 2|A| = 24 = 16, ESCOM-IPN IGMG = n! r!(n r)!

Observaciones 3.4. Sea A un conjunto del universo U. Sea n N {0} tal que n = |A|.

4 PRODUCTO CARTESIANO 4 2

iii. Existen 6 subconjuntos de A con 2 elementos, pues

4! 2!(42)!

24 4

=6

Proposicin 3.6. Sean A y B conjuntos de un universo U. Entonces o i. A B si y solo si P(A) P(B), ii. P(A B) = P(A) P(B), iii. P(A) P(B) P(A B). Demostracin.o i. ) ejercicio ) Supongamos P(A) P(B). Sea x A. Luego {x} (el conjunto que contiene al elemento x) es un subconjunto de A, es decir {x} A, entonces {x} P(A). Como P(A) P(B), entonces {x} P(B), por lo que {x} B, luego x B. Por lo tanto A B. ii. ) Sea X P(A B). Entonces X A B. Como A B A y A B B entonces X A y X B, luego X P(A) y X P(B). As X P(A) P(B). Por lo tanto P(A B) P(A) P(B). ) ejercicio De ) y de ) concluimos que P(A B) = P(A) P(B). iii. ejercicio

4.

Producto Cartesiano

Denicin 4.1. Sean A1 y A2 conjuntos no vac de los universos U1 y U2 (es decir, los o os conjuntos pueden pertenecer a distintos universos). Denimos al Producto Cartesiano de A1 por A2 como A1 A2 = {(x, y)|x A1 y y A2 } A1 A2 es el conjunto de los pares ordenados (x, y) donde la primer entrada est en a el primer conjunto y la segunda entrada en el segundo conjunto. Nota 4.2. i. Tenemos que A1 A2 es un conjunto en el universo U1 U2 . U1 U2 es el conjunto de todos los pares ordenados donde la primera entrada est en a el universo U1 y la segunda entrada en el universo U2 . ii. Tenemos que A1 A2 = A2 A1 si y solo si A1 = A2 . Por lo cual podemos escribir para un conjunto A que A A = A2 .

ESCOM-IPN

IGMG

4 PRODUCTO CARTESIANO

Ejemplos 4.3. i. Sean los conjuntos A = {P edro, Bob, Bart} en el universo de las personas y B = {Dino, Gary, Huesos} en el universo de las mascotas. Entonces (P edro, Dino), (P edro, Gary), (P edro, Huesos), (Bob, Dino), (Bob, Gary), (Bob, Huesos), . AB = (Bart, Dino), (Bart, Gary), (Bart, Huesos) (Dino, P edro), (Dino, Bob), (Dino, Bart), (Gary, P edro), (Gary, Bob), (Gary, Bart), . Por otro lado B A = (Huesos, P edro), (Huesos, Bob), (Huesos, Bart) En este caso A B = B A, es ms, ni siquiera estn en el mismo universo. a a ii. Sean los conjuntos A = {1, 2, 3}, B = {3, 4} y C = {4} donde U = N. Entonces A B = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)} B B = {(3, 3), (3, 4), (4, 3), (4, 4)} B C = {(3, 4), (4, 4)} (A B) C = {((1, 3), 4), ((1, 4), 4), ((2, 3), 4), ((2, 4), 4), ((3, 3), 4), ((3, 4), 4)} A (B C) = {(1, (3, 4)), (1, (4, 4)), (2, (3, 4)), (2, (4, 4)), (3, (3, 4)), (3, (4, 4))} Notemos que si no tomramos en cuenta la asociatividad en (A B) C y en a A (B C), entonces los conjuntos ser los mismos es decir: an A(BC) = (AB)C = ABC = {(1, 3, 4), (1, 4, 4), (2, 3, 4), (2, 4, 4), (3, 3, 4), (3, 4, 4)} Observaciones 4.4. Sean A1 , A2 y A3 conjuntos de los universos U1 , U2 y U3 respectivamente. Entonces i. |A1 A2 | = |A1 ||A2 |. ii. Podemos considerar que A1 (A2 A3 ) = (A1 A2 ) A3 = A1 A2 A3 .

ESCOM-IPN

IGMG

Anda mungkin juga menyukai