Tema 3

Conjuntos, aplicaciones y relaciones

Autor: Pawel Czerwinski (https://unsplash.com/photos/OYRByIyxAoQ)

En este capı́tulo de preliminares vamos a presentar conceptos básicos en tres grandes áreas:
la teorı́a de conjuntos, las relaciones de equivalencia y las relaciones de orden. Estos conceptos
serán necesarios en el resto del curso.

3.1 Conjuntos

Definición 3.1.1 Definición de conjunto. Un conjunto es una colección no ordenada de

objetos distintos que llamaremos elementos.

Nota 3.1.2 Los elementos de un conjunto se indicarán con letras minúsculas y los conjuntos
con mayúsculas. Los conjuntos se indicarán poniendo los elementos o su descripción entre
llaves. Por ejemplo, A = {a, b, c, d, e, f, g} y B = {2n | n 2 N} son conjuntos.

Definición 3.1.3 Conjunto vacı́o. Por convención, el conjunto que no tiene elementos se
considera que es un conjunto y se designa por el sı́mbolo ;.

Definición 3.1.4 Pertenencia a un conjunto. Sea A un conjunto. Si el elemento a

pertenece a A, se escribe a 2 A. Si a no pertenece a A, se escribe a 62 A.

37
38 Conjuntos, aplicaciones y relaciones

Definición 3.1.5 Maneras de definir un conjunto. Un conjunto se puede definir de dos

maneras, por extensión o enumeración, o por comprensión. Por enumeración significa
dar la lista completa de sus elementos. Por comprensión significa o bien dar una propiedad que
cumplan todos los elementos del conjunto o bien dar una regla para su construcción.

Cuando un conjunto es infinito y se define por enumeración, se indican unos cuantos

elementos y se sobreentiende que el resto sigue la misma regla. Por ejemplo, N = {0, 1, 2, . . .}
se entiende que es una definición por enumeración.

Ejercicio 3.1.6 Definir los siguientes conjuntos por comprensión:

(a) N (b) los números pares (c) Z (d) {3, 9, 27, 81, . . .}
(e) Q (f) los números primos (g) {1, 1, 1, 1, . . .} (h) R

Definición 3.1.7 Conjuntos finitos e infinitos. Si un conjunto tiene un número finito de

elementos se dice que es finito. Un conjunto que no es finito se dice que es infinito.

Definición 3.1.8 Cardinal. Dado un conjunto finito, al número de sus elementos se le llama
cardinal y se designa por |X| o por card(X), siendo X el conjunto.

El siguiente problema explora los problemas que dan trabajar con conjuntos infinitos, donde
todo parece ir en contra de la más elemental intuición.

Problema 3.1.9 Walter White en el Hotel Infinito. Walter White, el ı́mprobo

protagonista de Breaking Bad, en su huida de la justicia y de sus colegas de crimen, acaba
aceptando un trabajo en un extraño hotel, el Hotel Infinito. Llegó a él con la ayuda de Saul
Goodman, su abogado, quien le proporcionó el acceso a un agujero negro por el cual viajó a
la remota galaxia en que se encuentra el Hotel Infinito. Era un domingo por la mañana y el
hotel estaba completo. Se acercó un viajero a Walter y le pidió alojamiento. A pesar de que
no habı́a alojamiento, Walter contestó lo siguiente:

Walter: No se preocupe, señor. Deme una hora y tendré una habitación para usted.
Sencillamente pediré a cada huésped que se aloje en la habitación siguiente a la que ahora
tienen.

Y ası́ lo hizo. Más tarde vino un grupo de cinco viajeros y pidieron alojamiento. He aquı́
la respuesta de Walter.

Walter: Veo que no han hecho reserva y el hotel está lleno. Pero eso aquı́ no es problema en
el Hotel Infinito. Relájense en el bar del hotel, la casa invita, y dentro de una hora tendrán su
habitación. Mientras, pediré a cada huésped que se aloje cinco habitaciones más allá de la que
ahora tienen.

Después de comer el problema vino un número infinito de viajeros; infinito tanto como el
número de elementos de los números naturales. Walter White se rascó su perilla y tras pensar
durante unos segundos, sonrió, y sus dientes brillaron con la fuerza de la inteligencia. Detrás de
esa sonrisa habı́a una solución al problema de alojar a los infinitos viajeros en el Hotel Infinito.
¿Cómo lo consiguió Walter White? ¿Podrı́a el lector deducir la solución que dio nuestro héroe?
3.2. Operaciones sobre conjuntos 39

Problema 3.1.10 Sean A, B dos conjuntos. Necesitamos definir el concepto de subconjunto.

¿Cómo lo definirı́a el lector? Ha de dar una definición correcta matemáticamente hablando y
que esté bien escrita.

Definición 3.1.11 Si el conjunto A es un subconjunto de B, se escribe A ✓ B. En caso

contrario, se escribe A 6✓ B.

Definición 3.1.12 Sea A un conjunto no vacı́o. Todo subconjunto diferente de ; y A se llama

subconjunto propio. Los subconjuntos ; y A se llaman subconjuntos impropios.

Definición 3.1.13 Sean dos conjuntos A, B tal que A ✓ B, pero A 6= B. En este caso se dice
que A es un subconjunto propio de B.

Ejercicio 3.1.14 Se considera el conjunto A = {a, b, c, d, e, f, g}. Decidir si las siguientes

afirmaciones están bien escritas matemáticamente y cuando lo estén decidir si son ciertas o
falsas:

(a) {a, b, c} =
6 {c, a, b} (b) {a} 2 A (c) {c, a, b} ✓ A (d) b ✓ A

(e) ; ✓ A (f) {a, b, z} ✓ A

Definición 3.1.15 Igualdad de conjuntos. Dos conjuntos A, B se dice que son iguales si
tienen los mismos elementos, o dicho en forma de propiedad matemática, si se tiene que todo
elemento de A lo es de B y todo elemento de B lo es de A.

Teorema 3.1.16 Sean A, B dos conjuntos finitos no vacı́os. Probad que si |A| = |B| y A ✓ B,
entonces necesariamente A = B.

Definición 3.1.17 Partes de un conjunto.Sea A un conjunto. Se designa por P(A) al

conjunto formado por todos los subconjuntos de A.

Ejercicio 3.1.18 Dado el conjunto A = {1, 2, 3}, se pide:

(a) Hallar P (A). Calcular su cardinal.

(b) Definir por extensión el conjunto {X 2 P (A) / |X| = 2} .

Teorema 3.1.19 Sea A un conjunto finito de cardinal |A| = n. Probar que el cardinal de P(A)
es 2n .

3.2 Operaciones sobre conjuntos

Una vez vistas las definiciones más básicas de la teorı́a de conjuntos, vamos a presentar
operaciones con las que generar nuevos conjuntos a partir de otros. Estas operaciones
tienen traducción directa en estructuras de datos y constructores en cualquier lenguaje de
programación moderno.
40 Conjuntos, aplicaciones y relaciones

Definición 3.2.1 Conjunto universal. Se llama conjunto universal a un conjunto de

referencia que contiene a todos los conjuntos con que se va a operar. Se suele designar por
U.

Nota 3.2.2 A partir de ahora se supone que el conjunto universal está fijado U . Se hará
explı́cito cuando sea estrictamente necesario.

Problema 3.2.3 Definición de unión e intersección de conjuntos. Sea U el conjunto

universal y A, B ✓ U dos conjuntos. Definir la unión de A y B y la intersección de A y B.
Definir primero con términos en castellano y luego dar una definición matemática. La unión se
designará por A [ B y la intersección por A \ B.

Definición 3.2.4 Conjuntos disjuntos. Dos conjuntos A, B ✓ U se llaman disjuntos si su

intersección es vacı́a.

Ejercicio 3.2.5 Definición del complementario. Sea A ✓ U un conjunto. El

complementario de A se define como aquellos elementos que no pertenecen a A. El
complementario de A se designará por A. Dad una definición en términos matemáticos de
A.

Definición 3.2.6 La diferencia de dos conjuntos. Sean A, B ✓ U dos conjuntos. Se define

la diferencia A B como aquellos elementos de A que no pertenecen a B. Matemáticamente,
A B = {x 2 A | x 62 B}.

Problema 3.2.7 Propiedades de la unión y la intersección. Id a internet y buscar

propiedades que cumplan la unión y la intersección de conjuntos. Anotad la fuente de la cual
sacáis la información. Preparaos para salir a la pizarra y enumerarlas ante vuestros compañeros.

Problema 3.2.8 Sean A, B ✓ U dos conjuntos. Probad que A [ B = A \ B. Cuidad la

escritura en esta demostración.

Definición 3.2.9 Producto cartesiano. Sean A, B ✓ U dos conjuntos. Se define el

producto cartesiano como el conjunto de los pares ordenados (a, b) donde a 2 A y b 2 B.

Ejercicio 3.2.10 Sean los conjuntos A = {1, 2} y B = {a, b, c}. Hallar los conjuntos A ⇥ B,
B ⇥ A, B 2 y A3 . Calcular sus cardinales.

3.3 Aplicaciones

Definición 3.3.1 Correspondencias. Dados dos conjuntos A, B no vacı́os, una

correspondencia es una asociación entre los elementos de A y los de B. La manera matemática
de definir una correspondencia es decir que es un subconjunto del producto cartesiano A⇥B. El
conjunto A se llama conjunto inicial y el conjunto B conjunto final. Las correspondencias
se denotan por f : A ! B.

Ejercicio 3.3.2 . Sea f : A ! B una correspondencia y a 2 A. ¿Se deduce de la definición

que f (a) consiste en un solo elemento de B? Dad ejemplos que ilustren vuestra respuesta.
3.3. Aplicaciones 41

Definición 3.3.3 Aplicaciones. Dados dos conjuntos A, B no vacı́os, una aplicación es una
correspondencia f : A ! B tal que todo elemento a 2 A tiene una única imagen f (a) 2 B.
Cuando A, B son conjuntos de números las aplicaciones se suelen llamar funciones.

Las aplicaciones se pueden definir de varias maneras. Una es mediante una fórmula. La
expresión f (x) = x2 + 1 para x 2 R es ejemplo de definición por fórmula. También se puede
definir por una regla. Por ejemplo, en el conjunto A de las cadenas de n bits, con n 2 N, n 2,
se define f (c) para c 2 A como la suma de los bits de c. Una aplicación puede admitir ambas
definiciones.

Ejercicio 3.3.4 Si interpretamos una correspondencia f : A ! B como un subconjunto de

A ⇥ B, ¿qué significa que f es una aplicación?

Definición 3.3.5 Imagen. Dada una aplicación f : A ! B, se llama imagen de f al

conjunto Im(f ):

Im(f ) = {f (a) 2 B | a 2 A}
La imagen de f es un subconjunto de B, el conjunto final.

Ejercicio 3.3.6 Calcular la imagen de las siguientes aplicaciones.

(a) f : [0, 1] ! R dada por f (x) = 2x2 + 3x.

(b) f : R ! R dada por f (x) = bxc.

(c) f : N ! Z dada por f (n) = ( 1)n .

Definición 3.3.7 Imagen de un subconjunto. Dada una aplicación f : A ! B y un

subconjunto C de A, la imagen de un subconjunto es el f (C) = {f (c) 2 B | c 2 C}.

Definición 3.3.8 Aplicación sobreyectiva. Dada una aplicación f : A ! B, se dice que

f es sobreyectiva si Im(f ) = B.

Ejercicio 3.3.9 Sean las siguientes aplicaciones. Probad o refutad que son sobreyectivas.

(a) f : R ! R dada por f (x) = x2 5x.

(b) f : R ! R dada por f (x) = x3 5x.

x2
(c) f : R ! (0, 1) dada por f (x) = .
x2 + 1
Definición 3.3.10 Aplicación inyectiva. Dada una aplicación f : A ! B, se dice que f
es inyectiva si se tiene que f (a1 ) = f (a2 ) implica que a1 = a2 para a1 , a2 2 A.

Ejercicio 3.3.11 Sean las siguientes aplicaciones. Probad o refutad que son inyectivas.

(a) f : R ! R dada por f (x) = ax + b, donde a, b son números reales no nulos.

(b) f : [ 1, 1] ! R dada por f (x) = 1 x2 .

(c) f : R ! R+ dada por f (x) = ex .

42 Conjuntos, aplicaciones y relaciones

Definición 3.3.12 Aplicación biyectiva. Dada una aplicación f : A ! B, se dice que f

es biyectiva si es sobreyectiva e invectiva a la vez.

Problema 3.3.13 Sea f : A ! B una aplicación, donde A y B son conjuntos finitos con
|A| = |B|. Probad que si f es inyectiva es también biyectiva.

Problema 3.3.14 Probad que el cardinal de N es igual al cardinal de los números pares
dando una biyección entre ambos conjuntos. Relacionar este resultado con el problema 3.1.9,
el problema de Walter White y el Hotel Infinito.

Problema 3.3.15 Sean A el conjunto de cadenas de 3 bits y B = {0, 1, 2, 3}. Determinar si

las siguientes correspondencias son funciones. En caso afirmativo, comprobad si son inyectivas,
sobreyectivas o biyectivas.

a) f :B!A tal que f (n) = cadena de 3 bits que tiene n unos.

b) f :A!B tal que f (a) = número de ceros de la cadena a.
c) f :B!A tal que f (n) = cadena de 3 bits cuyo producto de bits vale n.
d) f :A!B tal que f (a) = suma de los bits de la cadena a.

