CONJUNTOS

RODRIGO DIAZ 21.459.335

DEFINICION
Llamaremos conjunto a cualquier coleccin de objetos, los cuales llamaremos

elementos
Llamaremos conjunto universal, el cual denotaremos por U, al conjunto que contiene

todos los elementos a considerar

TIPOS
Por Extensin es cuando todos sus elementos son enumerados uno a uno Por Comprensin Cuando estn dados como dominio de una funcin proposicional, es decir, los elementos de un conjunto que cumplen una condicin dada

SUB-CONJUNTOS
Diremos que un conjunto A est incluido propiamente en un conjunto B o que A

es subconjunto propio de B si y slo si A B y A B.

TIPOS
Reflexiva: A A, para todo conjunto A. Antisimtrica: A B B A A = B. Transitiva: A B B C A C.

CONJUNTO POTENCIA

Si A es un conjunto, se define el conjunto potencia de A o conjunto partes de A. Es decir, es el conjunto formado por todos los subconjuntos de A.

CARACTERSTICAS
La principal caracterstica de este conjunto es que es un conjunto de conjuntos, es decir, sus elementos son conjuntos. Dado un conjunto A podemos conocer el nmero de elementos de (A), ya que si A tiene n elementos, entonces (A) tiene 2n elementos

REPRESENTACIN TABULAR
Un conjunto AxB lo podemos representar por medio de tablas como veremos en el

siguiente ejemplo.

Ejemplo
Si A = {2,3,4} y B = {1,2,3} encuentre la representacin tabular de AXB

Solucin
AxB = {(2,1),(2,2),(2,3),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3)}

IGUALDAD DE CONJUNTOS
Si dos conjuntos tienen los mismos elementos diremos que son iguales, por ejemplo: A =

{2,3,5,9,10} y B = {10,5,3,2,9} son iguales El teorema nos muestra que A = B A b b a.

UNIN E INTERSECCIN DE CONJUNTOS

Sean A y B dos conjuntos. Se define la unin de A y B como el conjunto A U B = { x U / x A x B} Es decir, son todos los elementos que estn en A o estn en B

PROPIEDADES DE UNIN DE CONJUNTOS

Sean A y B dos conjuntos, luego se cumplen las siguientes propiedades:

i. A U A = A ii. A U U = U iii. A U = A iv. AUB = BUA Sean A y B dos conjuntos. La interseccin de A con B se define como el conjunto: A I B = { x U / x A x B} Es decir, los elementos que estn en A y tambin estn en B

DIFERENCIA Y COMPLEMENTO
Si A y B son conjuntos, entonces se define la

diferencia entre A y B como el siguiente conjunto: A - B = { x U / x A x B}. Es decir, son todos los elementos que estn en A pero que no estn en B.

PROPIEDADES DE LA DIFERENCIA
Propiedades de la Diferencia de Conjuntos Sean A,B,C tres conjuntos, luego se cumple que: (AUB) - C = (A - C) U (B - C) (A I B) - C = (A - C) I (B - C) (AD B) - C = (A - C) D (B - C) A I ( B - C) = (A I B) - (A I C) (B - C) I A = (B I A) - (C I A)

Teorema: Sean A y B dos conjuntos luego: A - B = AI C(B) C(C(A)) = A AUC(A) = U AI C(A) = f C(U) = f C(f ) = U A B C(B) C(A) Teorema: (Leyes de Morgan para conjuntos) i. C(AUB) = C(A) I C(B) ii. C(AIB) = C(A) U C(B)

ALGEBRA DE CONJUNTOS
As como en las proposiciones existen las leyes del lgebra de proposicional, en la teora de conjuntos tenemos las leyes del lgebra de conjuntos que veremos a continuacin

Leyes de Idempotencia
AUA=AIA=A

Leyes Asociativas
A U (BUC) = (AUB) U C A I (BIC) = (AIB) I C

Leyes Conmutativas
AUB=BUA AIB=BIA

Leyes Distributivas
A U (B I C) = (A U B) I (A U C) I (B U C) = (A I B) U (A I C)

Leyes de Identidad
AUf=AIf=f

Leyes de Dominacin
A U U = U U: conjunto universal AIU=A

Leyes de Complementacin
A U C(A) = U A I C(A) = f f f) = U C (C(A)) = A

Leyes de De Morgan
C(A U B) = C(A) I C (B) I B) = C(A) U C (B)

PRODUCTO CARTESIANO
Sean A y B dos conjuntos. Se define el conjunto producto o producto cartesiano de A y B como el conjunto Ejemplo: Si A = {a. b} y B = {1,5,8} entonces A x B = {(a,1), (a,5), (a,8), (b,1), (b,5), (b,8)} mientras que B x A = {(1,a), (1,b), (5,a), (5,b), (8,a),(8,b)}

Ntese que A x B = B x A

TEOREMA
Si A,B,C son tres conjuntos entonces: AxB=FA=FB=F A x (BUC) = (A x B) U (A x C) Ax (B I C) = (A x B) I (Ax C) Ax(B -C) = (A x B) - (A x C)

OPERACIN GENERALIZADAS
Consideremos un conjunto de ndices I={1, 2, 3, & , n} y una familia de conjuntos {A1, A2, & , An}, donde cada Ai con i I, representa un conjunto. Al conjunto {A1, A2, & , An} lo llamaremos Familia Indizada de conjuntos; y lo denotaremos {Ai} n.

PARTICIN
Sea X un conjunto y {Ai}i I una familia de subconjuntos de X. Se dice que {Ai}i I es una particin de X, si y slo si: Cada Ai es una celda o bloque de la particin, es decir, una particin es una familia {Ai}i I donde cada conjunto de la familia es no-vaco, la interseccin entre dos miembros de la familia es vaca y la unin de todos los miembros da X.

CARDINALIDAD
Diremos que un conjunto A es finito si A tiene n elemento, para algn nmero natural n, es decir, un conjunto es finito si se pueden contar sus elementos. En caso contrario se dice que es infinito.