UNIDAD 2 - RELACIONES Y FUNCIONES

Introducción:
Producto cartesiano de conjuntos
Relaciones
Relación inversa

Las relaciones consideran la existencia o inexistencia de cierta conexión entre pares de

objetos que se disponen en un orden definido.

Una relación se define en términos de pares ordenados

Un par ordenado de elementos a y b donde a es el primer elemento y b es el segundo, se

denota por (a,b).

si y sólo si a = c y b = d. Así, (a, b) = (b, a), a menos que a = b.

En los conjuntos el orden de los elementos es irrelevante. {3,5} = {5,3}, pero en los pares
ordenados NO.

Producto cartesiano de conjuntos:

Considerando dos conjuntos arbitrarios A y B:

- El conjunto de todos los pares ordenados (a,b), donde a ∈ A y b ∈ B se denomina

producto cartesiano de A y B. Se define como:
A × B = {(a, b) | a ∈ A y b ∈ B}

2
A menudo, en vez de A × A se escribe 𝐴
Ejemplo:

Sean A = {1, 2} y B = {a, b, c}

A x B = { (1,a), (1,b), (1,c), (2,a), (2,b), (2,c)}

B x A = {(a,1), (a,2), (b, 1), (b,2), (c,1), (c,2)}
A x A = {(1,1), (1,2), (2,1), (2,2)}
 Propiedades
Para conjuntos finitos:
● A ≠ B y A × B ≠ ∅ ⇒ A × B ≠ B×A. El producto cartesiano tiene que ver con pares
ordenados, por consiguiente: el orden en que se consideran los conjuntos es
importante.
● A×B=B×A⇔A=B
● (a, b) ∉ A × B ⇔ a ∉ A ∨ b ∉ B
● A×∅=∅×A=∅
● A × (B × C) ≠ (A × B) × C

Cardinalidad de A x B:
#(A x B) = #(A) #(B)

Si A y B son finitos arbitrarios, se tiene para un par ordenado (a,b) en A x B, #(A) formas de
elegir a ∈ A y para cada una de estas hay #(B) formas de elegir b ∈ B.

Relaciones
Relación = Dados dos conjuntos A y B: una relación binaria R, es un subconjunto de A x B. Si
R es una relación de A a B. Entonces R es un conjunto de pares ordenados donde el primer
elemento proviene de A y el segundo proviene de B.
R: A → B ⇔ R ⊆ A × B
(a,b) ∈ R, ⇔ a R b

➔ (a, b) ∈ R: “a está relacionado con b”, se escribe aRb.

➔ (a,b) ∉ R: “a no está relacionado con b”, se escribe a℟b.

Dominio y Rango

- El dominio (de partida) de una relación es el conjunto de todos los primeros

elementos de los pares ordenados que pertenecen a R:

D(R) = {a| aRb}

- Imagen es el conjunto (de llegada) formado por todos los segundos elementos o
segundos componentes de la relación:

I(R) = {b| aRb}

Sean A = {1,2,3} y B = {x,y,z}, y sea R = {(1,y),(1,z),(3,y)}. Entonces R es una relación de A a B,

puesto que R es un subconjunto de A × B. Con respecto a esta relación:
 1Ry, 1Rz, 3Ry, pero 1 ̸R x, 2 ̸R x, 2 ̸R y, 2 ̸R z, 3 ̸R x, 3 ̸R z,
El dominio de R es {1,3} y el rango es {y,z}.

La inclusión de conjuntos ⊆ es una relación sobre cualquier colección de conjuntos, ya que,

dado cualquier par de conjuntos A y B, se tiene A ⊆ B o A ⊈ B.

Relación Inversa
= mantengo las mismas componentes del par ordenado pero doy vuelta el orden.
(1,z) → (z,1)
−1
Sea R cualquier relación de un conjunto A a un conjunto B. La relación inversa de R, 𝑅 , es
la relación de B a A que consta de los pares ordenados que, cuando se invierten, pertenecen
a R:
−1
𝑅 = {(b, a)|(a, b) ∈ R}

−1 −1
● si R es cualquier relación, entonces (𝑅 ) =R
−1
● el dominio y el rango de 𝑅 son iguales, respectivamente, al rango y al dominio de
R:
−1 −1
D(𝑅 ) = I (R) ∧ I (𝑅 ) = D(R)
−1
● si R es una relación sobre A, entonces 𝑅 también es una relación sobre A.

