Relaciones

http://www.youtube.com/watch?v=OvuuMB67uhU&feature=player_detailpage
Relacin
Relacin R
N
L
R
a 1

b 2

c 3

Dominio de R Rango de R
Ejemplo
Relacin R: Conexin va rea

Ciudades(C) Ciudades(C)

Lima Lima

Iquitos Iquitos

Huacho Huacho

Arequipa Arequipa
 Ejemplo
R={(L,H),(L,A),(H,L),(H,A),(A,L),(A,H)}

CxC={(L,L),(L,I),(L,H),(L,A),
(I,L),(I,I),(I,H),(I,A),
(H,L),(H,I),(H,H),(H,A),
(A,L),(A,I),(A,H),(A,A)}
Ejemplo
Sea Una relacin R del conjunto A al
conjunto B
R AxB?
Ejemplo
Relacin: Q=ToR
A C P

Alumnos Clases Profesores

Relacin
Una relacin en un conjunto A
 Propiedades de las relaciones
Sea R una relacin en el conjunto A

Reflexivo
 Propiedades de las relaciones
Sea R una relacin en el conjunto A

Simtrico
 Propiedades de las relaciones
Sea R una relacin en el conjunto A

Transitivo
 Propiedades de las relaciones
Sea R una relacin en el conjunto A

Antisimtrico
Grafo:
 Grafo:
Un Grafo G es una terna (V,A,p):
V (de vrtices)
A (de arcos)
p: A P2(V) (de incidencia)
p(a) = {u, v}. (u, v son los extremos
del arco a)
 Dgrafos:
Un Di-grafo D = (V,A,p) dnde p: A VV
p(a) = (u, v)
u es el extremo inicial u origen de a
v es el extremo final o destino de a

p(a) = (u, u)
(a es un bucle)
 Relaciones y dgrafos:

aRb si y solo si existe un arco

que une a y b.
 Matriz de una relacin:
M :Matriz de orden n x n

Mik =1 si existe un arco de vi a vk

Mik =0 si no existe un arco de vi a vk

Tipos de relaciones

Equivalencia
Reflexiva
Transitiva

Simtrica
 Clases de equivalencia:
Sea R una relacin de equivalencia sobre A
[a] = {x A: x R a}.
 o

Conjunto cociente:
Es el conjunto formado por todas las
clases de equivalencia de una relacin
 Particin de un conjunto A
UAi =A
Ai es disjunto a Ak, para todo i diferente k
 Teorema
Una relacin de equivalencia en un
conjunto A, particiona A.
Tipos de relaciones

Orden Parcial
Reflexiva
Transitiva

Antisimtrica
Conjuntos Parcialmente ordenados

Sea una relacin R en un conjunto A de

Orden parcial.
A con la relacin de Orden parcial se
llama Conjunto parcialmente ordenado y
se denota (A,R) o (A,<)
Totalmente ordenados

Sea una relacin R en un conjunto A de

Orden parcial.
Sea (A,R) un conjunto parcialmente
ordenado se llama totalmente ordenado
si: x,y A se tiene xRy o yRx, R se
llama de orden total
 Diagrama de Hasse

Son diagramas para las relaciones de

orden parcial:
Se halla su dgrafo correspondiente
Se borran los lazos
Se eliminan las aristas que estn
implicadas por la propiedad transitiva.
 Elementos extremos
Sea (A,<)=(A,R)
Mximo
Un elemento a A es el elemento mximo de
A si x<a (xRa) x A
Mnimo
Un elemento a A es el elemento mnimo de
A si a<x (aRx) x A
 Elementos extremos
Sea (A,<)
Mximal
Un elemento a A es un elemento maximal
de A si c A /a<c (aRc)
Minimal
Un elemento a A es un elemento minimal
de A si c A /c<a (cRa)
 Elementos extremos
Teorema
Un conjunto parcialmente ordenado
tiene a lo mas un elemento mximo y
a lo mas un elemento mnimo
 Elementos extremos
Teorema
Un conjunto parcialmente ordenado no
vacio y finito tiene al menos un
elemento maximal y un elemento
minimal.
 Supremos e Infimos
Sea (A, ) (A,R) y B un subconjunto de A
Un elemento a A es una Cota Superior de
B si x a x B.
Un elemento a A es una Cota Inferior de B
si a x x B.
 Supremos e Infimos
Supremo: Mnima cota superior

Infimo: Mxima cota inferior