SEMANA 12

CURSO : MATEMTICA BSICA - INGENIERA

Tema :

Relaciones Binarias

RELACIONES EN EL PLANO CARTESIANO

Par ordenado. Un par ordenado es el conjunto formado por dos elementos, llamados componentes. Al par ordenado se le representa (x, y) Donde al elemento x se le denomina primera componente y al elemento y se le denomina segunda componente. Ejemplo: (2, 5) tiene como primera componente a 2 y como segunda componente a 5.

Igualdad de pares ordenados: Dos pares ordenados son iguales, si y solamente si sus componentes correspondientes son iguales. Es decir: ( x, y ) = ( a , b ) x = a y = b Ejemplo: Los pares ordenados (3,5) y (2,3) no son iguales, pues sus primeras componentes son 3 y 2 respectivamente; tampoco son iguales sus segundas componentes . Producto cartesiano. Sean los conjuntos no vacos A y B, se llama producto cartesiano A por B al conjunto formado por todos los pares ordenados, tal que, las primeras componentes pertenecen al conjunto A y las segundas componentes pertenecen al conjunto B. Es decir:

{( x, y) / x A

y B}

Notacin: El producto cartesiano se denota A B, entonces

A B = {( x; y ) / x A y B}

Ejemplo:

Sea los conjuntos A={1,2,3} y B={4,5,6} AXB={(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5) ,(3,6)}

se

tiene:

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

Observacin: 1. Si A=B, el producto cartesiano denotaremos por A B = A A = A2 2. Si A = B = R , el producto cartesiano denotaremos por A B = R R = R 2 Nota.- Si los conjuntos A y B son finitos y tienen m y n elementos respectivamente, entonces el Producto Cartesiano AxB tiene mxn elementos. Para representar grficamente un producto cartesiano se puede elaborar un diagrama cartesiano o una tabla de doble entrada.

PLANO CARTESIANO El plano cartesiano est formado por dos rectas numricas, una horizontal y otra vertical que se cortan en un punto. Al eje horizontal se le llama eje de las abscisas o eje de las x, y al eje vertical se le llama eje de las ordenadas o eje de las y; el punto donde se cortan recibe el nombre de origen.

A un diagrama coordenado como el anterior se le llama sistema de coordenadas cartesianas o plano cartesiano. El plano cartesiano tiene como finalidad describir la posicin de puntos, los cuales se representan por sus coordenadas o pares ordenados.

Ejemplo 1: Sean los conjuntos A = {1; 3; 5} y B = {2; 4; 6}. Entonces el producto cartesiano A B est constituido 9 pares ordenados, los cuales resultan de n(A) n(B)= 3 3 = 9. Luego, A B = {(1 ;2), (1 ; 4), (1 ; 6), (3 ; 2), (3 ; 4), (3; 6), (5; 2), (5; 4), (5;6)}
Facultad de Ingeniera y Arquitectura Semestre 2011-II Cajamarca

Ejemplo 2: Sean los conjuntos A = {1; 2; 3} y B = {2;3}. Entonces el producto cartesiano A B est constituido 6 ares ordenados, los cuales resultan de n(A) n(B)= 3 2=6 Luego, A B = {(1 ;2), (1 ; 3), (2 ; 2), (2 ; 3), (3 ; 2), (3; 3)}

3 2

AxB

Ejemplo 3: Sean los conjuntos: M= {x R / 2 x 2 } N= {y R / 1 x 4 }

Los conjuntos M y N tienen infinitos elementos, pues pertenecen a intervalos reales; por lo tanto, el producto cartesiano M N, tiene infinitos pares ordenados. Diagrama cartesiano de M N

RELACIONES BINARIAS
Dado dos conjuntos no vacos A y B, se define una relacin binaria subconjunto del producto cartesiano A B, es decir:

de A en B, a cualquier

R = {( x; y) A B
Donde: p (x; y) es una relacin entre elementos.

/ p ( x, y )} ;

R A B

Ejemplo 4. Si R es una relacin en A= {2, 3,9} tal que R= ( x; y ) AxA / y + 1 x 2 entonces: R= {(2;2),(2;3),(3;2),(3;3),(9;2),(9;3),(9;9)} pues

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

x=2: y + 1 2 2 = 4 entonces y {2,3} x=3: y + 1 3 2 = 9 entonces y {2,3} x=9: y + 1 9 2 = 81 entonces

luego luego

(2;2) , (2,3) R
(3;2), (3;3) R

y {2,3,9} luego (9;2), (9;3), (9;9) R

DOMINIO DE UNA RELACIN El dominio de la relacin

RANGO DE UNA RELACIN El rango de la relacin

R, se denota por

R, se denota por

