Semana 4

CURSO: MATEMTICA BSICA

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: (-1, 5) tiene como primera componente a -1 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 (2,5) y (1,3) no son iguales, pues sus primeras componentes son 2
y 1 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} se tiene:

AxB 1, 4 , 1,5 , 1,6 , 2, 4 , 2,5 , 2,6 , 3, 4 , 3,5 , 3,6

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 R2

1
Departamento De Ciencias Cajamarca Facultad De Ingeniera
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,

2 Departamento De Ciencias Cajamarca Facultad De Ingeniera

A B = {(1; 2), (1; 4), (1; 6), (3; 2), (3; 4), (3; 6), (5; 2), (5; 4), (5; 6)}

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

Luego, 2
AxB 1; 2 , 1; 3 , 2; 2 , 2; 3 , 3; 2 , 3; 3

A
1 2 3

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 R de A en B, a

cualquier subconjunto del producto cartesiano A B, es decir:
R = ( x; y) A B / p( x, y); R A B
Donde: p (x; y) es una relacin entre elementos.

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

x=2: y 1 2 2 4 entonces y {2,3} luego (2;2) , (2,3) R

x=3: y 1 32 9 entonces y {2,3} luego (3;2), (3;3) R
x=9: y 1 9 81 entonces y {2,3,9} luego (9;2), (9;3), (9;9) R
2

3 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 DOMINIO DE UNA RELACIN RANGO DE UNA RELACIN
El dominio de la relacin R, se denota por El rango de la relacin R, se denota por
Dom(R) o D(R), se define como el Ran(R) o R(R), se define como el
conjunto de todas las preimgenes (primeras conjunto de todas las imgenes (segundas
componentes) del grafo de la relacin. componentes) del grafo de la relacin.
Si R : A B, es una Relacin, su dominio Si R : A B, es una relacin, su rango
es: es:
Dom(R)= {x A / y B p(x;y) } 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 A {1,3,5}, B {2,4,6} se definen las relaciones

R1 {( x, y) AxB / y x 1}; R2 {( 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)} R2 {(3; 2), (3; 4), (3;6)}
R1 R2 {(1, 2), (6,5)} , luego Dom( R1 R2 ) {1, 6}, Rang ( R1 R2 ) {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}

Rango Y Relacin
Dominio X
(imagen y=2x) T ( x, y) / y 2 x
2 y =2(2) = 4 (2,4)
3 y =2(3) = 6 (3,6)
4 Y =2(4) = 8 (4,8)

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

4 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 GRAFICA DE UNA RELACIN DE R EN R
Llamaremos grfica de una relacin de R en R al conjunto de puntos P(x, y) cuyas
coordenadas satisfagan a dicha relacin, teniendo en cuenta que una relacin puede
estar expresada en una de las formas:
p x; y 0, p x; y 0, p x; y 0, p x; y 0, p x; y 0

Para graficar la relacin con desigualdad, seguir dos pasos:

1. Graficar la igualdad p x; y 0 .

2. Seleccionar un punto que no pertenezca a la grafica, pero que cumpla con la

desigualdad descrita por la condicin de la relacin.
3. Sombrear la regin que satisface la relacin.

Ejemplo 1. Bosquejar los grficos de la siguiente ecuacin

R1 {( x; y) RxR}/ x y}

Solucin Para que un par ordenado x; y se encuentre en R1 {( x; y) RxR}/ x y}

sus dos componentes deben ser iguales x = y. Luego algunos pares de R1 sern
(2; 2) , (1; 1) , (0;0) , (1;1)
Dom( R1 ) , R (Eje X) Rang ( R1 ) , R( EjeY )

(2;2)
(1;1)
(0;0)
X
(-1;-1)

(-2;-
2)

Ejemplo2: Hallar el, rango y grfica de la relacin

T ( x, y) R 2 / y 2 x; 1 x 4
Solucin:

5 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 Dominio X Rango Y Relacin
1 x 4 , x R (imagen y 2 x ) T ( x, y) / y 2 x
-1 (cerrado) y =2(-1) = -2 (-1,-2)

0 y =2(0) = 0 (0,0)

1 y=2(1) = 2 (1,2)

4 (abierto) y=2(4) = 8 (4,8)

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

Dom( R2 ) , R( EjeX )
Rang ( R2 ) , R( EjeY ) (1;0)

Nota.- Si en la desigualdad anterior hubiramos tenido x y entonces deberemos

exceptuar los puntos que estn en el borde es decir x y .

6 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 (1;0)

Ejemplo 3: Grafique la relacin

R x, y R 2 / 2x y 4 0
Solucin:
1 Graficar 2x y 4 0
De 2x y 4 0 despejamos
y: 2x 4 y

x y
-1 2
0 4

2 veamos si el punto (1; 2) satisface la inecuacin 2x y 4 0

