LA TEORA DE CONJUNTOS

Es una rama de las matemticas que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de
objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una
herramienta bsica en la formulacin de cualquier teora matemtica.

La teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters
en matemticas: nmeros, funciones, figuras geomtricas,...; y, junto con la lgica, permite estudiar los fundamentos
de aquella. En la actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para
desarrollar toda la matemtica.

DETERMINACIN DE UN CONJUNTO
Para determinar la forma de describir cmo han de agruparse los conjuntos comnmente se utilizan dos formas: la
forma tabular y la forma constructiva

FORMA TABULAR O EXTENSIVA

Es cuando el conjunto es determinado por extensin (o enumeracin), cuando se da una lista que comprende a todos
los elementos del conjunto y slo a esos elementos.

Ejemplos:

A = { a, e, i, o, u }

B = { 0, 2, 4, 6, 8 }

C = { c, o ,n , j, u, t, s }

D = {A, B, E, C, D, R, I, O}

FORMA CONSTRUCTIVA O POR COMPRESIN

Es cuando un conjunto es determinado por comprensin, o sea cuando se da una propiedad que la cumpla para todos
los elementos del conjunto.

Ejemplos:

A = { x l x es nmero entero}

B = { x I x es un nmero par menor que 10}

C = { x I x es una letra de la palabra conjuntos}

D = {x I x es una mujer de nacionalidad mexicana}

E = {x I x es color bsico}

A continuacin mostramos un cuadro comparativo de cmo describir dos conjuntos mediante la forma tabular o
extensin y la forma constructiva o por compresin.
 CUADRO COMPARATIVO

TIPOS DE CONJUNTOS

1- Conjuntos iguales

Dos conjuntos son iguales si tienen exactamente los mismos elementos.

Por ejemplo:

Si A = {Vocales del alfabeto} y B = {a, e, i, o, u} se dice que A = B.

Por otro lado, los conjuntos {1, 3, 5} y {1, 2, 3} no son iguales, porque tienen diferentes elementos.
Esto se escribe como {1, 3, 5} {1, 2, 3}.

El orden en que los elementos estn escritos dentro los corchetes no importa en absoluto. Por ejemplo,
{1, 3, 5, 7, 9} = {3, 9, 7, 5, 1} = {5, 9, 1, 3, 7}.

Si un elemento aparece en la lista ms de una vez, slo se contabiliza una vez. Por ejemplo, {a, a, b} =
{a, b}.

El conjunto {a, a, b} tiene slo los dos elementos a y b. La segunda mencin de a es una repeticin innecesaria
y puede ser ignorada. Normalmente se considera mala notacin cuando se enumera a un elemento ms de una
vez.

2- Conjuntos finitos e infinitos

Los conjuntos finitos, son aquellos en donde pueden ser contabilizados o enumerados todos elementos del
conjunto. Aqu hay dos ejemplos:

{Nmeros enteros entre 2.000 y 2.005} = {2.001, 2.002, 2.003, 2.004}

{Nmeros enteros entre 2.000 y 3.000} = {2.001, 2.002, 2.003, , 2.999}

Los tres puntos en el segundo ejemplo representan los otros 995 nmeros en el conjunto. Se pudo haber
listado a todos los elementos, pero para ahorrar espacio se utilizaron puntos en su lugar. Esta notacin slo
puede utilizarse si est completamente claro lo que significa, como en esta situacin.

Un conjunto tambin puede ser infinito lo nico que importa es que est bien definido. Aqu hay dos ejemplos
de conjuntos infinitos:

{Nmeros pares y enteros mayores o iguales a dos} = { 2, 4, 6, 8, 10, }

{Nmeros enteros mayores que 2.000} = {2.001, 2.002, 2.003, 2.004, }

Ambos conjuntos son infinitos, ya que no importa cuntos elementos se intente enumerar, siempre hay ms
elementos en el conjunto que no podrn ser listados, no importa cunto tiempo se pruebe. Esta vez los puntos
tienen un significado ligeramente diferente, porque representan infinitamente muchos elementos no
enumerados.

3- Conjuntos subconjuntos

Un subconjunto es una parte de un conjunto.

 Ejemplo: Los bhos son un tipo particular de aves, as que cada bho es tambin un ave. En el lenguaje
