Fundamentos de la Matemática Profesorado Semipresencial

RELACIONES

Definición de par ordenado.

Es común decir que un par ordenado es un conjunto de dos elementos que se toman en cierto orden.
El par ordenado se escribe nombrando esos dos elementos entre paréntesis (a, b) . Al elemento a se
le llama primera componente del par ordenado y el elemento b es la segunda componente.

Queremos definir par ordenado de modo que se cumpla que (a, b)  (b, a) si a  b , por eso no
podemos definir el par ordenado (a, b) como el conjunto {a, b} ya que {a, b} = {b, a} .

Una posible definición de par ordenado es la siguiente:

Dados dos elementos de cualquier naturaleza a y b , llamamos par ordenado de primera

componente a y segunda componente b , al conjunto que denotaremos (a, b) y definiremos de la
siguiente manera:

(a, b) = {a},{a, b}

Con esta definición podemos demostrar que si a  b, se cumple que (a, b)  (b, a) porque:
(a, b) = {a},{a, b}
  ( (a, b) = (b, a)  {a} = {b}  a = b )
(b, a) = {b},{a, b} 


Además se cumple que: (a, b) = (c, d )  a = c  b = d (Demostración a cargo del lector).

PRODUCTO CARTESIANO DE DOS CONJUNTOS

Dados dos conjuntos A y B , llamamos producto cartesiano de A y B al conjunto, que

denotaremos A  B , cuyos elementos son todos los pares ordenados cuya primera
componente pertenece al conjunto A y segunda componente pertenece al conjunto B .

En símbolos; A  B = ( x, y ), x  A  y  B

En el caso particular que A = B , denotaremos al producto cartesiano de A por sí mismo con

A2 . Es decir, A  A = A2 .

Ejemplo:

Si A = 1, 2,3 y B = m, n , entonces A  B = (1, m), (2, m), (3, m), (1, n), (2, n), (3, n) y
B 2 = (m, m), (m, n), (n, m), (n, n)

1
Fundamentos de la Matemática Profesorado Semipresencial

Ejercicio 1

Usando los conjuntos del ejemplo anterior, hallar B  A y A2

¿ A B = B  A ?

RELACIONES ENTRE DOS CONJUNTOS

Dados dos conjuntos A y B llamamos relación de A en B y lo denotaremos R : A → B a

cualquier subconjunto del producto cartesiano de A y B .

Al conjunto A le llamamos conjunto de partida y al conjunto B le llamamos conjunto de

llegada.
Si el par ( x, y) pertenece a una relación R , decimos que “ x está relacionado con y según R ” y se
escribe xRy o R( x) = y . También decimos que “a x le corresponde y en R ” o que “ y es imagen
de x en R” o “ x es preimagen de y según R ”

En símbolos: ( x, y)  R  xRy  R( x) = y

Si A = 1, 2,3 y B = m, n , entonces algunas relaciones de A en B son, por ejemplo:

R1 : A → B, R1 = (1, m), (2, m), (1, n)
R2 : A → B, R2 = (1, m), (2, n), (3, m), (3, n)
Entonces, m y n son imágenes de 1 según R1 , 3 no tiene ninguna imagen según R1 y n es la única
imagen de 2 según R2

Cuando el conjunto de partida y de llegada es el mismo, R : A → A , decimos en forma abreviada que

es una relación definida en A .

Ejercicio 2
a) Si el conjunto A tiene 3 elementos y el conjunto B tiene 2 elementos, ¿cuántas
relaciones distintas se pueden definir de A en B ?
b) Responder la pregunta anterior, si A tiene p elementos y B tiene q elementos.
c) Si B tiene 3 elementos, ¿cuántos elementos tiene B si se pueden definir 4096 relaciones
de A en B ?

Representación de una relación

Existen diferentes formas de representar una relación entre dos conjuntos finitos: con una tabla,
mediante un diagrama de flechas o en un sistema cartesiano.
Veremos estas formas de representar una relación usando el siguiente ejemplo:

Si A = 1, 2,3 , B = a, b, c y la relación R : A → B, R = (1, a), (1, b), (2, a), (2, c), (3, c)

2
Fundamentos de la Matemática Profesorado Semipresencial

1) Representación de la relación mediante una tabla:

2) Representación de la relación mediante un diagrama de flechas, diagrama sagital:

3) Representación en un sistema cartesiano:

Ejercicio 3

Consideramos el conjunto A = 1,3, 7,8 y la relación R definida en A, aRb  a  b

1) Escribir R por extensión.