2(1) (2) 4 0 ;
40 (F)
3 Entonces se sombrea la parte donde no se encuentra el punto (1; 2)

7 Departamento De Ciencias Cajamarca Facultad De Ingeniera


Ejemplo 4: Grafique la relacin T (x, y) R 2 / y x 2
Solucin:
1 Graficar y x 2 . Para realizar la grfica tabulamos ciertos puntos que permitan tener
una referencia de la grfica.

x y
-2 4

3 3
-1 1
0 0
1 1

3 3 3 3

2 4

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) R2 / y ( x 1)2
Solucin:

8 Departamento De Ciencias Cajamarca Facultad De Ingeniera

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

x y
-1 4

3 1 0.732 3

0 1
1 0
2 1

3 1 2.732 3

3 4

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)
3 La grfica de la relacin es

Podemos observar que el dominio es R y el rango es [0,

Ejemplo 5: Grafique la relacin S ( x, y) R2 / x ( y 1)2
Solucin:
1 Graficar x ( y 1)2 . Tabulamos ciertos puntos que permitan tener una referencia de
la grfica.

9 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 x y
3 3 1 2.732
2 2 1 2.4142
0 1
1 0

2 2 1 0.4142
3 3 1 0.732
4 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.

x
Ejemplo 5: Grafique la relacin Q (x, y) R 2 / y x 2 2x 1 y 1
2
Solucin
Para solucionar este tipo de ejercicio se tiene que tener en cuenta la presencia de dos
desigualdades, lo cual involucra analizarlo por separado pero con la misma tcnica que
hemos empleado en los ejercicios anteriores.

10 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 10 Grfica de y x2 2 x 1
x
20 Grfica de y 1
2

Como existe entre las dos condiciones el conector , entonces haremos una
interseccin entre las dos grficas.

Para analizar el dominio de esta grfica tendremos que analizar sus puntos de
interseccin y para esto igualamos las ecuaciones:
x
x2 2 x 1 1 x 0 x 3 / 2
2
Esto nos dice que el dominio es de [0;3 / 2] . Con respecto al rango podemos observar
que va desde -1 hasta 0, es decir [1;0] .

11 Departamento De Ciencias Cajamarca Facultad De Ingeniera

 EJERCICIOS PROPUESTOS

1. Dados los conjuntos A x Z / 1 x 2 , B x Z / 2 x 5 ,

C x Z / 1 x 4 . Hallar los conjuntos y graficar:

a) A B b) B C c) (A C) B d) A (B C) e) A B f) A (B C)
2. Sea A={1, 2, 3, 4, 5, 6}, Dada las relaciones R1 y R2 en A:
R1 ( x, y) / x y , R2 ( x, y) / x y 5 , halle:

a) El numero de pares ordenados de R1 R2.

b) R2 (R1 R2).
3. Grafica cada relacin en un diagrama cartesiano.
a. J = x ; y N 2 / 1 x 2 ; 1 y 3

b. M= x ; y Z2 / x 1 ; 2 y 4

c. L = ( x, y) R 2 / x y 3 0

d. O = x ; y R 2 / y 2x 1; -4 x 3

e. P= ( x, y) R2 / y x 2, x 0

f. Q= x ; y R 2 / y x 2 -1 ; -1 x<1

4. Sean los conjuntos: A = 1; 2; 3; 4, B = 2; 4; 6; 8;10, C = 4; 5; 6; 7; 9 y

D = 1; 2; 4; 8; 10; 12
Determina por extensin, grafica y escribe el dominio y el rango de las siguientes
relaciones

a) Q = x , y A x C / y=x-1
b) W = x , y B x C / x y

c) M = (x, y) D2/ x es mltiplo de y

d) F = x ; y B
2
/ y=x+2

e) P ( x, y) C 2 / y 2 x 1

f) H= x , y A 2
/ y 3x 2

12 Departamento De Ciencias Cajamarca Facultad De Ingeniera

5. Determine dominio, rango y grfica de cada relacin siguiente
a) R1 ( x, y) R 2 / x 0

b) R2 ( x, y) R 2 / x 1 0

c) R3 ( x, y) R 2 / y 0

d) R4 ( x, y) R 2 / x 1 0 y 1 0

e) R5 ( x, y) R 2 / x 1 2

f) R6 ( x, y) R 2 / 1 x 2 2 y 4

g) R7 ( x, y) R 2 / y 2 x 1

h) R8 ( x, y) R 2 / y 2 x

i) R9 ( x, y) R 2 / y 2 x 4 0

j) R10 ( x, y) R 2 / 2 x 3 y 6 0

k) R11 ( x, y) R2 / 2 x y 3 0 x 2 y 4 0

l) R12 ( x, y) R 2 / x 4 y 6 0 2 x 6 y 7 0

m) R13 ( x, y) R 2 / y x 2 y 0 1 x 2

13 Departamento De Ciencias Cajamarca Facultad De Ingeniera