de los conjuntos, se expresa diciendo que el conjunto de bhos es un subconjunto del conjunto de las
aves.

Un conjunto S es llamado un subconjunto de otro conjunto T, si cada elemento de S es un elemento de T. Esto

se escribe como:

S T (Se lee S es un subconjunto de T)

El nuevo smbolo significa es un subconjunto de. As {bhos} {pjaros} porque cada bho es un pjaro.

Si A = {2, 4, 6} y B = {0, 1, 2, 3, 4, 5, 6}, entonces A B,

Porque cada elemento de A es un elemento de B.

El smbolo quiere decir no es un subconjunto.

Esto significa que al menos un elemento de S no es un elemento de T. Por ejemplo:

{Aves} {criaturas voladoras}

Porque un avestruz es un ave, pero no vuela.

Si A = {0, 1, 2, 3, 4} y B = {2, 3, 4, 5, 6}, entonces A

Porque 0 A, pero 0 B, se lee 0 pertenece al conjunto A, pero 0 no pertenece al conjunto B.

4- Conjunto vaco

El smbolo representa el conjunto vaco, que es el conjunto que no tiene elementos en absoluto. Nada en el
universo entero es un elemento de :

| | = 0 y X , no importa lo que X puede ser.

Slo hay un conjunto vaco, porque dos conjuntos vacos tienen exactamente los mismos elementos, por lo que
deben ser iguales entre s.
5- Conjuntos disjuntos o disyuntivos

Dos conjuntos se llaman disjuntos si no tienen elementos en comn. Por ejemplo:

Los conjuntos S = {2, 4, 6, 8} y T = {1, 3, 5, 7} son disjuntos.

6- Conjuntos equivalentes

Se dice que A y B son equivalentes si tienen la misma cantidad de elementos que los constituyen, es decir, el
numero cardinal del conjunto A es igual al nmero cardinal del conjunto B, n (A) = n (B). El smbolo para
denotar un conjunto equivalente es .

Por ejemplo:

A = {1, 2, 3}, por lo tanto, n (A) = 3

B = {p, q, r} , por lo tanto, n (B) = 3

Por lo tanto, A B

7- Conjuntos unitarios
Es un conjunto que tiene exactamente un elemento en l. En otras palabras, slo hay un elemento que conforma
el conjunto.

Por ejemplo:

S = {a}

Sea B = { es un nmero primo par}

Por lo tanto, B es un conjunto unitario porque slo hay un nmero primo que es par, es decir, 2.

8- Conjunto universal o referencial

Un conjunto universal es la coleccin de todos los objetos en un contexto particular o teora. Todos los dems
conjuntos en ese marco constituyen subconjuntos del conjunto universal, que se denomina con la letra
mayscula y cursiva U.

La definicin precisa de U depende del contexto o teora bajo consideracin. Por ejemplo:

Se pude definir U como el conjunto de todas las cosas vivientes en el planeta Tierra. En ese caso, el
conjunto de todos los felinos es un subconjunto de U, el conjunto de todos los peces es otro subconjunto
de U.
 Si se define U como el conjunto de todos los animales en planeta tierra, entonces el conjunto de todos
los felinos es un subconjunto de U, el conjunto de todos los peces es otro subconjunto de U, pero el
conjunto de todos los rboles no es un subconjunto de U.

9- Conjuntos superpuestos o solapados

Dos conjuntos que tienen al menos un elemento comn se llaman conjuntos superpuestos.

Ejemplo: Sean X = {1, 2, 3} e Y = {3, 4, 5}

Los dos conjuntos X e Y tienen un elemento en comn, el nmero 3. Por lo tanto, se llaman conjuntos
superpuestos.

10- Conjuntos Congruentes.

Son aquellos conjuntos en los que cada elemento de A tiene la misma relacin de distancia con sus elementos
imagen de B. Ejemplo:

B { 2, 3, 4, 5, 6 } y A { 1, 2, 3, 4, 5 }

La distancia entre: 2 y 1, 3 y 2, 4 y 3, 5 y 4, 6 y 5 es una (1) unidad, por lo que A y B son conjuntos

