INTRODUCCIÓN A LA TEORÍA DE CONJUNTOS

CONCEPTOS BÁSICOS

La palabra conjunto hace referencia a una reunión o colección de objetos. Es un

concepto considerado primitivo, es decir, es un término del que no se da una
definición precisa.
Ejemplo:
• El conjunto de los alumnos de primer año de la carrera de Contador Público
Nacional. Esta expresión la entendemos como sinónima de “el conjunto cuyos
elementos son todos los alumnos de primer año de la carrera de CPN y sólo ellos”.
De la misma manera entendemos las siguientes expresiones:
• El conjunto de las vocales.
• El conjunto de los números naturales comprendidos entre 2 y 7.
A los conjuntos se los nombra generalmente con letras mayúsculas:
, , , etc.
Los objetos pertenecientes a un conjunto reciben el nombre de elementos del
conjunto. Generalmente a los elementos se los designa con letras minúsculas , , ,
etc.
La relación que existe entre cada elemento de un conjunto y dicho conjunto es la de
pertenencia. Por ejemplo, si tenemos el conjunto  = , , 
, podemos decir que “
es un elemento del conjunto ” o, lo que es lo mismo, que “ pertenece a ”.
Para expresar esto simbólicamente utilizamos los siguientes símbolos:
∈: se lee “pertenece a”
∉: se lee “no pertenece a”
Si el elemento  pertenece a un conjunto se simboliza:  ∈
.
Si el elemento  no pertenece a un conjunto se simboliza:  ∉
.

Formas de definir un conjunto

Los conjuntos se pueden expresar a través de una descripción verbal como hemos
hecho en el ejemplo anterior, o también, en forma más precisa, podemos definir un
conjunto de las siguientes dos formas:
o Por extensión: Se enumeran o listan, en caso de ser posible, todos y cada uno de los
elementos del conjunto colocándolos entre llaves y separados entre sí por una
coma.
o Por comprensión: enunciando una propiedad o característica que es cumplida por
todos los elementos del conjunto y sólo por ellos.
Ejemplo: El conjunto de las vocales queda definido:
- por comprensión: /   

- por extensión: , , ,  

Ejemplo: El conjunto de los números naturales comprendidos entre 2 y 7 queda

definido:
- por comprensión: /   ú   2 <  < 7

- por extensión: 3, 4, 5, 6

Observación importante 1: Los elementos de un conjunto siempre deben ser

diferentes entre sí. Es decir, el conjunto
= , ,  , 
no está bien expresado, ya que
hay elementos repetidos; lo correcto es expresarlo como
= , , 
. Además, no
importa el orden en que se nombren los elementos de un conjunto, es decir, el
conjunto , , 
es el mismo que , , 
.
Observación importante 2: Si un conjunto tiene infinitos elementos, no se lo puede
definir por extensión. Por ejemplo, el conjunto de los números naturales ℕ no puede
expresarse por extensión, ya que no es posible escribir una lista de todos los números
naturales.

Representación
A menudo representamos los conjuntos mediante los llamados diagramas de Venn. Un
diagrama de Venn es una curva cerrada (generalmente un óvalo o circunferencia), en
la cual en el interior se colocan los elementos del conjunto y en el exterior el nombre
del mismo.
Ejemplo: Al conjunto
= , , ,  
lo podemos representar como
A

Conjuntos especiales

o Conjunto vacío
Un conjunto que no tiene ningún elemento se llama conjunto vacío. Se lo simboliza:
∅ o { }.
A veces, al definir un conjunto por comprensión, puede suceder que ningún objeto
cumpla con la propiedad que define al conjunto, y entonces dicho conjunto es vacío.
Por ejemplo, el conjunto ' = / ∈ ℕ ∧ 3 <  < 4
es un conjunto vacío, ya que
ningún número natural está comprendido entre 3 y 4; por lo tanto, ' = ∅.
o Conjunto unitario
Un conjunto que tiene un solo elemento se denomina conjunto unitario.
Por ejemplo, ) = / ∈ ℤ ∧ −5 <  < −3
es unitario, ya que el único elemento
que pertenece a él es −4, es decir, ) = −4
.

o Conjunto universal o referencial

