Universidad Diego Portales

FACULTAD DE ECONOMIA Y EMPRESA

Material Docente Relaciones I A E 4207 Clculo

Profesores: Abel Lizana Morales Hctor Carreo Gajardo

SANTIAGO, CHILE, U.D.P., Abril de 2012

Universidad Diego Portales

Facultad de Economa y Empresa

RELACIONES

1.0. Definicin.

Concepto de Par Ordenado y Producto Cartesiano: Sean a y b nmeros reales, definimos par ordenado a coma b , que se denota por ( a, b ) como el conjunto ( a, b ) = a , a, b .

{{ } {

}}

Al elemento a lo llamamos primer elemento del par ordenado o bien abscisa. Al elemento b lo llamamos segundo elemento del par ordenado o bien ordenada. Es evidente a partir de la definicin que ( 2, 3 ) ( 3, 2 ) , pues Proposicin:

{{ 2 }, { 2,3 }} {{ 3 }, { 3,2 }} .

Dos pares ordenados son iguales si sus componentes respectivas son iguales entre s. a=x ( a , b ) = ( x, y ) b= y Sean A y B conjuntos no vacos, definimos el producto cartesiano entre A y B , en ese orden, y que se denota por A B , como una operacin entre conjuntos y que determina un conjunto cuyos elementos son pares ordenados y que est definida por: A B = { ( a, b) / a A y b B } Sean A y B dos conjuntos definidos por comprensin tal que:

Definicin:

Ejemplo 1:

