Relaciones

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

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

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

R={(A,B)/A y B pertenecen al conjunto P({1,2}), relacionados con la operacin de inclusin}

Clases de equivalencia:

Sea R una relacin de equivalencia sobre A

[a] = {x A: x R a}. Ejemplo: Relacin de congruencia

a-b=4k, donde k Z

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. Ejemplo R={(a,b)/ }

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.

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

Sea (A,<)=(A,R) Mximo

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

Sea (A,<) Mximal

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

Supremo: Mnima cota superior Infimo: Mxima cota inferior