RESUMEN

Primero que todo hay que tener claro los siguientes trminos:
Relaciones: Una relacin es un conjunto de pares ordenados donde a
cada uno de los miembros de un conjunto se asigna con los miembros
de otro conjunto.
A las relaciones tambin se les llama correspondencias.

Producto Cartesiano: es una operacin, que resulta en otro conjunto,

cuyos elementos son todos los pares ordenados que pueden formarse
tomando el primer elemento del par ordenado del primer conjunto y el
segundo elemento del par ordenado del segundo conjunto.

Pares Ordenados: es una pareja de objetos matemticos, en la que se

distingue un primer elemento y un segundo elemento. El par ordenado
cuyo primer elemento es a y cuyo segundo elemento es b se denota
como (a, b). Por ejemplo, los conjuntos {0, 1} y {1, 0} son idnticos,
pero los pares ordenados (0, 1) y (1, 0) son distintos.

Ejemplo de 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)}.

Relaciones Generales
Relacin Binaria
El tipo de relacin ms utilizado, y en especial para las reas
informticas es la binaria, si se tiene el caso de (a, b) R significa que el
trmino a est relacionado con b y se representa como aRb, pero si es
(a, b) R, entonces a no est relacionado con b.
Relacin Inversa
Si R es una relacin inversa, es decir, R -1, con la siguiente propiedad:
R-1=(x, y) tal que y, x pertenecen a los reales

Relacin Simtrica y Antisimtrica

En una relacin simtrica para todo par de elementos, sucede que el
elemento a est relacionado con el elemento b, por lo que el elemento b
est relacionado con el elemento a, es decir, existe una relacin de tipo
simtrica si aRb y bRa son a,b A.
Una relacin binaria R definida en un conjunto A es asimtrica si cada
vez que aRb se sigue que (a,b)R.

Relacin Transitiva
Se llama relacin transitiva la que verifica si un elemento x est
relacionado con el elemento y, adems que el elemento y est
relacionado con el elemento z, por lo que el elemento x est relacionado
con el elemento z. entonces xRy aunado yRz implica xRz para x,y,z A.

Relacin Reflexiva e irreflexiva

La relacin reflexiva se da cuando cada elemento est relacionado
consigo mismo y se escribe como a R a para todo a que pertenece al
conjunto.
La relacin irreflexiva es cuando sea R una relacin binaria definida en
un conjunto A. Decimos que R es una relacin irreflexiva si (aRa) para
todo a A.
Nota: (negacin lgica)

Relacin de Equivalencia.
Una relacin de equivalencia sobre un conjunto C es una relacin R que
cumple con las propiedades de las relaciones de: transitiva, reflexiva y
simtrica.
Las relaciones de equivalencia permiten agrupar los elementos con
caractersticas en comn en los conjuntos.
Conjunto Ordenado
Un conjunto ordenado o bien ordenado es un conjunto donde n es el
primer elemento del conjunto y el elemento mnimo del mismo o el
elemento ms pequeo (nmeros), si son palabras el orden se da
alfabticamente siendo a la ms chica. Por lo tanto un conjunto vaco no
puede ser un conjunto Ordenado, ya que un conjunto vaco no posee un
orden.

Conjunto Parcialmente Ordenado

Un orden parcial es una relacin R en un conjunto A si R es reflexiva,
antisimtrica y transitiva. El conjunto A junto con el orden parcial R se
llama conjunto parcialmente ordenado y se expresa (A, R).

Ordenes Especiales
Las rdenes especiales se refieren aquellos arreglos no comunes en el
caso de las matrices de relaciones. Una matriz en una manera
conveniente de representar una relacin R de X a Y. Esta representacin
se puede usar en una computadora, para analizar la relacin. Se
etiquetan los renglones con elementos de X (en algn orden arbitrario),
Y se etiquetan las columnas con elementos de Y (de nuevo, en algn
orden arbitrario), Despus, el elemento en el rengln x y la columna y se
hace igual a 1 si x R y, y a 0 de otra manera. Esta matriz se llama matriz
de la relacin R (relativa al orden de X y Y).
Formar la matriz de relacin de los siguientes conjuntos:

1.

R = {(5, f), (5, h), (6, g), (7, g), (7, f), (8, e)}

Donde A= y B= , y si el orden respectivo es 5, 6, 7,8 y e, f, g, h se

obtiene la siguiente matriz:

Tambin se le conoce como matriz de relacin.

Composicin de Relaciones
Sean R: X Y y S :Y Z dos relaciones. La composicin de R y S, que
se denota como R o S, contiene los pares ( x, z ) si y slo si existe un
objeto intermedio y tal que ( x, y ) est en R y ( y, z )est en S.
Por consiguiente,
x(R oS)z =y(xRy a yRz)
Esta definicin implica que (x, ) est en la composicin de las relaciones
hermana y padre, si existe un individuo y tal que x es hermana de y e y
es un padre de z. Esto es exactamente la relacin ta. De esto se sigue,
que la relacin ta es la composicin de la relacin hermana y padre
como hemos afirmado. En general, para determinar si (x, z) est en la
relacin R o S, se necesita siempre un intermediario y la hermana, en el
caso de la relacin ta, tal que sean vlidas xRy e yRz.
Nota: y(xRy a yRz), este smbolo se lee, si existe un elemento de y en
xRy a yRz.