2) Representar R mediante una tabla, un diagrama sagital y en sistema cartesiano.

RELACIONES DE EQUIVALENCIA

Las relaciones de equivalencia son relaciones definidas en un conjunto que permiten clasificar los
elementos del conjunto en subconjuntos, llamados clases de equivalencia, de modo que todos los
elementos que están en la misma clase tienen alguna característica en común y eso permite definir un
nuevo concepto. A modo de ejemplo, si tenemos un conjunto de objetos materiales y los agrupamos
por su color, en cada clase estarán todos los objetos que tienen esa característica común (color)

Definición de relación de equivalencia

Dado un conjunto A no vacío y una relación R definida en A , R : A → A , decimos que R es una
relación de equivalencia, si y solo si cumple las siguientes propiedades:
1) Propiedad idéntica o reflexiva: Una relación R : A → A cumple la propiedad idéntica o
reflexiva si y solo si cada elemento de A está relacionado consigo mismo.
En símbolos: x, ( x  A  xRx )

3
Fundamentos de la Matemática Profesorado Semipresencial

2) Propiedad recíproca o simétrica: Una relación R : A → A cumple la propiedad recíproca o

simétrica si y solo si para cada elemento x de A que esté relacionado con y , se cumple que
y está relacionado con x .
En símbolos: x, x  A, y, y  A, ( xRy  yRx )
3) Propiedad transitiva: Una relación R : A → A cumple la propiedad transitiva si y solo si
para cada elemento x de A que esté relacionado con y , y si y está relacionado con z , se
cumple que x está relacionado con z .
En símbolos: x, x  A, y, y  A, z , z  A ( xRy  yRz  xRz )

Ejemplos:

Si A = 1, 2,3, 4 y consideramos las siguientes relaciones definidas en A :

R1 : A → A, R1 = (1,1), (1, 2), (2,1)
R2 : A → A, R2 = (1,1), (2, 2), (3,3), (4, 4), (1, 2), (2,1), (1,3)
R3 : A → A, R3 = (1,1), (2, 2), (3,3), (4, 4), (1, 2), (2,1), (1,3), (3,1)
R4 : A → A, R4 = (1,1), (2, 2), (3,3), (4, 4), (1, 2), (2,1), (1,3), (3,1), (2,3), (3, 2)

R1 no es una relación de equivalencia porque no cumple la propiedad idéntica, ya que si bien

1R11 , podemos ver que 2 no está relacionado consigo mismo y por lo tanto no se cumple que
todos los elementos del conjunto estén relacionados consigo mismo. Alcanza que un
elemento del conjunto no se relacione consigo mismo para decir que no se cumple la
propiedad idéntica.

R2 cumple la propiedad idéntica, porque 1R21  2 R2 2  3R2 3  4 R2 4 . Pero no es una relación

de equivalencia porque no cumple la propiedad recíproca, ya que 1R2 3  3 R21 .

R3 cumple la propiedad idéntica, por la misma razón que R2 . También cumple la propiedad
recíproca y para probarlo, vamos a buscar los pares ordenados que verifiquen el antecedente
del condicional: xRy  yRx , ya que, si el antecedente es falso, el condicional será
verdadero.
Además, si x = y , el condicional anterior queda con antecedente igual a consecuente, con
igual valor de verdad y, por lo tanto, el condicional será verdadero.
Entonces, debemos buscar los pares que verifiquen el antecedente del condicional
mencionado antes, con x  y
Tenemos cuatro pares en esas condiciones: (1,2), (2,1), (1,3) y (3,1)
1R3 2  2 R31 1R3 3  3R31
2 R31  1R3 2 3R31  1R3 3
Concluimos entonces, que R3 cumple la propiedad recíproca.

4
Fundamentos de la Matemática Profesorado Semipresencial

Pero no es una relación de equivalencia porque no cumple la propiedad transitiva, ya que

2 R31  1R3 3, pero 2 R3 3
R4 es una relación de equivalencia porque:
1) Cumple la propiedad idéntica: 1R41  2 R4 2  3R4 3  4 R4 4
2) Cumple la propiedad recíproca:
1R4 2  2 R41, 2 R41  1R4 2, 1R4 3  3R41, 3R41  1R4 3, 2R4 3  3R4 2, 3R4 2  2 R4 3
3) Cumple la propiedad transitiva:
Para demostrar que se cumple la transitiva tenemos que buscar todos los pares que
verifiquen el antecedente del condicional xRy  yRz  xRz
1R4 2  2 R41  1R41 1R4 3  3R41  1R41 2 R4 3  3R41  2 R41
1R4 2  2 R4 3  1R4 3 1R4 3  3R4 2  1R4 2 2 R4 3  3R4 2  2 R4 2
2 R41  1R4 2  2 R4 2 3R41  1R4 2  3R4 2 3R4 2  2 R41  3R41
2 R41  1R4 3  2 R4 3 3R41  1R4 3  3R4 3 3R4 2  2 R4 3  3R4 3