3.4 Relaciones binarias

Definición 3.4.1 Relación binaria en un conjunto. Sean A un conjunto no vacı́o. Se

llama relación binaria en A a cualquier correspondencia R entre los elementos de A. Una
manera más formal de definir la relación binaria es como un subconjunto R de

A ⇥ A = {(a1 , a2 ) | a1 , a2 2 A}

Definición 3.4.2 Sea R una relación en A. Si a1 2 A está relacionado con a2 2 A, se escribirá

a1 Ra2 . En caso contrario, pondremos a1 6 Ra2 .

Problema 3.4.3 Parece razonable pensar que una relación binaria se pueda definir en términos
de una propiedad o de una regla. ¿Es tal cosa posible? Razonad a favor o en contra aportando
argumentos y ejemplos.

Definición 3.4.4 Diagrama sagital. Dada una relación R ✓ A ⇥ A, para una mejor
visualización se define su diagrama sagital. Este consiste en dibujar el conjunto poniendo
cada elemento de A como un punto y una flecha entre dos elementos que estén relacionados.

Definición 3.4.5 Propiedades de una relación binaria. Sea R ✓ A ⇥ A una relación

binaria.

• Propiedad Reflexiva. Se dice que R es reflexiva si para todo a 2 A se tiene aRa.

• Propiedad Simétrica. Se dice que R es simétrica si para todo par a, b 2 A con aRb es
cierto que bRa.
• Propiedad Antisimétrica. Se dice que R es antisimétrica si siempre que se tenga que
aRb y bRa, entonces a = b.
3.5. Relaciones de equivalencia 43