Dom(R) o D(R), se define como el conjunto de todas las preimgenes (primeras componentes) del grafo de la relacin. Si R : A B, es una Relacin, su dominio es: Dom(R)= {x A / y B p(x;y) }

Ran(R) o R(R), se define como el conjunto de todas las imgenes (segundas componentes) del grafo de la relacin. Si R : A B, es una relacin, su rango es: Ran(R )= {yB / xA p(x;y)}

Ejemplo 5 .Sea R={(1;1),(2;1),(2;3),(3;1),(3;2),(4;1),(4;2),(5;3)} entonces :

Dom( R) = {1,2,3,4,5} y Rang ( R ) = {1,2,3}

Ejemplo 6 .Dado los conjuntos las relaciones A = {1,3,5}, B = {2,4,6} se definen R1 = {( x , y ) AxB / y x = 1}; R 2 = {( x , y ) AxB / x = 3 } . Hallar la suma S de todos los elementos de

Dom( R1 R2 ) Rang ( R1 R2 ) Solucin R1 = {( 1 ; 2 ), ( 3 ; 4 ),( 6 ; 5 )} R 2 = {( 3 ; 2 ),( 3 ; 4 ), ( 3 ;6 )} R1 R 2 = {( 1 ,2 ), ( 6 ,5 )} , luego Dom( R 1 R 2 ) = { 1 ,6 }, Rang( R1 R 2 ) = { 2 ,5 } Es as que S = 1 + 5 + 2 + 6 = 14

Ejemplo 7: Sea la relacin T = {( x, y ) / y = 2 x} , designaremos el dominio X = {2, 3, 4} Dominio X 2 3 4 Rango Y (imagen y=2x) y =2(2) = 4 y =2(3) = 6 Y =2(4) = 8 Relacin T = {( x, y ) / y = 2 x} (2,4) (3,6) (4,8)

Por lo tanto la relacin T es: T = {(2, 4), (3, 6), (4,8)}

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

Ejemplo 2: Hallar el , rango y grfica de la relacin T = {( x, y ) R 2 / y = 2 x; 1 x < 4}

Solucin:

Dominio X 1 x < 4 , x R -1 (cerrado) M 0 M 1 M 4 (abierto)

Rango Y (imagen y = 2 x )

Relacin T = {( x, y ) / y = 2 x} (-1,-2) M (0,0) M (1,2) M (4,8)

y =2(-1) = -2 M y =2(0) = 0 M y=2(1) = 2 M y=2(4) = 8

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

Dominio: 1 x < 4 es decir el intervalo [ 1, 4 ) Rango: 2 y < 8 es decir el intervalo [ 2,8 )

Ejemplo 3. Bosquejar la grfica de la siguiente relacin R 2 = {(x; y) RxR} / x y} Solucin

1.Graficar x = y 2. Veamos si el punto (1;0) satisface la inecuacin y x ; 0 1 (V) Entonces se sombrea la parte donde se encuentra el punto (1;0) . Un par ordenado (x; y) que pertenece a R2 satisface la condicin y x si este se encuentra en la recta y = x o en la parte inferior de esta

(1;0)

Dom( R2 ) =< , >= R( EjeX )

Rang ( R2 ) =< , >= R ( EjeY )

Nota.- Si en la desigualdad anterior hubiramos tenido puntos que estn en el borde es decir x = y .
x > y entonces deberemos exceptuar los

(1;0)

Ejemplo 3: Grafique la relacin R = {(x , y) R2 / 2x-y+4<0} Solucin:

1 Graficar 2x-y+4=0 De 2x-y+4=0 despejamos y: y=2x+4

x -1 0

y 2 4
Semestre 2011-II Cajamarca

Facultad de Ingeniera y Arquitectura

2 veamos si el punto (1;2) satisface la inecuacin 2x-y+4<0 2(1) (2) + 4 < 0 ; 4 < 0 (F) 3 Entonces se sombrea la parte donde no se encuentra el punto (1; 2)

Ejemplo 4: Grafique la relacin T = ( x, y ) Solucin:

/ y x2

1 Graficar y = x 2 . Para realizar la grfica tabulamos ciertos puntos que permitan tener una referencia de la grfica. x
-2

y
4 3 1 0 1 3 4

3
-1 0 1
3

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

2 A continuacin seleccionamos un punto arbitrario y lo reemplazamos en el criterio. Veamos si el punto (1; 2) satisface la inecuacin y x 2 2 < 12 = 1 (Falso)

Este resultado nos dice que los puntos que cumplen con la condicin de la relacin deben estar en el lado opuesto al que se encuentra el punto seleccionado. 3 La grfica de la relacin es

Como podemos observar el dominio de la relacin es R as como tambin el rango.