Representaremos esta relación en un diagrama sagital. Como es una relación definida en A

representamos una sola vez el conjunto A y cada flecha representa un par ordenado:

Clases de equivalencia

Sean un conjunto A, A   y una relación R definida en A . Si a es un elemento del conjunto A ,

definimos clase de equivalencia del elemento a al conjunto, que notaremos Ca o  a  , formado por
todos los elemento de A que están relacionados con a según R .

En símbolos:  a  =  x  A, xRa

En el ejemplo anterior, según R4 tenemos que:

1 = 1, 2,3} ,  2 = 1, 2,3} , 3 = 1, 2,3} y  4 = 4

Propiedades de las clases de equivalencia:

1) Ninguna clase es vacía.
Demostración:
Por la propiedad idéntica, a, a  A  aRa  a [a]  [a]  
2) aRb  [a] = [b]
Demostración del directo:

5
Fundamentos de la Matemática Profesorado Semipresencial

Tenemos que demostrar que, aRb  [a] = [b] , y para demostrar que dos conjuntos son
iguales, debemos demostrar la doble inclusión:
1) x  [a]  x  [b]
[a] = [b]  
2) x  [b]  x  [a]
Entonces,
1) x  [a]  xRa  xRb  x  [b]
def.clase además por def.clase
hipótesis aRb
prop.transitiva

2) x  [b]  xRb  xRa  x  [a]

def.clase además por def.clase
hipótesis aRb  bRa
recíproca
prop.transitiva

Por lo tanto, [a] = [b]

Demostración del recíproco:

Tenemos que demostrar que [a] = [b]  aRb

[a] = [b]  a  [b]  aRb

a[ a ] def .clase

Dos elementos que pertenecen a la misma clase de equivalencia se llaman equivalentes

3) aRb  [a] [b] = 

Demostración, por reducción al absurdo.

c  [a ]  cRa  aRc
 propiedad
recíproca

Suponemos que [a]  [b]    c, c  ([a ]  [b])    aRb
c  [b]  cRb
propiedad
transitiva



Pero por hipótesis sabemos que aRb , entonces llegamos a una contradicción, al suponer que
la intersección de las clases no es vacía.
Por lo tanto [a]  [b] = 

4) La unión de todas las clases es el conjunto A.

Demostración
Tenemos que demostrar que todo elemento que pertenece a la unión de las clases pertenece a
A y recíprocamente, todo elemento de A pertenece a la unión de las clases.

(1) x, x  [a]  a0  A, x  [a0 ]  x  A

aA

(2) x, x  A  a0  A, x  [a0 ]  x  [a ]

aA
puede ser a0 = x

6
Fundamentos de la Matemática Profesorado Semipresencial

De (1) y (2) concluimos que [a] = A

aA

Ejercicio 4
Investigar si las siguientes relaciones definidas en A son de equivalencia y en caso afirmativo
escribir las clases de equivalencia que se determinen:
1) A = , xRy  x + y es par
2) A = , xRy  x + y es impar
3) A = , xRy  x  y.
4) A es el conjunto de alumnos de la facultad de Ingeniería, xRy  x e y cursan por lo menos
una materia en el mismo grupo.
5) A = − {0}, xRy  xy  0

Conjunto cociente

Sean un conjunto A, A   y una relación R definida en A . Definimos conjunto cociente de A

según R , que notaremos con A / R , al conjunto de todas las clases de equivalencia que se
determinan en A por la relación R .

En símbolos: A / R =  a  , a  A

Partición de un conjunto
Dado un conjunto A no vacío, una partición de A es un conjunto o familia de subconjuntos de A
que cumplen las siguientes condiciones:
1) Cada subconjunto de la familia es no vacío.
2) Dos subconjuntos distintos cualesquiera de la familia son disjuntos.
3) La unión de todos los subconjuntos de la familia es el conjunto A .

  P( A)
X , X    X  

 es una partición de A  X , X  , Y , Y  , X  Y  X  Y = 

 X=A
 X 

