60 Capítulo 2.

Relaciones y geometría analítica bidimensional

2.1 Relaciones reales

2.1.1 Producto cartesiano, par ordenado
Definición 2.1.1 — Producto cartesiano. Sean A y B conjuntos no vacíos, el producto
Cartesiano (o el producto directo) de A y B es el conjunto

A × B = {(a, b)|a ∈ A, b ∈ B}

El producto Cartesiano A × A es denotado por A2 , el producto Cartesiano A × A × A es

denotado por A3 , en general:

An = A {z· · · × A} = {(a1 , a2 , . . . , an ) |ai ∈ A para i = 1, 2, . . . , n}

| ×A×
n veces

El producto Cartesiano lleva el nombre del filósofo y matemático Rene Descartes.

Los elementos de A × B se llaman pares ordenados porque su orden es importante:

(a, b) 6= (b, a)

Los elementos a y b son las coordenadas del par ordenado (a, b); la primera componente
es a y la segunda componente es b.
De esta forma, dos pares ordenados (a1 , b1 ) y (a2 , b2 ) son iguales si sus correspondien-
tes componentes son iguales. Es decir,

(a1 , b1 ) = (a2 , b2 ) si y solamente si a1 = a2 ∧ b1 = b2

Ejemplo 2.1 Dados: A = {1, 3} B = {2, 4, 8}

Determinar:
1. A × B
2. B × A
3. A × A
4. B × B
Solución


Ejemplo 2.2 Dados: A = [1, 3] B = [1, 4]

Determinar: A × B =
Solución
 2.1 Relaciones reales 61

Ejemplo 2.3 Dados: A = [2, 4]B = [2, 5]

Determinar: A × B =
Solución


2.1.2 Definición de relaciones binarias, dominio y rango

Definición 2.1.2 Dados dos conjuntos A y B, no vacíos, se llama relación binaria de A
en B a todo subconjunto R de A × B. Esto es:

R es una relación de A en B, si y sólo si R ⊂ A × B

Ejemplo 2.4 Sean A = {0, 1, 2} y B = {a, b}. Entonces R = {(0, a), (0, b)(1, a), (2, b)}
es una relación de A en B?
Solución


Nota Si A= B, entonces R es una relación en A, o R es una relación entre elementos de A.

Si R es una relación entre elementos de A y B, al conjunto A le llamaremos conjunto
de partida y al conjutno B le llamaremos conjunto de llegada.

Dominio y Rango de una relación

Definición 2.1.3 Si R es una relación de A en B, el DOMINIO de R es el conjunto de

las primeras componentes de los pares ordenados de R, esto es:

Dom(R) = {x ∈ A/∃y ∈ B ∧ (x, y) ∈ R}

Si R es una relación de A en B, el RANGO de R es el conjunto de las segundas

componentes de los pares ordenados de R, esto es:

Ran(R) = {y ∈ B/∃x ∈ A ∧ (x, y) ∈ R}

62 Capítulo 2. Relaciones y geometría analítica bidimensional

Ejercicios
Ejercicio 2.1 Determinar los elementos de cada relación de A = {1, 3, 5} en B =
{3, 4, 8} y el dominio y rango.
a) R1 = {(a, b)/a < b} d) R4 = {(a, b)/a + b ≤ 3}
b) R2 = {(a, b)/b = a + 1} e) R5 = {(a, b)/a = b} 

c) R3 = {(a, b)/a + b = 5} f) R6 = {(a, b)/a 6= b}

Ejercicio 2.2 Determinar si cada una de las siguientes relaciones, definidas sobre
A = {1, 2, 3, 4}, es reflexiva? Simétrica? Transitiva?
a) R1 = {(a, b)/a < b} d) R4 = {(a, b)/a + b ≤ 3}
b) R2 = {(a, b)/b = a + 1} e) R5 = {(a, b)/a = b} 

c) R3 = {(a, b)/a + b = 5} f) R6 = {(a, b)/a = b}

Ejercicio 2.3 Se definen las relaciones R y S sobre R como sigue:

R = {(x, y) ∈ R × R | x < y} y
S = {(x, y) ∈ R × R | x = y}

Es decir, R es la relación "menor que S es la relación ïgual.en R. Trace la gráfica de

2

R, S, R ∪ S y R ∩ S en el plano cartesiano. 

Ejercicio 2.4 Se definen las relaciones R y S sobre R como sigue:

R = (x, y) ∈ R × R | x2 + y2 = 4

y
S = {(x, y) ∈ R × R | x = y}

Trace la gráfica de R, S, R ∪ S y R ∩ S en el plano cartesiano. 

Ejercicio 2.5 Se definen las relaciones R y S sobre R como sigue:

R = {(x, y) ∈ R × R|y = |x |} y
S = {(x, y) ∈ R × R | y = 1}

Trace la gráfica de R, S, R ∪ S y R ∩ S en el plano cartesiano. 

2.1 Relaciones reales 63

Tipos de relaciones
Cuando R es una relación de A en A, esto es: R ⊂ A × A, entonces se dice que R es una
relación en A. Si R es una relación en A, se definen las relaciones: reflexiva, simétrica,
transitiva y de equivalencia.
Relación Reflexiva
R es una relación REFLEXIVA en A si y sólo si (x, x) ∈ R, para todo x ∈ A.
Relación Simétrica
R es una relación SIMÉTRICA en A si y sólo si (x, y) ∈ R implica (y, x) ∈ R, para todo
(x, y) ∈ R.
Relación Simétrica
R es una relación TRANSITIVA en A si y sólo si (x, y) ∈ R ∧(y, z) ∈ R implica (x, z) ∈ R.
Relación Equivalencia
R es una relación EQUIVALENCIA en A si y sólo si R reflexiva, simétrica y transiti-
va.
Ejercicio 2.6 Sea A = {0, 1, 2, 3} y defina las relaciones R, S y T sobre A como sigue:

1. R = {(0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (2, 2), (3, 0), (3, 3)},

2. S = {(0, 0), (0, 2), (0, 3), (2, 3)},

3. T = {(0, 1), (2, 3)}

a) Es R reflexiva? Simétrica? Transiti- c) Es S reflexiva? Simétrica? Transiti-
va? va?
b) Es T reflexiva? Simétrica? Transiti- d) Es T reflexiva? Simétrica? Transiti-


va? va?