Como ya vimos en nuestro estudio de lógica, en cada problema se trabaja con un
universo del discurso específico, el cual incluye todos los objetos que estamos
considerando en un momento dado. En la teoría de conjuntos el universo del discurso
es el conjunto formado por todos los elementos relativos al tema expuesto, se lo
conoce como conjunto universal o referencial. A dicho conjunto lo nombraremos con la
letra , y lo representaremos en un diagrama de Venn mediante un rectángulo.
En muchos casos, según el contexto en el que estemos trabajando, es posible definir
diferentes conjuntos como el conjunto referencial.
Ejemplo: Para  = 3, 4, 5, 6
podríamos definir nuestro conjunto universal como el
conjunto de los números naturales, - = /  ú 
= ℕ, pero
también lo podríamos definir como el conjunto de los números reales, según lo que
nos convenga en la situación que estemos trabajando.

Cardinal de un conjunto

Dado un conjunto
, el número de elementos del conjunto se llama número cardinal

del conjunto. Lo simbolizaremos (
) o también como |
|.
(
): se lee “cardinal del conjunto
”
Ejemplos:
Para
= , , , , 
se cumple que (
) = 5 .
Para  = 3, 4, 5, 6
, () = 4.
Para ' = ∅ , (') = 0.

Si el cardinal de un conjunto es un número natural, dicho conjunto se llama finito. Si

esto no es así, es decir, si no es posible determinar con un número natural la cantidad
de elementos de un conjunto, diremos que dicho conjunto es infinito.

Inclusión de conjuntos. Subconjuntos.

Definición: Dados dos conjuntos
y , se dice que 2 está incluido en 3 o que 2 es un

subconjunto de 3, si todo elemento de  es también un elemento de
. Se simboliza:
 ⊂
.
Es decir,  ⊂
si y sólo si, cualquiera sea  se cumple que si  ∈ , entonces  ∈
.
Ejemplo: Si consideramos los conjuntos
= /   
y
 = /     5 ""
, vemos que  está incluido en
,
simbólicamente,  ⊂
. Además, vemos que
no está incluido en , lo que
podemos simbolizar como
⊄ .
Observación: No se debe confundir el uso de los símbolos " ∈ " y “ ⊂ ". La
pertenencia es una relación entre un elemento y un conjunto, mientras que la inclusión
es una relación entre conjuntos. En el caso anterior, es incorrecto escribir que “ ∈
",
ya que como  es un subconjunto (no un elemento) de
, se debe usar la relación de
inclusión.

Propiedades
1. Todo conjunto está incluido en sí mismo. Es decir, cualquiera sea el conjunto
:

⊂
.
2. El conjunto vacío está incluido en cualquier conjunto. Es decir, cualquiera sea
:
∅ ⊂
.

Igualdad de conjuntos

Definición: Dos conjuntos 3 y 2 son iguales si todo elemento de
es un elemento de

 y todo elemento de  es un elemento de
. Es decir, dos conjuntos son iguales si
tienen los mismos elementos.
Esto lo podemos expresar más formalmente de la siguiente forma:
=  si y sólo si
cualquiera sea , se cumple que si  ∈
, entonces  ∈ ; y si  ∈ , entonces
 ∈
.
Es decir que:
=  ⇔
⊂  ∧  ⊂
.
Más adelante, para demostrar que dos conjuntos dados son iguales, lo que
demostraremos es que se verifica la doble inclusión entre ellos.
Ejemplo: Sean los conjuntos
) = /     5 
y 9 = /     5 

tenemos que ) = 9.
Ejemplo: Si : = / ∈ ; ∧   ú5  10
y
= = / ∈ ; ∧   ú5  2   5
, tenemos que : = =.

OPERACIONES CON CONJUNTOS

Unión de conjuntos

Definición: Sean
y  dos conjuntos definidos en un mismo conjunto referencial -. Se

llama unión de
y  (o conjunto unión) al conjunto formado por todos los elementos
que pertenecen a
o a  (usamos el “o” en sentido incluyente). Lo simbolizamos
como 3 ∪ 2.
En símbolos:
∪  = / ∈
∨  ∈ 
.
Es decir, la unión de
y  es el conjunto formado por los elementos comunes y no
comunes de
y .
Ejemplo: Dados - = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12
,
= 0, 2, 4, 6, 8, 10
y
 = 0, 3, 6, 9, 12
, obtenemos que
∪  = 0, 2, 3, 4, 6, 8, 10, 12
.

Para hacer el diagrama de Venn, ubicamos los elementos comunes en la zona de

“superposición” de los diagramas que representan a
y a , y rayamos o sombreamos
la zona que obtenemos como resultado de la operación unión.

Propiedades de la unión de conjuntos

