2.

4 Conceptos básicos: producto cartesiano y relación binaria

Producto Cartesiano

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

ordenados (a, b) tal que a ∈ A y b ∈ B, esto es:

A ×B = {(a, b) | a ∈ A ∧ b ∈ B}
o en la forma proposicional:

(a, b) ∈ A × B
Ejemplos 1:

Sea los conjuntos A = {1, 2} y B = {a, b, c}, su producto cartesiano es:

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

Lo podemos representar en un tablero de la siguiente manera:

c (1, c) (2, c)
b (1, b) (2, b)
a (1, a) (2, a)
A× 1 2
B

2 (a, 2) (b, 2) (c, 2)

1 (a, 1) (b, 1) (c, 1)
B× a b c
A

Una forma un poco elemental para determinar los elementos de un conjunto.

Ejemplo 2: El producto cartesiano de A = {1, 2, 3} y B = {4, 5, 6} lo determinaremos con

el siguiente tablero: (a, b)

A × 1 2 3
B
6 (1, 6) (2, 6) (3, 6)
5 (1, 5) (2, 5) (3, 5)
4 (1, 4) (2, 4) (3, 4)
Del tablero, todos los pares ordenados del producto cartesiano es:

A × B = {(1, 4), (1, 5), (1, 6), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3, 6)}

Relaciones

Una relación puede pensarse como una tabla que enumera la relación de algunos elementos
con otros (véase tabla 1). La tabla 1 muestra cuales estudiantes están asistiendo a cuáles cursos.
Por ejemplo, Bill está cursando Ciencias de la Computación y Artes, y Mary esta cursando
Matemáticas. En la terminología de las relaciones, podríamos decir que Bill está relacionado
con Ciencias de la Computación y Artes, y que Mary está relacionada con Matemáticas.

Estudiante Curso
Bill Ciencias de la Computación
Mary Matemáticas
Bill Artes
Beth Historia
Beth Ciencias de la Computación
Dave Matemáticas
Tabla 1. Relación de los estudiantes con los cursos

R = (estudiante, curso)

R = {(Bill, Ciencias de la Computación), (Mary, Matemáticas), (Bill, Artes), (Beth, Historia),

(Beth, Ciencias de la Computación), (Dave, Matemáticas)}

Por supuesto, la tabla 1 es tan solo un conjunto de pares ordenados. De manera abstracta,
definimos una relación como un conjunto de pares ordenados. En este contexto, consideramos
que el primer elemento del par ordenado se relaciona con el segundo elemento del par
ordenado.

Una relación (binaria) R de un conjunto X en un conjunto Y es un subconjunto del producto

cartesiano X × Y. Si (x, y) Є R, decimos que y R es una relación (binaria) sobre X.

El conjunto {x Є X | (x, y) Є R para algún y Є Y} es el dominio de R.

El conjunto {y Є Y | (x, y) Є R para algún x Є X} es el rango de R.

Si una relación se indica mediante una tabla, el dominio está formado por los miembros de la
primera columna y el rango consta de los miembros de la segunda columna.

Ejemplo 1: Si
 X = {Bill, Mary, Beth, Dave}

Y = {Ciencia de la Computación, Matemáticas, Arte, Historia}

nuestra relación R de la tabla 1 puede escribirse

R = {(Bill, Ciencias de la Computación), (Mary, Matemáticas), (Bill, Artes), (Beth, Historia),

(Beth, Ciencias de la Computación), (Dave, Matemáticas)}

Como (Beth, Historia) Є R podemos escribir Beth R Historia. El dominio (primera columna) de
R es el conjunto de X y el rango (segunda columna) de R es el conjunto Y.

Ejemplo 2: Sean X = {2, 3, 4} y Y = {3, 4, 5, 6, 7}

Si definimos una relación R de X en Y como

(x, y) Є R si x divide a y (con residuo igual a cero),

Obtenemos R ={(2,4), (2,6),(3,3),(3,6),(4,4)}

Si escribimos R como una tabla, obtenemos

X Y
2 4
2 6
3 3
3 6
4 4

El dominio de R es el conjunto {2, 3, 4} y el rango es el conjunto {3, 4, 6}.

2.5 Representación de las relaciones

Matrices de relaciones

Una matriz es una forma conveniente de representar una relación R de X y Y. Una

computadora puede utilizar esta representación para analizar una relación. Etiquetemos los
renglones con los elementos de X (con cierto orden arbitrario) y las columnas con los
elementos de Y (de nuevo, con cierto orden arbitrario). Entonces colocamos un 1 en el
renglón x y la columna y si x R y o un 0 en caso contrario. Esta matriz es la matriz de la
relación R (con respecto del orden dado para X y Y).

Ejemplo: La matriz de la relación R = {(1, b), (1, d), (2, c), (3, c), (3, b), (4, a)} de X = {1,
2, 3, 4} a Y = {a, b, c, d} con respecto a los ordenes 1, 2, 3, 4 y a, b, c, d es:
 a b c d
1 0 1 0 1
2 0 0 1 0
3 0 1 1 0
4 1 0 0 0

