Relaciones Binarias
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}
Ejemplo:
se
tiene:
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
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
luego luego
(2;2) , (2,3) R
(3;2), (3;3) R
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)}
Rango Y (imagen y = 2 x )
(1;0)
(1;0)
x -1 0
y 2 4
Semestre 2011-II Cajamarca
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)
/ 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
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
/ 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
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.
1.
d) ( B C ) A
2.
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 }
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}
q) r)