Teoría de Conjuntos

1. Introducción

El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de

una de sus disciplinas más recientes, está presente, en forma formal o informal, desde los primeros
años de formación del hombre. Desde el momento que el hombre tomó en sus manos unas cuantas
piedras o bien cuando observó un grupo de animales, tomó conocimiento del "conjunto". Sin
embargo, por tratarse de conceptos matemáticos debemos fijar con exactitud el significado de cada
término para no dar lugar a contradicciones o interpretaciones erróneas.
El primer estudio formal sobre el tema fue realizado por el matemático alemán George Cantor 1en el
siglo XIX. El concepto de conjunto es fundamental en matemáticas pues se encuentra, implícita o
explícitamente, en todas las ramas de las matemáticas puras y aplicadas. En su forma explícita, los
principios y la terminología de los conjuntos se utilizan para construir proposiciones matemáticas
más claras y precisas y para explicar conceptos abstractos tales como el concepto de infinito. Sirven
además para estudiar las estructuras algebraicas, con las cuales se organizan ordenadamente todos
los conocimientos matemáticos.
Palabras como Conjunto, Elemento y Pertenecer son consideradas en matemáticas como
conceptos primitivos o primarios, es decir conceptos que no tienen una definición propiamente dicha
por eso solo se da una definición intuitiva de los mismos.

2. Definición Intuitiva de Elemento y Conjunto

Elemento es cada uno de los objetos por los cuales esta conformado un conjunto.
Intuitivamente, un Conjunto es una agrupación, clase o colección de objetos, que se agrupan por
tener alguna característica en común. Así, cuando un elemento a forma parte de un conjunto se dice
que pertenece al conjunto, o bien se dice que el conjunto contiene al elemento a,
El símbolo  significa PERTENECE y el símbolo  significa que NO PERTENECE
Otras formas de definir un conjunto son las siguientes:

 Es una colección bien definida de objetos o cosas, donde, bien definida significa distinguir con
claridad los elementos que forman parte del conjunto.

 Son colecciones, agrupaciones o reuniones de elementos a los cuales identificamos por tener
propiedades en común.

 Es una colección de objetos; en los que a cada uno de los objetos que componen un conjunto se le

1
Cantor, Georg Matemático alemán de origen ruso. San Petersburgo, 1845-Halle, Alemania, 1918 En 1874 publicó su primer trabajo
sobre teoría de conjuntos. Entre 1874 y 1897, demostró que el conjunto de los números enteros tenía el mismo número de elementos
que el conjunto de los números pares, y que el número de puntos en un segmento es igual al número de puntos de una línea infinita, de
un plano y de cualquier espacio. Es decir, que todos los conjuntos infinitos tienen «el mismo tamaño»..
1
denomina elemento de un conjunto.

3. Notación

Los conjuntos son nombrados por letras mayúsculas A, B, S, etc. El conjunto que no tiene elementos
de denomina vacío y se lo denota 

Nota: Un conjunto S se dice que esta bien definido si, dado un objeto cualquiera a, se sabe con
seguridad si pertenece o no al conjunto.

Ejemplos

o  : el conjunto vacío, que carece de elementos.

o N: el conjunto de los números naturales.
o Z: el conjunto de los números enteros.
o Q : el conjunto de los números racionales.
o R: el conjunto de los números reales.
o C: el conjunto de los números complejos.

 Definición: Un conjunto se puede expresar en forma explícita o extensión cuando se

nombran a todos y a cada uno de los elementos que lo forman, o bien que pertenecen a el; se lo
expresa mediante llaves que contienen sus elementos, separados por comas.

Ejemplo

S1 = {2, 4} extensión

Nota: esta manera solo pueden nombrarse los conjuntos que tienen una cantidad de elementos
determinados (conjuntos finitos)

 Definición: Un conjunto se puede nombrar en forma implícita o comprensión, dando una

fórmula, regla o esquema proposicional que describa a dichos elementos

Ejemplo

S2 = {x/ x es entero par} comprensión

S3 = {x /x  R  x2- 6x + 11 = 3} comprensión
S4 = {x / x es alumno del curso de álgebra llamado Juan} comprensión
S5 = {x/x es satélite del planeta tierra} comprensión

La definición de S3 se lee 'el conjunto de todas las x reales tales que x2 - 6x + 11 = 3.

S4 es el conjunto de todos los alumnos de álgebra llamados Juan
S5 La Luna

Ejemplo

El conjunto de los meses del año se nombra:

2
Por extensión: {enero, febrero, marzo, abril, mayo, junio, julio, agosto, septiembre, octubre,
noviembre, diciembre}
Por comprensión: {x / x es mes del año}, que se lee: conjunto de elementos x tales que x es mes del
año.
Nótese el verbo en tercera persona del singular

