CAPITULO IV

RELACIONES BINARIAS Y FUNCIONES

4.1. Relaciones Binarias.
Definicin: dados los conjuntos A y B

( A , B ) . Un conjunto S de pares ordenados se

llama relacin binaria de A en B si S es un subconjunto del producto cartesiano

S AB o

es una relacin de A en B si

A B es: S

S= { ( x , y ) A B XSY }

Observacin:
1. Si

x A yB

y se cumple que

(x , y ) S

se dice que X esta en relacin con Y

mediante S y se denota XSY.

2. Si S es una relacin de A en B; al conjunto A se le llama conjunto DE PARTIDA y al
conjunto B se le denomina conjunto de LLEGADA.
3. Como

A B

VACIA.
4. Si S es una relacin en A, si

es una relacin de A en B y se llama RELACION NULA O

S A A .

5. Si S es una relacin de A en B y

S= {( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x 3 , y 3 ) } , a S se le representa

por el diagrama siguiente:

x1

y1

x2

y2

x3

y3

Definicin: se dice que un conjunto S es una relacin en A si

SAA .

Ejemplo 1:
i.

Sean los conjuntos

B=N

A= { estudiantes del aula03 del curso de FISICA I } y

entre los conjuntos A y B podemos formar algunas relaciones como:

S 1= {( x , y ) A B / X tiene Y libros }
S 2= {( x , y ) A B / X tiene Y aos }
S 3= {( x , y ) A B / X tiene Y de nota en el curso de FISICA I }
ii. Sean los conjuntos

A= { 2,3,4,5 } , B= {5,6,7,8 }

S= { ( x , y ) A B/Y =x +3 } , luego:

S= { ( 2,5 ) , ( 3,6 ) , ( 4,7 ) , ( 5,8 ) }

Su diagrama respectivo ser:

8
1(ii) sea

iii. Para los conjuntos A y B del ejemplo

R= { ( x , y ) A B/ X <Y } , se tiene:
R= { ( 2,5 ) , ( 3,5 ) , ( 4,7 ) , ( 5,8 ) , (2,6 ) , ( 2,7 ) , ( 2,8 ) , (3,5 ) , ( 3,7 ) , ( 3,8 ) , ( 4,5 ) , ( 4,6 ) ,

( 4,8 ) , ( 5,6 ) , ( 5,7 ) , ( 5,8 ) }

Cuyo diagrama es:

T
B

Ejemplo 2: sean

A= { 2,3,4,5 } . Dadas las relaciones y S en A tal que

={(x , y) x < y } , S= { ( x , y ) / x+ y =8 }
Hallar

S , S , S , S , S
Solucin

i.

={ ( 2,3 ) , ( 2,4 ) , ( 2,5 ) , ( 3,4 ) , ( 3,5 ) , ( 3,6 ) }

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

3,5, ( 4,5 ) , ( 2,6 ) , ( 4,4 ) ,(5,4)

( 2,3 ) , ( 2,4 ) , ( 2,5 ) , ( 3,4 ) ,
S=

ii.

S={ ( 3,5 ) } ,T S={ ( 2,3 ) , ( 2,4 ) , ( 2,5 ) , ( 3,4 ) ,(4,5) }

S = { ( 2,6 ) , ( 4,4 ) ,(5,4) }
S=( T S ) ( S )={ ( 2,3 ) , ( 2,4 ) , ( 2,5 ) , ( 3,4 ) , ( 3,5 ) } { ( 2,6 ) , ( 4,4 ) , ( 5,4 ) }

{ ( 2,3 ) , ( 2,4 ) , (2,5 ) , ( 3,4 ) , ( 3,5 ) , ( 2,6 ) , ( 4,4 ) , ( 5,4 ) }

A= {1,2,3 } y B={ 2,4,6 } y sea

Ejemplo 3: sea

S= { ( x , y ) A B/Y =2 X }

hallar S y

graficar.
Solucin

S= { (1,2 ) , ( 2,4 ) ,(3,6) }

S

Dominio y Rango de una Relacin

Consideramos una relacin no vaca de A en B, es decir

S= { ( x , y ) A B XSY }

Definicin: si S es una relacin de A en B se define el dominio de S, denotado por

conjunto
Luego:

Ds= { x A / y B ,( x , y) S }
x Ds y B(x , y) S
S

Ds

y=f ( x )

Rs

Ds al

Rango de una Relacin

Si S es una relacin de A en B, se define el rango o imagen de S denotado por Rs, al conjunto:

Rs ={ y B / x A ,( x , y ) S }
y Rs x A ( x , y ) S

Luego

Ejemplo: sea
Entonces

S= { ( 2,3 ) , ( 2,4 ) , ( 2,5 ) , ( 3,6 ) , ( 3,7 ) , ( 4,7 ) ,(5,8) }

Ds= {2,3,4,5 } y R s= {3,4,5,6,7,8 }

Representado en el diagrama tenemos:

4.2. Propiedades del Dominio y Rango de una Relacin:

Sean R y S dos relaciones de A en B, se cumple las siguientes propiedades:
Dominios:
1.

D ( R S ) =D ( R ) D ( S )

2.

D ( R S )=D ( R ) D ( S )

3.

D(RS)=D(R)D(S)

Rango:
4.

R ( R S ) =R ( R ) R ( S )

5.

R( RS)=R( R) R(S)

6.

R ( RS ) R ( R )R( S)

Ejemplo 1: sean R y S dos relaciones de A en B diferentes de la siguiente manera:

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

S= { (3,7 ) , ( 4,7 ) ,(5,8) }

Se tiene:
a)

R o S= { (3,7 ) ,(4,7) }

b)

RS={ ( 1,6 ) ,(2,6)}

Se cumple:
1.

D ( R S )=D(R) D (S)

2.

D ( RS )=D ( R ) D ( S )

3.

R ( R S )=R(R) R(S)

4.

R ( RS ) =R ( R )R ( S )

Ejemplo 2: sean S y T dos relaciones de A en B diferentes de la siguiente manera:

S= { ( 2,5 ) , ( 3,9 ) }
T ={ ( 1,6 ) , ( 2,5 ) , ( 3,9 ) ,(4,10) }

S T =S
ST =
Se tiene: a) S T
T S={ ( 1,6 ) ,( 4,10) }
Ds= {2,3 } , R= {5,9 }
DT ={ 1,2,3,4 } , R T = {5,6,9,10 }
Se cumple:

D(S T )=D(S)={ 2,3 }

D ( ST )=D ( S )D(T )=

R( S T )=R (S )={ 5,9 }

R ( ST )=R ( S )R( T )=

Ejemplo 3: sean las relaciones de A en B:

S 1={ ( 8,4 ) , ( 8,3 ) , (7,6) }

