RELACIONES

Unidad #3
Relaciones
a)definicin:
sea A,B dos conjuntos definido en un universo una relacin R de A en B es
cualquier sub conjunto del producto cartesiano A y B
R; es una relacin de A en B
RAxB
ej sea A={1,2,3}
B={a,b,c}
R1,R2,R3 de AxB
AxB= (1,a)(1,b)(1,c)(2,a)(2,b)(2,c)(3,a)(3,b)(3,c)}
R1{1,a}
R2{1,a)(3,b)}
R3{(1,b)(1,c)(3c)}
R4{(1,1)(2,2)(3,a)} x

Dominio,imagen y relacin inversa ,

si R es un subconjunto del producto cartesiano A por B es una relacion de A en
B existe dos importante conjunto asociados a esta relacin. domino e imagen
de R
a)Dominio:el dominio de R que se escribe D(R) es el conjuntos de los
elemento de A que esta relacionado con algun elemento del conjunto B en ptra
palabra de D(R) es un subconjunto de A y es el conjunto de todo los primero
elemento de los pares ordenado que pertenece a R. es decir
D(R){x/(x,y)R}
b)Imagen:es una imagen rango o recorrido de R que se escribe I(R) es el
conjunto de los elementos de B que son los segundo elementos de los pares
ordenado x,y que pertenece a R en otra palabra es todo los elemento de B que
esta relacionado con algn elemento de A
Relacin inversa
la relacin inversa(reciproca) de la relacin R,A en B esta relacin R-1 de B en
A se define
r-1={(y,x)(x,y)R}
Composicin de relacin
sea R una relacion de A en B y S una relacion de B en C,es decir la composicion
de una relacion sepuede definir de A en C como composicion de R y S
mediante.. S o R
SoR={(x,z)(yB(x,y)R(y,z)S}
(x,z)SoRyB(x,y)R(y,z)S
Relaciona definida en un conjunto
SEAN A y B dos conjunto si A es igual a B se dice que R es un subconjunto de A
por A es una relacin definida solamente en A
AxA=A2
RAxA
Relacin de RxR

Propiedades de relaciones
Sea R una relacin definida en A esta relaciona generalmente satisfacen ciertas
propiedades que expondremos a continuacin
Propiedades reflexiva
Una relacin R definida en un conjunto A se denomina reflexiva cada elemento
de conjunto A est relacionada consigo mismo
Sea R A /(x,y)R=xRY
R es reflexiva x=xA xRx
Relaciones simtrica
Una relacin R en un conjunto A es simtrica si cualquiera que sea el par
ordenado x,y que pertenece a la relacin entonces el par ordenado x,y
tambin pertenece a la relacin
sea RA2
R es simtrica
una relacin R definida es transitiva S, cualquier sea los pares ordenado x,y y
y,z que pertenece a la relaciona entonces el par ordenado x, y tambin
pertenece a la relacin
Relaciones de equivalencia
una relacin R definida en un conjunto A es de equivalencia si es reflexiva,
simtrica, transitiva en otra palabra si cumple la tres propiedades anteriores
mencionada