La matriz de la relación R del ejemplo anterior con respecto de los ordenes 2, 3, 4, 1 y d, b,

a, c es

R = {(1, b), (1, d), (2, c), (3, c), (3, b), (4, a)}

d b a c
2 0 0 0 1
3 0 1 0 1
4 0 0 1 0
1 1 1 0 0

Digráfica de una relación = Grafos de una relación

Sea R la relación sobre X= {1, 2, 3 ,4} definida como (x, y) Є R si x ≤ y, x Є X, y Є X. Entonces

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}

Dominio = {1,2,3,4}

Rango= {1,2,3,4}

Tanto el dominio como el rango de R son iguales a X.

Una manera útil de graficar una relación sobre un conjunto utiliza su digráfica. Para trazar las
digráficas de una relación sobre un conjunto X, primero dibujamos los puntos o vértices para
representar los elementos de X. En la figura 1 hacemos el trazo de cuatro vértices para
representar los elementos del conjunto X del ejemplo antes mencionado. A continuación, si el
elemento (x, y) está en la relación, trazamos una flecha (llamada arista dirigida) de x a y. En la
figura 1 se han trazado las aristas dirigidas que representan los miembros de la relación R del
ejemplo. Observe que un elemento (x, y) en una relación corresponde a una arista dirigida de x
a x. Dicha arista es un lazo.

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1)(2, 2), (2, 3), (2, 4), (3, 1), (3, 2),(3, 3), (3, 4), (4,1),(4, 2),
(4, 3),(4, 4)}

2.6 Propiedades de las relaciones Tipos de relaciones - YouTube

Primeramente, definamos algunas relaciones que nos serán útiles a lo largo de este tema.
Sea A = {1, 2, 3, 4} y sean:

R1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}
R2 = {(1, 1), (1, 2), (2, 1)}
R3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}
R4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
R5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)} antisimétrica,
transitiva, reflexiva
R6 = {(3, 4)}

Relación Reflexiva y Irreflexiva 

Teorema: Una relación R en un conjunto es reflexiva si y solo si la diagonal principal de la

matriz asociada a la relación tiene únicamente unos. De la misma forma es Irreflexiva si
tiene solamente ceros. 

Reflexiva: Si todo elemento en A esta relacionado consigo mismo, con símbolos:

Ejemplo 1: Sea R = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}

1 2 3 4
1 1 1 0 1
2 1 1 0 1
3 0 0 1 0
4 1 0 0 1

Ejemplo 2: Sea R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4),
(4, 4)}
1 2 3 4
1 1 1 1 1
2 0 1 1 1
3 0 0 1 1
4 0 0 0 1

Irreflexiva: Si ningún elemento en A esta relacionado consigo mismo, con símbolos:

Ejemplo 1: Sea R = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}

1 2 3 4
1 0 0 0 0
2 1 0 0 0
3 1 1 0 0
4 1 1 1 0

Ejemplo 2: Sea R = {(3, 4)}

1 2 3 4
 1 0 0 0 0
2 0 0 0 0
3 0 0 0 1
4 0 0 0 0

Relación Simétrica, Asimétrica, Antisimétrica Y Transitiva 

Teorema: Una relación R es simétrica si y solo si los elementos opuestos con respecto a la

diagonal principal son iguales.

Simétrica: Una relación R en un conjunto A es simétrica si siempre que a R b, entonces b

R a. (a, b)

Ejemplo 1: Sea R = {(1, 1), (1, 2), (2, 1)}

1 2 3 4
1 1 1 0 0
2 1 0 0 0
3 0 0 0 0
4 0 0 0 0

Asimétrica: Una relación R en un conjunto A es asimétrica si en todos los casos en que a R

b, se tiene b R a. Se desprende, entonces, que R no es asimétrica si se tiene a y b Є A con
ambos a R b y b R a.

Ejemplo 1: Sea R = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}

1 2 3 4
1 0 0 0 0
2 1 0 0 0
3 1 1 0 0
4 1 1 1 0

Ejemplo 2: Sea R = {(3, 4)}

1 2 3 4
1 0 0 0 0
2 0 0 0 0
3 0 0 0 1
4 0 0 0 0
Teorema: Una relación R en conjunto es Antisimétrica si y solo si los elementos opuestos
con respeto a la diagonal principal no pueden ser iguales a 1; esto es, puede aparecer 0 con
1 o pueden aparecer ceros.

Antisimétrica: Una relación R en un conjunto A es antisimétrica si en todos los casos en

que a R b y b R a, se tiene a= b. La contrapositiva de esta definición es que R es
antisimétrica si siempre que a=b, entonces a R b o b R a. Se desprende que R no es
antisimétrica si se tiene a y b en A, a = b, y ambas a R b y b R a.

Si cuando un elemento está relacionado con un segundo elemento diferente, el segundo no

se relaciona con el primero, con símbolos: ∀x, y, ((x, y) ∈ R ∧ (y, x) ∈ R → x = y)

Ejemplo 1: Sea R = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}

1 2 3 4
1 0 0 0 0
2 1 0 0 0
3 1 1 0 0
4 1 1 1 0