S 2= {( 8,4 ) , ( 8,6 ) }

Se tiene:
a)

S 1 S 2={ ( 8,4 ) }

b)

S 1S2= { ( 8,3 ) ,(7,6) }

Se cumple:
1.

D ( S 1 S2 ) =D( S1 ) D(S 2)

2.

D ( S 1S2 ) D ( S 1) D ( S 2 )

3.

R ( S 1 S 2) R( S1 ) R (S 2)

4.

R ( S 1S2 ) R ( S 1 )R ( S2 )

4.3. Relaciones de

R en R

Aqu utilizaremos relaciones de A en B, donde

A , B R(reales)

Observacin: para determinar el dominio de una relacin, primero se despeja y, luego se

entiende a fondo (analiza) los valores que puedan tomar x para que la variable y sea real.
Para determinar el rango de una relacin se despeja x luego se estudia a fondo (analiza) los
valores que pueden tomar y para que la variable x sea real.
Ejemplo 1: determinar el dominio y rango de la siguiente relacin:

S= { ( x , y ) R R/ x 2+ y 2+ 8 y 20=0 }
Solucin
Primeramente despejemos la variable y para obtener el dominio es decir:

x 2+ y 2 +8 y 20=0
Completando cuadrados:

y 2+ 8 y=20x2 y2 +8 y +

8 2
8 2
=20x 2+

2
2

()

()

y 2+ 8 y+ 16=20+ 16x 2 ( y +4 )2=36+ x2 y =4 36x 2

Luego analizando los valores que pueda tomar
2

x para que

y sea un nuevo real es decir:

36 x 0 36x 0( x 6)(x+ 6) 0
Ds=[ 6,6 ]
Ahora despejamos la variable x para obtener el rango, como:

x 2+ y 2 +8 y 20=0 x= 208 y y 2
Luego, analizando los valores que pueda tomar y para que x sea un nmero real se tiene:

208 y y 2 0
Completando cuadrados:

8 2
8 2
y + 8 y=20 y +8 y +
=20+
y 2 +8 y +16=20+16
2
2
2

()

()

( y +4 )2=36 6 y +4 6 10 y 2
Rs=[ 10,2 ]
Ejemplo 2: hallar el dominio de la relacin:

S= { ( x , y ) R R/ xy 2x +4 y 2+2=0 }
Solucin
Para calcular el dominio de la relacin S, en primer lugar despejamos y de la ecuacin:

xy 2x +4 y 2 +2=0 xy 2 +4 y 2x+ 2=0

y 2 ( x +4 )=x2 y=

x2
x+ 4

Para que y sea real se debe cumplir:

x2
0
x +4

Ds= ,4 [ 2, +

Luego

Ahora calculamos el rango de la relacin S despejando X de la ecuacin:

2

xy x +4 y +2=0 x ( y 1 )=4 y +2 x=
Por lo tanto:

4 y 2 +2
2
y +1

Rs=R{1,1 }

Ejemplo 3: hallar el dominio y el rango de la relacin:

S= { ( x , y ) R R/ xy 9 x 9 y =0 }
2

Solucin
Sea

xy 9 x 9 y =0 () para calcular el dominio de esta ecuacin despejamos:

y=

9 x2
2
x 9

para que y sea real se debe cumplir:

9 x2
x2
1
1

0 2
0
0
2
2
( x3)(x +3)
x 9
x 9
x 9

La solucin es:

3
x ,3 3,+

3
para

x=0

tambin se verifica por lo tanto:

x 0
Ds= ,3 3,+ { 0 }
Luego para calcular el rango de la relacin despejamos x de la ecuacin ()

x=

9 y2
y 29

luego que x se real se debe cumplir:

y R , y 2 0 y=0 se cumple

9 y2
0
y 2 9

9 y2
1
0
0
2
( y3)( y +3)
y 9

3
La solucin es
Por lo tanto

y ,3 3,+ {0 }

Rs= ,3 3,+ { 0 }

4.4. Tipo de Relaciones:

S A A ), se dice que S es una

