TEMA :3

RELACIONES

DEFINICION -.sea A y B dos conjuntos definitivos en un mismo universo una

relacin R de A en B es cualquier sud conjunto del producto AxB.

R es una relacin de A en B

<=>R AxB

Ej. Sea A { 1,2 ,3 }

B {a,b,c}

R1.R2.R3,de AxB

AxB={(1a,),(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),(3,c)

R4={(1,1),(2,2),(3,a)} X

X X

No est en la ecuacin

DOMINIO IMAGEN Y RELACION INVERSA-.si R es un conjunto del producto

cartesiano A por B es una relacin de A en B en una relacin existen 2
importantes conjuntos asociados a esta relacin: Q dominio e imagen de R.

DOMINIO.- el dominio de R que se escribe D(R) es el conjunto de los

elementos de A que esta relaciona por algn elemento del conjunto B en otras
palabras el D(R) es un subconjunto de A y es el conjunto de todos los primeros
elementos de lo cuales son ordenados que pertenecen a R

D(R)= {X/(X, Y) eR}

IMAGEN. - En imagen (rango o recorrido) de R que se escribe I(R) en los

conjuntos de los elementos de B que son los 2 elementos de las pares
ordenadas (x,y) que pertenecen a R en otras palabras es todo elemento de B
que esta relacionado por algn elemento del A.

I(R)= {4/(x,y) ER }
 RELACION INVERSA. - la relacin inversa reciproca en la relacin R de A-B es de
R

De A o B es de R-1 de B en A, s define:

R-1= { Y,X)/(X,Y) E R}

CONPOCISISON EN RELACIONES-. Sea R una relacin de A e B y S una relacin

de B en C es decir

R AxB y S BxC

La composicin de una relacin se puede definir de A en C como composicin

de R en S mediante

SoR {( X , Z )/ E y eB ( x , y ) eR ( y , z ) e S }

(X,Z) s S E y eB ( x , y ) eR ( Y , Z ) eS

Ej. A B C

1 2R 4
S

2 4 5
3 6 6

R={(1,2)(3,4)}

S={(4,6),(6,5)}

S = {(3,6)}

PROPIEADES DE LA RELACION-. sea R una relacin definida con A estas relaciones

generalmente satisfacen ciertas propiedades que pondremos a continuacin.
RELACIONES FEFLEXIVAS-. Una relacin R es conjunto A se denomina reflexivas si cada
elemento del conjunto A esta relacionado consigo mismo.

Sea R (A) (x, y) eR xRy

R= es reflexiva = x: x e A = xRx

Ej. A= { 1,2,3,4,5 }

Determinar si R es reflexiva

R1 ={(1,2),(2,2),(1,1),(3,4),(5,5)} NO

R2 = {(1,2),(1,1),(2,2),(3,3),(4,4),(5,5)} SI

RELACION SIMETRICA-. Una relacin R es un conjunto Aes simetra si cualquier que

sea el par ordenado que pertenece a la relacin entonces el par ordenado Y, X
entonces tambin pertenece a la relacin.

Sea R A

R es simtrica >

x y e A : x R y= y R x

={1,2,3,4,5}

Determinar si R es simtrico

R1 = {(1,1), (2,3), (3,4)} NO

R2 = {(2,3), (3,3),(3,2) = SI

2
RELACIONES TRANSITIVAS-. Una relacin R A es un conjunto A es transitiva si

cualquiera que sea las partes b ordenado x, y y , x, z que parte nacen a las relacin
entonces, al por ordenador x, z tambin pertenece a la relacin es decir.
R es transitiva >

x y 2 : xR y y R 2= xRz

Ej. Sea A = {1,2,3,4,5}

2
R A

Determinar si R es transitiva

(1,2) 1R 2 2R 4 =1R

(2,4)

R1={(1,2),(3,3),(2,4),(1,4)} SI (3,3) 3 R 3 3 R 3 = 3R3

R2={(1,3),(3,4),(3,3),(4,3) SI (1,3) 1R3 3R3 = 1R3

(3,3)

(1,3)

(3,4) 3R4 4R3 = 3R3