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. 1

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.

Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como herramienta auxiliar, en particular las
propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de
propiedades indemostrables o contradictorias, como la hiptesis del continuo o la existencia de un cardinal inaccesible.
Por esta razn, sus razonamientos y tcnicas se apoyan en gran medida en la lgica.

El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz a investigar cuestiones
conjuntistas puras del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e
influido por Richard Dedekind. El descubrimiento de las paradojas de la teora cantoriana de conjuntos, formalizada
por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios
del siglo XX.

LGEBRA DE CONJUNTOS
Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos, similares a las operaciones
aritmticas, constituyendo el lgebra de conjuntos:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada elemento que est por lo menos
en uno de ellos.

Interseccin. La interseccin de dos conjuntos A y B es el conjunto A B que contiene todos los elementos
comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos
de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que contiene todos los elementos (respecto
de algn conjunto referencial) que no pertenecen a A.

Diferencia simtrica La diferencia simtrica de dos conjuntos A y B es el conjunto A B con todos los
elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.

Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto A B que contiene todos
los pares ordenados (a, b) cuyo primer elemento a pertenece a A y su segundo elemento b pertenece a B.

DETERMINACIN DE CONJUNTOS:

Conjuntos por extensin.

Decimos que un conjunto se determinar por extensin cuando se conocen y se da una lista de todos y cada uno de los
elementos de un conjunto.
Ejemplo 1.

El conjunto de los das de la semana, estar constituido por los siguientes elementos: Lunes, Martes, Mircoles, Jueves,
Viernes, Sbado, Domingo. Y su representacin simblica es:

S={Lunes,Martes,Mircoles,Jueves,Viernes,Sbado,Domingo}

Siempre en la representacin simblica se usan letras maysculas para identificar el conjunto, y los elemento se
encierran con llaves {} y separados por comas.

Ejemplo 2.

El conjunto de todos los nmeros naturales menores que 10, estar constituido por los siguientes elementos:
1,2,3,4,5,6,7,8,9. Y su representacin simblica es:

M={1,2,3,4,5,6,7,8,9}

Conjuntos por compresin.

Decimos que un conjunto se determina por compresin cuando se describe una o varias caractersticas o propiedades
que lo define, y no se da una lista de cada uno de sus elementos.

Ejemplo 1.

El conjunto de los das de la semana. En donde al determinarlo por compresin la propiedad ser la frase : un da de la
semana. Y simblicamente su representacin ser:

S={x : x es un da de la semana}

en donde x:x se debe leer como x tal que x , a veces se suele cambiar el smbolo : por la barra invertida. del siguiente
modo: S={x/x es un da de la semana}
Ejemplo 2.

El conjunto de los nmeros naturales menores que 10. En donde la propiedad se puede expresar a travs de una
desigualdad n<10, y tambin por otra propiedad que nos indique que son slo nmeros naturales, como la siguiente: x
. Simblicamente tenemos:

M={x/x y x<10}

en donde x/x se debe leer como x tal que x es un nmero natural.

Operaciones con Conjuntos: Al igual que con los nmeros, con los conjuntos se pueden realizar distintas
operaciones. Pero, en la teora de conjunto encontrars otros smbolos para realizar estas operaciones diferentes a
los utilizados para el clculo numrico.

Qu operaciones se pueden realizar con los conjuntos?

Qu smbolos se utilizan y qu significado tiene cada uno?

Observa y analiza con atencin el siguiente ejemplo:

Ejemplo:

Sean los conjuntos A = {0 ; 2 ; 4 ; 6 ; 8} y B = {1 ; 2 ; 5 ; 6 ; 7 ; 9}

a) Escribe un conjunto C que contenga a todos los elementos de ambos conjuntos.

b) Escribe un conjunto D que contenga solo los elementos comunes entre A y B.

c) Escribe el conjunto E que contenga los elementos del conjunto A que no estn el conjunto B.

d) Escribe el conjunto F que contenga los dgitos que faltan al conjunto B para completar todos los nmeros de una
cifra.

Solucin:

a) El conjunto C estar formado por los siguientes elementos: C = {0 ; 1 ; 2 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9}.

b) El conjunto D estar formado por los siguientes elementos: D = {2 ; 6}.

c) El conjunto E estar formado por los siguientes elementos: E = {0 ; 4 ; 8}.

d) El conjunto F estar formado por los siguientes elementos: F = {0 ; 3 ; 4 ; 8}.

 Cada uno de los conjuntos que obtuviste como respuesta en cada inciso representa una de las operaciones que se
pueden realizar entre los conjuntos, o sea, la unin (inciso a), la interseccin (inciso b), la diferencia (inciso c) y el
complemento (inciso d).

OPERACIONES CON CONJUNTOS:

Definicin: Unin de conjuntos

La unin de dos conjuntos A y B es el conjunto formado por la reunin de los elementos de los dos conjuntos
en uno solo.

Esta operacin se denota como:

En forma simblica, esta operacin se puede definir como:

= {x/ o }

La lectura de esta expresin puede ser:

"La unin de los conjuntos A y B es el conjunto de todas las x que pertenezcan al conjunto A o pertenezcan al
conjunto B.

Definicin: Interseccin de conjuntos