1. Relacin Reflexiva: sea S una relacin en A (es decir

relacin reflexiva en A si:

x A ( x , y ) S x A xRx D ( A ) S , D( A )

es el conjunto diagonal:

D( A)

(c , c)

(b , b)

(a , a)

a
Ejemplo 1: dado el conjunto

A= { p , q , r , s } , se tiene que la relacin:

S= { ( p , p ) , ( q , q ) , ( r ,r ) , ( s , s ) , ( p , r ) , ( r , p ) , ( r , p ) , ( q , s ) ,( s , q) }

Es reflexiva porque

D( A) S
Ejemplo 2: dado el conjunto

A= {1,2,3,4 } , se tiene que la relacin:

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

D( A) S
Ejemplo 3: sean

A= { a , b , c } y las relaciones en A.

S 1={ ( a ,a ) , ( b , b ) , ( c , c ) , ( c , d ) , ( d , d ) , ( d , a ) ,(b , b) }

Es

reflexiva

porque

S 2= {( a , a ) , ( b , b ) , ( c , d ) , ( d , c ) , ( d , d ) }
Luego

S 1 es reflexiva en A pues ( x , y ) S

x A

elemento

pares, en cambio no es reflexiva en A, pues le falta el

adems de otros

par (c ,c ) para serlo.

2. Relacin Simtrica:
Sea S una relacin en

A (S A A) , se dice que S es una relacin simtrica si:

( x , y ) S ( y , x ) S , (x , y) S
Y es equivalente a: XSY YSX , ( x , y ) S
Ejemplo 4: en el ejemplo 2 se cumple que S es simtrica:
Ejemplo 5: la relacin S en

A= { 2,3,4,5 }

definida por

es simtrica donde

S= { ( 2,5 ) , ( 5,2 ) , (3,4 ) ,(4,3) }

Ejemplo 6: dados

A= {1,2,3,4 } y la relacin en A.

S= {( x , y ) A 2 / x+ y=7 }

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

S 2= {( 1,1 ) , ( 2,2 ) , ( 3,3 ) }
S 3= {( 1,1 ) , ( 3,3 ) , ( 4,1 ) , ( 2,3 ) ,(1,4) }
Luego

S 1 y S2 son simtricas en A, pero S 3 no lo es porque le falta el par (3,2) .

3. Relacin Transitiva: Sea S una relacin en

A ( S A A) , se dice que S es una

relacin transitiva si:

[ ()

x , y S (
y , z ) S (
x , z) S
XSY

YSZ

XSZ

Ejemplo 7: en el ejemplo 1, la relacin S es transitiva.

Ejemplo

8:

dado

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

B={ 1,2,3,4 }

la

relacin

no es transitiva en B, pues bien se cumple

que:

( 1,2 ) S y (2,3) S (1,3) S

( 1,3 ) S y (3,1) S (1,1) S

( 4,4 ) S y (4,4) S (4,4 ) S

En cambio falla en:

( 2,3 ) S y (3,1) S ( 2,1 ) ya que ( 2,1 ) S

4. Relacin de Equivalencia: sea S una relacin en A, se dice que S es una relacin de

equivalencia si S es reflexiva, simtrica y transitiva.

En el ejemplo (1) la relacin S es de equivalencia.

Ejemplo

9:

sea

una

( ( p , q ) , ( r , s ) ) S p+ s=q +r

relacin

en

N N

definida

por

es S de equivalencia?

Nota: para resolver un problema de equivalencia, se recomienda tres cosas concretas que
se debe plantearse:
1. en qu clase de conjunto est definida la relacin dada?
2. Qu forma tiene los elementos de la relacin dada?
3. Cmo est definida la relacin?
Vase para el problema (9)

N N , esto es que: S ( N N ) ( N N )

1. S es una relacin en

2. Por lo tanto los elementos de S son de la forma

3. S est definida de la siguiente forma:

( ( p , q ) , ( r , s) )

( p , q ) , ( r , s ) ) S p+ s=q+r
(
( p ,q ) S (r ,s )

Teniendo precisa esta idea, se puede demostrar se la relacin es reflexiva, simtrica y

transitiva.
1. Reflexiva: de acuerdo con la definicin se tiene que:

XSX , x A

para el

ejemplo ser:

( p , q ) S ( q , p ) p+ q=q+ p , ( p , q ) N N = p+q
XSY YSX , ( x , y ) S para el ejemplo ser:

2. Simtrica: de la definicin:

(
p , q ) S (
r , s ) (
r , s ) S (
p , q) (( p , q) , ( r , s ) ) S
x

En efecto:

( p , q ) S ( r , s ) p+ s=q+r

La suma de nmeros naturales

s + p=r + q

es conmutativa la igualdad es

r
+q=s+ p
(r , s)S ( p ,q )

Por lo tanto decimos que S es simtrica.

3. Transitiva: de la definicin: se

[ XSY (YSZ )] [ XSZ ]

prueba:
Si
Si

[ XSY YSZ ] [ XSZ ]

(
p , q ) S (
r , s ) (
r , s ) S (
a , b) [ ( b , q ) S ( a , b) ] ?
p+b=q+ a ?
x
y
y
z

En efecto:
Si

( p , q ) S ( r , s ) p+ s=q+r

para el ejemplo debe se

Si

( r , s ) S ( a , b ) r+ b=s+ a

Sumando adecuadamente:

( p+b)+( r+ s)=(q +a)+(r+ s)

p+b=q+ a

(p , q)S (a ,b )

la cual prueba que S es

transitiva
Como S es reflexiva, simtrica y transitiva, concluimos que S es una relacin de
equivalencia.
5. Relacin Asimtrica: Sea S una relacin en B, decimos que S es una relacin asimtrica
si:

( x , y ) S ( y , x ) S , (x , y)

Ejemplo 10:

A= { dristritosde Trujillo } y

a) sea

S= { ( x , y ) A A/ X tiene mas ciudades que Y } en este caso S es asimtrica.

b) Si

A= { mujeres } y S={ ( x , y ) A A / X es hija de Y } , entonces S es asimtrica.

6. Relacin Antisimetrica: Sea S una relacin binaria en

A, S es Antisimetrica, si

[ ( x , y ) S ( y , x) S ] X=Y , ( x , y )
Ejemplos 10:
a) Si

A= { dristritosde Trujillo } y

S= { ( x , y ) A A/ X tiene igual o mayor nmero de ciudadanos que Y }

b) La relacin de inclusin.
7. Relacin de Orden Parcial: Sea S una relacin binaria en A, S es una relacin de orden
parcial si es reflexiva, Antisimetrica y transitiva.
Ejemplo 11: la relacin de inclusin de conjuntos.
8. Relacin convexa (o comparable): Sea S una relacin binaria en A, S es CONVEXA si

[ x A y A ] [( x , y) S ( y , x ) S ]
Ejemplo 12:
Sea

p= { punto de una recta vertical } y

S= { ( x , y ) p p / x estaa laizquierda o coincide con y }

9. Relacin de Orden Total: Sea S una relacin binaria en A, S es una relacin de orden
TOTAL, si es de orden parcial y convexa.
Ejemplo 13: la relacin a la derecha de o coincide con para puntos de una recta (que es
la relacin

en R )

10. Participacin y relacin de equivalencia:

a) Nocin de Particin: dado un conjunto F, se llama Particin de F a una familia de

subconjuntos de F, denotado por

{ F i }i I

, cuyos elementos

Ai

cumplen las tres

condiciones siguientes:

p1.
p2.

Fi i I , es decir ningn conjunto de la familia dese ser conjunto vaco.

Fi F j= i j , en otras palabras, la interseccin de los conjuntos de la

familia debe ser desjunto dos a dos.

p3.

i I Fi=F , en otras palabras esto quiere decir: la unin de todos los

conjuntos que forman la familia debe ser el conjunto dado.

La familia

F={ F1 , F2 , F 3 , F 4 } es una particin de F, porque:

p1.

F1 , F2 , F 3 , F 4

p2.

F1 F2 =, F 1 F 3= , F 1 F 4 = , F 3 F 4 =

p3.

F=F1 F 2 F 3 F 4

Ejemplo 1: la familia

F={ A B' , A B , B A ' } es una particin de

A B '

A B

A B

B A'

MN

Ejemplo 2: la familia