Ejemplo 4: Grafique la relacin S = ( x, y ) Solucin:

/ y ( x 1)2

1 Graficar y = ( x 1) 2 . Tabulamos ciertos puntos que permitan tener una referencia de la grfica.
x
-1

y
4 3 1 0 1 3 4

3 + 1 0.732
0 1 2

3 + 1 2.732
3

2 A continuacin seleccionamos un punto arbitrario y lo reemplazamos en el criterio. Veamos si el punto (1; 2) satisface la inecuacin y ( x 1)2 2 (1 1) 2 = 0 (Verdadero)
Facultad de Ingeniera y Arquitectura Semestre 2011-II Cajamarca

3 La grfica de la relacin es

Podemos observar que el dominio es Ry el rango es [0, > Ejemplo 5: Grafique la relacin S = ( x, y ) Solucin:

/ x > ( y + 1) 2

1 Graficar x = ( y + 1)2 . Tabulamos ciertos puntos que permitan tener una referencia de la grfica.
x
3 2 0 1 2 3 4

y
3 1 2.732 2 1 2.4142

1
0

2 1 0.4142 3 1 0.732
1

2 A continuacin seleccionamos un punto arbitrario y lo reemplazamos en el criterio. Veamos si el punto (0; 0) satisface la inecuacin x > ( y + 1)2 0 > (0 + 1) 2 = 1 (Falso) 3 La grfica de la relacin es

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

Podemos observar que el dominio de la relacin es [0, > y el rango R. Nota.- No consideramos la frontera puesto que no tenemos la igualdad en la relacin.

EJERCICIOS PROPUESTOS Si Dados los conjuntos A = { x Z / 1 x 3} , B = { x Z /1 x 4} , C = {x Z / 2 x 5} . Hallar los conjuntos y graficar: a) A B b) B C c) ( A B) C

1.

d) ( B C ) A

2.

Grafica cada relacin en un diagrama cartesiano. a. J = {(x ; y) N2 / -2 x 2 ; -1 y < 4} b. L = {(x ; y) Z2 / x = -3 ; 2 y < 4} c. L = {( x, y ) R 2 / 2 x 3 y 6 = 0}

d. L = {(x ; y) R2 / y = 2 x; 0 x 5 } e. L = {( x, y ) R 2 / 2 x 3 y 6 = 0, x 1}

3. Si U = {1,2,3,4,5} determiner la relacin C = {( x, y ) U U / y = x 2} 4. Si A = {3,2,1,2} determinar la relacin F = {( x, y ) A A / y + x 0}

5. Sean los conjuntos: A = {1; 2; 3} B = {2; 4; 6; 8} C = {4; 5; 6; 7} D = {1; 2; 4; 8; 10}

Determina por extensin, grafica y escribe el dominio y el rango de las siguientes relaciones a) Q = {(x , y) C x A / x = y +1 } b) W = {(x , y) B x C / x y } c) M = {(x,y) D2/ x es mltiplo de y } d) F = {(x ;y) B2 / y = 2x }

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca

x + 1 e) P = ( x, y ) C 2 / y = 2 f) H ={(x , y) A2 / y 3x - 2 }
6. Determine dominio, rango y grfica de cada relacin siguiente

a) b) c)
d) e) f) g) h) i) j) k) l)

R1 = {( x, y ) R 2 / 2 < x 3 1 y 3} R2 = {( x, y ) R 2 / 1 < x 5 - 1 y 4}
R3 = {( x, y ) R 2 / y x 2} R4 = {( x, y ) R 2 / 1 x + y} R5 = {( x, y ) R 2 / x + y 3} R6 = {( x, y ) R 2 / 2 x 4 y < 8} R7 = {( x, y ) R 2 / 0 < x + 2 y 4 x - y 2} R8 = {( x, y ) R 2 / 2 x 6 3 y < 0 4 y + x > 6} R9 = {( x, y ) R 2 / y 2 x 1 y 1 x 3} R10 = {( x, y ) R 2 / y x 2 4 - x 2 y} R11 = {( x, y ) R 2 / y x 2 + 1 y 6 x 2} R12 = {( x, y ) R 2 / 1 2 x y 2x - 1 y y x 2 + 4}

m) R13 = {( x, y ) R 2 / y 2 x y 2 x - 2 y 2} n) o) p) R14 = {( x, y ) R 2 / y 2 x x y 2 x 2 y x 2 }
R15 = {( x, y ) R 2 / y x 2 y x 2}

R16 = {( x, y ) R 2 / x < y} R17 = {( x, y ) R 2 / x 2 y y}

R18 = {( x, y ) R 2 / x y > x }

q) r)

Facultad de Ingeniera y Arquitectura

Semestre 2011-II Cajamarca