1.

TEORIA DE CONJUNTOS
1.1 DEFINICIN
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.
Sin embargo, 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 aqulla. 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 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
influenciado 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.
1

1.1.1 EJEMPLOS:
Los conjuntos numricos usuales en matemticas son: el conjunto de los
nmeros naturales N, el de los nmeros enteros Z, el de los nmeros racionales
Q, el de los nmeros reales R y el de los nmeros complejos C. Cada uno es
subconjunto del siguiente:
El espacio tridimensional E3 es un conjunto de objetos elementales
denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos
a su vez, y en particular son subconjuntos de E3, r E3 y E3.
2. ALGEBRA 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.
3. CONJUNTO
3.1 DEFINICIN
3.2 EJEMPLOS DE CONJUNTOS:
En matemticas, un conjunto es una coleccin de elementos considerada en s
misma como un objeto. Los elementos de un conjunto pueden ser cualquier
cosa: personas, nmeros, colores, letras, figuras, etc. Se dice que un elemento
(o miembro) pertenece al conjunto si est definido como incluido de algn modo
dentro de l.
Ejemplo: el conjunto de los colores del arcoris es:
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus elementos
poseen. Por ejemplo, para los nmeros naturales, si se considera la propiedad
de ser un nmero primo, el conjunto de los nmeros primos es:
P = {2, 3, 5, 7, 11, 13, ...}
Un conjunto queda definido nicamente por sus miembros y por nada ms. En
particular, un conjunto puede escribirse como una lista de elementos, pero
cambiar el orden de dicha lista o aadir elementos repetidos no define un
conjunto nuevo. Por ejemplo:

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

Lunes, Mircoles}
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Amarillo, Naranja,
Rojo, Verde, Violeta, Ail, Azul}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmeros naturales
es infinito, pero el conjunto de los planetas en el Sistema Solar es finito (tiene
ocho elementos). Adems, los conjuntos pueden combinarse mediante
operaciones, de manera similar a las operaciones con nmeros.
Los conjuntos son un concepto primitivo, en el sentido de que no es posible
definirlos en trminos de nociones ms elementales, por lo que su estudio puede
realizarse de manera informal, apelando a la intuicin y a la lgica. Por otro lado,
son el concepto fundamental de la matemtica: mediante ellos puede formularse
el resto de objetos matemticos, como los nmeros y las funciones, entre otros.
Su estudio detallado requiere pues la introduccin de axiomas y conduce a la
teora de conjuntos.
4. NOTACIN DE CONJUNTOS
4.1 SIMBOLOGIA.
Llamaremos elemento a cada uno de los objetos que forman parte de un
conjunto, estos elementos tienen carcter individual, tienen cualidades que nos
permiten diferenciarlos, y cada uno de ellos es nico, no habiendo elementos
duplicados o repetidos. Los representaremos con una letra minscula: a,b,c,
/ : Se usa para expresar si un elemento pertenece o no a un conjunto.
: Se usa para expresar que un conjunto, y por lo tanto, todos sus elementos,
forman parte de otro conjunto mayor.

U / : El primer smbolo indica el conjunto universal, es el conjunto de todas las

cosas sobre las que estemos tratando. As, si hablamos de nmeros enteros
entonces U es el conjunto de los nmeros enteros, si hablamos de ciudades, U
es el conjunto de todas las ciudades, este conjunto universal puede mencionarse
explcitamente, o en la mayora de los casos se da por supuesto dado el
contexto que estemos tratando, pero siempre es necesario demostrar la
existencia de dicho conjunto previamente.
El otro conjunto, se le llama conjunto vaco y cumple que todos los elementos
posibles no estn contenidos en l, es decir x, x.
5. TIPOS DE CONJUNTOS
5.1. Conjunto finito: en este conjunto los elementos o miembros que los
conforman pueden ser enumerados o contados. Por ejemplo, el agrupamiento de
todas las letras del abecedario confirmara un conjunto de esta clase.
5.2. Conjunto infinito: en estos conjuntos, los miembros que lo conforman no
pueden ser enumerados ni contados. Un ejemplo de conjunto infinito sera todos
los granos de arena del planeta.
5.3. Conjunto unitario: estos conjuntos estn conformados por un solo miembro
o elemento, por ejemplo, la letra A.
5.4. Conjunto vaco: estos conjuntos carecen de elementos o bien, estos son
inexistentes, por ejemplo un unicornio, en el caso del elemento inexistente.
5.5. Conjunto referencial: a este conjunto tambin se la conoce como universal
y se caracterizan por estar conformados por los miembros de todos los
elementos que forman parte de la caracterizacin. Por ejemplo: el conjunto A
est compuesto de 1,3, 5, 7 y el B por 2, 4, 6. Mientras que el conjunto universal
es 1, 2, 3, 4, 5, 6, 7.
5

5.6. Conjuntos disyuntivos: estos conjuntos no poseen ningn elemento o

