Teoria de Conjuntos

Torrivilla Joselyn SAIA A

La teora de conjuntos se construye a partir de tres conceptos bsicos que son: elemento, conjunto y una relacin que llamaremos relacin de pertenencia. Al termino conjunto le damos el significado que le da el lenguaje usual, es decir como una coleccin de objetos cualesquiera. Generalmente, los conjuntos son denotados con letras maysculas como A,B,C,X,Y,Z etc., mientras para los elementos se usan minsculas como a,b,c,d,x,y,z, etc. Los elementos de un conjunto son encerrados entre llaves o en un crculo, el cual es llamado diagrama de Venn. El diagrama de Venn se usa para mostrar grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un crculo o un valo.

Diagrama de Venn

Conjunto Universal: Este conjunto est formado por todos los elementos que estn en discusin. Se denota generalmente con la letra U. El conjunto universal no es nico, este cambia de acuerdo al tema que se trate.

DETERMINACIN DE UN CONJUNTO Se determina de dos maneras:

A. Por Extensin: Se enumeran, entre llaves, los elementos del

conjunto. Ejemplo: A={ 1,3,5,7 }, B= { a,x,y,z,w }

B. Por Comprensin: Cuando estn dados como dominio de una

funcin proposicional, es decir, los elementos de un conjunto que cumplen una condicin dada. Ejemplo: B = { x R / x divide a 18} (Los nmeros reales divisores de 18)

SUBCONJUNTOS Sean A y B conjuntos. Diremos que A es subconjunto de B o que A esta incluido en B, y escribiremos A , si todo elemento de A es tambin elemento de B.

CONJUNTO POTENCIA Sea A un conjunto. El conjunto potencia de A es el conjunto (A) cuyos elementos son todos los subconjuntos de A. Esto es: (A)= { X / A } Caractersticas del Conjunto Potencia: La principal caracterstica de este conjunto es que es un conjunto de conjuntos, es decir, sus elementos son conjuntos.

Dado un conjunto de A podemos conocer el nmero de elementos (A), ya que si A tiene n elementos, entonces (A) tiene 2n elementos.

IGUALDAD DE CONJUNTOS Entenderemos la igualdad de conjuntos en sentido de identidad, es decir, los conjuntos A y B son iguales, y escribiremos A=B, si ambos tienen exactamente los mismos elementos. Ejemplo: A= { 2,3,5,9,10 } y B= { 10,5,3,2,9 }
El siguiente teorema nos permite determinar cuando dos conjuntos son iguales:

A=B A ByB A Demostracin: Sigue inmediatamente del axioma de extensin, la definicin de inclusin y de la siguiente equivalencia: (x A x B ) ( x A x B ) ( x B x A )

UNION E INTERSECCION DE CONJUNTOS Sean A y B dos conjuntos. 1. La unin de A y B es el conjunto: AUB={x U/x A x B}

2. La interseccin de A y B es el conjunto A B={x U / x A x B}

Propiedades de la Unin e Interseccin de Conjuntos:

1. Idempotentes: A A = A

A A =A y

A A, B

2. Conmutativas: A B = B A 3. Asociativas: A, B, C

A B = A ,

A (B C)=(A B) C ) C

A ( B C ) = ( A B

DIFERENCIA Y COMPLEMENTO Si A y B son conjuntos, entonces la diferencia entre A y B se define como: AB={x A/x B}

Ejemplo: Consideremos los conjuntos: A= { 1,2,3,5,7,9,11,12 } y B= { 0,1,2,-4,5,7,9,6,8,10,18 } Luego A-B = { 3,11,12 } mientras que B-A = { 0,-4,6,8,10,18 } Diferencia Simtrica: La diferencia simtrica de los conjuntos A y B es el conjunto AB=(AB) (BA)

Sea B un conjunto, entonces el complemento de B son los elementos que le faltan a B para llegar a ser igual a U.

B =

UB

Ejemplo: Si U= { 1,2,3,4,5,6,7,8,9,10} y B = { 1,3,5,7 }, Entonces

B = { 2,4,6,8,9,10 }
Leyes de Morgan para Conjuntos. Si A y B son conjuntos cualesquiera, entonces:

( A B ) = A B A B
PRODUCTO CARTESIANO

(AB)=

El producto de cartesiano de los conjuntos A y B es el conjunto A x B = { (a , b) / a A b B } Al producto A x A lo abreviaremos A2 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) } Y A2 = { (a,a), (a,b), (b,a), (b,b) }

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

OPERACIONES GENERALIZADAS Las operaciones de unin, interseccin, y producto cartesiano han sido definidas para pares de conjuntos. En esta seccin extendemos estas nociones a familias de conjuntos. Consideremos una familia finita de conjuntos {

A1, A2,.An }

Aqu, cada miembro i de la familia es identificado por un ndice i. Al conjunto formado por todos los ndices, I = { 1,2,..,n }, lo llamaremos conjunto de ndices de la familia, y de { A1, A2,, n} diremos que es una familia indizada de conjuntos, y la denotaremos por {

Ai }i

PARTICION Sea X un conjunto y { que { Cada

Ai }i

una familia de subconjuntos de X. Se dice

Ai }i

es una particin de X si y solo si:

Ai es una celda o bloque de la particin, es decir, una particin es una familia {Ai}i donde cada conjunto de la familia es no-vacio, la
interseccin entre dos miembros de la familia es vaca y la unin de todos los miembros da X. En trminos simples, una particin de X es una familia de subconjuntos no vacios de X que son disjuntos dos a dos y cuya unin es todo X. Ejemplo: Si X= {a, b, c, d, e, f, g} y f}, entonces {

A1={a, b}, A2={e, c, g} A3= {d,

A1, A2, A3} es una particin de X.

CARDINALIDAD

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

Ejemplo: El conjunto {a,b,c,d,e} es finito porque contiene 5 elementos, el conjunto de los nmeros reales, de los nmeros naturales son ejemplos de conjuntos infinitos.