21

TEORA DE CONJUNTOS

Nocin de conjunto
El conjunto es un concepto bsico que no tiene definicin, pero nos da la idea de agrupacin de objetos, los cuales
llamaremos elementos del conjunto.

Relacin de pertenencia
Si un objeto es elemento del conjunto, se dir que pertenece (!) a su conjunto, en caso contrario se dir que no
pertenece (") a dicho conjunto.

Ejemplo: A = {4; 8; 16; 25}

4 ! A 10 " A
16 ! A 21 " A

Cardinal de un conjunto
Es la cantidad de elementos diferentes de un conjunto y se denota: n(A), as en el ejemplo anterior n(A) = 4.

Determinacin de un conjunto
a) Por extensin o en forma tabular: es cuando se indican los elementos del conjunto.

Ejemplo: B = {1; 2; 3; ...; 9; 10}

b) Por comprensin o en forma constructiva: es cuando se indica alguna caracterstica particular y comn a
sus elementos.

Ejemplo: C = {f(x)/x cumple alguna condicin}

D = {x/x ! N / 0 1 x 1 20}

Relaciones entre conjuntos

Inclusin (1)
Se dice que un conjunto A est incluido en B, si todos los elementos de A estn en el conjunto B. Es decir:

A1B+6x!A&x!B

B
A
A est incluido en B
x B incluye a A
A es subconjunto de B

Igualdad (=)
Dos conjuntos A y B son iguales si tienen los mismos elementos o tambin cuanto cumplen la doble inclusin, es
decir:

A= B +A1 B / B 1A

Observacin
Cuando dos o ms conjuntos no tienen elementos en comn se les llama conjuntos disjuntos.
22
Clases de Conjuntos
1. Conjunto vaco
Es aquel conjunto que no tiene elementos, tambin se le llama nulo y se denota: Q o { }

2. Conjunto unitario
Es aquel conjunto que tiene un solo elemento, tambin se le llama singleton.

3. Conjunto universal
Es un conjunto referencial que se tiene como base para el estudio de otros conjuntos contenidos en l y se
denota por la letra U.

4. Conjunto finito
Un conjunto es finito si tiene un determinado nmero de elementos diferentes y el proceso de contar los ele-
mentos de este conjunto tiene lmite.

5. Conjunto infinito
Un conjunto es infinito cuando tiene una cantidad inmensurable de elementos, es decir, que el proceso de
contar sus elementos no tiene lmite en el espacio y en el tiempo.

6. Conjunto de partes o conjunto potencia

Se llama conjunto potencia de A, al conjunto formado por todos los subconjuntos de A y se le denota como P(A).

Ejemplo: A = {2; 8}
P(A) = {Q; {2}; {8}; {2; 8}}

La cantidad de subconjuntos del conjunto A es igual a 2n(A), es decir: n[(P(A))] = 2n(A)

El nmero de subconjuntos propios de A es: 2n(A) - 1

Operaciones Entre Conjuntos

Unin (,)
A , B = {x / x ! A 0 x ! B}

A B A B B
A

A, B A,B A,B = B

Interseccin (+)

A + B = {x / x ! A / x ! B}

A B A B B
A

A+B A +B = Q A +B = A
 23
Diferencia (-)
A - B = {x / x ! A / x g B}

B A B B
A

(A - B) (B - A) (A - B) (B - A) (B - A) A- B =Q

Diferencia simtrica (T)

A D B = (A - B) , (B - A)

A B A B B
A

A T B = (A , B) - (A + B) A T B = A,B A T B = B- A

Complemento (A; Ac)

A = Ac = {x / x ! U /x g A}

U
A

Producto Cartesiano
Sean dos conjuntos cualesquiera A y B diferentes del vaco, el producto cartesiano A # B es el conjunto formado
por los pares ordenados, tal que la primera componente es un elemento del conjunto A y la segunda componente
es un elemento del conjunto B.

A # B = {(a; b) / a ! A / b ! B}

Ejemplo:
A = {1; 3}
B = {2; 4; 6; 8}
A # B = {(1; 2) , (1; 4) , (1; 6) , (1; 8) , (3; 2) , (3; 4) , (3; 6) , (3; 8)}
B # A = {(2; 1) , (2; 3) , (4; 1) , (4; 3) , (6; 1) , (6; 3) , (8; 1) , (8; 3)}

Representacin de A # B:
B
(1; 8) (3; 8)
8
(1; 6) (3; 6)
6
(1; 4) (3; 4)
4
(1; 2) (3; 2)
2

1 3 A

Observaciones
1. En general: A # B ! B # A
2. Si: A = B & A # B = B # A
3. n(A # B) = n(B # A) = n(A) . n(B)