Conjuntos clsicos a

1.

Cmo se dene un conjunto clsico? o a

Un conjunto clsico es una coleccin de elementos que clasican objetos a o mediante alguna propiedad. Este tipo de conjuntos se denen mediante una funcin caracter o stica. Dado un subconjunto A del universo X: A : X {0, 1} se dene: A (x) = 1, si x A 0, si x A /

es decir, si A(x) = 1, si la armacin x A es verdadera o y si A(x) = 0, si la armacin x A es falsa. o

1.1.

Operaciones realizadas con los conjuntos clsicos a

Considerando dos subconjuntos A y B del universo X se denen: Unin o La unin de dos conjuntos clsicos A y B se denota por A B. o a Representa todos los elementos del universo que estn en el conjunto a A o en el conjunto B o en ambos a la vez. La forma de representacin de la unin de dos conjuntos A y B es, o o A B = {x | x A x B} o Grcamente A B: a 1

Figura 1: A unin B o

Interseccin o La interseccin de dos conjuntos clsicos A y B se denota por A B. o a Con esta operacin se representa todos los elementos del universo que o estn simultneamente en los dos conjuntos. a a La forma de representacin de la interseccin de dos conjuntos A y B es, o o A B = {x | x A y x B} Grcamente A B: a

Figura 2: A interseccin B o

Complemento El complemento de un conjunto clsico A se denota por A. a Con l obtenemos todos los elementos del universo que no pertenecen e al conjunto A. La forma de representacin del complemento de A es, o A = {x | x A} / Grcamente A: a

Figura 3: Complemento de A

Diferencia La diferencia de un conjunto A respecto de B, se denota por A | B. Mediante la diferencia se representan todos los elementos del universo que estn en A y no estn en B. a a La forma de representacin de la diferencia es, o A | B = {x | x A y x B} / Grcamente A | B: a

Figura 4: A diferencia B

1.2.

Propiedades de las operaciones de los conjuntos clsicos a

Para realizar operaciones matemticas con los conjuntos clsicos, necesia a tamos conocer las propiedades que stos poseen. Dados los conjuntos A, B y e C se denen las siguientes propiedades: 1. Conmutativa: AB =BA AB =BA 2. Asociativa: A (B C) = (A B) C A (B C) = (A B) C 3. Distributiva: A (B C) = (A B) (A C); A (B C) = (A B) (A C) 4. Idempotencia: AA=A AA=A 4

5. Identidad: A=A AX =X AX =A A= 6. Doble negacin: o A=A 7. Transitiva: si A B C, entonces A C Existen dos propiedades importantes a las que llamamos leyes, la ley del medio excluido y las leyes de Morgan. Ley del medio exluido: incluye la ley del medio excluido y la ley de contradiccin. o 1. Ley del medio excluido: Representa la unin de un conjunto A con su complemento. o AA=X 2. Ley de contradiccin: o Representa la interseccin del conjunto A y su complemento. o AA= Leyes de Morgan: AB =AB AB =AB

1.2.1.

Ejemplo

A continuacin se muestra un ejemplo en donde se comprueban algunas o de las propiedades descritas anteriormente. Dados X = {2,3,4,5,7,10,16,19,21,22,40,115}, A = {Conjunto de los nmeros divisibles por 2} = {2,4,10,16,22,40} y u B = {Conjunto de los nmeros divisibles por 5} = {5,10,40,115} u hacemos las siguientes operaciones: A B = {2, 4, 5, 10, 16, 22, 40, 115} A B = {10, 40} A = {3, 5, 7, 19, 21, 115} B = {2, 3, 4, 7, 16, 19, 21, 22} A = {2, 4, 10, 16, 22, 40} A B = {3, 7, 19, 21} y A B = {3, 7, 19, 21}, entonces se cumple la Ley de Morgan A B = A B A B = {2, 3, 4, 5, 7, 16, 19, 21, 22, 115} y AB = {2, 3, 4, 5, 7, 16, 19, 21, 22, 115}, en este caso tambin se cumple la Ley de Morgan A B = A B e Grcamente se muestra el ejemplo anterior: a

Figura 5: Diagrama de Venn