Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Relaciones
En diversas situaciones, es indispensable relacionar elementos de un conjunto con otro. Por
ejemplo, cuando afirmamos que un número es más grande que otro, establecemos una relación entre
ellos, lo mismo que al describir una regla de correspondencia. Esta idea, aunque intuitivamente
clara, requiere de precisión para evitar ambigüedades.
Definición 5.1. Sean A y B dos conjuntos. Por una relación definida de A en B entenderemos
un subconjunto R del conjunto A × B. Cuando tengamos el caso particular en que B = A, nos
limitaremos a decir que R es una relación definida en A. Si (a, b) ∈ R diremos que a está relacionado
con b a través de R y en algunas ocasiones, simbolizaremos alternativamente este hecho como aRb
o R(a, b) eligiendo de manera indistinta entre ellas.
Ejemplo 5.1. Una posible relación definida en Z es R = {(1, 2), (2, 3), (2, −5), (3, −1)(4, −7)}.
Otra posibilidad igual de legı́tima es S = {(−2, 1), (−3, 1), (4, 0), (5, 5)}.
El objetivo de esta definición es proveer un punto de vista conceptual que nos permita estudiar
relaciones de manera abstracta. Un par de ejemplos en ese sentido se presentan a continuación y es
importante constrastar su naturaleza con el ejemplo anterior.
Ejemplo 5.2. Para un conjunto cualquiera A, el conjunto
1A = {(x, y) ∈ A × A | x = y} ,
es una relación definida en A. A esta relación se le conoce como la relación identidad en A.
Ejemplo 5.3. En el conjunto N se puede decir que m está relacionado con n si y sólo si n = m2 .
Lo anterior se puede traducir fácilmente a un conjunto expresando
R = {(x, y) ∈ N × N | y = x2 }.
En ese conjunto viven parejas de la forma (m, m2 ), esto quiere decir que mRn si y sólo si n = m2 ,
mostrando con esto que se trata de la relación de donde partimos.
Es posible encontrar algunas patologı́as usando esta definición, sin embargo no se sacrifica nada
en admitirlas como posibilidades legı́timas. Por ejemplo, si A y B son conjuntos cualquiera, entonces
∅ ⊆ A × B por lo que R = ∅ es una relación definida de A en B. Esta relación es peculiar y se le
conoce como la relación vacı́a.
Definición 5.2. Sea R una relación definida de A en B. Se definen los conjuntos
dom(R) = {x ∈ A | (x, y) ∈ R para algún y ∈ B}
im(R) = {y ∈ B | (x, y) ∈ R para algún x ∈ A}
Al conjunto dom(R) se le llama el dominio de R, mientras el conjunto im(R) recibe el nombre de
la imagen o rango de R.
1
Ejemplo 5.4. Para la relación en Z definida como R = {(1, 2), (2, 3), (2, −5), (3, −1)(4, −7)} se
tiene
dom(R) = {1, 2, 3, 4}
y
im(R) = {−7, −5, −1, 2, 3}.
Podemos calcular el dominio y el rango de la relación vacı́a de manera relativamente sencilla pues
estos resultan simplemente el conjunto vacı́o. De manera similar, se puede verificar sin problema
que
dom(1A ) = im(1A ) = A.
Ejemplo 5.5. Para un conjunto cualquiera A, podemos definir la relación de pertenencia de A,
como el conjunto
A = {(x, Y ) ∈ A × P(A) | x ∈ Y }.
El dominio de esta relación es simplemente A, pues para cualquier a ∈ A,
(a, {a}) ∈ A .
Por otro lado, el rango de dicha relación es el conjunto P(A)\ {∅}, pues siempre que tomemos
S ∈ P(A) de forma que S 6= ∅, existirá un elemento a ∈ S para el cual,
(a, S) ∈ A .
Definición 5.3. Sean R y S relaciones definidas de A en B y de B en C respectivamente. La
composición de R con S es la relación
S ◦ R = {(x, z) ∈ A × C | existe y ∈ B tal que (x, y) ∈ R y (y, z) ∈ S} .
En la definición se usa al conjunto B como un pivote para relacionar elementos de A y C a
condición que esto estén relacionados con el mismo elemento del conjunto B. En otras palabras, si
para una pareja (a, b) ∈ R podemos encontrar una pareja (b, c) ∈ S, entonces (a, c) ∈ S ◦ R.
Ejemplo 5.6. Sea R = {(1, 2), (2, 3), (3,4)} y S = {(1, 0), (2, 1), (3, 2)} relaciones definidas en Z.
Entonces las composiciones resultan
S ◦ R = {(1, 1), (2, 2)}
y
R ◦ S = {(2, 2), (3, 3)}.
Esto en particular muestra que en general la composición no es conmutativa, i.e., R ◦ S 6= S ◦ R.
De manera similar, podemos calcular
R ◦ R = {(1, 3), (2, 4)}
y
S ◦ S = {(2, 0), (3, 1)}
La composición entre relaciones presenta un sin número de propiedades, sin embargo una de las
más relevantes es el hecho de ser asociativa como operación.
Teorema 5.1. Sean R1 ⊆ A × B, R2 ⊆ B × C y R3 ⊆ C × D. Entonces,
R3 ◦ (R2 ◦ R1 ) = (R3 ◦ R2 ) ◦ R1 .
2
Demostración. Comencemos notando que, tanto R3 ◦ (R2 ◦ R1 ) como (R3 ◦ R2 ) ◦ R1 son relaciones
definidas de A en D, por lo que el enunciado anterior tiene sentido.
Mostraremos primero que
R3 ◦ (R2 ◦ R1 ) ⊆ (R3 ◦ R2 ) ◦ R1 .
Si (a, d) ∈ R3 ◦(R2 ◦R1 ), entonces existe c ∈ C de forma que (a, c) ∈ R2 ◦R1 y (c, d) ∈ R3 . Igualmente,
existe un elemento b ∈ B de forma que (a, b) ∈ R1 y (b, c) ∈ R2 pues tenemos (a, c) ∈ R2 ◦ R1 . En
tal caso, como c satisface que (b, c) ∈ R2 y (c, d) ∈ R3 , debemos tener (b, d) ∈ R3 ◦ R2 . De la misma
forma, como b satisface que (a, b) ∈ R1 y (b, d) ∈ R3 ◦ R2 , debemos tener (a, d) ∈ (R3 ◦ R2 ) ◦ R1 .
En ese caso R3 ◦ (R2 ◦ R1 ) ⊂ (R3 ◦ R2 ) ◦ R1 .
La contención
(R3 ◦ R2 ) ◦ R1 ⊆ R3 ◦ (R2 ◦ R1 )
se prueba de manera similar y en ese caso
R3 ◦ (R2 ◦ R1 ) = (R3 ◦ R2 ) ◦ R1 .
Ejercicios
Ejercicio 5.1. Sea A = {1, 2, 3}. Determina el dominio y la imagen de las siguientes relaciones
definidas de A en A.
a) R1 = {(1, 1), (2, 3), (3, 3)}. c) R3 = {(1, 1), (2, 3), (3, 3)}.
b) R2 = {(1, 1), (2, 2), (2, 3)}. d) R4 = {(1, 3), (3, 2), (2, 2)}.
Ejercicio 5.2. Usando las relaciones del ejercicio 5.1 calcula las siguientes composiciones de relacio-
nes.
a) R1 ◦ R2 . c) R1 ◦ R2 ◦ R3 .
b) R2 ◦ R1 . d) R2 ◦ R1 ◦ R3 ◦ R4 .
Ejercicio 5.3. Para cada relación del ejercicio 5.1 determina si ésta es una función.
Ejercicio 5.4. Determina si las siguientes relaciones definidas de Z en Z son o no funciones. Argu-
menta tu respuesta.
7
Referencias
[Gri97] Grimaldi, Ralph P.: Matemáticas discreta y combinatoria. Addison Wesley Iberoamericana, 3a edición, 1997.
[Gó07] Gómez Laveaga, Carmen: Introducción a la Teorı́a Intuitiva de Conjuntos. Las prensas de Ciencias, 2007.
[Hal66] Halmos, Paul Richard: Teorı́a Intuitiva de Conjuntos. Compañia Editorial Continental, 1966.
[Sig76] Sigler, L. E.: Exercises in set theory. Springer-Verlag, 1976.
Eduardo
c Antonio Gomezcaña Alanis. Versión 04df005 (2019-08-19 08:53:13 -0500)
Esta obra está licenciada bajo la Licencia Creative Commons Atribución-NoComercial-CompartirIgual
4.0 Internacional. Para ver una copia de esta licencia, visita http://creativecommons.org/licenses/
by-nc-sa/4.0/.
8