• Propiedad Transitiva. Se dice que R es transitiva si siempre que se tenga que aRb y
bRc, entonces aRc.

Ejercicio 3.4.6 Dibujar el diagrama sagital de las siguientes relaciones. A la vista del mismo,
determinar si la relación posee alguna de las propiedades reflexiva, simétrica, antisimétrica o
transitiva.

a) A = {1, 2, 3} R = {(1, 1) , (1, 2) , (2, 1) , (2, 2) , (3, 3)}

b) A = {1, 2, 3, 4, 5} R = {(i, i) / i = 1..5} [ {(3, 5) , (4, 3) , (5, 4)}

Ejercicio 3.4.7 Dar la negación de cada una de las propiedades mencionadas en la definición
anterior.

Ejercicio 3.4.8 Estudiar qué propiedades (reflexiva, simétrica, antisimétrica, transitiva)

cumplen las relaciones binarias R definidas sobre el conjunto de números naturales, N:

(a) x R y () x 6= y.
(b) x R y () x < y2.

3.5 Relaciones de equivalencia

Definición 3.5.1 Relación equivalencia. Se dice que una relación binaria es de equivalencia
si es reflexiva, simétrica y transitiva.

Ejemplo 3.5.2 En Z ⇥ Z+ se define la relación

(a, b)R(c, d) () ad = bc

Esta relación es de equivalencia.

Problema 3.5.3 ¿Para qué sirve definir las relaciones de equivalencias? ¿Para qué tarea
sirve definir una relación de equivalencia en un conjunto? ¿Se podrı́a relacionar esto con la
computación y en particular con la programación?

Problema 3.5.4 Sea A el conjunto de cadenas de 5 bits. Se define en A la relación:

aRb () los dos primeros bits de a y b coinciden.

Demostrar que R es de equivalencia.

Definición 3.5.5 Relación de congruencia en Z. Sea k un número natural positivo. Se

define la relación de congruencia en Z como:

aRb () a b es un múltiplo de k

Nota 3.5.6 Notación: cuando a, b 2 Z están relacionados por la relación de congruencia se

escribe a ⌘ b mod k y se dice que a es congruente con b módulo k.
44 Conjuntos, aplicaciones y relaciones

Ejercicio 3.5.7 Probad que la relación de congruencia definida anteriormente es de hecho una
relación de equivalencia.

Definición 3.5.8 Clases de equivalencia. Sea R una relación de equivalencia sobre el

conjunto A. Dado a 2 A, se define la clase de equivalencia [a] como el conjunto

{x 2 A | aRx}
Cualquiera elemento x de la clase [a] se llama representante de a.

Definición 3.5.9 Conjunto cociente. Sea R una relación de equivalencia sobre el conjunto
A. Se llama conjunto cociente al conjunto de las clases de equivalencias. Se designara por
A/R. Dicho conjunto es {[a] | a 2 A}.

Ejercicio 3.5.10 Hallar el conjunto cociente para la relación de congruencia módulo n.

3.6 Relaciones de orden

Definición 3.6.1 Relación de orden. Se dice que una relación binaria es de orden si es
reflexiva, antisimétrica y transitiva.

Nota 3.6.2 Una relación de orden sobre un conjunto A se suele escribir como el par (A, ).
No debe confundirse el uso del sı́mbolo  en un contexto general con su uso particular para
conjuntos de números (como N, Z, Q o R).

Ejemplo 3.6.3 Los conjuntos N, Z, Q y R con el orden usual  son conjuntos ordenados. En
R2 = {(x, y) | x, y 2 R} se puede definir un orden, llamado lexicográfico, como sigue:

(x1 , y1 )  (x2 , y2 ) () x1  x2 e y1  y2

Problema 3.6.4 ¿Para qué sirve definir las relaciones de orden? ¿Para qué tarea sirve definir
una relación de orden en un conjunto? ¿Cómo se relaciona esto con la computación y en
particular con la programación?

Definición 3.6.5 Conjunto ordenado. Un conjunto con una relación de orden se dice que
es un conjunto ordenado.

Definición 3.6.6 Elementos comparables. Dado un conjunto ordenado (A, ), se dice que
dos elementos a, b 2 A son comparables si bien a  b o bien b  a.

Ejercicio 3.6.7 Sea A un conjunto no vacı́o con más de dos elementos. Consideremos P(A).
¿Son todos elementos comparables entre sı́?

Definición 3.6.8 Conjunto totalmente ordenado. Un conjunto ordenado (A, ) se dice

que está totalmente ordenado si dos elementos cualesquiera de (A, ) son comparables.

Definición 3.6.9 Conjunto parcialmente ordenado. Un conjunto ordenado se dice que es

parcialmente ordenado si no es un conjunto totalmente ordenado.
3.7. Para saber más 45

Ejercicio 3.6.10 Dad ejemplos de conjuntos parcialmente ordenados y totalmente ordenados.

Definición 3.6.11 Cotas. Sea (A, ) un conjunto ordenado y B ⇢ A.

• a 2 A es una cota superior de B si b  a para todo b 2 B. Si B tiene una cota superior
se dice que está acotado superiormente.
• a 2 A es una cota inferior de B si a  b para todo b 2 B. Si B tiene una cota inferior
se dice que está acotado inferiormente.
• Si B está acotado superiormente, el supremo a de B es la menor de la cotas superiores.
0 0
Esto significa que si a es otra cota superior de B, entonces a  a .
• Análogamente, si B está acotado inferiormente, el ı́nfimo a de B es la mayor de la cotas
0 0
inferiores. Si a es otra cota inferior de B, entonces se cumple que a  a.
• Si el ı́nfimo pertenece al conjunto B, entonces se llama mı́nimo. Análogamente, si el
supremo está en B, se le llama máximo.

Problema 3.6.12 Hallar el supremo, ı́nfimo, máximo y mı́nimo, si existen, de los siguientes
subconjuntos de R:
(1) A = [1, 4] (2) A = [1, 4] \ Q (3) A = {1, 2, 3, ⇡}

⇢
( 1)
(4) A = {x 2 R | x + 4x
2
5 < 0} (5) A = 1+ | n 2 N⇤
n
Problema 3.6.13 Construir el mapa conceptual de este capı́tulo.

3.7 Para saber más

La teorı́a de conjuntos es una rama fundamental de las matemáticas que se centra en el estudio
de conjuntos, que son colecciones bien definidas de objetos o elementos. Fue desarrollada en
el siglo XIX por el matemático alemán Georg Cantor y ha sido un componente esencial de
la matemática moderna desde entonces. La teorı́a de conjuntos proporciona un marco formal
para describir, analizar y manipular conjuntos y las relaciones entre ellos. Se utiliza como base
para construir otros conceptos matemáticos, como los números naturales, enteros, racionales y
reales. También se aplica en áreas como la lógica, la topologı́a, la teorı́a de grafos y la teorı́a
de la probabilidad, entre otras. Es una herramienta poderosa para la formulación y resolución
de problemas matemáticos y esencial para comprender los fundamentos de las matemáticas
modernas
El problema de Walter White ha sido adaptado de la presentación de Martin Gardner en
su libro ¡Ajá! inspiración [Gar89].

Bibliografı́a

[Gar89] Martin Gardner. ¡Ajá! inspiración. Editorial Labor, 1989.