G= { M , N M ' } es una particin de

Ejemplo 3: la familia

I ={ B ,C B } es una particin del conjunto universal U

Ejemplo 4: sea

A= { p , r , s } y P ( A )= { { p } , { q } , { r } , { p , q } , { p , r } , { q , r } , , A }

La familia

F={ { p } , { q } , { r } } es una particin de A.

La familia

G= { { p } , { q , r } } es una particin de A.

La familia

H= { { q } , { p , r } } es una particin de A.

La familia

I ={ { r } , { p ,q } } es una particin de A.

{ p}

{q }

{ p}

{q }

{q , r }

{q }

{ p , q}

I =[ 1, 4 en el que:

Ejemplo 5: sea el intervalo

i.

{r }

{ p ,r }

Dividimos en 6 subintervalos de igual longitud:

41 3 1
= =
6
6 2

ii. Los 6 subintervalos son de la forma:

1
1
I i = 1+ ( i1 ) , 1+ ,i=1,2,3,4,5,6
2
2
I

1+

4=1+

1
2

1+

1+1

3
2

1+

1+2

6
2
I1

I2

I6
iii. Se cumple:

p1.

I i , i

p2.

I i I j= , i j

p3.

i=1 6 I i=I

I3

I4

I5

5
2

iv. Por lo tanto, la familia

={ I 1 , I 2 , I 3 , I 4 , I 5 , I 6 } es una particin de I.

b) Clase de Equivalencia y Conjunto Cociente:

Motivaremos con el siguiente ejemplo:

S= { ( p , p ) , ( q , q ) , ( r ,r ) , ( s , s ) , ( p , r ) , ( r , p ) , ( q , s ) ,(s , q) }
equivalencia en

es una relacin de

{ p , q , r , s } , es decir S es reflexiva, simtrica y transitiva.

Notacin:
Debido a que es una relacin de equivalencia en A, la notacin

x y (mod S )

( xy) S

nos dice que

se lee x es
equivalente con y ,mdulo S
De tal manera que en la relacin S, del ejemplo, se tiene que:

p q(mod S ) Indica que ( p , q) S

q s (mod S ) Indica que

(q , s) S , como S es de equivalencia tambin

(s , p) S por lo tanto s q (mod S )

Terminando encuentra la notacin

X Y ( mod S) que significa

( x , y ) S , se

dice que S es una relacin de equivalencia en A, se cumple las tres condiciones

siguientes:

F1.

x x ( mod S ) x A

(x , x) S

F2. Si

x y ( mod S ) y x ( mod S ) (x , y ) S

F3. Si

[ x y ( mod S ) y z ( mod S ) ] x z ( mod S )

Si S es una relacin de equivalencia en A, para cada elemento

x A

quede

determinado un nuevo conjunto: el conjunto formado por todos los elementos de A que
son equivalentes de A que son equivalentes con X modulo S.
A este conjunto se le llama CLASE DE EQUIVALENCIA de
se denota por el smbolo

x A

con respecto a S y

[ x ] de tal manera que:

[ x ]= y A
y x ( mod S )
( y, x) S

x es fijo

El conjunto de todas las clases de equivalencia de A recibe el nombre del conjunto

COCIENTE de A con respecto a S, y se denota

A/S .

Ejemplo

6:

A= {1,2,3,4 }

dado

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

una relacin de equivalencia en A

tenemos:

( y ,1) S

( y ,2)S

[ 1 ] ={ 1,3 }= y A
y 1 ( mod S )

[ 2 ] ={ 2,4 }= y A
y 2 ( mod S )

}
{

= { 3,1 }= y A
y 3 ( mod S )

[
3]
Clase de quivalencia
de 3 conrespecto a S

( y ,3) S

[ 4 ] ={ 4,2 } = y A
y 4 ( mod S )
( y ,4 )S

El conjunto cociente A con respecto a S es

Ejemplo

7:

sea

una

A / R= { [ 1 ] , [ 2 ] , [ 3 ] , [ 4 ] }

relacin

en

N N

definida

por

( ( p , q ) ( r , s )) S p +s=q+r
Ser S de equivalencia?
Solucin
1. S es una relacin en

N N , esto quiere decir que S ( N N )(N N )

2. Por lo tanto los elementos de S son de la forma

( ( p , q ) ( r , s ))

3. S est definida de la siguiente manera:

( p , q ) ( r , s ) ) S p+ s=q+r
(
( p ,q ) S ( r ,s )

Teniendo en forma precisa esta idea, empezamos a demostrar si la relacin es reflexiva,

simtrica y transitiva.
i.

Reflexiva: de acuerdo con la definicin se tiene:

XSX , X A

para el problema

ser:

A
(
p , q ) S (
r , s ) p+ q q+ p , ( p , q) N N
x
x
p+q
ii. Simtrica: de acuerdo con la definicin:

XSY YSX , ( x , y ) S

Para el problema se debe probar que:

(
p , q ) S (
r , s ) (
r , s ) S (
p , q ) ( ( p , q ) , ( r , s ) ) S
x

En efecto:

( p , q ) S ( r , s )= p+ s=q+ r
s + p=r + p

r
+ p=s+ p
( r , s ) S ( p ,q )

La suma de nmeros naturales es

conmutativa, la igualdad es simtrica.

Por lo tanto afirmamos que S es simtrica.

iii. Transitiva: de acuerdo con la definicin:

[ XSY (YSZ )] [ XSZ ]

para este

problema se debe probar:

Si

[ ( p ,q ) S ( r , s ) ( r , s ) S ( a , b ) ] [ ( p , q ) S ( a , b ) ]= p+ b=q+a

En efecto:
Si

( p , q ) S ( r , s ) p+ s=q+r

Si

( r , s ) S ( a , b ) r+ b=s+ a

Sumando y cancelando:

r+s

( p+b)+(r+ s)=(q +a)+(r+ s)

p+b=q+ a

(p , q)S (a ,b )

La cual prueba que S es una relacin de

equivalencia.
Como S es reflexiva, simtrica y transitiva, concluimos que S es una relacin de
equivalencia.

Ejemplo 8: sea R una relacin definida por:

esta definicin es equivalente a:

R= { ( x , y ) Z Z /S divide a( x y ) }

XRY X Y (mods) .Y se leer x es congruente con

y, modulo 5. Analizar si la congruencia mdulo S es una relacin de equivalencia.

Solucin
Se debe tener en cuenta:
1.

R Z Z

2. Los elementos de R son

( x , y ) , tal que; x Z y Z

3. R est definida de la siguiente manera:

XRY X Y (mods)
S es divible a( x y )
Luego probemos:
i.

Reflexiva: de acuerdo con la definicin se tiene:

problema:

XRX , x A

para este

XRX 5 divide a 0 m Z /0=5 m que se cumple solo para m=0 . Lo

cual es verdadero.
Por lo tanto, R es reflexiva.

ii. Simtrica: esta definicin:

divide a

XRY YRX

debemos responder a la pregunta: 5

( yx )? . Para este problema:

XRY 5 divide a ( x y ) n Z / x y=5 n

( y x )=3 n ( y x ) =5 (n ) 5 divide a( yx )
5 divide a ( yx ) YRX
Por lo tanto afirmamos que S es simtrica.
iii. Transitiva: de acuerdo con la definicin: XRY YRZ XRZ
si

XRY YRZ XRZ

para este problema:

Debemos responder la pregunta: 5 divide a

( xz) ?

En efecto:
Si

XRY 5 divide a ( x y ) k Z / x y =5 k

Si

XRY 5 divide a ( x y ) p Z / yz=5 p

Sumando:

xz=5( k + p) 5 divide a ( xz )

Por lo tanto R es transitiva.

+
+
Z , por: ( p , q ) S ( r , s ) p . s=q . r
Ejemplo 9: sea S una relacin definida por
Z
Solucin
1. Analizar si S es una relacin de equivalencia.
2. Hallar los pares

( r , s ) que cumplen ( 4,5 ) S ( r , s )

Luego probemos:

+
+
+ Z
Z
+ Z
a) Si S es una relacin en
, por lo tanto, los elementos de S son de
Z
+ implica S