Ejemplo

Si definimos { x/x es adulto} este conjunto no está bien definido sino definimos primero que es ser
adulto o bien a partir de que edad se considera que una persona es adulto.

4. Relación de Pertenencia

 No daremos una definición de pertenencia ya que este es un concepto primitivo, pero podemos
decir que es la relación que existe entre un elemento y un conjunto, así, un elemento pertenece al

conjunto, y como ya hemos dicho se representa con el signo 

Ejemplo

A = {x / x es dedo de la mano}

Sea índice, entonces

índice A
Cuando un elemento no está en el conjunto dicho elemento no pertenece al conjunto, y se representa
con el signo


Ejemplo

B = {x / x es mes del año}

índice B

3
Julio  B JULIO

5. Conjuntos Especiales

5.1 Conjunto VACÍO

Como ya hemos dicho

NO TIENE NADA

 Definición: Llamamos conjunto vacío a aquel conjunto que no tiene elementos. La notación
correspondiente al conjunto vacío es la letra griega FI mayúscula “  ” que

Ejemplo

 = { } extensión
 = { x / x es número natural par e impar } comprensión
 = { x / x es mamífero de siete cabezas} comprensión

Observación: que el conjunto vacío esta definido por cualquier esquema proposicional sin raíces.

5.2 Conjunto Unitario

Llamamos conjunto unitario a aquel conjunto que tiene exactamente un solo elemento

4
Ejemplo

A={1}

TIENE SOLO
UNO

Observación: el esquema proposicional que define a estos conjuntos es un esquema que tiene solo una
raíz

5.3 Conjunto binario o dupla

 Definición: Llamamos conjunto binario o dupla al conjunto que tiene exactamente dos
elementos

Ejemplo

C = { 3, 4 }
D = { x / x es natural y 11< x < 14 }

Observación: el esquema proposicional que define a estos conjuntos es un esquema que tiene solo dos
raíces

5.4 Conjunto ternario o terna

 Definición: Llamamos conjunto ternario o terna al conjunto que tiene exactamente tres
elementos

Ejemplo

E = {1, 2, 3}
5
F = {x / x es natural y divisor de 4}

Observación: el esquema proposicional que define a estos conjuntos es un esquema que tiene solo
tres raíces

5.5. Conjunto cuaternario o cuaterna

 Definición: Llamamos conjunto cuaternario o cuaterna al conjunto que tiene exactamente

cuatro elementos

Ejemplo

G = { 1, 2, 3, 4 }
H = { x / x es integrante del grupo “ The Beatles" }

Observación: el esquema proposicional que define a estos conjuntos es un esquema que tiene solo
cuatro raíces

5.6. Referencial ( Llamado por algunos autores Universal )

 Definición: Llamamos referencial o Universal al conjunto formado por todos los elementos
de una misma especie, o del tema de referencia se lo denota con la letra U o bien R

Ejemplo
U = {x / x es un animal}
A ={x /x es un mamífero}
B ={x /x es un reptil}

U es el referencial para los conjuntos A y B

Por lo tanto, cualquier conjunto que se estudie dentro de un cierto Universo, se representará dentro
de dicho rectángulo . Decimos entonces que cualquier conjunto está incluido dentro del universo
correspondiente.

6
George Cantor creador del edificio maravilloso de la teoría de Conjuntos, que permitía prácticamente
expresar cualquier rama de la matemática en términos de este lenguaje unificador y perfecto,
estableció como uno de sus principios la definición del conjunto universal

La paradoja de Russell2 o paradoja del barbero, descrita por Bertrand Russell en 1901,
demuestra que la teoría original de conjuntos formulada por Cantor es contradictoria.

Russell mostró que este principio para determinar conjuntos era paradójico3 y en consecuencia, que la
estructura propuesta por Cantor, padecía en su base de una contradicción que causaba su desplome.
Esta situación conllevó a la conocida crisis de los fundamentos de la matemática que por mucho
tiempo dejó un vacío completo, después de un logro tan grande. Supongamos los casos de conjuntos
que son miembros de sí mismos. Un ejemplo descrito es el que supone un conjunto que consta de
"ideas abstractas". Dicho conjunto es miembro de sí mismo porque el propio conjunto es una idea
abstracta. Otro ejemplo sería una bolsa con bolsas dentro. Por otro lado un conjunto que consta de
"libros" no es miembro de sí mismo porque el conjunto en sí no es un libro. Russell preguntaba (en
carta escrita a Frege en 1902), si el conjunto de los conjuntos que no forman parte de sí mismos (es
decir, aquel conjunto que engloba a todos aquellos conjuntos que no están incluidos en sí mismos,
como el de "libros" en el ejemplo anterior) forma parte de sí mismo. La paradoja consiste en que si no
forma parte de sí mismo, pertenece al tipo de conjuntos que no forman parte de sí mismos y por lo
tanto forma parte de sí mismo. Es decir, formará parte de sí mismo sólo si no forma parte de sí
mismo.

Paradojas de Bertrand Russell

Bertrand Russell dedicó mucho tiempo a estudiar ciertas paradojas que hoy son famosas. Veamos
algunas de ellas porque pueden sernos de gran ayuda. Russell decía que es posible demostrar que
Dios no existe. ¿Cómo? Primero supongamos que existe. Si verdaderamente existe, por definición, es
todopoderoso. En otras palabras, no le puede faltar ningún poder. Si puedo demostrar que le falta
algún poder entonces no es todopoderoso y, por lo tanto, Dios no existe. Comencemos. Dios tiene el
poder de hacer las piedras que quiera. Puede hacer piedras de todos los tamaños. Tiene el poder de
hacer piedras tan grandes como se le ocurra, inclusive piedras tan grandes que él no pueda mover.
Aquí aparece una contradicción: “hace piedras tan grandes que él no puede mover” aunque siendo
todopoderoso debería poder. Pero si tiene todos los poderes también debería tener el poder de no
poder mover las piedras grandes porque sino le faltaría el poder de hacer esas piedras tan grandes que
él mismo no pudiera mover. Conclusión: a) le falta el poder de mover esas piedras tan grandes que él
construyó ó b) le falta el poder de hacer piedras tan grandes que él mismo no pueda mover. Entonces
Dios no es todopoderoso y, por definición, no existe.