Ejemplo 2: Sea R = {(3, 4)}

1 2 3 4
1 0 0 0 0
2 0 0 0 0
3 0 0 0 1
4 0 0 0 0

Ejemplo 3: Sea R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4),
(4, 4)}
1 2 3 4
1 1 1 1 1
2 0 1 1 1
3 0 0 1 1
4 0 0 0 1

La antisimetría no es lo opuesto de la simetría.

Transitiva: Si cuando un elemento está relacionado con un segundo elemento y el segundo

está relacionado con un tercero, entonces el primero está relacionado con el tercero: 

Ejemplo 1: Sea R = {(1, 1), (1, 2), (2, 1)}

 1 2 3 4
1 1 1 0 0
2 1 0 0 0
3 0 0 0 0
4 0 0 0 0

2.7 Relaciones de equivalencia

https://www.youtube.com/watch?v=0X0SThhVY

Una relación R en un conjunto de A se llama relación de equivalencia si es reflexiva,

simétrica y transitiva.
Ejemplo 1: Sea A el conjunto de todos los triángulos del plano y sea R la relación sobre A
definida como sigue:
R = {(a, b) Є A × A| a es congruente con b}
Es fácil ver que R es una relación de equivalencia

Ejemplo 2: Sea A = {1, 2, 3, 4} y sea

R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3, 1), (3, 2), (3, 3), (4, 4)}
Es fácil verificar que R es una relación de equivalencia

Relaciones de equivalencia y particiones

Teorema: Sea P una partición de u conjunto A. Recuérdese que a los conjuntos en P se les
llama bloques de P. Se define la relación R en A como sigue:

a R b si y sólo si a y b son miembros del mismo bloque.

Entonces R es una relación de equivalencia en A.

Demostración:

1. Si a Є A, entonces es claro que a está en el mismo bloque que ella misma; por tanto,
a R b.

2. Si a R b, entonces a y b están en el mismo bloque; por tanto, b R a.

3. Si a R b y b R c, entonces a, b y c deben estar todos en el mismo bloque de P. En

consecuencia, a R c.
Puesto que R es reflexiva, simétrica y transitiva, R es una relación de equivalencia. A R se
le llamará relación de equivalencia determinada por P.

Ejemplo: Sea A = {1, 2, 3, 4} y considérese la partición P = {{1, 2, 3}, {4}} de A.

Determine la relación de equivalencia R en A determinada por P.

Solución: Los bloques P son {{1, 2, 3}, {4}}. Cada elemento de un bloque está relacionado
con cada uno de los demás elementos del mimo bloque y solamente con estos elementos.
En consecuencia, en este caso,

R = {(1, 1), (1, 2), (1, 3) (1, 4), (2, 1), (2, 2), (2, 3), (2, 4), (3, 1), (3, 2), (3, 3), (3, 4), (4, 4)}

Si P es una partición de A y R es la relación de equivalencia determinada por P, entonces los

bloques de P pueden ser descritos fácilmente en términos de R. Si, A1 es un bloque de P y a A1, se
ve por definición que A1 consta de todos los elementos x de A con a R x. Es decir, A1 = R(a). En
consecuencia, la partición P es {R(a) a Є A}. En palabras P consta de todos los conjuntos distintos
relacionados en R que tienen su origen en los elementos de A. Por ejemplo, en el ejemplo anterior
los bloques {1, 2, 3} y {4} pueden ser descritos, respectivamente como R(1) y R(4). Por supuesto,
{1, 2, 3} podría describirse también como R(2) o R(3), por tanto, esta manera de representar los
bloques no es única.

2.8 Funciones

Sea A y B conjuntos no vacíos. Una función ƒ de A a B, que se denota por: ƒ : A --> B, es

una relación A a B de tal manera para todas las a Є Dom(ƒ), ƒ(a) contiene sólo un elemento
de B. Naturalmente, si a no está en el Dom(ƒ), entonces ƒ(a) = ᴓ. Si ƒ(a) = {b},
tradicionalmente identifica el conjunto {b} con el elemento b y se escribe Si ƒ(a) = {b}.

Ejemplo 1: Sean A = {1, 2, 3, 4} y B = {a, b, c, d} sea

ƒ = {(1, a), (2, a), (3, d), (4, c)}

Aquí se tiene

ƒ (1) = a

ƒ (2) = a

ƒ (3) = d

ƒ (4) = c

Como cada conjunto ƒ (n) es solo un valor, ƒ es una función.

Obsérvese que el elemento a B aparece como el segundo elemento de dos pares ordenados
diferentes en ƒ. Esto no contradice la definición de una función. En consecuencia, una
función puede tomar el mismo valor en dos elementos diferentes de A.
Ejemplo 2: Sean A = {1, 2, 3} y B = {x, y, z}. Considérense las relaciones

R = {(1, x), (2, x)} y S = {(1, x), (1, y), (2, z), (3, y)}

La relación S no es una función puesto que S(1)= {x, y}. La relación R es una función con
Dom(R)= {1, 2} y Ran(R)= {x}.

2.9 Aplicaciones de las relaciones y las funciones en la computación