+ Z

Z
la forma

(( p , q ) , ( r , s) )

S est definida de la siguiente manera:

( ( p , q ) , ( r , s ) ) S p . s=q . r

Luego debemos probar que S es reflexiva, simtrica y transitiva.

i.

Reflexiva: ( ( p , q ) , ( q . p )) S p . q=q . p

lo cual es cierto.

( ( p , q ) , ( r , s ) ) S , debemos probar que:

ii. Simtrica: si

(
( r , s ) , ( p , q ) ) S
r .q=s . p

En efecto (i)
Si

( ( p , q ) , ( r , s ) ) S p . s=q . r s . p=r .q

enteros es conmutativo

r . q=s . p

La igualdad de nmeros enteros es simtrica

iii. Transitiva: si

por el producto de nmeros

(( r , s ) , ( p , q ) ) S

( ( p , q ) , ( r , s) ) S ( ( p , q ) , ( u , v ) ) S

debemos probar que:

( p , q ), (u , v )) S
(
p . v=q .u

En efecto:
Si

( ( p , q ) , ( r , s ) ) S p . s=q . r por definicion de S

Si

( ( p , q ) , (u , v ) ) S r . v=s . u por definicion de S

Multiplicando:

( p . s ) ( r . v )=( q . r ) ( s .u ) ( p . v ) ( s .r )=(q .u)(r . s )

Adver.

(
p . v )=(q . u)

Propiedad de cancelacin

( ( p , q ), (u , v )) S
Por lo tanto S es una relacin de equivalencia.
Solucin (ii)
Si

4 r
4k r
( 4,5 ) S ( r , s ) 4.5=s . r = =
s 5 5k s

k Z , k 0 r=4 k , k Z , k 0
s=5 k
Ejemplo 10:
La familia

A / S= { { 5 } , [ 6 ] , [ 7 ] , [ 8 ] }
F={ { 5 } , [ 6 ] }

es una particin de A

G= { {5 } , [ 8 ] }

es una particin de A
Ejercicios Propuestos

Prop.

1. Sea S una relacin en

N N definida por

{ ( 1,2 ) , ( 3,4 ) } S 1+ 4=2+ 3

es S

de equivalencia?
2. Sea S una relacin definida por
definicin es equivalente.

S= { ( x , y ) Z Z /3 divide a ( x y ) }

esta

XSY X Y (mod 3) y se leer x es congruente con

y mdulo 3.
3. Sea S una relacin reflexiva en A. demostrar que S es una relacin de equivalencia si

( a , b ) S y (a , c ) S entonces (b , c ) S .
4. Sea S una relacin definida por

+ por ( a , b ) S ( c , d ) a . d=b . c
+ Z
. Analizar si S es
Z

una relacin de equivalencia.

Hallar los pares

( c , d ) que cumple (2,3) S(c , d ) .

5. Sea Z el conjunto de los nmeros enteros y la relacin S definida sobre Z en

R= { ( x , y ) Z Z /x y=2 m, m Z } es una relacin de equivalencia.

R en R Diferentes por Ecuaciones e Inecuaciones:
S R R (en los nmeros reales) pueden ser representados por el plano

4.5. Graficas de Relaciones

Una Relacin

cartesiano, de manera que los valores x del dominio en S se considere en el eje X, y los valores
Y del rango o imagen de S en el eje Y, ubicando los puntos

( x , y ) S

en el plano

cartesiano. Aqu la relacin puede estar expresada en una de las formas:

( x , y )=0, ( x , y)>0, (x , y)<0, ( x , y) 0, (x , y ) 0

4.6. Discusin de la Grfica de una Relacin:
Para trazar la grfica de una relacin dad por la ecuacin

( x , y )=0

tendremos el

siguiente criterio:
I.
Interpretacin con los ejes coordenados:

II.

a) Con el eje x : se hace

y=0

b) Con el eje y : se hace

x=0

Simetras:
a) Simetra con respecto al eje x: se hace

y= y

b) Simetra con respecto al eje y: se hace

x=x

c) Simetra con el origen: se hace a la vez:

x por x e y por y

Teorema 1: si la ecuacin de una curva no se altera cuando la variable y es remplazada

por y, la curva es simtrica con respecto al eje x.
Teorema 2: si la ecuacin de una curva no se altera cuando la variable x es remplazada
por x, la curva es simtrica con respecto al eje y.

Teorema 3: si la ecuacin de una curva no se altera al remplazar las variables:

x por x e y por y , respectivamente la curva es simtrica con respecto al origen

III.

Extensin de la curva:
Consiste en determinar el dominio y rango de la relacin:
a) Extensin con el eje x: despejamos la ecuacin x en funcin de y:

x=f ( y ) ,

que viene hacer dominio de la ecuacin.

b) Extensin con el eje y: despejamos la ecuacin x en funcin de y:
IV.

x=f ( y ) ,

que viene hacer el rango o margen de la relacin.

Asntotas:
Definicin: se para una curva dada, existe una recta tal que, a medida que un punto de
la curva se aleja independientemente de origen, la distancia de ese punto a la recta
decrece continuamente y tiende a cero, dicha recta se llama asntota de la curva.
a) Asntotas paralelas o coinciden con el eje x: se llama asntota horizontal.
b) Asntotas paralelas o coinciden con el eje y: de llama asntota vertical.
Nota: si no es paralela a ninguno de los ejes coordenados, las asntotas se llaman
oblicuas.

V.

Construccin de curvas: el trazado de una curva constara de las siguientes pasos:

1. Determinacin de las interacciones con los ejes coordenados.
2. Determinacin de la simetra de la curva con respecto a los ejes coordenados y el
origen.
3. Determinacin de la extensin de la curva.
4. Determinacin de las ecuaciones de las asntotas verticales y horizontales que la
curva pueda tener.
5. Calculo de las coordenadas de un nmero suficiente de puntos.
6. Trazado de la curva.

Ejemplo 1: discutir y graficar la relacin

S= { ( x , y ) R R/ xy3 yx =0 }
Solucin

I.

Interpretacin con los ejes coordenados:

a) Con el eje x : se hace

y=0

xy3 yx =0
y=

x3

0=

x
x=0
x3

p1 (0,0)
b) Con el eje y : se hace

3 y =0

x=0

y=0

p2 (0,0)
II.

Simetras:

a) Con el eje x :

y=

y= y

x
xy3 y x=0
x3

x (y ) 3 (y ) x=0
xy +3 y x=0
La ecuacin se altera luego no existe simetra simtrica con el eje x.

b) Con el eje y :