Relaciones:
Representación gráfica de las relaciones
Composición de relaciones

● Sea S una relación sobre el conjunto R, i.e. S ⊆ R2 = R × R.

S = {(x, y) ∈ R2|E(x, y) = 0}. (E(x, y) = x2 + y2 − 25 = 0.)
La representación gráfica de la relación es la gráfica de la relación S:
 ❖ Gráfica dirigida: se escriben los elementos del conjunto, y luego se traza una flecha
desde cada elemento x hasta cada elemento y, siempre que x esté relacionado con y:
A = {1, 2, 3,4}, luego:
R = {(1,2), (2,2), (2,4), (3,2), (3,4), (4,1), (4,3)}

Otras formas de representación gráfica =

❖ Matriz relacional: los renglones representan los elementos de A y las columnas los
elementos de B. En cada posición del arreglo se escribe 1 o 0 según a ∈ A esté o no
relacionado con b ∈ B.
❖ Diagrama sagital: Los elementos de A y de B se escriben en dos óvalos ajenos y luego
se traza una flecha de a ∈ A a b ∈ B siempre que a esté relacionado con b.

Composición de relaciones

Tenemos los conjuntos A, B y C, R una relación de A a B y S una relación de B a C. Es decir:

R⊆A×ByS⊆B×C

Entonces R y S originan una relación de A a C denotada por R ◦ S y definida por:

a(R ◦ S)c si para alguna b ∈ B se tiene aRb y bSc
Entonces =
R ◦ S = {(a, c)| ∃ b ∈ B para la cual (a, b) ∈ R y (b, c) ∈ S}. La relación R ◦ S se denomina
composición de R y S.

Ejemplo:
Sea A = {1, 2, 3, 4}, B = {a, b, c, d}, C = {x, y, z} y sea
R = {(1,a), (2,d), (3,a), (3,b), (3,d)} y S = {(b,x), (b,z), (c,y), (d,z)}
Definición:
Dado un conjunto A y una relación sobre A, definimos las potencias de R en forma recursiva
como:
1 + 𝑛 +1 𝑛
a) 𝑅 = R; y b) para n ∈ 𝑍 : 𝑅 =R◦𝑅
Ejemplo =

Teorema
Sean A, B, C y D conjuntos. Suponga que R es una relación de A a B, S es una relación de B a
C y T es una relación de C a D. Entonces:
(R◦S)◦T = R◦(S◦T)

Clasificación de relaciones:
Reflexivas
Simétricas
Transitivas
Reflexivas
1) Relación Reflexiva:
Una relación en un conjunto A es reflexiva si cada elemento de A está relacionado consigo
mismo. Formalmente, una relación R en un conjunto A es reflexiva si para todo x
perteneciente a A, se cumple que (x, x) está en R.
Por ejemplo, en el conjunto de todos los números naturales, la relación "ser mayor o igual
que" es reflexiva, ya que cada número natural es mayor o igual que sí mismo.
∀ a ∈ A: (a,a) ∈ R, o aRa

2) Relación Anti-Reflexiva:
Una relación en un conjunto A es anti-reflexiva si ningún elemento está relacionado
consigo mismo. Formalmente, una relación R en un conjunto A es anti-reflexiva si para todo
x perteneciente a A, (x, x) no está en R.
Por ejemplo, la relación "ser estrictamente menor que" en el conjunto de números naturales
es anti-reflexiva, ya que ningún número natural es estrictamente menor que sí mismo.
∀ a ∈ A: (a,a) ∉ R, o a R a, ∄a ∈ A: (a,a) ∈ R

3) Relación No Reflexiva:
Una relación en un conjunto A es no reflexiva si algunos elementos pueden estar
relacionados consigo mismos, pero no todos. Formalmente, una relación R en un conjunto A
es no reflexiva si existe al menos un x perteneciente a A tal que (x, x) no está en R.
Por ejemplo, la relación “ser más caro que” y tomamos dos productos, A y B, es posible que
el producto A sea más caro que el producto B, pero A no puede ser más caro que sí mismo.
Por lo tanto, la relación "ser más caro que" en este contexto es no reflexiva.
∃a ∈ A, (a,a) ∉ R
En resumen:
- Una relación reflexiva tiene todos los elementos relacionados consigo mismos.
- Una relación anti-reflexiva no tiene ningún elemento relacionado consigo mismo.
- Una relación no reflexiva tiene al menos un elemento que no está relacionado consigo
mismo, pero algunos otros elementos pueden estarlo.

