Professional Documents
Culture Documents
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
.h
w
w
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)
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.
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
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)
b)
c)
d)
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.-
5.-
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.-
8.-
9.-
6.-
a)
b)
c)
d)
10.-
11.-
c)
w
w
.h
e
rd
u
14.-
a)
b)
13.-
.c
12.-