Sean
,  y  conjuntos definidos en un mismo conjunto referencial -. Se verifican las
siguientes propiedades:
1.
∪  =  ∪
ley conmutativa
2. (
∪ ) ∪  =
∪ ( ∪ ) ley asociativa
3.  ⊂
⇔
∪  =

4.
∪ - = -
5.
∪ ∅ =

Intersección de conjuntos

Definición: Sean
y  dos conjuntos definidos en un mismo conjunto referencial -. Se

llama intersección de
y  (o conjunto intersección) al conjunto formado por todos
los elementos que pertenecen a
y a . Lo simbolizamos como 3 ∩ 2.
En símbolos:
∩  = / ∈
∧  ∈ 
.
Es decir, la intersección de
y  es el conjunto formado por los elementos comunes
de ambos conjuntos.
Además, decimos que dos conjuntos
y  son disjuntos si no tienen elementos
comunes, es decir, si la intersección de ellos es el conjunto vacío.
Ejemplo: con los mismos conjuntos del ejemplo anterior, buscamos
∩ .

∩  = 0, 6

Ejemplo: Tomamos el mismo conjunto - definido en el ejemplo anterior, y definimos

 = 0, 2, 4, 6, 8, 10, 12
y ) = 1, 3, 5, 7, 9
. Vemos que  y ) no tienen elementos
en común, es decir que  ∩ ) = ∅, lo que es lo mismo que decir que  y ) son
disjuntos.

Propiedades de la intersección de conjuntos

Sean
,  y  conjuntos definidos en un mismo conjunto referencial -. Se verifican las
siguientes propiedades:
1.
∩  =  ∩
ley conmutativa
2. (
∩ ) ∩  =
∩ ( ∩ ) ley asociativa
3.  ⊂
⇔
∩  = 
4.
∩ - =

5.
∩ ∅ = ∅

Diferencia de conjuntos

Definición: Sean
y  dos conjuntos definidos en un mismo conjunto referencial -. Se

llama diferencia de
y  (en ese orden) al conjunto formado por todos los elementos
de
que no pertenecen a . Lo simbolizamos como 3 − 2.
En símbolos:
−  = / ∈
∧  ∉ 
.
Es importante notar que, en general, no es lo mismo
−  que  −
.
Ejemplo: Nuevamente trabajamos con el ejemplo anterior.
Obtenemos
−  = 2, 4, 8, 10
.
También podemos buscar  −
, y obtenemos  −
= 3, 9, 12
. Notar que en este
caso
−  ≠  −
.

Complemento de un conjunto

Definición: Sean
un conjunto definido en un conjunto referencial -. Se llama

complemento de 3 (con respecto a -) al conjunto formado por todos los elementos
de - que no pertenecen a
. Lo simbolizamos como 3D .
En símbolos:
E = / ∈ - ∧  ∉

.
Ejemplo: Del ejemplo anterior, tenemos que
E = 1, 3, 5, 7, 9, 11, 12
.

Propiedades de la complementación de conjuntos

Sean
y  conjuntos definidos en un mismo conjunto referencial -. Se verifican las
siguientes propiedades:
1. (
E )E =

2.
∪
E = -
3.
∩
E = ∅
4. (
∪ )E =
E ∩  E
5. (
∩ )E =
E ∪  E
6.
⊂  ⇔  E ⊂
E

Producto cartesiano
Par ordenado
Como ya hemos observado en un conjunto definido por extensión no importa el orden
en que se nombran los elementos. Es decir: , 
= , 
.
Sin embargo hay ocasiones donde nos interesa el orden, es por eso que se introduce
la idea de par ordenado, y en general -upla ordenada.
Definición: Dados dos objetos  y , se llama par ordenado (F, G) al objeto en el cual
 es el primer elemento y  el segundo elemento. Es decir que (, ) ≠ (, ) , para
 ≠ .
Definición: Sean
y  dos conjuntos. Se llama producto cartesiano de
y  (en ese
orden) al conjunto formado por todos los pares ordenados (, ) tales que la primera
componente es un elemento de
y la segunda componente es un elemento de . Lo
simbolizamos como 3 × 2.
En símbolos:
×  = (, )/ ∈
∧  ∈ 
.
Es importante notar que, en general, no es lo mismo
×  que  ×
.

Ejemplo: Sean
= 1,2

y  = , , 
.
Entonces
×  = (1, ), (1, ), (1, ), (2, ), (2, ), (2, )
, mientras que
 ×