x=x

xy3 yx =0

x ( y )3 y(x )=0
xy3 y + x=0
La ecuacin se altera luego no existe simetra con respecto al eje y.
c) Con el origen:

x= x e y = y

xy3 yx =0
( x ) (y ) 3 (y ) (x )=0
xy +3 y + x=0
Se altera la ecuacin por lo tanto no existe simetra con el origen.
III.

Extensin de la curva:
Despejamos y en funcin de x

y=

x
x3

a) Dominio de la ecuacin:

y=

x
x3

DR =R x=3
b) Rango de la ecuacin:
Despejando x en funcin de y

xy3 yx =0

xy x=3 y

x ( y1 )=3 y
x=

3y
y1

RR =R{ 1 }
IV.

Asntota:
a) Asntotas verticales o

y=

s al eje x:

x
x3

x3=0 x=3
b) Asntotas horizontales o

x=

s al eje y:

3y
y1

y1=0 y=1
V.

Construccin de la grfica:

1 /2

1/4

2/5

Ejemplo 2: discutir y graficar la relacin

S= {( x , y ) R R/ y x2 9 yx 2=0 }
Solucin

I.

Interpretacin con los ejes coordenados:

a)

Con el eje x : se hace

2

y=0

y x 9 yx =0
y=

x2

x 29

x=0
c) Con el eje y : se hace

y=

x=0

x2

x 29

y=0
II.

Simetras:

a) Con el eje x :
2

y= y

y x 9 yx =0
( y ) x2 9 (y ) x2 =0
2

y x + 9 yx =0
No existe simetra simtrica con el eje x.

b) Con el eje y :

x=x

y x 29 yx 2=0
2

y (x ) 9 y(x 2 )=0
y x 29 yx 2=0
Como no vara si existe simetra con el eje y.

x= x e y = y

c) Con el origen:
2

y x 9 yx =0
2

( y ) (x ) 9 ( y )(x 2 )=0
y x 2+ 9 yx 2=0
III.

Como no vara luego no existe simetra con el origen.

Extensin de la curva:
Despejamos y en funcin de x

y=

x2
2
x 9

a) Dominio de la ecuacin:

y=

x2
x 29

DR =R {3,3 }
b) Rango de la ecuacin:

x=

9y
y0
y 1

RR = , 0 ] 1,+
IV.

Asntota:
a) Asntotas verticales o

s al eje x:

y=

x
2
x 9

x 29=0 ( x3 )( x +3 )=0
x=3, x=3
b) Asntotas horizontales o

x=

9y
y 1

y1=0 y=1
V.

Construccin de la grfica:

0.125

1.5

0.23

0.8

0.125

1.5 0.33
2

0.8

s al eje y:

Ejemplo 3: discutir y graficar la relacin

S= {( x , y ) R R/ x y 9 x 9 y =o }
2

Solucin
I.

Interpretacin con los ejes coordenados:

a)

Con el eje x : se hace

y=0

y 2 x 29 x 29 y 2=0

9 x2
y= 2

x 9
x 2 ( 0 )29 x29 ( 0 )2=0
x=0

p1 (0,0)
b) Con el eje y : se hace

x=0

y 2 x 29 x 29 y 2=0

( 0 )2 y 29 ( 0 )29 y 2 =0
y=0
p2 (0,0)
II.

Simetras:

a) Con el eje x :

y= y

x 2 ( y )29 x 29 ( y )2=0
x 2 y 29 x 29 y 2=0
y x 2+ 9 yx 2=0
Como la ecuacin no vara luego si existe simtrica con el eje x.

b) Con el eje y :

x=x

(x )2 y 29 (x )29 y 2=0
2

x y 9 x 9 y =0
Tambin existe simetra con respecto al eje y.

x= x e y = y

c) Con el origen:

2
2
2
(x ) ( y ) 9 (x ) 9 ( y 2) =0
2

y x + 9 x 9 y =0
III.

Tambin existe simetra con el origen.

Extensin de la curva:
a) Dominio de la ecuacin:

y=

9 x2
x 29
y sea real debe cumplirse.

Para que

9 x2
x2

0
2
2
x 9
x 9

1
1
0
0
(x3)( x+ 3)
x 9
2

La solucin es:
Para

x ,3 3,+ { 0 }

x=0 tambin se verifica por lo tanto:

DR = ,3 3,+ {0 }
b) Rango de la ecuacin:

x=

9 y2
y0
2
y 9

Para que

x sea real debe cumplirse.

9 y2
0
2
y 9
y R , y 2 0 y=0
Se cumple:

9 y2
1
0
0
2
(
y3)(
y +3)
y 9

x2 0

La solucin es:

y ,3 3,+ {0 }

Por lo tanto:

Rs = ,3 3,+ { 0 }
IV.

Asntota:
a) Asntotas verticales o

y=

s al eje x:

x2
2
x 9

x 29=0 ( x3 )( x +3 )=0
x=3, x=3
b) Asntotas horizontales o

x=

s al eje y:

9 y2
y 29

y 29=0 ( y 3 ) ( y+ 3 )=0
y=3, y=3
V.

Construccin de la grfica:

Ejemplo 4: discutir y graficar la relacin

S= {( x , y ) R R/ y x2 9 yx 2=o }
Solucin

I.

Interpretacin con los ejes coordenados:

a) Con el eje x : se hace

2

y=0

y x 9 y9 x =0
y=

x2

2
x 9

0 x 29 ( 0 )x 2=0
x=0

p1 (0,0)
b) Con el eje y : se hace

x=0

y x 29 y(x )2=0

( 0 )2 y 29 ( 0 )29 y 2 =0
y=0
p2 (0,0)
II.

Simetras:

a) Con el eje x :

y= y

( y ) x 29 ( y )x 2=0
2

y x + 9 yx =0
No existe simtrica con el eje x.

b) Con el eje y :

x=x

y (x )29 y 9 (x )2=0
2

y x 9 y9 x =0
Si existe simetra con respecto al eje y.

x= x e y = y

c) Con el origen:
2

( y ) (x ) 9 ( y ) (x ) =0
2

y x + 9 y x =0
III.

Por lo tanto no existe simetra con el origen.

Extensin de la curva:
a) Dominio de la ecuacin:
2

y=
Si

x
, y es real
2
x 9

x= 3 luego
Ds=R {3,3 }

b) Rango de la ecuacin:

x=

9y
y1

x es real s:
9y
0
y 1
Rs = , 0 ] 1,+
IV.

Asntota:
a) Asntotas verticales o

y=

s al eje x:

x2
x 29

x 29=0 ( x3 )( x +3 )=0
x=3, x=3
Que viene hacer las asntotas.
b) Asntotas horizontales o

x=

9y
y 1

y1=0, y =1
Asntota horizontal.
V.