Simétricas
1) Relación Simétrica:
Una relación en un conjunto A es simétrica si para cualquier par ordenado (a, b) en la
relación, también existe el par ordenado (b, a). En otras palabras, si (a, b) pertenece a la
relación, entonces (b, a) también pertenece a la relación.
Por ejemplo, considera la relación "ser hermano de" en un conjunto de personas. Si Juan es
hermano de María, entonces automáticamente María es hermana de Juan. Esta relación es
simétrica.
∀a, b ∈ A : (a, b) ∈ R ⇒ (b, a) ∈ R
2) Relación Asimétrica:
Una relación en un conjunto A es asimétrica si para cualquier par ordenado (a, b) en la
relación, si (a, b) pertenece a la relación, entonces (b, a) no puede pertenecer a la relación.
Por ejemplo, la relación "ser mayor que" en el conjunto de números naturales es
asimétrica. Si 5 es mayor que 3, entonces 3 no puede ser mayor que 5. No puede haber un
ciclo de relación donde ambos elementos se refieran uno al otro.
 ∀a, b ∈ A : (a, b) ∈ R ⇒ (b, a) ∉ R

3) Relación Anti-Simétrica:
Una relación en un conjunto A es antisimétrica si para cualquier par de elementos distintos
a y b en la relación, si (a, b) pertenece a la relación y (b, a) también pertenece a la relación,
entonces a y b deben ser iguales.
Por ejemplo, en el conjunto de todos los estudiantes en una clase y la relación "ser más alto
que". Esta relación es antisimétrica porque si un estudiante A es más alto que un estudiante
B y al mismo tiempo, el estudiante B es más alto que el estudiante A, entonces A y B deben
tener la misma altura.
∀a, b ∈ A, (a,b) ∈ R ∧ (b,a) ∈ R ⇒ a = b

En resumen:
- Una relación es simétrica si es bidireccional.
- Una relación es asimétrica si es unidireccional y no puede haber un ciclo.
- Una relación es antisimétrica si no puede haber dos elementos distintos relacionados en
ambas direcciones, a menos que sean iguales.

Tener en cuenta que las propiedades de simétrica y antisimétrica no son negaciones entre sí
y además “no simétrico” no es sinónimo de “antisimétrico”.

Ejemplo: La relación R = {(1, 3), (3, 1), (2, 3)} no es simétrica ni antisimétrica.
Por otra parte, la relación R′ = {(1, 1), (2, 2)} es tanto simétrica como antisimétrica.

Transitivas
1) Relación Transitiva:
Una relación en un conjunto A es transitiva si, siempre que a esté relacionado con b y b esté
relacionado con c, entonces a también está relacionado con c. En otras palabras, si (a, b) y
(b, c) pertenecen a la relación, entonces (a, c) también debe pertenecer a la relación.
∀a, b, c ∈ A: (a,b) ∈ R ∧ (b,c) ∈ R ⇒ (a,c) ∈ R
2) Relación No Transitiva:
Una relación en un conjunto A es no transitiva si existen elementos a, b y c tal que a está
relacionado con b, b está relacionado con c, pero a no está relacionado con c.
∀a, b, c ∈ A: (a,b) ∈ R ∧ (b,c) ∈ R ⇒ (a,c) ∉ R

La propiedad de transitividad también se expresa en términos de la composición de

2
relaciones: si R es una relación sobre A, se definió 𝑅 = R◦R y, de manera más general,
𝑛 𝑛−1
𝑅 = 𝑅 ◦R.
Entonces se tiene el siguiente resultado:
𝑛
Teorema = Una relación R es transitiva si y sólo si para toda n ≥ 1, se tiene 𝑅 ⊆ R.
Relaciones de equivalencias:
Particiones y conjunto cociente.

Relación de equivalencia

Considere un conjunto S no vacío. Una relación R sobre S es una relación de equivalencia si R