= (, 1), (, 2), (, 1), (, 2), (, 1), (, 2)
.
Ejemplo: Dado
= , 
, podemos calcular
×
= (, ), (, ), (, ), (, )
.

CONJUNTOS NUMÉRICOS

En el estudio de los conjuntos, nos interesan especialmente los conjuntos numéricos,

de los cuales destacamos los siguientes: conjunto de los números naturales (ℕ),
conjunto de los números enteros (ℤ) y el conjunto de los números racionales (ℚ).
Dichos conjuntos verifican la siguiente relación de inclusión: ℕ ⊂ ℤ ⊂ ℚ. El conjunto
de los números racionales ℚ con el conjunto de los números irracionales (J) (√2, L, … )
forman el conjunto de los números reales (ℝ), ℝ = ℚ ∪ J. Es decir, el conjunto de los
números reales incluye a los demás conjuntos numéricos mencionado.
Podemos representar al conjunto de los números reales en la llamada recta real. De
esta manera, a cada punto de la recta le corresponde un número real, y a cada número
real le corresponde un punto de la recta.
Estudiaremos en particular subconjuntos de números reales llamados intervalos.

Valor absoluto

Sea  ∈ ℝ, definimos el Valor absoluto de a, que simbolizamos || como sigue:

    ≥ 0
|| = P
−   < 0

Ejemplos: Para  = 5,2 , || = 5,2; para  = − 1R3 , || = 1R3 y para  = 0, || = 0

Proiedades

Cualesquiera sean los números reales  y  se cumple:

1. Si  ≠ 0, entonces || > 0.
2. || = |−|.
3. |. | = || . ||
4. | + | ≤ || + ||
5. Cualquiera sea el número real V > 0, se cumple:
|| ≤ V ⇔ −V ≤  ≤ V
|| ≥ V ⇔  ≥ V ∨  ≤ −V

Intervalos

Si queremos expresar al conjunto formado por todos los números reales que hay entre
dos números reales distintos cualesquiera, vemos que es imposible nombrarlos a todos
uno por uno, ya que son infinitos. Los intervalos son una clase especial de
subconjuntos del conjunto de los números reales, los subconjuntos que contienen a
todos los números reales entre dos números dados,  y , con  < .
Intervalo cerrado
Definición: Dados dos números reales  y , con  < , se llama intervalo cerrado de
extremos  y , al que indicamos como W, X, al siguiente conjunto:
W, X = / ∈ ℝ ∧  ≤  ≤ 

Notemos que un intervalo cerrado contiene a sus extremos.

Lo representamos en la recta real de la siguiente manera:

Todos los puntos de la recta que están en la región sombreada pertenecen al intervalo
W, X.
Ejemplo: W−1,3X = / ∈ ℝ ∧ −1 ≤  ≤ 3

Intervalo abierto
Definición: Dados dos números reales  y , con  < , se llama intervalo abierto de
extremos  y , al que indicamos como (, ), al siguiente conjunto:
(, ) = / ∈ ℝ ∧  <  < 

Observemos que en este caso el intervalo no incluye a los extremos. Lo representamos

de la siguiente forma:

Ejemplo: (−1,3) = / ∈ ℝ ∧ −1 <  < 3

Intervalos semiabiertos
Definición: Dados dos números reales  y , con  < , se llama intervalo semiabierto
(o semicerrado) de extremos  y , a cada uno de los siguientes subconjuntos de
números reales:
(,X = / ∈ ℝ ∧  <  ≤ 

W,) = / ∈ ℝ ∧  ≤  < 

Ejemplo: (−2, 1X = / ∈ ℝ ∧ −2 <  ≤ 1

Intervalos no acotados
Las definiciones anteriores se pueden generalizar considerando los subconjuntos de
números reales formados por todos los números reales mayores (o mayores o iguales)
a un número real dado, o menores (o menores o iguales) a un número real dado. En
estos casos, consideramos las semirrectas y la recta real como intervalos no acotados,
y para ello utilizamos los símbolos +∞ y −∞. Estos símbolos no representan números
reales, sino que los usamos por conveniencia de notación.
Dado un número real , definimos los siguientes intervalos no acotados:

W,+∞) = / ∈ ℝ ∧  ≥ 

(, +∞) = / ∈ ℝ ∧  > 

(−∞, X = / ∈ ℝ ∧  ≤ 

 (−∞, ) = / ∈ ℝ ∧  < 

De la misma forma, al conjunto de los números reales lo podemos expresar como:

(−∞, +∞) = ℝ.