Construccin de la grfica:

1.5

2.5

1.5
2

2.5

s al eje y:

T ={ ( x , y ) R R /( x4 )( yx )=o }

Ejemplo 5: bosquejar la graficar la relacin

Solucin
En R , se tiene

a . b=0 [ 0=0 b=0 ] .

Luego

( x4 ) ( yx )=0 [ x4=0 y x=0 ] x=4 y =x

lgico

( disyuncin) entonces la grfica consiste de (la unin de) de ambas rectas.

S= { ( x , y ) R R/ xyx3 yx =0 }

Ejemplo 6: discutir y graficar la relacin

i.

S= {( x , y ) R R/ y=x 3 }

ii.

T ={( x , y ) R R / y= x }

iii.

R= {( x , y ) R R/ y = x }

iv.

E= {( x , y ) R R/ x= y

}
Solucin

i.

y=x 3 0
x no tiene restituciones

D s= ,+

Rs = ,+

y como tiene el conectivo

ii.

y= x , x 0
y= x 0
DT = [ ,+
RT = [ ,+

iii.

y= x , x 0
y= x 0
D R= [ 0 ,+
RR = , 0 ]

iv.

x= y 0
y tiene un R
D E= [ 0 ,+
R E= , 0 ]

Nota:

x= y 3 [ y= 3 x =3 x ] , x

Luego las grficas de

4.7. Graficas de Relaciones Definidas por Inecuaciones:
Consideramos la relacin:
Un punto

(x , y )

S= { ( x , y ) R R/ y x }

satisface la condicin

y x (observando en el eje y)

encuentra en la semirecta vertical que cruza en la recta

sombreada de la figura

y=x

si y solo si se

y que baja sin lmite (zona

(i) ).

Cuando x toma todos los valores del eje x, la semirecta indica la barrera toda la zona
sombreada.

Nota:

y x y < x y=x

Ejemplo 7: hallar la grfica de la interseccin

S E de las relaciones:

S= { ( x , y ) R R/ x 3 }
E= {( x , y ) R R/ y < x 2 }
Solucin

Nota: de la inecuacin puede expresarse como:

i.

y > [ Expresin en x ]

ii.

y [ Expresin en x ] , entonces la grfica de la regin est acotada por la curva del

borde determinada por la ecuacin:

y=[ Expresin en x ] ()
Adems:
i.

Corresponde a la parte del plano acotada inferiormente por el borde

incluye.

ii. Corresponde a la grfica de

(a) incluyendo el borde ()

Ejemplo 8: graficar la regin definida por la relacin:

() pero no se

S= ( x , y ) R R /
y |x| ,
y |x|
i

ii

Solucin
i.

y |x|| x| y [ x y x y ] [ y x y x ]
La grafica corresponde a la relacin de las regiones:

y x y x

y=x

y=x
y=|x|

y |x|

ii. La grfica de

y |x| corresponde al complemento de la grfica de (i) , incluyendo la

curva-borde pues:

y |x|| x| y [ ( y 0 ) ( y x y ) ]
[ ( y 0 ) ( y x ) ( y x ) ]

y=x
y=x
y=|x|

y |x|

Ejemplo 9: graficar la regin definida por la relacin:

S= {( x , y ) R R/| y| x2 ,| y|| x|}

Solucin
La relacin S es la interseccin de:

| y| x 2 | y||x| , donde:

i.

| y| x 2 y x 2 y x 2

ii.

| y|| x| [ x 0 | y| x ] [ x <0 | y|x ]

[ ( x 0 ) ( y x ) ( y x ) ] [ ( x< 0 ) ( y x ) ( y x ) ]

y=x

y=x
y=x

y=x 2

Ejemplo 10: hallar la grfica de la interseccin

S T

de las relaciones:

S= { ( x , y ) R R/ x y > x 3 , si x >0 }
T ={( x , y ) R R /x y< x , si x< 0 }
3

Solucin

i y x ii y > x3 iii x >0

S corresponde a la interseccin de las tres regiones
3

i 1 y x ii1 y < x iii 1 x< 0

y=x
S

y=x 3
3

y=x
T

y=x
Nota: observa que el origen (0,0) no se incluye en ningunos de los casos.
Ejercicios Propuestos
I.
Hallar el dominio y rango de las relaciones siguientes:

II.

a)

S= {( x , y ) R R/ y=x 24 x , y 0 }

b)

S= {( x , y ) R R/ y= 4x

c)

S= { ( x , y ) R R/ x 2=41 }

d)

S= { ( x , y ) R R/ xy2 yx=0 }

e)

S= { ( x , y ) R R/ x+ y=1 }

f)

S= { ( x , y ) R R/ x 2 y 2 + xy=5 }

Graficar e indicar el dominio y el rango de las relaciones:

g)

S= { ( x , y ) R R/| y||x| 3 }

h)

S= { ( x , y ) R R/| y| x2 ,| y|< x }

i)

S= {( x , y ) R R/| y||x | ,| y||x|}

2

III.

S= { ( x , y ) Z Z /3 x y 122 x3 y <0 }

Sea

Cules de las siguientes afirmaciones son verdaderas?

IV.

i.

S ={ ( n , n ) Z Z /3 nm=12 2 n3 m<0 }

ii.

(4,5) S1

iii.

{ ( a ,b ) S (b , a) S }

Hallar.
1. En

A= {1,2,3,4,5 } se define la relacin:

S= { (1,1 ) , ( 2,2 ) , ( 3,3 ) , ( 5,1 ) , ( 2,4 ) , ( 5,4 ) , ( 5,2 ) , ( 4,3 ) , ( 3,5 ) } .

Si M ={ x A ( x , 2) R } , N ={ y A (3,1) R } , P={ x A (x , 5) R } , hallar

( M N ) P
S 1={( x , y ) /x 22 y3 } y S2 ={ ( x , y ) / x< y x> y } , hallar

2. Dadas las relaciones en Z:

S 1S2

[ ( S ) ={( x , y ) Z Z / x= y }]

Sea:

3. Dado el universo

U= {1,2,3,4 } , y las relaciones:

S 1= {( x , y ) /x= y } ,

S 2= {( x , y ) / y=3 } ,

S 3= {( x , y ) /x y } , Hallar

S 3(S 1 S2 )
4. Dados los conjuntos:

A= { x N x <3 } , B= { x N / x es par , x <5 } ,C= { x N / x es impar , x 6 } .

( A B ) ( C A ) .

Hallar el conjunto

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

5. Sea

relaciones en
6. Si

S 1= {( x , y ) /x < y } ,

S 2= {( x , y ) /x + 4=3 }

dos

U , hallar n( S1 S 2)

A= {( x , y ) / ( x + 3 x , y + 3 y 2 )= (2,2 x ) } Z Z , B={ ( x , y ) / y=x , x Z }

