Documentos de Académico
Documentos de Profesional
Documentos de Cultura
http://www.youtube.com/watch?v=OvuuMB67uhU&feature=player_detailpage
Relacin
Relacin R
L N
R 1
2 3
a
b c
Dominio de R
Rango de R
Ejemplo
Relacin R:
Ciudades(C) Lima Iquitos Huacho Arequipa
Conexin va rea
Ciudades(C) Lima
Iquitos Huacho 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
Reflexivo
Simtrico
Transitivo
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:
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:
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
Tipos de relaciones
Ejemplo R={(P,Q)/ donde P y Q son palabras del castellano que empiezan con la misma letra}
Tipos de relaciones
Ejemplo
Clases de equivalencia:
a-b=4k, donde k Z
Conjunto cociente:
Particin de un conjunto A
Teorema
Tipos de relaciones
Orden Parcial
Reflexiva Transitiva Antisimtrica
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.
Ejercicio
Sea A={1,2,3,4,5} y R la relacin xRy si x divide a y exactamente. Si es de orden parcial hallar su diagrama de Hasse.
Elementos extremos
Un elemento a A es el elemento mximo de A si x<a (xRa) x A Un elemento a A es el elemento mnimo de A si a<x (aRx) x A
Mnimo
Elementos extremos
Un elemento a A es un elemento maximal de A si c A /a<c (aRc) Un elemento a A es un elemento minimal de A si c A /c<a (cRa)
Minimal
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