Otra de las paradojas conocidas es la del barbero

2 Bertrand Arthur William Russell, tercer conde de Russell,fue un filósofo, matemático, lógico y escritor británico ganador
del Premio Nobel de Literatura
3 Figura de pensamiento que consiste en emplear expresiones que aparentemente envuelven contradicción.

"“nacer para vivir muriendo” es una paradoja

7
En un lejano poblado de un antiguo emirato había un barbero llamado As-Samet diestro en afeitar
cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un día el emir se dio cuenta
de la falta de barberos en el emirato, y ordenó que los barberos sólo afeitaran a aquellas personas que
no pudieran hacerlo por sí mismas. Cierto día el emir llamó a As-Samet para que lo afeitara y él le
contó sus angustias:
-- En mi pueblo soy el único barbero. No puedo afeitar al barbero de mi pueblo, ¡que soy yo!, ya
que si lo hago, entonces puedo afeitarme por mí mismo, por lo tanto ¡no debería afeitarme!
Pero, si por el contrario no me afeito, entonces algún barbero debería afeitarme, ¡pero yo soy el
único barbero de allí!
El emir pensó que sus pensamientos eran tan profundos, que lo premió con la mano de la más
virtuosa de sus hijas. Así, el barbero As-Samet vivió para siempre feliz.

La paradoja de la horca

No es menos intrigante que las anteriores. Un hombre va a ser colgado. En el momento de decir sus
últimas palabras el verdugo le advierte que si sus palabras son verdad lo van a colgar en la horca de la
verdad y si son mentira en la horca de la mentira. El condenado dice “ustedes me van a colgar en la
horca de la mentira”. Como en las otras paradojas, aparece la contradicción. No pueden colgarlo en la
horca de la mentira porque si así lo hicieran él habría dicho la verdad. Tampoco pueden colgarlo en la
horca de la verdad porque entonces lo que habría dicho sería una mentira. Conclusión: el hombre se
salva.

Detrás del misterio que encarnan las paradojas subyace una estructura lógica común que no tiene
nada de mágico. Todo está en la mente, en el enfoque de los problemas, en la forma de pensar, en los
circuitos alternativos que nos conducen a diferentes conclusiones.

6. Igualdad de Conjuntos

 Definición: Dos conjuntos son iguales si, y solamente si, todos los elementos del primero son
iguales a los elementos del segundo y todos los elementos del segundo son iguales a los elementos
del primero. Es decir, dos conjuntos son iguales si tienen los mismos elementos

Ejemplo

Los siguientes conjuntos: {x /x es un número natural}={x /x es un número entero positivo} son

iguales, ya que todo número entero positivo es un número natural.

7. Relación de Inclusión

 Definición: El conjunto A esta incluido en B si todos los elementos del conjunto A pertenecen
al conjunto B, y se escribe:
A B se lee A esta incluido en B
En símbolos: A B  x : ( x  A  x  B)

Ejemplo

B = {x / x es dedo de la mano}
8
 A = {índice, anular} AB

N = {x / x es número natural}
P = {x / x es número par } P  N
S = {2,4,6} S  P además S  N