Cátedra: MATEMÁTICA
RELACIONES
Nociones previas
• Par ordenado
Un símbolo como (a,b) denota un par ordenado donde a es la primer componente y b la
segunda componente.
Dos pares ordenados (a,b) y (c,d) se dicen iguales si y solo si las primeras componentes
de cada par son iguales y las segundas componentes de cada par también son iguales:
(a,b) = (c,d) (a = c b = d )
• Conjunto producto cartesiano
Siendo A y B conjuntos cualesquiera, distintos del conjunto vacío, llamamos conjunto
producto cartesiano de A por B al conjunto anotado AxB, cuyos elementos son pares
ordenados (x, y), donde el primer elemento pertenece a A y el segundo pertenece a B.
A x B = (x, y): x A y B
Ejemplo:
A = 1,2,3 y B = 4,5
A x B =(1, 4) ,(1, 5) ,(2, 4) ,(2, 5) ,(3, 4) ,(3, 5)
Propiedades:
• Si A ≠ B entonces A x B ≠ B x A
• Si A y B son conjuntos finitos con m y n elementos respectivamente, entonces A
x B es un conjunto finito de m . n elementos.
• A x =
• { x A =
• { x =
Relaciones
Se llama relación n-aria entre los conjuntos A1, A2, A3,…., An dados en ese orden, a
todo subconjunto del producto cartesiano generalizado A1 x A2 x A3 x…x An ; a cada
elemento de este producto cartesiano se lo denomina n-upla ordenada. Si n es 2, los
elementos del producto cartesiano son pares ordenados, si n es 3 se denominan ternas
ordenadas, si es 4, cuaternas ordenadas.
Las relaciones con las que nosotros trabajaremos a partir de ahora son las binarias
(relaciones definidas entre 2 conjuntos a los que en general denominaremos A y B).
1
Cátedra: MATEMÁTICA
RELACIONES BINARIAS
Dado el producto cartesiano A x B, cualquier subconjunto R de A x B es una relación
de A en B. Es decir, una relación R de A en B es una parte de A x B
RAxB
La expresión x R y se lee x tiene la relación R con y, equivale a la expresión (x, y) R
luego:
x R y (x, y) R
El conjunto A se denomina conjunto de partida y el conjunto B conjunto de llegada.
Sea R una relación de A en B, se llama conjunto dominio al conjunto de los elementos
de A que están relacionados por R con algún elemento de B:
D (R) = { x : xA (x, y) R} D( R ) A
Sea R una relación de A en B, se llama conjunto imagen de R al conjunto de los
elementos de B tales que algún elemento de A está relacionado por R con él:
Im ( R ) = { y : yB (x, y)R} Im ( R ) B
Conjunto partes de A x B
Como R es un subconjunto de A x B ; el conjunto de todas la relaciones de A en B es el
conjunto de partes de A x B lo que significa que R P (A x B).
Si A tiene n elementos y B tiene m elementos recordemos que A x B tendrá n .m
elementos luego podremos encontrar 2 n . m relaciones de A en B.
A x B = A . B P (A x B) = 2 A . B
Relaciones triviales
a) La relación vacía , pues el vacío es subconjunto de cualquier conjunto
AxB ( P ( A x B ))
b) La relación plena A x B, pues todo conjunto es subconjunto de sí mismo
AxBAxB (A x B P ( A xB))
2
Cátedra: MATEMÁTICA
Representación de las relaciones
Existen distintas formas de representar una relación algunas de ellas son:
- Por comprensión
- Por extensión
- Diagrama de flechas
- Grafo dirigido
- Diagrama arbolar
- Diagrama cartesiano
- Matriz de Boole
- Tabla de simple o doble entrada
Relación inversa
Si R es una relación de A en B, R-1 denota la relación inversa de R y se define:
R-1 = { ( y, x): (x ,y) R}
Para R-1 el conjunto de partida es B y el de llegada es A
(y, x) R-1 (x ,y) R
Relación compuesta
Sean las relaciones R1 de A en B y R2 de B en C.
Se llama relación compuesta R1 o R2 ( se lee R1 seguida de R2) a toda relación de A en
C tal que si el par (x ,y) R1 y el par (y , z) R2 entonces el par (x, z) R1 o R2
Relación interna en un conjunto
Toda relación R donde el conjunto de partida A, es igual al conjunto de llegada, es una
relación interna en ese conjunto A y se dice que es una relación binaria definida en A.
Propiedades de las relaciones internas
Sea R una relación interna en A esta relación puede verificar alguna de las siguientes
propiedades
Propiedad reflexiva
(x) ( xA) (x, x) R
(x) ( xA) x R x
Propiedad simétrica
((x ,y)) ((x ,y) A2 ): (x ,y) R (y ,x) R
((x ,y)) ((x ,y) A2 ): (x R y y R x)
3
Cátedra: MATEMÁTICA
Propiedad transitiva
((x, y, z)) ((x ,y, z) A3 ): ((x ,y) R (y, z)R ) (x ,z) R
((x, y, z)) ((x ,y, z) A3 ): (x R y y R z ) x R z
Propiedad antisimétrica
((x ,y)) ((x ,y) A2 ): ((x, y) R (y ,x) R) x = y
((x ,y)) ((x ,y) A2 ): ( x R y y R x ) x = y
Relación de equivalencia
Una relación R interna en A, con A , se llama relación de equivalencia si verifica
las propiedades reflexiva, simétrica y transitiva.
✓ Propiedad reflexiva
(x) ( xA) x R x
✓ Propiedad simétrica
((x ,y)) ((x ,y) A2 ): (x R y y R x)
✓ Propiedad transitiva
((x, y, z)) ((x ,y, z) A3 ): (x R y y R z ) x Rz
Clases de equivalencia
Si R es una relación de equivalencia definida en un conjunto A, con A , entonces
quedan determinados subconjuntos no vacíos de A formados con todos los elementos de
A que están relacionados entre sí por R, a cada conjunto así formado se lo denomina
clase de equivalencia.
Por ejemplo, el conjunto formado por todos los elementos de A relacionados por R con
el elemento a de A lo simbolizamos Ca y se expresa por comprensión así:
Ca = {x : x A (x, a) R }
Estas clases determinadas en A, por la relación de equivalencia R, cumplen las
siguientes propiedades:
a) Ninguna de ellas es vacía ( Ci )
b) Son disjuntas dos a dos ( i j Ci Cj = )
c) La unión de todas las clases es A ( C1 C2 C3 Cn ….= A)
4
Cátedra: MATEMÁTICA
Conjunto partición o conjunto cociente
Se tiene que el conjunto determinado por las clases de equivalencia determinadas por la
relación R definida en A, es:
PR/A = {C1, C2, C3, ... }
Este conjunto se denomina conjunto partición o conjunto cociente. Donde C1, C2, Cn
son las clases de equivalencia.
Por ejemplo, el paralelismo entre rectas, es una relación de equivalencia.
Relación de orden
Diremos que una relación R interna en A, con A , es una relación de orden si
verifica las propiedades reflexiva, antisimétrica y transitiva.
✓ Propiedad reflexiva
(x) ( xA) x R x
✓ Propiedad antisimétrica
((x ,y)) ((x ,y) A2 ): ( x R y y R x ) x = y
✓ Propiedad transitiva
((x, y, z)) ((x ,y, z) A3 ): (x R y y R z ) xRz
Orden total
Si en una relación de orden R definida en A, todos los elementos de A son comparables
por la relación R se dice que es un orden total.
Por ejemplo:
Dado A = 1, 2, 3, 4, 6 y la relación R dada en A, tal que x R y x ≤ y
Orden parcial
De lo contrario, si no todos los elementos de A son comparables por la relación R se
dice que es un orden parcial.
Por ejemplo:
Dado A = 1, 2, 3, 4, 6 y la relación R dada en A, tal que x R y x | y
x | y se lee: x divide a y
Nota: la relación “es igual a” es de orden y de equivalencia a la vez.