La interseccin de dos conjuntos A y B es el conjunto formado por los elementos que pertenecen
a ambos conjuntos.

Esta operacin se denota: .

En forma simblica, esta operacin se puede definir como:

= {x/ y }

Definicin: Diferencia entre dos conjuntos

Sean dos conjuntos A y B cualesquiera, su diferencia es el conjunto que se forma con los elementos
que pertenecen al primer conjunto, pero que no pertenecen al segundo.

Al igual que la operacin aritmtica que llamamos diferencia o resta, la diferencia entre dos conjuntos no es
conmutativa para .

Denotamos la diferencia entre conjuntos como A - B o A \ B.

En forma simblica, la diferencia de dos conjuntos A y B se puede expresar de la manera siguiente:

A - B = A \ B = {x/ y }.

CLASES DE CONJUNTOS:

Las clases de conjuntos son:

 1. Conjunto finito
2. Conjunto infinito
3. Conjunto unitario
4. Conjunto vaco
5. Conjunto universal o referencial
6. Conjuntos disjuntos o disyuntos
7. Conjuntos equivalentes
8. Conjuntos iguales
9. Conjuntos homogneos
10. Conjuntos heterogneos
11. Conjuntos congruentes
12. Conjuntos no congruentes
Conjunto Finito:
Cuando los miembros o elementos del conjunto se pueden contar o enumerar.

Por ejemplo el conjunto de las letras del alfabeto es un conjunto finito que expresado por comprensin es:
A = {x/x son las letras del alfabeto castellano}
Conjunto Infinito:
Cuando los elementos o miembros no se pueden enumerar o contar, se considera como conjunto infinito.

Un ejemplo de conjunto infinito son las estrellas del cielo. Los conjuntos infinitos siempre debern determinarse por
comprensin; para el ejemplo:
B = {x/x son las estrellas del universo}
Conjunto Unitario:
Es el conjunto que tiene un solo miembro o elemento. Un ejemplo:
C = {luna}
Conjunto Vaco:
Se trata del conjunto que no tiene elementos, o que estos son inexistentes, ejemplos:
D = {x/x son perros con alas}
E={}
Se considera el conjunto vaco como subconjunto de cualquier conjunto.
Conjunto Universal o Referencial:
Se llama as al conjunto conformado por los miembros o elementos de todos los elementos que hacen parte de la
caracterizacin.

Por ejemplo, dados:

A = {1, 3, 5, 7} B = {2, 3, 4} C = {6, 7, 8, 9}
El conjunto universal o referencial es:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9}
Conjuntos disyuntos o disjuntos
Son aquellos conjuntos que no tienen ningn miembro o elemento en comn. Otra forma de expresarlos es decir que la
interseccin de dos o ms conjuntos disyuntos o disjuntos es el conjunto vaco

Por ejemplo los conjuntos B y C mencionados como ejemplos del conjunto universal son conjuntos disyuntos pues no
tienen ningn miembro en comn
Conjuntos equivalentes
Corresponde a los conjuntos con el mismo nmero cardinal, es decir cuando tienen la misma cantidad de elementos. Por
ejemplo:
A = {a, b, c, d}
B = {1, a, I, alpha}
Por lo tanto A y B son conjuntos equivalentes
Conjuntos iguales
Cuando los conjuntos contienen los mismos elementos, estos conjuntos son iguales:

A = {2, 4, 6, 8, 10}
B = {4, 10, 2, 8, 6}
A y B son iguales porque contienen los mismos elementos. Es bueno anotar que en un conjunto no importa el orden en
que se ubiquen, por eso el conjunto B es igual que el A
Conjuntos homogneos
Cuando sus miembros o elementos que lo componen, pertenecen al mismo tipo o gnero. Por ejemplo un conjunto
compuesto por letras nicamente, o por nmeros, etc.
A = {a, l, m, p, r}
El conjunto es homogneo pues todos sus miembros son letras.

Conjuntos heterogneos
Son aquellos conjuntos compuestos por miembros de diferentes tipos, clases, gneros, etc.

B = {1, a, prado, rojo}

Conjuntos congruentes
Dos conjuntos numricos son congruentes cuando sus respectivos miembros se pueden poner en correspondencia uno a
uno, de manera que la distancia entre ellos se mantenga:

A = {2, 4, 6, 8, 10}
B = {7, 9, 11, 13, 15}
As:

2 y 7; 4 y 9; 6 y 11; 8 y 13; 10 y 15 tienen todos ellos como distancia entre ellos 5

Conjuntos no congruentes
Cuando entre dos conjuntos no se puede dar una
correspondencia entre los miembros de los conjuntos, de manera que
la distancia entre ellos no sea constante, los conjuntos se
consideran no congruentes. Ejemplo:
A = {2, 4, 6, 8, 10}
C = {5, 6, 7, 8, 9}

Diagrama de Venn: Los diagramas de Venn son esquemas usados

en la teora de conjuntos, tema de inters
en matemticas, lgica de clases y razonamiento
diagramtico. Estos diagramas muestran colecciones (conjuntos) de cosas (elementos) por medio de lneas
cerradas. La lnea cerrada exterior abarca a todos los elementos bajo consideracin, el conjunto universal U.Los
diagramas de Venn fueron ideados hacia 1880 por John Venn.