Relaciones

Fuente: Topologa General, Seymour Lipschutz, 1970, Editorial MacGraw Hill y otros.
Una relacin binaria, comnmente llamada relacin, establece una correspondencia
entre los elementos de dos conjuntos dados.
Una relacin R entre un conjunto A no vaco y uno B no vaco asocia pares (a, b), con
a A y b B, del conjunto AxB, de modo que se cumple:
a est relacionada con b, lo que se expresa como a R b
a no est relacionada con b, lo que se expresa como a R b

i)
ii)

.c

Cuando se dice que a est relacionada con b, se quiere decir que hay una
correspondencia directa entre esos elementos, correspondencia que en el caso que
analizaremos ser de tipo matemtica, tambin puede ser de otra naturaleza pero esta
vez no nos ocuparemos de esos casos.

R = {(a, b) AxB / a A, b B}

e
rd
u

Sea una relacin R definida como R: A
B, de modo que a un elemento a del

conjunto de partida (A), se le asocia un elemento b del conjunto de llegada (B).

.h

Se llama dominio de una relacin, al conjunto de elementos del conjunto de partida

que cumplen con la relacin R, y codominio o recorrido al conjunto de elementos del
conjunto de llegada que cumplen con la relacin R. A cada elemento del dominio
tambin se le llama preimagen y a los del codominio se les llama imgenes.

R-1 = {(b, a) / (a, b) AxB}

w
w

La relacin inversa, R-1 est definida como

Ejemplo: Si R = {(1, 4); (2, 5); (3, 6)}, entonces R-1 = {(4, 1); (5, 2); (6, 3)}
Hay diversos tipos de relaciones, como:
i)

Se llama relacin idntica a la relacin R = {(a, a) / a A}

ii)

Relacin de equivalencia.

Se define una relacin R: A x A (donde A puede ser el conjunto de los nmeros reales
u otro).
La relacin de equivalencia es una de las ms importantes y para que lo sea deben
cumplirse las siguientes propiedades:
a)
b)
c)

Reflexiva: a A, (a, a) R.
Simetra: si (a, b) R, entonces (b, a) R.
Transitiva: si (a, b) R y (b, c) R, entonces (a, c) R.
Relacin de orden. Si en la funcin R se cumplen las propiedades:

iii)
a)
b)
c)

Reflexiva.
Antisimtrica: si (a, b) R y (b, a) R, entonces a = b.
Transitiva.

Hernn Verdugo Fabiani

www.hverdugo.cl

Una relacin es de orden total si todos los elementos del conjunto A, en donde est
definida la relacin R, se relacionan entre s, por ejemplo: el conjunto de los naturales
con o tambin puede ser con .
Una relacin es de orden parcial si al menos un par de elementos del conjunto A se
relacionan entre s.
Para representar relaciones en forma grfica se puede utilizar el diagrama de Venn o
un sistema de coordenadas.

a)
Diagrama de Venn. Sea la relacin R definida como R = {(a, b) AxB / a = 2b},
con A = B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

o
g
e
rd
u
v
.h

1
2
3
4
5
6
7
8
9
10

La misma relacin anterior, en un sistema de coordenadas sera:

b)

w
w

1
2
3
4
5
6
7
8
9
10

.c

10
9
8
7
6
5
4
3
2
1
1 2 3 4 5 6 7 8 9 10

Ejercicios:
1)

Sea R la relacin < entre a = {1, 2, 3, 4} y B = {1, 3, 5}, es decir

AxB = {(a, b) / a < b}
a)

Expresar R como un conjunto de pares ordenados (a, b).

Hernn Verdugo Fabiani

www.hverdugo.cl

b)
c)
d)

Representar R en un diagrama de coordenadas (A en el eje horizontal y

B en el eje vertical).
Hallar el dominio de R y el recorrido de R.
Hallar el dominio de R-1 y el recorrido de R-1.

Sea T la relacin en el conjunto de los nmeros reales definida por

x T y si, simultneamente, x {n, n + a} e y {n, n + 1} para n Z (Z,
conjunto de los nmeros enteros).
Representar grficamente la relacin T.

3.-

Considere la relacin R = {(1, 1); (2, 3); (3, 2)} en X = {1, 2, 3}. Determine si se
cumple o no que R es:
a)
reflexiva.
b)
simtrica.
c)
transitiva.

4.-

Considere el conjunto N x N (N es el conjunto de los nmeros naturales), el

conjunto de todos los pares ordenados de enteros positivos (Z+). Sea R la
relacin en N x N definida por (a, b) (c, d); si y solo s ad = bc. Demostrar
que R es una relacin de equivalencia.

5.-

Sea R la relacin definida en Z+ como R = {(x, y) / x, y Z+, x + 2y = 12}

a)
Expresar R como un conjunto de pares ordenados.
b)
Hallar el dominio de R (dom R), el recorrido de R (rec R).
c)
Hallar R-1.

e
rd
u

.c

2.-

w
w

.h

Respuestas: a)
{(10, 1); ((8, 2); (6, 3); (4, 4); (2, 5)}, b) dom R = {10, 8, 6,
4, 2}, rec R = {1, 2, 3, 4, 5}; c) R-1 = {(1, 10); (2, 8); (3, 6); (4, 4); (5, 2)}.
Considere la relacin R = {(4, 5); (1, 4); (4, 6); (7, 6); (3, 7)} definida en Z+.
a)
Hallar el dominio de R.
b)
Hallar el recorrido de R.
c)
Hallar R-1, su dominio y su codominio.

7.-

Sea la relacin definida en Z+ x Z+, definida como

(a, b) # (c, d), si y slo s a + d = b + c
Demuestre que # es una relacin de equivalencia.

8.-

Sea & la relacin definida en como x y Z. Demostrar que & es una

relacin de equivalencia.

9.-

Sea R definida como (x, y) R si y slo s y = 5 2x. Hallar:

6.-

a)
b)
c)
d)

R en forma de par ordenado para A = {x Z / 0 < x < 10} y B = Z.

El dominio de R.
El recorrido de R.
R-1 en forma de par ordenado.

10.-

Confeccione un diagrama de Venn y un grfico de coordenadas para la relacin

R = {(1, 3); (1, 5); (1, 7); (1, 9)}, definida en AxA con A = {x Z / 0 < x < 10}.

11.-

Dados los conjuntos: A = {2, 3, 5, 8, 9} y B= {3, 4, 6, 7, 9} y la relacin

R = {(x, y) / (x, y) A x B, y = x + 1}
a)
Hacer un diagrama de Venn de la relacin.
b)
Expresarla por extensin (en forma de pares ordenados).

Hernn Verdugo Fabiani

www.hverdugo.cl

c)

Sea R una relacin en A = {2, 3, 4, 5} definida por x e y son primos relativos,

esto es el nico divisor comn de x e y es 1.
a)
b)

Sea R una relacin definida en los nmeros naturales,

R = {(x, y) / 2x + 3y = 13; x, y N}

Sea R una relacin definida por:

R = {(x, y) x / (2 x < 2
2 y 2) (5 < x < 1)
(1 < y 3)}
Representar cada relacin en un diagrama de coordenadas R R y determine
su dominio y recorrido.

w
w

.h

e
rd
u

14.-

Escribir R como un conjunto de pares ordenados.

Encontrar el dominio y recorrido de R.

a)
b)

13.-

Escribir R como un conjunto de pares ordenados.

Representar R en un diagrama de coordenadas A A.

.c

12.-

Determinar el dominio y el recorrido de R.

Hernn Verdugo Fabiani

www.hverdugo.cl