es reflexiva, simétrica y transitiva.
Es decir, R es una relación de equivalencia sobre S si tiene las tres propiedades siguientes:
1) Para toda a ∈ S, aRa.
2) Si aRb, entonces bRa.
3) Si aRb y bRc, entonces aRc.
La idea general detrás de una relación de equivalencia es que es una clasificación de objetos
que de alguna manera son “semejantes”.

Particiones

Una partición P de un conjunto A es una colección {𝐴𝑖} i∈I de subconjuntos no vacíos

llamados celdas de A tal que:
● Cada a en A pertenece a uno de los 𝐴𝑖
●

● Los conjuntos {𝐴𝑖} son mutuamente disjuntos: ∀i, j ∈ I, i ≠ j : 𝐴𝑖 ≠ 𝐴𝑗 ⇒ 𝐴𝑖 ∩ 𝐴𝑗= ∅

Clase de equivalencia

Suponga que R es una relación de equivalencia sobre un conjunto A. Para toda a ∈ A, sea [a]
el conjunto de elementos de x ∈ A con los que a está relacionada bajo R; es decir:
[a] = {x ∈ A | (a, x) ∈ R}

[a] se denomina clase de equivalencia de a en A; cualquier a ∈ [a] se denomina

representante de la clase de equivalencia.

Conjunto cociente
Se define conjunto cociente de A entre R a la colección de todas las clases de equivalencia
de elementos de A bajo la relación de equivalencia R:

A/R = {[a] | a ∈ S}
Teorema: Sea R una relación de equivalencia sobre un conjunto A.
Entonces A/R es una partición de A. Formalmente:
- Para todo a en A, se tiene a ∈ [a].
- [a] = [b] si y sólo si (a, b) ∈ R.
- [a] = [b] o [a] ∩ [b] = ∅ i.e. son disjuntos ([a] ̸= [b] ⇒ [a] y [b] son disjuntos).

A la inversa, dada una partición 𝐴𝑖 del conjunto A, hay una relación de equivalencia R sobre
A tal que los conjuntos 𝐴𝑖 son las clases de equivalencia.

Ejemplo:
Considere la relación R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)} sobre S = {1,2,3}.
Demostrar que R es reflexiva, simétrica y transitiva. (Encontrando las clases de
equivalencia).

Resolución ((con explicaciones repaso)) =

Para demostrar que la relación R es reflexiva, simétrica y transitiva, debemos verificar cada
una de estas propiedades:

1) Reflexividad:
Una relación es reflexiva si cada elemento del conjunto está relacionado consigo mismo.
En nuestro caso, los pares en R son (1, 1), (1, 2), (2, 1), (2, 2) y (3, 3). Observamos que
todos los elementos de S están relacionados consigo mismos. Por lo tanto, la relación es
reflexiva.

2) Simetría:
Una relación es simétrica si para cada par (a, b), también está el par (b, a) en R.
Podemos ver que (1, 2) está en R, lo que implica que (2, 1) también debe estar en R para
que sea simétrica. Y de hecho, (2, 1) está presente. Del mismo modo, (2, 1) implica que (1, 2)
también debe estar en R. Entonces, la relación es simétrica.

3) Transitividad:
Una relación es transitiva si para cada par de elementos (a, b) y (b, c) en R, el par (a, c)
también está en R.
Consideremos los pares (1, 2) y (2, 1). Como dichos pares están en R, por simetría,
podemos inferir que (1, 1) y (2, 2) también están en R. Ahora, para la transitividad,
consideremos el par (1, 1) y (1, 2). Como ambos pares están en R, podemos concluir que
(1,2) también está en R. De manera similar, para los pares (2, 1) y (2, 2), como ambos están
en R, podemos inferir que (2, 1) también está en R. Por lo tanto, la relación R es transitiva.
Después para encontrar el conjunto cociente, primero necesitamos identificar las clases de
equivalencia definidas por la relación R sobre el conjunto S = {1 ,2, 3}.

Por lo tanto, las clases de equivalencia serían:

1) La clase de equivalencia de 1: {1, 2}, ya que 1 está relacionado con 2 y consigo
mismo.
2) La clase de equivalencia de 2: {1, 2} , ya que 2 está relacionado con 1 y consigo
mismo.
3) La clase de equivalencia de 3: {3}, ya que el elemento 3 no está relacionado con
ningún otro elemento.

El conjunto cociente sería entonces el conjunto de estas clases de equivalencia:

[1] = {1, 2} y [3] = {3}