A = { x IN : x es un nmero divisor de 4

B = y IR : y es solucin de y 5 y + 4 = 0
2

a. Determine los conjuntos A y B por extensin b. Obtenga los siguientes productos cartesianos A B y B A Solucin: a. La extensin de los conjuntos A y B es A = { 1, 2, 4 } y B = { 1, 4 } b. A B = { (1,1), (1,4), (2,1), (2,4), (4,1), (4,4) } y
B A = { (1,1), (1,2), (1,4), (4,1), (4,2), (4,4)

Nota:

En general si n( A) = p y n( B) = q , entonces n( A B) = pq , decir el nmero de elementos existente en el producto cartesiano, es igual al producto de las cardinalidades entre los conjuntos, adems el producto cartesiano no es conmutativo, es decir: A B B A Sean A y B dos conjuntos definidos por comprensin tal que:

Ejemplo 2:

A = { x IN : 7 2 x + 5 < 13 B = { y Z : 3 < 2y + 3 5

} }

a. b. a. b.

Determine los conjuntos A y B por extensin Obtenga el producto cartesiano A B Solucin: La extensin de los conjuntos A y B es A = { 1, 2, 3 } y B = { 2,1, 0, 1 }

A B = { (1,2), (1,1), (1,0), (1,1), (2,2), (2,1), (2,0), (2,1), (3,2), (3,1), (3,0), (3,1) }

Profesores: A. Lizana M. H. Carreo G.

Material Docente IAE 4207 Clculo pg.: 2

Universidad Diego Portales

Facultad de Economa y Empresa

Ejemplo 3:

Determine el producto cartesiano que se obtiene al lanzar dos dados, uno Azul y el otro Blanco. Solucin: Como cada dado tiene seis caras se obtiene el un producto cartesiano de 36 elementos, dado por: (1,1), (1,2), (1,3), (1,4), (1,5), (1,6), (2,1), (2,2), (2,3), (2,4), (2,5), (2,6), A B = (3,1), (3,2), (3,3), (3,4), (3,5), (3,6), (4,1), (4,2), (4,3), (4,4), (4,5), (4,6) (5,1), (5,2), (5,3), (5,4), (5,5), (5,6), (6,1), (6,2), (6,3), (6,4), (6,5), (6,6)

Sobre este conjunto (Universo) podemos determinar subconjuntos, como por ejemplo el conjunto dado por R = { ( x, y ) A B / x = y } , la extensin de este conjunto es R = { (1,1), (2,2), (3,3), (4,4), (5,5), (6,6) } , vemos que R A B .

Ejercicio:

A partir de A B dado en el ejemplo 3 determine los siguientes subconjuntos: a. b. c. d. e.

R1 = { ( x, y ) A B / x < y } R2 = { ( x, y ) A B / x y } R3 = { ( x, y ) A B / x y > 1 } R4 = { ( x, y ) A B / 2 x + y = 7 } R5 = { ( x, y ) A B / x = 2, o y = 3

}
Material Docente IAE 4207 Clculo pg.: 3

Profesores: A. Lizana M. H. Carreo G.

Universidad Diego Portales

Facultad de Economa y Empresa

2.0.

Relaciones:

Definicin:

Sean A y B conjuntos no vacos, definimos una relacin R de A a B , en ese orden, como cualquier subconjunto de A B . Si

Ejemplo:

A B = { (1,1), (2,1), (2,2), (3,1), (3,2), (4,2), (4,3), (4,4), (5,1), (5,5), (5,6), (6,1), (6,5), (6,6) } , entonces R = { ( x, y ) A B / x + y es un nmero par } es una relacin R de A a B , pues R = { (1,1), (2,2), (3,1), (4,2), (4,4), (5,1), (5,5), (6,6) } y vemos que R A B .

Nota:

Nos interesan las relaciones que se determinan mediante una cierta ley de formacin, o sea definidas mediante un conjunto definido usando el axioma de especificacin para as determinar su extensin, esto es definiendo la relacin R de A a B , de la siguiente forma:

R = { ( x, y ) A B /
donde

p(( x, y ))

p(( x, y )) es una frmula proposicional abierta que define la propiedad caracterstica que satisfacen los elementos de la relacin R . Si un par ordenado (a, b) , pertenece a la relacin R entonces p((a, b)) es una proposicin verdadera y decimos que a est relacionado con b , o lo que es lo mismo aRb o bien (a, b) R .

2.1. Definicin:

Dominio, Recorrido y Relacin Inversa. Sea R una relacin de A a B , es decir R = { ( x, y ) A B / p(( x, y )) } A B , definimos: a. Dominio de la relacin R , denotado por Dom( R ) como el conjunto: b. c.

Dom( R) = { a A, b B / (a, b) R } Recorrido de la relacin R , denotado por Re c( R) como el conjunto: Re c( R ) = { b B, a A / (a, b) R }

Relacin Inversa de R , que se denota por R 1 , como el conjunto: R 1 = { (b, a) / (a, b) R } El dominio de una relacin es el conjunto formado por todas las primeras componentes de los pares ordenados que forman la relacin. El recorrido de una relacin es el conjunto formado por todas las segundas componentes de los pares ordenados que forman la relacin. La relacin inversa R 1 de una relacin R es el conjunto de todos los pares ordenados recprocos de los pares ordenados de la relacin R .

Nota:

a. b. c.

Ejemplo:

Si R = { (1,1), (1,2), (3,1), (3,2), (3,3), (5,4), (5,5), (5,6) } A B , donde A y B conjuntos no vacos, entonces el dominio ser Dom( R ) = { 1,3,5} , el recorrido es Re c( R) = { 1,2,3,4,5,6} y la relacin inversa es R 1 = {(1,1), (2,1), (1,3), (2,3), (3,3), (4,5), (5,5), (6,5)}

Proposicin:

Sea R una relacin de A a B , o sea R = { ( x, y ) A B / que: 1. 2. 3.

p(( x, y ))

}, entonces se verifica

(R )

1 1

=R
Re c( R ) B .
1

Dom( R ) A ,

Dom( R ) = Re c( R ) ,

Re c( R 1 ) = Dom( R ) .

Profesores: A. Lizana M. H. Carreo G.

Material Docente IAE 4207 Clculo pg.: 4

Universidad Diego Portales

Facultad de Economa y Empresa

3.0. 1.

Ejercicios Propuestos Relaciones Finitas: Sean los conjuntos a. b. c. Determine la siguiente relacin por extensin R = { ( x, y ) A B / x + y es impar Indique su dominio y recorrido. Determine la relacin inversa

A={ 1,2,3}

B = {2,3,4,5}

R 1 por extensin.

2.

Dado el conjunto

A = { x IN : x es un nmero que se obtiene al lanzar un dado

y las siguientes

relaciones definidas A :

R1 = { (a, b ) A A / a es multiplo de b } R 2 = { (a, b ) A A / a es menor que b } R3 = { (a, b ) A A / a es divisor de b } R 4 = { (a, b ) A A / a + b = 5 }

R5 =

{ (a, b) A A /

a 2 + b 2 25

a. b. c. d. 3.

Exprese por extensin cada relacin. Exprese por extensin el dominio y el recorrido de cada relacin. Represente en un diagrama cada relacin. Indique por extensin su relacin Inversa R 1 , para cada relacin.

Sean los conjuntos discretos A = { x Z /

define la siguiente relacin R = ( x, y ) A B / a. b. 4. La relacin R por extensin

3 x 2

x y <1

}. Determine:

y B = {x Z /

2 x 4

},

se

El Dominio de R , Recorrido de R y R 1 por extensin

log(2 x + y ) 1 Sea la relacin: R = ( x, y ) IN IN / =0 3 3 a. Determine la relacin R por extensin. b. Indique su dominio y recorrido.
c. Determine la relacin inversa R
1

por extensin.

5.

Sobre el conjunto A = { 2, 1, 0, 1, 2 } se define la relacin R = ( x, y ) A A / Determine: a. La relacin R por extensin. b. El Dominio y Recorrido de R . c. La relacin inversa: R 1 por extensin Sobre el conjunto A = { x Z / x 2 } se define la relacin R = { ( x, y ) A A / a. b. c. La relacin R por extensin. El Dominio y Recorrido de R , La relacin inversa: R 1 por extensin

2y = x + x

}.

6.

y x

}. Determine:

7.

R = { (a, b ) A A / b a es divisible por 2 Determine a. La relacin R por extensin. b. El Dominio y Recorrido de R .

Sea el conjunto A = { x Z : 3 < x 4

} . Se define en A

la siguiente relacin:

c.

La relacin inversa: R 1 por extensin

Profesores: A. Lizana M. H. Carreo G.

Material Docente IAE 4207 Clculo pg.: 5

Universidad Diego Portales

Facultad de Economa y Empresa

4.0.

Problemas Resueltos:

1.- Sea los conjuntos: a. Solucin:

A = { 1, 2, 3, 4 } y B = { 0, 1, 2, 3, 4, 5 }. 2 2 Determine la siguiente relacin R = ( x, y ) A B / x y 4

} por extensin.
}

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

b.

Indique su dominio y recorrido. Solucin:

Dom R = { 2, 3, 4 } Re c R = { 0, 1, 2, 3 }

c.

Determine la relacin inversa Solucin:

R 1 por extensin.

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

x+ y 3 2.- Sea la relacin: R = ( x, y ) IN IN / =0 2 2 aDetermine la relacin R por extensin. Solucin: x+ y 3 De la condicin: = 0 , se deduce que x + y = 9 , por lo tanto: 2 2

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

b.

Indique su dominio y recorrido. Solucin:

Dom R = { 1,2, 3, 4,5,6,7,8 } = Re c R

R 1 por extensin.

c.

Determine la relacin inversa Solucin:

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

3.- Sea los conjuntos: d. Solucin:

A = { 1, 2, 3, 4 } y B = { 0, 1, 2, 3, 4, 5 }. 2 2 Determine la siguiente relacin R = { ( x, y ) A B / x y 4

} por extensin.
}

R = { (2,0), (3,0), (3,1), (3,2), (4,0), (4,1), (4,2), (4,3) Dom R = { 2, 3, 4 } R 1 por extensin.

e.

Indique su dominio y recorrido. Solucin:

Re c R = { 0, 1, 2, 3 }

f.

Determine la relacin inversa Solucin:

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

Profesores: A. Lizana M. H. Carreo G.

Material Docente IAE 4207 Clculo pg.: 6

Universidad Diego Portales

Facultad de Economa y Empresa

4.- Dada la relacin: R = ( x, y ) Z Z / x 2 + y 2 = 25 a. Determine la relacin por extensin. Solucin: Los elementos del conjunto R son pares ordenados en los cuales la suma de los cuadrados de sus respectivas componentes es igual a 25, los nicos pares son:

R = { (5,0), (5,0), (0,5), (0,5), (3,4), (3,4)(3,4), ( 3,4), (4,3), (4,3), (4,3), (4,3)
b. Indique su dominio y recorrido. Solucin. El dominio lo constituyen las primeras componentes: El recorrido lo constituyen las segundas componentes: c.

Re c R = { 5,4,3, 0, 3, 4, 5 }

Dom R = { 5,4,3, 0, 3, 4, 5 } .

Obtenga su relacin inversa. Solucin: En este caso se tiene que la relacin inversa es igual ala relacin directa es decir R 1 = R

5.- Sea las relaciones: a.

S = { ( x, y ) IN IN / log( x + 2 y 2) 1 = 0 Determine ambas relaciones por extensin.

Para la relacin R de la condicin

R = ( x, y ) IN IN

2x + y 3 = 0

R = { (1,7), (2,5), (3,3), (4,1) } . Para la relacin S de la condicin es log( x + 2 y 2) 1 = 0 , de donde se deduce que x + 2 y 2 = 10 , por tanto x + 2 y = 12 , entonces S = { (2,5), ( 4,4), (6,3), (8,2), (10,1) } .

2 x + y 3 = 0 , se deduce que 2 x + y = 9 , por lo tanto

b.

Indique sus dominios y recorridos.

Dom R = { 1, 2, 3, 4 }
Re c R = { 1, 3, 5, 7 }

Dom S = { 2, 4, 6, 8, 10 }
Re c S = { 1, 2, 3, 4, 5 }

c.

Obtenga sus relaciones inversas.

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

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

Profesores: A. Lizana M. H. Carreo G.

Material Docente IAE 4207 Clculo pg.: 7