TEOREMA
Si A es un conjunto no vacío y R es una relación de equivalencia definida en A , se cumple que el
conjunto cociente A / R es una partición de A .

7
Fundamentos de la Matemática Profesorado Semipresencial

Probar que el conjunto cociente A / R es una partición de A , es probar que:

1) A / R  P( A) , esto se cumple porque cada clase de equivalencia, por definición es un
subconjunto de A .
2) Ninguna clase de equivalencia es vacía (propiedad 1 de las clases de equivalencia)
3) Dos clases distintas cualesquiera son disjuntas (propiedad 2 y 3 de las clases de equivalencia)
4) La unión de todas las clases de equivalencia es igual al conjunto A (propiedad 4)

TEOREMA RECÍPROCO
Si A es un conjunto no vacío y  es una partición de A , entonces puede definirse una relación de
equivalencia en A tal que su conjunto cociente sea 
Demostración
Definimos la relación R : A → A, xRy  x e y pertenecen al mismo elemento de  (los elementos
de  son subconjuntos de A )
Es fácil probar que R es de equivalencia y su conjunto cociente es  .

Ejercicio 5

Sean A = a, b, c, d  y  = a, c , b, d 

a) ¿  es una partición de A ? Justifica.

b) Si es posible, determina por extensión una relación de equivalencia definida en A tal que 
sea su conjunto cociente.

Ejercicio 6
2
Sea el conjunto de los números reales y las siguientes relaciones definidas en :
a) S : (a, b)S (c, d )  a + b = c + d
b) T : (a, b)T (c, d )  a = c
c) H : (a, b) H (c, d )  a 2 + b 2 = c 2 + d 2

1) Demostrar que son relaciones de equivalencia.

2) Hallar las clases del (0,0) y las del (3,-1) en cada relación. Representarlas gráficamente.
3) Interpretar geométricamente el conjunto cociente en cada caso.

Ejercicio 7
En el conjunto de los números reales, se define la relación: R : aRb  a 2 − b2 = 5a − 5b

a) Demostrar que es una relación de equivalencia.

8
Fundamentos de la Matemática Profesorado Semipresencial

b) Hallar las clases de: 2, -1 y de ½

c) ¿Existe alguna clase con un solo elemento? Justificar.

Ejercicio 8

Sean los conjuntos A = {a, b, c, d} y B = {b, c} . Se considera la relación R definida en el conjunto de

partes de A tal que XRY  X  B = Y  B

a) Probar que es una relación de equivalencia.

b) Hallar la clase de {a, b, d}
c) Determinar por extensión el conjunto cociente: P( A) / R

Ejercicio 9: DEFINICIÓN DE NÚMERO ENTERO POR ABSTRACCIÓN

Sea la relación R : 2
→ 2
, tal que (a, b) R(c, d )  a + d = b + c

1) Probar que es una relación de equivalencia.

2) Llamamos representante canónico de una clase de equivalencia al par ordenado de la clase
que tenga por lo menos una componente 0. Hallar el representante canónico de la clase de los
siguientes pares: (2,7), (5,5), (6,2)
3) Hallar tres pares que pertenezcan a la clase del (0,7)

Decimos que cada clase de equivalencia determinada por la relación anterior es un nuevo objeto
matemático que llamamos número entero. El número entero cuyo representante canónico es el
par con primera componente distinta de 0, decimos que es un entero positivo y lo denotamos
(a, 0) = a . Si la segunda componente del representante canónico es distinta de 0, decimos que es

un entero negativo y lo denotamos (0, b) = −b . Si las dos componentes del representante

canónico son iguales a 0, el par (0,0) representa al entero 0. Por lo tanto, el conjunto cociente
2
/R= , conjunto de los números enteros.

Ejercicio 10 : DEFINICIÓN DE NÚMERO RACIONALES POR ABSTRACCIÓN

Sea la relación R :  * →  *, tal que (a, b) R(c, d )  a  d = b  c

1) Probar que es una relación de equivalencia.

2) Hallar las clases de los siguientes pares: (2,1), (-1,2), (-1,-2)

9
Fundamentos de la Matemática Profesorado Semipresencial

El conjunto cociente en este caso es el conjunto de los números racionales. Habitualmente

escribimos estos pares ordenados se llaman fracciones.

RELACIONES DE ORDEN