Hallar

AB

7. Hallar la interseccin de las relaciones en

R:

S 1={( x , y ) /x + y =5 } , S1 ={ ( x , y ) / x+ y=3 }
2

8. Si U es el conjunto de tringulos del plano

RR

por:

( x , y ) S x es semejante a y
Demostrar que S es una relacin de equivalencia.

y si S es la relacin en U definida

9. Una relacin S en A se llama ANTISIMETRICA si cumple que:

( a , b ) S ( a , b ) S a=b . Demostrar que las relaciones definidas en Z :

S 1= {( x , y ) /x < y } , S 1={ ( x , y ) /x y } son antisimtricas.
V.

Discutir graficar las siguientes relaciones:

a)

x y 23 y 21=0

b)

y 2 ( x 24 )=x +2

c)

y 2=

d)

y=

e)

x 2 y 2 + xy6 x3=0

f)

x y +4 x 4 y =0

g)

xy2 x y2=0

h)

x y + xy6 x3=0

i)

y=

j)

4 x2
y= 2
x 4

k)

x2 +1
y= 2
2 x 5 x +2

l)

x 3+ x y 2 y 2=0

m)

y=

n)

y x 25 y x=0

x2
3x

1
2 x 3 x5
2

3 x2 8 x+ 4
x2

x (x+ 3)
( x +2)(x2)

4.8. Relaciones Inversas:

4.8.1.Definicin: sea S es una relacin de A en B, es decir:

S= { ( x , y ) A B XSY } A B , luego
llamada relacin inversa de S y definimos:
de

tal

manera

que

( y , x ) S1 ( y , x ) S .

S oS

es una relacin de B en A,

S '= { ( x , y ) B A ( x , y ) S } B A

( y , x ) S1 ( y , x ) S

equivalente:

Ejemplo: si

A= {1,2,3 } , B= { 4,5,6,7 } , y la relacin S de A en B

S= { (1,4 ) , ( 1,5 ) , ( 2,4 ) ,(2,6) } entonces S1={ ( 4,1 ) , ( 5,1 ) , ( 4,2 ) ,(6,2) }

D S= {1,2 }
RS ={ 4,5,6 }

D S ={ 4,5,6 }
R S = {1,2 }
1

4.8.2.Dominio y Rango de

: si S es una relacin de A en B, se cumplen:

DS =RS
1

RS =DS
1

4.8.3.Propiedad: si S es una relacin en R , se cumple que la grfica de

a la grfica de S con respecto a la recta
Ejemplo:

y=x .

S1 es simtrica

S : y=2 x+1

( 1,3 )

y=x

1
1
S : y= x
2
3

( 3,1 )
( 1,3 ) S (3,1) S1
S= { ( x , y ) R R/ y=2 x+ 1 }

S1={ ( y , x ) R R / y=2 x+1 }

{ ( 2 x +1, y ) x R }
1

(0,1) S (1,0) S

(1,3) S (3,1) S1
(2,5) S (5,2) S1

y=x

S'

T ={( x , y ) / x 2 2( y2)5 y3 x 24 }
T 1= {( y , x ) / x 2 2( y2) 5 y3 x 24 }

 { ( x , y ) / x 2 2( y2) 5 y3 x 24 }

S1 , se obtiene intercambio x con y en

Como observar las relacin inversa

(x , y ) S ( y , x) S1

decir

Nota: si

S= { ( x , y ) / y=2 x+1 } ={( x , 2 x +1) x R }

entre

o S1= {(2 x+1, x) x R }

1

o S = { ( y , x ) / y=2 x+1 }

1
1
S1={ ( x , y ) /x=2 y +1 } = ( x , y ) / y = x
2
3

4.8.4.Propiedades de la Relacin Inversa:

S : A B T : A B
1

1.

( S T ) =S T

2.

( S T )1=S1 T 1

3.

( ST )1=S1T 1

4.

( S T )1=S1 T 1

Prueba de (1)

son dos relaciones de A en B, se cumplen:

( S T )1=S1 T 1

( ) Probaremos: si ( y , x ) ( S T )1 ( y , x) ( S1 T 1 )
En efecto:
1

i.

( y , x ) ( S T )

ii.

( x , y ) ( S T )

iii.

( x , y ) S (x , y ) T

iv.

( y , x ) S ( y , x ) T

v.

( y , x ) ( S1 T 1)

vi.

por lo pasos ( i ) y ( v )( S T )1 S1 T 1

( ) Probaremos: si ( y , x ) ( S1 T 1 ) ( y , x) ( S T )1
En efecto:

expresar de tres maneras:

Si

R . Es

se puede

vii.

( y , x ) ( S1 T 1 )
1

viii. ( y , x ) S ( y , x ) T

ix.

( x , y ) S (x , y ) T

x.

( x , y ) ( S T )

xi.

( y , x ) ( S T )1

xii.

por ( vii ) y ( xi ) , ( S1 T 1 ) ( S T )

xiii. por lo pasos ( i ) y ( v )( S T ) S T

por ( vii ) y ( xii ) ( S T )1 S1 T 1

4.9. Composicin de Relaciones:
Sea S una relacin de A en B
T una relacin de B en C

(S : A B o S A B) y
(T : B C o T B C )

Definamos la relacin compuesta

T o S de A en C de la siguiente manera:

T o S={ ( x , z ) A C / y B ,( x , y )T ( y , z) S }
se llama RELACIN COMPUESTA de T y S
Es decir:

( x , z ) ToS y B/ ( x , y ) T ( y , z) S

Su grafica correspondiente ser:

Donde:

T A B o T' : A B
S B C o S ' : B C

Nota:

la

relacin

ToS

existe

RT D S

si,

por

lo

tanto,

si

RT DS T o S
Ejemplo 1: hallar la inversa de las siguientes relaciones:
a)

S= { ( x , y ) R R/ x+ 4 y =16 }

b)

S= { ( x , y ) R R/2 x +3 y=4 2 x 8 }

Solucin (a)
Para determinar la inversa de una relacin se despeja x, es decir:
cambiar x por y es decir:

x=164 y

luego se

y=164 x

S1 ={ ( x , y ) R R y =164 x }
Solucin (b)
En primer lugar despejamos x de

x=

2 x +5 y=6 , es decir:

65 y
,2 x 8
2

Luego veremos cmo va variando y:

Como

2 x 8 2

65 y
8 4 65 y 16 25 y 10
2
2
2
y 2 2 y
5
5

Luego

y=

x=

65 y
2
,2 y ,
2
5

por

lo

tanto

65 x
2
,2 x
2
5

S1 = ( x , y ) R R y=

65 x
2
,2 x
2
5

el

cambiar

por

se

lee: