Relaciones

Pares ordenados y el producto cartesiano

Vamos a aceptar la definición (intuitiva) del concepto de par ordenado como un ente formado por dos
objetos en un orden determinado, los cuales escribimos entre paréntesis y separados por comas: (a, b).

Definición. Sean (a, b) y (c, d) dos pares ordenados, decimos que ambos pares son iguales, si y solo si,
son iguales los primeros elementos y los segundos elementos, respectivamente:

(a, b) = (c, d) ↔ a = c y b = d

Definición. Sean A y B conjuntos. El producto cartesiano de A con B es el conjunto de pares ordenados

tales que el primer elemento pertenece al conjunto A y el segundo elemento pertenece al conjunto B. En
símbolos:
A × B = {(a, b) : a ∈ A y b ∈ B}

⚠ El producto cartesiano no es conmutativo, es decir, A × B ≠ B × A.

Ejemplo 1.

a) Dados los conjuntos A = {$, #} y B = {&, %, *}, entonces:

A × B = {($, &), ($, %), ($, *), (#, &), (#, %), (#, *)}

b) Consideremos el conjunto de los números reales ℝ.

Entonces, el conjunto ℝ × ℝ = {..., (0, 0), (-π, 7), (e, π), (1, 2), ...} tiene, evidentemente, infinitos
elementos.

👨🏫 Al igual que la notación que usamos para escribir el producto de dos números a · a = a², se suele
utilizar la misma notación para el producto cartesiano de un conjunto consigo mismo, es decir:

ℝ × ℝ = ℝ² se lee «erre dos» y lo conocemos como plano cartesiano

R
3,3

1 ⚠ Cada punto del plano cartesiano es un par

1 IR ordenado del producto cartesiano ℝ × ℝ.
Relaciones binarias

Definición. Sean A y B conjuntos. Una relación de A en B es cualquier subconjunto del producto

cartesiano A × B. Los conjuntos A y B son el dominio y contradominio, respectivamente, de la relación.

Cuando la relación es de A en A (dominio y contradominio iguales), decimos que se trata de una relación
sobre A.

Como una relación es un conjunto, entonces existen 2 formas de especificarla o describirla:

• Forma enumerativa: hacer una lista de sus elementos

• Forma constructiva: enunciar la propiedad que caracteriza a los elementos relacionados

Ejemplo 2. Sean A = {a, b, c} y B = {x, y} conjuntos.

Sabemos que A × B = {(a, x), (a, y), (b, x), (b, y), (c, x), (c, y)}.

Son ejemplos de relaciones los siguientes:

R₁ = Ø, se conoce como la relación vacía

R₂ = {(a, x)}

R₃ = {(a, x), (a, y), (b, x)}

👨🏫 En los ejemplos anteriores se usó la forma enumerativa de una relación.

Ejemplo 3. Definimos la relación “menor o igual” sobre el conjunto A = {1, 2, 3, 4, 5} de la siguiente

manera:
R = {(a, b) : a ≤ b}
👨🏫 Este es un ejemplo de la forma constructiva de una relación.

En lenguaje natural: R es el conjunto de pares ordenados (a, b) tales que a es menor o igual que b.

Por ejemplo, (1, 3) ∈ R y escribimos 1 ≤ 3; así también (2, 2) ∈ R y escribimos 2 ≤ 2; pero (4, 1) ∉ R.

❓ ¿Por qué sabemos que (4, 1) ∉ R?

(4, 1) ∉ R porque 4 > 1.

Ejemplo 4. Asociada a cualquier conjunto, existe una relación llamada relación identidad, la cual está
formada solamente por parejas ordenadas de objetos iguales.

Sea A = {a, e, i, o, u}. En este ejemplo la relación identidad iA es la siguiente:

iA = {(a, a), (e, e), (i, i), (o, o), (u, u)}
👨🏫 Una relación de A en B es como un tipo de “función” que asigna/empareja elementos del conjunto A
que están relacionados con elementos del conjunto B. Sin embargo, las relaciones y las funciones son
diferentes en algunos aspectos.

❓ ¿En qué se diferencian las funciones de las relaciones?

◦ Un elemento de A puede estar relacionado con más de un elemento de B
◦ Puede haber elementos de A que no están relacionados con ningún elemento de B

Propiedades de una relación sobre un conjunto

Sea A un conjunto y R una relación sobre A.

• R es reflexiva, si y solo si, ∀a ∈ A, (a, a) ∈ R

⚠ La relación es reflexiva si y solo si todo elemento del conjunto A está relacionado consigo mismo.

• R es simétrica, si y solo si, (a, b) ∈ R → (b, a) ∈ R

⚠ La relación es simétrica si se cumple que para cada pareja (a, b) en la relación, la pareja inversa (b, a)
también está en la relación.

• R es antisimétrica, si y solo si, [(a, b) ∈ R ∧ (b, a) ∈ R] → a = b, o bien, tomando la contrapositiva de

la implicación a ≠ b → [(a, b) ∉ R ∨ (b, a) ∉ R]

⚠ La relación es antisimétrica si se cumple que para cualquier par de elementos distintos del conjunto A,
las parejas (a, b) y (b, a) no pueden estar ambas en la relación.

👨🏫 Simetría y antisimetría NO son opuestos.

• R es transitiva, si y solo si, [(a, b) ∈ R ∧ (b, c) ∈ R] → (a, c) ∈ R

👨🏫 Transitivo significa “que pasa o se transfiere de uno a otro”.

⚠ La relación es transitiva si se cumple que la relación de los pares (a, b) y (b, c) “se pasa” o “se
transfiere” al par (a, c).

❓ ¿Cómo determinamos si una relación cumple o no con una propiedad determinada?

• Si “sospechamos” que se cumple una propiedad, debemos demostrarla.

• Si “sospechamos” que se no cumple una propiedad, basta con dar un contra ejemplo.

👨🏫 Notablemente, requiere menos trabajo demostrar que una propiedad no se cumple.

Ejemplo 5. Sea A = {1, 2, 3, 4, 5} un conjunto. Se define la relación R sobre A:

R = {(a, b) : a + b ≤ 6}

Determine si R es reflexiva, simétrica, antisimétrica y/o transitiva.

Reflexividad:
Por ejemplo, 5 + 5 = 10 > 6 → (5, 5) ∉ R. En conclusión, R no es reflexiva.

Simetría:
Suponemos (a, b) ∈ R → a + b ≤ 6 → b + a ≤ 6 → (b, a) ∈ R. En conclusión, R es simétrica.

conmutatividad
de la suma

Antisimetría:
Por ejemplo, 1 + 5 ≤ 6 & 5 + 1 ≤ 6 → (1, 5) ∈ R & (5, 1) ∈ R, pero 1 ≠ 5. En conclusión, R no es
antisimétrica.

Transitividad:
Por ejemplo, 3 + 1 ≤ 6 & 1 + 5 ≤ 6 → (3, 1) ∈ R & (1, 5) ∈ R, pero 3 + 5 > 6 → (3, 5) ∉ R. En conclusión,
R no es transitiva.

∴ La relación R es simétrica.