miembro que coincida. Esto tambin se lo puede expresar diciendo que la
interseccin entre los conjuntos disyuntivos es el conjunto vaco. Por ejemplo el
grupo A contiene los elementos a, b, c, d mientras que el B e, f, g, h. Los
conjuntos A y B entonces no tienen ningn elemento en comn.
5.7. Conjuntos equivalentes: son aquellos conjuntos que poseen el mismo
nmero cardinal, lo que significa que contienen la misma cantidad de elementos.
Por ejemplo el conjunto A es 1, 2, 3, 4 y el B a, b, c, d, por tanto A y B son
equivalentes.
5.8. Conjuntos iguales: esto se da cuando dos o ms conjuntos contienen
iguales elementos. Por ejemplo el conjunto A es 2, 4, 6, 8 y el B es 8, 6, 4, 2.
Ambos conjuntos son iguales por que poseen los mismos elementos, sin
importar su orden.
5.9. Conjuntos congruentes: aqu pertenecen aquellos conjuntos numricos
cuyos respectivos miembros se corresponden uno a uno de modo que la
distancia entre ellos se conserve, por ejemplo: el conjunto A es: 2, 4, 6, 8, 10
mientras que B es 7, 9, 11, 13, 15. De esta manera, 10 y 15, 8 y 13, 6 y 11, 4 y 9,
2 y 7 mantienen entre s una distancia de 5.
5.9.1. Conjuntos no congruentes: en estos conjuntos, en cambio, no se
establece correspondencia alguna entre sus miembros, por lo que la distancia
entre los elementos es inconstante. Por ejemplo, el conjunto A es 2, 4, 6, 8, 10
mientras que B es 4, 5, 6, 7, 8.
5.9.2. Conjuntos homogneos: en estos conjuntos los elementos o miembros
que los componen responden al mismo gnero o tipo. Por ejemplo el conjunto A
que contiene los elementos 1, 5, 3, 7, 6, 8. Aqu todos sus elementos son
nmeros por lo que conforman un conjunto homogneo.
6

5.9.3. Conjuntos heterogneos: estos conjuntos estn compuestos por

elementos que corresponden a distintos tipos, gneros o clases, por ejemplo, el
conjunto A es 2, j, perro, azul.
6. OPERACIONES CON CONJUNTOS:
Existen varias operaciones bsicas que pueden realizarse para, partiendo de
ciertos conjuntos dados, obtener nuevos conjuntos:
6.1. Unin: (smbolo ) La unin de dos conjuntos A y B, que se representa
como A B, es el conjunto de todos los elementos que pertenecen al menos a
uno de los conjuntos A y B.
6.2. Interseccin: (smbolo ) La interseccin de dos conjuntos A y B es el
conjunto A B de los elementos comunes a A y B.
6.3. Diferencia: (smbolo \) La diferencia del conjunto A con B es el conjunto A \
B que resulta de eliminar de A cualquier elemento que est en B.
6.4. Complemento: El complemento de un conjunto A es el conjunto A que
contiene todos los elementos que no pertenecen a A, respecto a un conjunto U
que lo contiene.
6.5. Diferencia simtrica: (smbolo ) 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.
6.6. Producto cartesiano: (smbolo ) El producto cartesiano de dos conjuntos
A y B es el conjunto A B de todos los pares ordenados (a, b) formados con un
primer elemento a perteneciente a A, y un segundo elemento b perteneciente a B
6.6.1 Ejemplos:
7

{1, a, 0} {2, b} = {2, b, 1, a, 0}

{5, z, } {, a} = {}
{5, z, } \ {, a} = {5, z}
{, 5} {8, #, } = {5, #, 8}{1, a, 0} {2, b} = {(1, 2), (1, b), (a, 2), (a, b), (0, 2), (0,
b)}

7. DIAGRAMAS DE VENN
7.1. Definicin:
Los diagramas de Venn son esquemas usados en la teora de conjuntos, tema
de inters en matemtica, 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.
7.1.1. Interseccin:
Dado que los conjuntos pueden tener elementos comunes, las regiones
encerradas por sus lneas lmite se superponen. El conjunto de los elementos
que pertenecen simultneamente a otros dos es la interseccin de ambos.1
A = {1; 2; 3; 4; 6; 12}
B = {1; 3; 5; 15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16}
Interseccin con elementos
A = {x | x es divisor natural de 12}
8

B = {x | x es divisor natural de 15}

U = {x | x es natural menor o igual que 16}

7.1.2. Inclusin:
Si todos los elementos de un conjunto son parte de los elementos de otro, se
dice que el primero es un subconjunto del segundo o que est incluido en el
segundo.1 En los diagramas de Venn, todas las regiones de superposicin
posibles deben ser representadas. Y, cuando hay regiones que no contienen
elementos (regiones vacas), la situacin se indica anulndolas (con un color de
fondo distinto).2
A = {1; 2; 3; 4; 6; 12}
B = {1; 2; 3; 6}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12}
A = {x | x es divisor natural de 12}
B = {x | x es divisor natural de 6}
U = {x | x es natural menor o igual que 12}

7.1.3. Disyuncin:
Cuando los conjuntos no tienen elementos comunes, la regin de superposicin
queda vaca.
A = {2; 4; 6; 8}
B = {1; 3; 5; 7; 9}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10}
A = {x | x es par y de una cifra}
B = {x | x es impar y de una cifra}
U = {x | x es natural menor o igual que 10}

10

E-grafa
https://es.wikipedia.org/wiki/Teora_de_conjuntos
http://www.sangakoo.com/es/ejercicios/definicion-y-notacion-de-conjuntos
http://www.tiposde.org/ciencias-exactas/248-tipos-de-conjuntos/

11