congruentes.

11- Conjuntos no congruentes

Son aquellos en los que no se puede establecer la misma relacin de distancia entre cada elemento de A con su
imagen en B. Ejemplo:

B { 2, 8, 20, 100, 500 } y A { 1, 2, 3, 4, 5 }

La distancia entre: 2 y 1, 8 y 2, 20 y 3, 100 y 4, 500 y 5 es diferente, por lo que A y B son conjuntos no
congruentes.

12- Conjuntos homogneos

Todos los elementos que componen el conjunto pertenecen a la misma categora, gnero o clase. Son del mismo
tipo. Ejemplo:

B { 2, 8, 20, 100, 500 }

Todos los elementos de B son nmero por lo que el conjunto se considera homogneo.

13- Conjuntos heterogneos

Los elementos que forman parte del conjunto pertenecen a diferentes categoras. Ejemplo:

A { z, auto, , edificios, manzana }

No existe una categora a la que pertenezcan todos los elementos del conjunto, por lo tanto es un conjunto
heterogneo.

OPERACIONES ENTRE CONJUNTOS

Unin de conjuntos
Supongamos que tenemos los conjuntos MM y NN definidos como se muestra en la siguiente figura:
Podemos crear otro conjunto conformado con los elementos que pertenezcan a MM o aNN. A este
nuevo conjunto le llamamos unin de MM y NN, y lo notamos de la siguiente manera: MNMN .
En la imagen de abajo puedes observar el resultado de unir los conjuntos MM y NN.
Al elegir qu elementos estarn en la unin de nuestros conjuntos MM y NN, debes preguntarte cules
estn en el conjunto MM o en el conjunto NN. El resultado de la operacin ser el conjunto
conformado por todos los elementos del conjunto universal UU, que cumplan la condicin de estar
en uno o en otro.

Tenemos en este caso: MN={a,c,b,g,e,1}.MN={a,c,b,g,e,1}.

Interseccin de conjuntos
Sigamos tomando como ejemplo los conjuntosMM y NN definidos anteriormente. Podemos determinar
un nuevo conjunto conformado por los elementos que nuestros conjuntos MM y NN tienen en
comn. A este nuevo conjunto le llamamos interseccin de MM y NN y lo notamos de la siguiente
manera: MNMN.

Para determinar qu elementos pertenecen a la interseccin de los conjuntos MM y NN te puedes

preguntar qu elementos estn en MM y en NN. Todos los elementos del conjunto UU que
cumplan esta condicin debern estar en el conjunto MNMN. En la figura de la arriba podemos ver
la interseccin de nuestros conjuntos MM y NN, tenemos que MN={b}MN={b} .
 Diferencia de conjuntos
Adems de la unin y la interseccin podemos realizar la diferencia de conjuntos.
En este caso se deben seleccionar los elementos de un conjunto que no estn en el otro. Por ejemplo, si
MM menos NN, debes seleccionar los elementos de MM que no estn en NN.
realizas la operacin
Representamos la diferencia M menos N as: M \ NM \ N. Observa que en este caso
M \ N={a,c}M \ N={a,c}.

Diferencia simtrica de conjuntos

Que el nombre esta operacin no te alarme, tambin es muy sencilla.

MM que no estn en NN, y los elementos de NN

En esta ocasin se deben escoger los elementos de
que no estn en MM. Puedes ver el resultado de la diferencia simtrica entre MM y NN en la figura
de la izquierda. Representamos la diferencia simtrica a travs del smbolo . En el caso de
nuestros conjuntos MM y NN tenemos: M N={a,c,g,1,e}M N={a,c,g,1,e} .

Complemento de un conjunto
La ltima operacin que estudiaremos no es entre dos conjuntos. Decimos que el complemento de MM
es el conjunto conformado por todos los elementos del conjunto universal UU, que no pertenecen al
conjunto MM. Es comn usar los smbolos McMc,MM o M'M para representar el
 MM , nosotros usaremos el smbolo McMc. En nuestro
complemento del conjunto caso tenemos
Mc={j,f,g,1,e,i,h}Mc={j,f,g,1,e,i,h} y Nc={i,h,j,f,a,c}Nc={i,h,j,f,a,c}.