Unidad V Relaciones

5.1 Concepto De Relacin

Dados dos conjuntos A y B, el producto cartesianos de estos
dos conjuntos es el conjunto formado por todos los pares
ordenados (a,b) donde a es un elemento de A y b es un elemento
de B.


Relacin
Dados dos conjuntos A y B una relacin es un subconjunto del
producto cartesiano A x B.
Un elemento a, que pertenece al conjunto A, est relacionado
con un elemento b, que pertenece al conjunto B, si el par (a, b)
pertenece a un subconjunto G (llamado grafo) del producto
cartesiano A x B.

Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto
cartesiano A x B = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}. Una relacin
sera R = {(a,1),(c,2)}.

A las relaciones tambin se les llama correspondencias.




5.1.1 Producto cartesiano

Considere dos conjuntos arbitrarios A y B. El conjunto de todas las
parejas ordenadas (a, b) en donde a A y b B se llama producto
o producto cartesiano de A y B.
La definicin de producto cartesiano puede extenderse fcilmente
al caso de ms de dos conjuntos.
Se llama producto cartesiano de dos conjuntos A y B y se
representa A x B, al conjunto de pares ordenados (a, b), tales que
el primer elemento pertenece al primer conjunto y el
segundo elemento al segundo conjunto. Es decir:
A x B = {(a, b) / a A, b B} El producto cartesiano, en general, no
es conmutativo. Es decir: A x B B x A.
Puede ocurrir que los conjuntos A y B sean coincidentes.


EJEMPLO:

Si A = {a, b, c} y B = {1, 2, 3, 4}, el producto cartesiano es:

A x B = {(a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b, 3), (b, 4), (c, 1),
(c, 2), (c, 3), (c, 4)}
Se puede representar grficamente por medio de puntos en un
plano, como se muestra a continuacin. Aqu, cada punto P
representa una pareja ordenada (a, b) de nmeros reales
y viceversa; la lnea vertical a travs de P encuentra al eje x en a, y
la lnea horizontal a travs de P encuentra el eje y en b.
A esta representacin se le conoce como diagrama cartesiano.










Hay otra manera de visualizar una relacin y es a travs de una
representacin grfica, donde se destaquen los puntos en el plano
que pertenecen a A y los puntos que pertenecen a B. Se trazan
flechas que indican la relacin que existe entre cada elemento del
conjunto A y su correspondiente en el conjunto B. A esta
representacin grfica se le conoce como un diagrama de flechas.