Definición 1
Dado un conjunto A no vacío y una relación R definida en A , R : A → A , decimos que R es una
relación de orden amplio, si y solo si cumple las siguientes propiedades:
1) Propiedad idéntica o reflexiva: Una relación R : A → A cumple la propiedad idéntica o
reflexiva si y solo si cada elemento de A está relacionado consigo mismo.
En símbolos: x, ( x  A  xRx )
2) Propiedad antisimétrica: Una relación R : A → A cumple la propiedad antisimétrica si y
solo si para cada par x e y , si x está relacionado con y e y está relacionado con x , se
cumple que x e y son iguales.
En símbolos: x, x  A, y, y  A, ( ( xRy  yRx )  x = y )
3) Propiedad transitiva: Una relación R : A → A cumple la propiedad transitiva si y solo si
para cada elemento x de A que esté relacionado con y , y si y está relacionado con z ,
se cumple que x está relacionado con z .
En símbolos: x, x  A, y, y  A, z, z  A ( ( xRy  yRz )  xRz )

Si la relación R : A → A es de orden amplio, decimos que A es un conjunto ampliamente

ordenado por la relación R

Ejemplo:
La relación  : → es de orden amplio porque:
1) n, n  , n  n , cumple la propiedad idéntica.
2) n  m  m  n  m = n , cumple la propiedad antisimétrica.
3) n  m  m  p  n  p , cumple la propiedad transitiva.

Por lo tanto, es un conjunto ampliamente ordenado por la relación  .

Definición 2
Dado un conjunto A no vacío y una relación R definida en A , R : A → A , decimos que R es una
relación de orden estricto, si y solo si cumple las siguientes propiedades:
1) Propiedad inidéntica: Una relación R : A → A cumple la propiedad inidéntica si y solo si
ningún elemento de A está relacionado consigo mismo.
En símbolos: x, ( x  A  xRx )

10
Fundamentos de la Matemática Profesorado Semipresencial

2) Propiedad asimétrica: Una relación R : A → A cumple la propiedad asimétrica si y solo si

para cada par x e y distintos, si x está relacionado con y entonces y no está relacionado
con x .
En símbolos: x, x  A, y, y  A, x  y, ( xRy  yRx )
3) Propiedad transitiva: Una relación R : A → A cumple la propiedad transitiva si y solo si
para cada elemento x de A que esté relacionado con y , y si y está relacionado con z , se
cumple que x está relacionado con z .
En símbolos: x, x  A, y, y  A, z, z  A ( ( xRy  yRz )  xRz )

Si la relación R : A → A es de orden estricto, decimos que A es un conjunto estrictamente

ordenado por la relación R

Ejemplo:
La relación < : → es de orden amplio porque:
1) n, n  , n  n , cumple la propiedad inidéntica.
2) n  m  m  n , cumple la propiedad asimétrica.
3) n  m  m  p  n  p , cumple la propiedad transitiva.

Por lo tanto, es un conjunto estrictamente ordenado por la relación <.

Definición 3
Dado un conjunto A no vacío, una relación de orden (amplio o estricto) R definida en A y dos
elementos a y b de A , decimos que a y b son comparables si y solo si aRb o bRa .

Definición 4
Dado un conjunto A no vacío y una relación de orden amplio R definida en A , decimos que R es
una relación de orden total, si y solo si todo par de elementos de A son comparables.
Pero, si existe algún par de elementos de A no comparables, la relación es de orden parcial.

Ejercicio 10
Investigar en cada caso si la relación R es una relación de orden amplio o estricto. Cuando
corresponda, indicar si es total o parcial.
1) R : *, aRb  k  , a = b.k

11
Fundamentos de la Matemática Profesorado Semipresencial

2) R : 2n , n   , aRb  k  , a = b.k

3) A = {1, 2,3, 4}, R : P( A) tal que XRY  X  Y
4) Sea la relación R definida en A = {a, b, c, d , e, f } mediante
el gráfico adjunto.

a) Comprobar que R no es de orden.

b) Agregar a R el menor número de pares ordenados
posible, para que la relación así obtenida sea de orden
amplio.
c) ¿La nueva relación es total o parcial?

Para la elaboración de estas notas se utilizaron los siguientes materiales:

Franco, G, Olave, M. y Vitabar, F. (2015). ¿Cuál es el título de este libro? Montevideo: Palíndromo.

Grimaldi, R. (1997). Matemáticas discreta y combinatoria. México: Pearson Educación.

Milano, A. (2020). Relaciones. Montevideo.

Osín, L. (1975). Introducción al análisis matemático. Buenos Aires: Kapelusz.

Rojo, A. (1996). Algebra I. Buenos Aires: El Ateneo.

Siberio, D. (2003). Notas de Álgebra 1. Montevideo: Publicaciones del CEIPA

12