Relaciones Binarias

1
Luis Eduardo Linares Quiroz

GOBIERNO REGIONAL CAJAMARCA
DIRECCIN REGIONAL DE EDUCACIN CAJAMARCA
IESP PBLICO ARSTIDES MERINO MERINO - CELENDN
Resolucin de Creacin R.M. N 13672, del 26 de julio de 1961

Ao de la Inversin para el Desarrollo Rural y la Seguridad Alimentaria

Relaciones Binarias

Dados dos conjuntos el de hombres o conjunto H, y el conjunto de mujeres o conjunto M, es decir:
H = {Segundo, Sebastin, Luchn} y M= {Lucila, Cecilia, Sofa}
Entre ambos conjuntos se han establecido una correspondencia de modo tal que a cada
nombre de hombre le corresponde el nombre de una mujer cuyo que tenga la misma letra inicial segn
el diagrama sagital.

H M
Segundo. . Lucila
Sebastin. . Cecilia
Luchn . . Sofa

Las parejas sealadas pueden tambin ser representadas todas por pares ordenados, los mismos que
agrupados conforman un nuevo conjunto de pares ordenados al que llamamos relacin (9).
Es decir: 9 = {(Segundo; Sofa); (Sebastin; Sofa); (Luchn; Lucila)}.

Es fcil notar que este conjunto de pares ordenados es un subconjunto del producto cartesiano.
Tarea:
Da dos ejemplos de relaciones de acuerdo con tu vida cotidiana.
Definicin 1. Dados dos conjuntos A y B, decimos que 9 es una relacin de A en B si es un
subconjunto del producto cartesiano de A x B, o tambin 9 es una relacin de B en A si es un
subconjunto del producto cartesiano B x A, en el que las componentes de sus pares ordenados
guardan una regla de correspondencia o una correspondencia de acuerdo a una condicin.

Definicin 2. Se llama relacin binaria entre los elementos de un conjunto A y los elementos del
conjunto B, a todos los subconjuntos 9 del producto cartesiano de A x B; Esto es, una relacin binaria
9 consistente en lo siguiente:
a) Un conjunto de partida A
b) Un conjunto de llegada B
c) Un enunciado abierto
( )
es verdadero o falso para todo par ordenado.
Simblicamente se denota por:

*( ) ( ) c +

Definicin 3. Si entre los pares ordenados que son elementos del producto cartesiano A x B se
consideran solamente aquellos en los que el primer elemento del par est vinculado con el segundo
elemento por alguna propiedad, el subconjunto de A x B as obtenido se llama relacin entre los
elementos del conjunto A y los elementos del conjunto B.
En forma ms precisa:

RELACIN DE A EN B ES TODO SUBCONJUNTO DE A x B

2

Definicin 4. Una relacin en los reales es una regla de correspondencia que asocia a cada
nmero real x de un conjunto de partida A _ 9 (llamado dominio de la relacin) uno o ms nmeros
reales y de un conjunto de llegada B _ 9llamado contra dominio.

Definicin 5. Llamamos relacin entre los conjuntos A y B y que representamos por la letra
9, a cualquier subconjunto del producto cartesiano de A x B (No es necesario que todos los elementos
de A estn considerados).

Notacin. A las relaciones se les denota con la letras: R; S; T; U o tambin con subndice si
las relaciones son muchas: R
(1)
; R
(2)
; R
(3)
R
(4)
; . R
(n)
.

1. Simblicamente una relacin se denota:
As: el conjunto c
R = {(x; y) e A x B / x R y}
De esta bicondicional tenemos:
i) Si R es una relacin de A en B, entonces R c A x B.
ii) Si R c A x B., entonces R es una relacin de A en B.
Dnde:

Se lee R es un relacin de A en B
Se lee R es un subconjunto, parte o est incluido en A en B.

En donde: Si se trata de una relacin R de A en B, A es el conjunto de partida y B es el conjunto de
llegada y si se trata de una relacin R de B en A; el conjunto B es el conjunto de partida y A es el
conjunto de llegada.

UNA RELACIN PRESENTA LOS SIGUIENTE ELEMENTOS
1. ELEMENTOS HOMLOGOS O IMAGEN
Se dice que y es homlogo o imagen de x a todo elemento del conjunto B tal que el par (x;
y) e R. Siendo R un subconjunto relacin.
La primera componente del par (x; y) que pertenece al conjunto A se le llama pre imagen
mientras que la segunda componente recibe el nombre recibe el nombre de elemento imagen.
Cuando y es el elemento imagen de x por la relacin R escribimos y = R (x)
Conjunto origen, de partida o inicial. Llamamos as al conjunto A.
Conjunto de llegada o final. Es el conjunto B.
Grfico o grafo de una relacin. Es el conjunto de puntos.
Graf. (R) = {(x; y) e A x B / y = R (x) x e A R} c R
2

2. ELEMENTOS DE UNA RELACIN
Para indicar que un par ordenado (x; y) pertenece a una relacin R escribimos: x R y o tambin
(x; y) e R.
Esto significa que: (x; y) e R P (x; y) es verdad.
El smbolo x R y o (x; y) e R, indica que x, est vinculado con y por la relacin R. Al elemento
y se llama imagen del elemento x por la relacin R; y a x se le llama pre imagen de y por
la relacin R.
Anlogamente, para indicar que un par ordenado (x; y) no pertenece a una relacin R
escribimos x R y o tambin (x; y) e R.
Esto significa que: (x; y) e R. P (x; y) es falso.
A una relacin entre los elementos se le llama tambin correspondencia entre dichos
conjuntos.
3

Dominio y rango de una relacin

En el conjunto de partida de una relacin R hay elementos para los cuales la relacin nunca se
satisface; al ponerlos como primeras componentes de un par no dan una proporcin verdadera con
ningn segundo elemento.

Dominio.

El dominio est formado por aquellos elementos del conjunto de partida que satisfacen la relacin con
algn segundo elemento adecuado (o varios), y stos se dicen que estn formado la imagen.
Dominio de una relacin R es la totalidad de elementos del conjunto A (de partida) que admiten
imagen en el conjunto B (de llegada).
El dominio de una relacin R, se define como el conjunto formado por todas las primeras componentes
de los pres ordenados de dicha relacin.
Se llama dominio, al conjunto formado por todos los elementos de A que son pre imagen por la relacin
R (o que tiene una imagen).

Notacin. El dominio de una relacin se denota por: Dom
(R)
.
Simblicamente:
Dom
(R)
= {x e A / - y e B . (x; y) e R}
Dom
(R)
= {x / (x; y) e R } c A
Rango.

Rango de una R, es el conjunto de los elementos de B (conjunto de llegada, que admite una pre imagen
en A (conjunto de partida).
El rango de una relacin R es el conjunto formado por las segundas componentes de los pares
ordenados de dicha relacin.
Se llama recorrido, al conjunto formado por todos los elementos de B que son elementos imgenes por
la relacin R.
Al rango de una relacin tambin se le llama imagen o codominio.

Notacin. El rango de una relacin se denota por Ran
(R)
Simblicamente:
Ram
(R)
= {y e B / - x e A . (x; y) e R}
Ram
(R)
= {x / (x; y) e R } c B
El dominio es el conjunto incluido en el conjunto de partida, y la imagen es el conjunto incluido en el
conjunto de llegada. R
A B
Imagen

4. .9
Dominio

1.
2.
3.

.5
.6
.7
4

Conjunto de partida Conjunto
de llegada

Representaciones Grficas
Una relacin puede tener varias representaciones grficas.
Ejemplo: Representa grficamente la siguiente relacin: y = x
2
+ 1
Esta relacin se puede representar mediante:
a) Forma verbal. Se describe la relacin en lenguaje materno lo ms preciso posible
Un nmero y es igual al cuadrado de otro nmero x ms una unidad.
b) En forma de ecuaciones algebraicas: y = x
2
+ 1
c) Forma numrica o de tabla. Es un arreglo que puede ser en forma horizontal o en forma vertical
Forma horizontal:

X -2 -1 0 1 2
y 5 2 1 2 5

Forma vertical:
x y
-2 5
-1 2
0 1
1 2
2 5

d) Forma grfica:

Ejemplo: Dados los conjuntos A ={1; 2; 3} y B ={4; 5; 6}, consideremos adems los siguiente
conjuntos.
R = {(1; 4); (2; 5) ; (3; 6)}
R ={(2; 4) ; (3; 6)} c A x B
R ={(x; y)eA x B / x + y = 7)} = {(1; 6); (2; 5); (3; 4)} c A x B
Las relaciones anteriores son subconjuntos de A x B, y por tanto son relaciones de A x B.

Representacin Grfica de las relaciones

5

Sea R una relacin de A en B, es decir, R c A x B
Esta relacin se puede graficar mediante:
Tabla de dos columnas:

x y
X
1
y
1
X
2
y
2
X
3
y
3
: :
X
n
y
n

Diagrama Sagital o de Flechas R

A B
1. .4
.6
2. .8

Cuadro de Doble Entrada:

Diagrama Cartesiano

AxB
0 1 2 3 4

Taller de Ejercicios

1. Dados los conjuntos A = {5; 8; 11} ; B = {4; 7; 10} se define la relacin R, de la siguiente manera;
R ={(x; y) eA x B / x < y} y representa mediante diagrama sagital o de flechas, diagrama
cartesiano, mediante un cuadro de doble entrada.
2. Dado los conjuntos A ={x
2
1/ -2 x < 3; x e Z}, se define R de la manera siguiente:
R ={(x ; y) e A x N / y = x
2
+ 3}; Representa R como un conjunto de pares ordenados, halla su
dominio y rango.
R
3 4 5 6
1 X
2 X
3 X
4 X

6

1
2
3
4
2
3
6. . 4
5
7
I. Dados los conjuntos A y B, halla la relacin R de A en B cuya regla de correspondencia se indica,
adems grafica la relacin empleando el diagrama sagital, diagrama cartesiano y tabla de doble
entrada.
1. A ={1; 3; 5}; B ={2; 5}. Regla de correspondencia: a > b.
2. A ={x/ xeN . 1 x 2} y B ={x/ xeN . 1 x 2}; regla de correspondencia b = 2a
3. A ={x/ xeN . 0 < x < 3} y B={x/x eN . 0 < x 3}; Regla de correspondencia b = 2a
4. A ={y/ y e N . 1 y < 3}; B ={x/x e N . 0 < x 2}. Regla de correspondencia y = 2x
5. A ={x/x e N . x es impar . 7 x < 12}; B ={x/x e N; x es par . 5 < x < 11}. Regla de
correspondencia x + y = 15.
II. En cada uno de los ejercicios expresa cada relacin como un conjunto de pares ordenados: Halla su
dominio y su rango.
1. A ={2; 3; 5; 6} ; B ={3; 4; 6}. R ={(x; y) e A x B/ x < y}
2. P ={20; 24; 30; 48}; Q ={3; 4; 5; 7; 12}; R ={(x; y) e P x Q/ x es mltiplo de y}
3. M ={3; 5; 7; 9}; N ={1; 2; 3; 4}; R ={(x; y) e M x N/ x + y < 9}
4. D ={3; 4; 5; 6; 7}; L ={10; 12; 21; 25}; R ={(x; y)e D x L / x es divisor de y}
5. E ={x e N / -7 < x <10}; Z ={x e Z / -3 < x < 3}. R ={(x; y) eE x Z / x + y = 10}.
6. F = {x
2
+ 2 / -3<x<4; x e} ; L = { x 2 / 0 < x < 4 ; x eZ }; R ={(x ; y)e F x L / x < y}
7. G = {
} P = {2x + 3 / -4< x 2} R= {(x ; y) eG x P/ y = x + 1}

8. A = {x
2
7/ -5 < x < 1; x e Z}; B = {2x+7/ -5 x < 4 ; x e Z}; R = {(x ; y)eA x B / y = -2x}

Relaciones Inversa
Si R es una relacin de un conjunto A, en un conjunto B: R ={(x ; y) eA x B/ (x; y) e R}, la relacin
inversa, se denota por R
-1
, es la relacin de B x A, definida as:
Definicin: La relacin inversa de R, es el subconjunto de B x A definido por:
R
-1
={(y; x) / (x; y) e R}.
En este caso: (y; x) e R
-1
(x; y) e R
o tambin se puede considerar: (x; y) e R
-1
(y; x) e R.
Observese: Dom
(R
-1
)
= Ram
(R)
. Ram
(R
-1
)
= Dom
(R)

Ejemplo:
Dados los conjuntos: C = {1; 2; 3; 4} y D = {2; 3; 4; 5; 6; 7} y la relacin:
R: C D/ (x; y) e R y = 2x + 1
a) Determina R por extensin. e) Halla el dominio y el rango de R
-1
y grafica
b) Halla el dominio y el rango de R f) Cmo est definida la inversa?.
c) Representa grficamente R
d) Determina R
-1
por extensin.
RESOLUCIN
a) Determina R por extensin : R ={(1; 3); (2; 5); (3; 7)}
b) dominio y el rango de la R Dom
(R)
= {1; 2; 3} y Ram
(R)
= {3; 5; 7}
c) Representacin grfica:
Diagrama Sagital Tabla de doble entrada
C R D
D
2 3 4 5 6 7
1
2
7

2
3
6. . 4
5
7
1
2
3
4
3
4

Diagrama cartesiano (completa la grfica)

d) Determina R
-1
por extensin : invertimos los pares ordenados de R
R
-1
={(3; 1); (5; 2); (7; 3)}
e) Dom R
-1
=

{3; 5; 7}

Ram R
-1
={1; 2; 3}
Grafica de la inversa
R
D C (completa las grficas)

f) Definicin R
-1
: como la propiedad que caracteriza a la relacin R es:
P(x; y): y = 2x + 1; hay que determinar la propiedad que caracteriza a R
-1
es P(x; y):

por lo tanto, la relacin inversa R

-1
queda definida as:
R
-1
: D C / (x ; y) e R
-1

Ejercicios

1. Si R = {(1; 3); (4 ; 5); (7; 6)} y S = {(3; 5); (2; 4); (6; 7)} ; son dos relaciones , halla la
inversa de cada una der las relaciones.
2. Sea R una relacin definida en los nmeros naturales, tal que:
R : N N / (x; y) e R 2x + y = 10: Halla el dominio y el rango de la relacin inversa.

Relaciones Definidas en un Conjunto

Cuando los conjuntos de partida y de llegada de una relacin R son el mismo conjunto A, decimos
que R es una relacin definida en A o, simplemente, una relacin en A.
Definicin. R Es una relacin definida en A si y slo si Rc A
2
.
8

En forma simblica definimos de la manera siguiente:
R: A A R c A
2

Ejemplo: Sea el conjunto A = {3; 4; 6; 8; 10} y una relacin R definida en A por:
R: A A/ (x; y) e R si y slo si la primera componente es mltiplo de la segunda componente.
RESOLUCIN

R ={(3; 3); (4; 4); (6; 6); (8; 8); (10; 10); (6; 3); (8; 4)}

Ejercicio 1:
Sea R el conjunto de los nmeros reales y la relacin R definida en por:
R: R R/ (x; y) e R y = x. Representa grficamente a la relacin en un diagrama cartesiano.
Ejercicio 2.
Sea B = {2; 3; 4} y la relacin definida en B por:
R
1
={(x; y) e B
2
/ y x}; R
2
={(x; y) e B
2
/ y = x
2
} y R
3
={(x; y e B
2
/ y x = 1)}
Halla:
(

)(
)
(
)

PROPIEDADES DE LAS RELACIONES
DEFINIDAS EN UN CONJUNTO

Sea R una relacin definida en A, es decir, R c A
2
. Dicha relacin puede clasificarse de acuerdo con
las siguientes propiedades.
1. Reflexividad.
Algunas relaciones tienen la propiedad de que todo elemento sobre el cual actan est en
relacin consigo mismo.
Ejemplo: La relacin es igual a definida en el conjunto de los nmeros naturales, se
caracteriza porque todo nmero Natural N es igual a s mismo. Es decir:
x: x e N x = x
Las relaciones de esta forma; que goza de esta caracterstica recibe el nombre de reflexivas.
Definicin. Una relacin es reflexiva, si y slo si, todo elemento del conjunto est relacionado
consigo mismo.
R es reflexiva x: xe A (x; x) e R
Esta relacin se caracteriza porque todo elemento forma pareja consigo mismo, y el par as formado
pertenece a la relacin.
Grfica. Para que una relacin sea reflexiva, todo elemento del conjunto debe tener un lazo o bucle.

x.

Ejemplo 1.: Sea un conjunto de canicas de colores y R la relacin definida en A por:
(x; y) e R x es del mismo color que y.

Resolucin
R es reflexiva, porque toda canicas del conjunto A tiene el mismo color que ella misma
Ejemplo 2. Sea C = {1; 2; 3} y la relacin definida en C mediante:
R ={(1; 1); (2; 1); (2; 2); (3; 3)}
Resolucin
9

R es reflexiva, porque cumple con la condicin de que cada elemento del conjunto C est relacionado
consigo mismo.

Ejemplo 3. Si B= {1; 2; 3} y una relacin R est definida en B por:
R = {(1; 2); (1; 1); (2; 3); (3; 1)}.
Resolucin

Como 3 e B y (3; 3) e R, la relacin R no es reflexiva.

Si R es una relacin reflexiva, entonces en la representacin cartesiana de R tiene que sealarse
todos los elementos de la diagonal del producto cartesiano, donde la diagonal est constituida por
todos los pares que tienen componentes iguales.
Es decir, D = {(x; x) e R/ x e A}.
La reflexividad se traduce en el hecho siguiente: la diagonal de A
2
est contenida en la relacin, o sea:
R es reflexiva si y slo si D c R
Grficamente, en un diagrama sagital deben aparecer todos
los elementos del conjunto con un lazo o bucle.
A
3 A

2 1. .3

1 2.

0 1 2 3 A

Para la no reflexividad, es suficiente halla un elemento que no est relacionado consigo mismo.
Definicin. R Es no reflexiva - x /x e A . (x; x) e R
Esta definicin es la negacin de la definicin de reflexividad.
R es no reflexiva - x/ x e A . (x; x) e R

Ejemplo 1. En la relacin es hermano de se observa que ningn elemento del conjunto de personas
est relacionado consigo mismo, es decir, ninguna persona es hermano de s mismo. Este tipo de
relaciones son no reflexivas. Estas relaciones de este tipo reciben el nombre especial: arreflexivas.
Definicin. R es arreflexivas x : x eA (x; x) e R

Taller
1. Considere las siguientes relaciones en A = {1; 2; 3; 4}
R
1
={(1; 1); (1; 2); (2; 1); (2; 2); (3; 2); (4; 1); (4; 4)}
R
2
={(1; 1); (1; 2); (2; 1)}
R
3
={(1; 1); (1; 2); (1; 4); (2; 1); (2; 2); (3; 3); (4; 1); (4; 4)}
R
4
={(2; 1); (3; 1); (3; 2); (4; 1); (4; 2); (4; 3)}
R
5
={(1; 1); (1; 2); (1; 3); (1; 4); (2; 2); (2; 4); (3; 3); (3; 4); (4; 4)}
R
6
={(3; 4)}
Cules de estas relaciones son reflexivas?
2. Considere las siguientes relaciones en Z.
R
1
={(x; y)/ x = y}
10

R
2
={(x; y)/x y}
R
3
={(x; y)/x es mltiplo de y}
R
4
={(x; y)/ (x =y) V (x = -y)}
R
5
={(x; y)/ x = y + 1}
R
6
={(x; y)/ x + y 5}
Cules de estas relaciones son reflexivas?

2. Simtrica.
Si para todo par de elementos ocurre que si el elemento x est relacionado con el elemento y,
entonces el elemento y est relacionado con el elemento x.
Definicin. R Es simtrica xy e A: (x; y)e R (y; x) e R
Grficamente: Para que una relacin sea simtrica, toda flecha que sale de un elemento del primer
conjunto al segundo conjunto, entonces de este debe regresare al primero. As:

x. .y

Para que no se cumpla la relacin simetra, es suficiente hallar un par ordenado que pertenezca a la
relacin, pero el par que resulta de permutar sus elementos no pertenezca a la misma.
Definicin: R es no simtrico -x, -ye A/(x; y) e R . (y; x) e R
Ejemplos:
1. Sea D = {1; 2; 3} es simtrica:
R
1
= {(1; 1); (2; 3); (3; 2); (3; 3)}
R
2
= {(1; 1); (2; 3); (3; 2); (3; 1)}
R
3
= {(2; 3); (1; 2); (3; 1); (3; 2); (2; 1); (3; 3)}
2. En N la relacin R definida por x R y si y slo si x divide a y.
No es simtrica ya que 2 R 4 porque 2 divide a 4, pero 4 no divide a 2 por lo tanto (4; 2) e R
3. Sea A = {2; 3; 4}. La relacin definida en A por R = {(2; 2); (2; 3); (4; 2); (3; 2); (3; 4)}
No es simtrica porque existe un par ordenado (3; 4) que pertenece a la relacin pero el par (4; 3)
que no pertenece a la relacin.
Si la relacin R es simtrica sobre A, entonces los pares relacionados se reflejan respecto a la diagonal
principal.
Si de una relacin R en A conocemos el diagrama cartesiano, o el conjunto solucin, podemos
reconocer si R es simtrica de la siguiente manera:
a. Si en el diagrama sagital hay una flecha de x hacia y; entonces debe haber otra flecha que
va de y hacia x.
b. Por cada punto que est a un lado de la diagonal, debe existir un punto al otro lado de la
diagonal y equidistante a ella.
c. Si aparece el par (x; y) en el conjunto solucin entonces debe aparecer tambin el par (y; x).
3. Anti simtrica. Si para todo par de elementos ocurre que el elemento x est
relacionado con el elemento y, entonces el elemento y est relacionado con el elemento
x, y adems se deduce que x = y
Si x; y e A: |x R y . y R x| x = y
Ejemplo:
1. En Z la relacin R definida por: x R y x y es mltiplo de 2
No es anti simtrica ya que 2 R 4 y 4 R 2; pero2 = 4
Si la relacin R es anti simtrica pueden existir pares por encima o por debajo de la diagonal
pero ningn par tiene reflejo respecto a la diagonal excepto la diagonal misma.
11

4. Relacin transitiva. Cuando se verifica que si el elemento x est relacionado con l
y adems el elemento y est relacionado con el elemento z.
Si x; y; z e A : |x R y . y R z| x R z.
Grficamente: para que una relacin sea transitiva los elementos deben estar relacionados por
flechas de la manera siguiente:

x . y . .z

Ejemplo:
1. En el conjunto N la relacin es menor que cumple la propiedad Si x es menor que y
adems y es menor que z, entonces x es menor que z.
Es decir: x; y; z e A: (x; y) e R . (y; z) e R x < y . y < z (x; z) e R
2. En N la relacin R definida por: x R y x es el doble de y.
No es transitiva ya que (4; 2) e R y (2; 1) e R puesto que 4 es el doble de 2 y 2 es doble de 1,
sin embargo 4 no es el doble de 1, de donde (4; 1) e R

Ejercicio. Analiza si la relacin siguiente es o no transitiva: En C = {2; 4; 6}, definido por la
relacin R mediante:
R = {(2; 2); (2; 4); (4, 6); (2; 6); (6; 2); (6; 4)}
Definicin:
R no transitiva -x; -y; -z e A / (x; y)eR . (y; z)eR . (x; z)eR

Relaciones de 9en 9
Producto Cartesiano de 9en 9
Definicin. El producto cartesiano de 9en 9 se define como sigue:
9
2
= 9 x 9 = {(x; y) / x e R . y e R}
Plano Cartesiano. El plano cartesiano se forma por la interseccin de dos rectas perpendiculares
llamadas EJES.
Dnde:
- El eje horizontal, se llama eje de las ABSCISAS o eje de las X.
- El eje vertical, se llama ejes de la ORDENADAS o eje de las Y.

Los ejes se intersecan en un punto al que llamamos origen de coordenadas: (0; 0).
Cada punto del plano es un par ordenado: (x; y).
El plano cartesiano, divide al plano en cuatro regiones, las cuales reciben el nombre de
CUADRANTES y se encuentran as como se indica en la figura siguiente.

+Y La Ley de correspondencia binaria
Eje de Ordenada es:
2 cuadrante 1 cuadrante A cada punto del plano le corresponde
II I un par ordenado (x; y) P (x; y)
(- ; +) (+ ; +) Eje de Abscisa
12

Origen de Coordenadas

- X + X
3 Cuadrante 4 Cuadrante
III IV
(- ; -) (+ ; -)

-Y

En el grfico se observa que el origen divide a cada EJE en dos SEMIEJES: uno positivo y el
otro negativo. Ubicacin de un punto en el plano cartesiano.
Dado un punto P en el plano, la DISTANCIA de P al eje Y recibe el nombre de ABSCISA la
cual representamos por la letra x, adems la DISTANCIA del punto P al eje X recibe el
nombre de ORDENADA la cual representamos por la letra y.

Grafica de Pares Ordenados.

Cmo ubicamos un punto en el sistema de coordinadas?
- Identificamos el nmero real correspondiente a la ABSCISA y lo ubicamos en el eje de
las X.
- Identificamos el nmero real correspondiente a la ORDENADAS y lo ubicamos en el
eje de las Y.
- Trazamos por dichos puntos rectas paralelas a los dos EJES hasta que se
ENCUENTREN en el otro punto que viene a ser el que estamos buscando.
Grafica los siguientes puntos P
0
(1; 2); P
1
(-5; 3); P
2
(-1/2; -4); P
3
(4; 5/2); A(-3; 2); B(1; -
1); C(3; 0); D(-1; 0).

4

1

-4 -3 -2 -1 0 1 2 3 4

-4

Grfica de una Relacin de 9en 9

Definicin. Se llama grfica de una relacin de 9 en 9 al conjunto de puntos cuyos
coordenadas satisfagan dicha relacin. Donde no olvidamos que una relacin puede ser de la
13

forma: ](x; y) = 0 o inecuaciones de las formas: ](x; y) < 0 ; ](x; y) 0 ; ](x; y) > 0 ; ](x; y)
0 ; EN LAS VARIABLES x e y es la grfica de la relacin: R ={(x; y) / ](x; y)}.

Taller
Grafica las relaciones definida por:

1. R ={(x; y) e R
2
/ y = x} 2. R ={(x; y) e R
2
/y x}
3. R ={(x; y) e R
2
/ y = -x} 4. R ={(x; y) e R
2
/ y 3}
5. R ={(x; y) e R
2
/ x 2 } 6. R ={(x; y) e R
2
/ 1 x 3}
7. R ={(x; y) e R
2
/ 2 y 5} 8. R ={(x; y) e R
2
/ x e |1 ; 2| y e|-2 ; 2|}
9. R ={(x; y) e R
2
/ x + y 2} 10. R ={(x; y) e R
2
/ y = 2x}
11. R ={(x; y) e R
2
/ x = 4,5} 12. R ={(x; y) e R
2
/x = 3 . -1 < y < 2}
13. R ={(x; y) e R
2
/ -3/2 x 3 . 0 y 2} 14. R ={(x; y) e R
2
/ ||}
15. R ={(x; y) e R
2
/ y =
}
16. R ={(x; y) e R
2
/ y = -x
2
+ 1}
17. R ={(x; y) e R
2
/ y
2
= x}
18. R ={(x; y) e R
2
/
}
19. R ={(x; y) e R
2
/ y x
2
2x - 3} 20. R ={(x; y) e R
2
/ 1 x 3 . 2 < y 4}
21. R ={(x; y) e R
2
/ x
2
+ y
2
= 16} 22. R ={(x; y) e R
2
/ x
2
+ y
2
= 16 . y 0}
23 R ={(x; y) e R
2
/ x
2
+ y
2
= 16 . x 0} 24. R ={(x; y) e R
2
/ 9x
2
+ 25y
2
225 }
25. R ={(x; y) e R
2
/ x
2
+ y
2
= 25 . x 0} 26. R ={(x; y) e R
2
/ y = x
2
}
27. R ={(x; y) e R
2
/ x
2
+ y
2
< 4} 28. R ={(x; y) e R
2
/ x -3y +5 0}
29. R ={(x; y) e R
2
/ y x} 30. R ={(x; y) e R
2
/ 1 x 4 . y = 4}

Funciones

En conversaciones de la vida diaria, t como estudiante que funciones desempeas en la institucin,
como hijo(a) que funciones desempeas en tu hogar. En el mbito matemtico se usa la palabra
Funcin de manera diferente a como se usa en el lenguaje cotidiano; se usa para denotar un tipo
especfico de correspondencia o relacin entre los elementos de dos conjuntos.
En cada uno de estos ejemplos propuestos por ustedes, existe una conexin entre los elementos de un
conjunto y los elementos del otro conjunto.
Nosotros podemos pensar que una funcin es como una mquina, capaz de procesar aquello que se le
ingresa. El producto final de dicho proceso depender de dos factores.
1. El material que se ingresa en la mquina.
2. El tipo de proceso para el que fue preparada la mquina.
Ejemplo: Imaginamos una mquina triplicadora: 3x capaz de triplicar todo aquello que ingresa en ella.
Entrada Proceso Salida
3 patos Triplica 9 patos
3 lapiceros Triplica
5 libros Triplica
8 soles
14 carpetas
5 toneladas de material

Esta correspondencia se puede representar mediante el conjunto de pares ordenados que son:
{(3 patos; 9 patos); (3 lapic.; 9 lapic.); ( ; ) }

14

Ejemplo: Sea el conjunto {-2; ; 3}. Con cada elemento de este conjunto, asociamos el nmero real
que sea el doble del elemento, ms 1.
Entrada Proceso Salida
-2 2x + 1 = 2(-2) + 1 -3
1/2
3

Entrada
-2

3

Duplica y
Suma 1
2x + 1

-3
2
7

Salida

Expresamos esta correspondencia como un conjunto de pares ordenados obtenemos:
{(-2; -3); ( ; ); ( ; )}
Observamos que cada elemento del conjunto {-2; ; 3}. Se ha relacionado con cada elemento del
conjunto: {-3; 2; 7} mediante una regla de correspondencia es el doble de . . . aumentado en 1.
As: -3 es el doble de -2 + 1
2 es el doble es + 1
7 es el doble de 3 + 1
A la regla de correspondencia se le llama Funcin
Qu es una funcin?
Una funcin es una correspondencia entre los elementos de dos conjuntos que asocia un elemento del
primer conjunto con un nico elemento del segundo conjunto.
El primer conjunto se llama conjunto de partida y el segundo conjunto se llama conjunto de llegada.
Dados dos conjuntos no vacos A y B, se llama funcin de A y B a toda correspondencia que asocia a
cada elemento x A un nico elemento de y B.
Hemos visto que una funcin se representa como un conjunto de pares ordenados, luego podemos
definir como:
- Una Funcin es un conjunto de pares ordenados en el que no hay dos pares ordenados
distintos con el mismo primer elemento o componente. El conjunto de todos los primeros
elementos se llaman dominio de la funcin y el conjunto de todas las segundas componentes,
elementos o imgenes se llaman rango de la funcin o recorrido de la Funcin.
Si x es un elemento del dominio de la funcin, entonces su pareja que le corresponde en el rango
de la funcin, se lama imagen de x.
Para nombrar a la funcin se utiliza una letra como: ]; g; h.
Notacin de una Funcin
] = {(x; y) A x B/ y = ](x)}
Una funcin ] de A en B se denota as:]: A B x ](x) y = ](x)
Dnde: A es el conjunto de partida.
B es el conjunto de llegada.
Dom
(f)
es el dominio de la funcin, conjunto de todos las pre imgenes.
Ram
(f)
es el rango de una funcin, conjunto de todas las imgenes.
15

x
1.
x
2.
x
3.

El valor de la segunda componente y depende de los valores que se les asignemos a x esta
dependencia suele ser expresada as: y = ](x) , (Se lee la variable y en funcin de la variable x).
Ejemplo:
Sea la funcin ](x) que a cada valor de x le asigna su cuadrado aumentado en cinco unidades. ](x) =
x
2
+ 5, (regla de correspondencia o asociacin).
Ejemplo: Halla ](4)
Resolucin
](x) = 4
2
+ 5 = 21

Ejercicios: 1. Dada la funcin ](x) = x
2
+ 5 . Halla: ](a) ; ](3x) ; ](x
2
) ; ](x + h) ; ](2c)

2 Un rectngulo de lados x e y tiene 100cm de permetro. Expresa se rea A como funcin del lado
que mide x.
Empleamos funciones para analizar numricamente las relaciones causa y efecto es decir la
correspondencia entre un valor de entrada y otro de salida.

Si el dominio de la funcin es igual al conjunto de partida (A) o sea Dom
(f)
= A, entonces la funcin
recibe el nombre de Aplicacin. Luego, toda Aplicacin es una funcin; pero no toda funcin es
aplicacin.

Taller

1. Dados los conjuntos: A = {1; 3; 5} y B = {2; 4; 6; 9; 10; 12}; Hallar:
a) ]: A B; tal que y = x + 1 b) Dominio y rango de a funcin.
c) Diagrama sagital d) Es aplicacin?
2. Dados los conjuntos: A = { -2; -1; 0; 1; 2} y B = {0; 1; 2; 3; 4}; Halla:
a) ]: A B / y = x
2
b) Dominio y rango de la funcin c) Diagrama sagital
d) Es aplicacin?
3. Sea: A = {1; 3; 5; 7} y B = {3; 5; 6; 7}. Hallar: a) ]: A B tal que: y = 2x + 3 b)
Dominio y rango de la funcin c) Diagrama sagital d) Es
aplicacin?

Una funcin es una regla de asociacin que relaciona dos o ms conjuntos entre s; generalmente
cuando tenemos la asociacin de dos conjuntos las funcin se define como una regla de asociacin
entre un conjunto llamado dominio y rango. Esta regla de asociacin no permite relacionar un mismo
elemento del dominio con dos elementos del codominio.

A B
. . ](x
1
)

.](x
2
)
. ](x
3
)

Funciones Definidas Mediante Diagrama Sagital
Una relacin definida mediante un diagrama sagital es una funcin si de cada elemento de su dominio
sale una sola flecha al conjunto de llegada.
Sean los conjuntos: A = {1; 3; 5; 7} y B = {2; 4; 6; 8} y la relacin R ={(1; 8); (3; 2); (5; 6)}.
Sean los conjuntos: C = {1; 2; 3; 4} y D = {5; 6; 7} y la relacin R ={(1; 5); (2; 6); (3; 7)}
Sean los conjuntos: M = {2; 4; 8; 9} y N = {1; 3; 6} Y LA RELACIN R ={(2; 3); (4; 1); (4; 6); (8; 3)}
16

Sean los conjuntos: P = {1; 2; 3; 4; 9} y Q = {6; 7; 8; 1; 4} y la relacin R ={(1; 4); (3; 1); (4; 6); (9; 7)}
Grafica cada una de las relaciones anteriores y analzalo.

Funciones Definidas Mediante Pares Ordenados
Las relaciones R
1
; R
2
; R
3
; R
4
pueden ser definidas de las siguiente manera:
R
1
={(1; 3); (3; 2); (5; 6)} R
2
={(1; 5); (2; 6); (3; 7)}
R
3
={(2; 3); (4; 1); (4; 6); (8; 3)} R
4
={(1; 4); (3; 1); (4; 6); (9; 8)} De acuerdo a
la definicin. Determina cuales son funciones y por que

Taller

1. Dado los conjuntos: A = {2; 3; 4} y B = {3; 5; 6}. Cules de las siguientes relaciones no es una
funcin de A en B.
R
1
={(2; 3); (3; 5); (4; 6)}; R
2
={(2; 5); (3; 3); (4; 6)} R
3
={(2; 5); (2; 6); (3; 3)}
2. Dados los conjuntos: A = {-1; 0; 2; 4}; B = {-2; 0; 6; 8}. Halla a) ]: A B/ y = 2x b) Dominio y
rango c) Diagrama sagital d) Es una funcin?
3. Sean los conjuntos: A = {1; 4; 5; 7} y B = {2; 3; 5; 7} encuentra: R ={(x; y) e A x B/ x= y + 1}
y construye el diagrama sagital; Es R una funcin ?.
4. Halla a y b sabiendo que el conjunto: {(2; 3); (6; 7); (2; b); (6; a)} es una funcin.
5. Halla m y n sabiendo que el conjunto: {(n; m + n); (n; 12); (m; 2); (m; m - n)} es una funcin
Halla las imgenes que siguen si ](x) = 3
2
5x + 1; g(x) =
+ 5
1) ](4) = 2) ](-1) = 3) g(10) =
4) (
)
5) g(-3) 3 =
6) ](0) + g(0) =
7) (
() )
8) ] (-1) + 5 9) 4](-2) + g(-3) = 10) ] |g(2)|=
11) g|](1)| = 12) ](a + 2) = 13) ] (c + 4) 14) g(2a)+ ](-2) = 15) g(3b -1)=
16) ] (x + 1) = 17) ] |g(2x)| = 18) ](2x-3)g (4x+1)
Funciones Real de Variable Reales
Sea la funcin ]: R R definida por la regla de correspondencia ](x) = 3x + 1. Esta
funcin asocia a cada nmero real x otro nmero real 3x + 1, por lo tanto los pares
ordenados que constituyen esta funcin son de la forma ] = {(x; 3x + 1)/ x }
Formemos algunos pares ordenados de esta funcin:

Entrada(valor de x) Proceso (3x +1) Salida Pares Ordenados
x = 1 ](1) = 3.1 + 1 4 (1; 4) ]
x = 2 ](2) = 3.2 + 1 7 (2 ; 7) ]
x =
) (
)
3
(
) ]

Entonces ] = {(1; 4); (2; 7); (
)}; }
Es importante enumerar todos los pares ordenados que constituyen esta funcin ya que a
x le podemos asignar cualquier nmero real y para cada uno de esos valores obtenemos
un valor para ](x). Luego, estamos frente a una funcin real de variable real.
Definicin. Una funcin es real de variable real es cuando el conjunto de partida y el conjunto
de llegada son subconjunto de R o coinciden con R.
17

La notacin: y = ](x) se lee: y es una funcin de x o y es iguala a ] de x y nos indica
que y es la imagen de x a travs de ] o tambin y es el valor de la funcin ] en x.
Variables Dependientes .Son aquellas variables que como su nombre lo indica, depende del valor que
toma las otras variables. Por ejemplo: ](x) = x, y = ](x) es la variable dependiente ya que est
sujeta a los valores que se le subministre a x.
Variables Independientes. Es aquella variable que no depende de ninguna otra variable, en el
ejemplo anterior la x es la variable independiente ya que la y es la que depende de los
valores de x.

Grfica de una Funciones Lineal
Posicin de un punto o Coordenada de un punto

R c A x B - ( ) < = {} . e e R c > R e x
Relacin de Equivalencia

Existen relaciones que tienen la caracterstica de gozar a la vez de ms de una de las
propiedades, recibiendo nombres especiales.
As por ejemplo:
En A = {x / x es un estudiante}, consideremos la relacin definida en A por.
(x; y) x e R tiene la misma edad que y
Clasificamos esta relacin:
1. x; x e A x tiene la misma edad que x (x; x) e R, R es reflexiva.
2. x; y e A: (x; y) e R x tiene la misma edad que y entonces y tiene la misma
edad que x entonces (y; x ) e R R es simtrica.
3. x; y; z e A: {(x; y) e R . (y; z)e R } x tiene la misma edad que y . b tiene la
misma edad que z entonces x tiene la misma edad que z (x; z) e R , R es
transitiva.
Observamos que esta relacin es reflexiva, simtrica y transitiva.
Las relaciones que gozan de esta caracterstica se llaman equivalencia.
Definicin:
La relacin R c A
2
es de equivalencia en A si y slo si es reflexiva, simtrica y transitiva

Se utiliza el smbolo y los elementos de todo par pertenecen a la relacin se llama
equivalentes.
Notacin: x y se lee x es equivalente a y y significa que el par (x;y) pertenece a la
relacin. En este sentido, las relaciones de equivalencia satisfacen:

1. Relacin reflexiva: la relacin R es reflexiva si todo elemento x de A esta relacionado
consigo mismo.
{}
x e A: (x; x) e R

2. Relacin simtrica: La relacin es simtrica si un elemento x est relacionado con otro y,
entonces l y tambin est relacionado con el elemento x.

18

x; y e A: (x; y) e R (y; x)eR

3. Relacin transitiva: la relacin es transitiva si un elemento x est relacionado con otro y, y
este y con otro z, entonces elemento x este tambin relacionado con el elemento z.
x; y; z e A: {(x; y) e R . (y; z)e R } (x; z) e R

Una relacin de equivalencia define dentro del conjunto A lo que se denominan, Clases de
equivalencia, una clase de equivalencia o familia de elementos es cada uno de los
subconjuntos en que la relacin de equivalencia divide al conjunto A, entre ellos son disjuntos,
y la unin de todos ellos es el conjunto A.
Ejemplo:
En A = {1; 2; 3}, la relacin:
R = {(1; 1); (2; 2); (3; 3); (1; 2); (2; 1)}
Es de equivalencia. Clasificamos las siguientes propiedades:
Esta relacin cumple con la propiedad reflexiva.
Cumple con la propiedad simtrica y la propiedad transitiva.
El diagrama de Venn es el siguiente:
A

.1

.2

.3

Donde cada arco orientado est asociado a un par perteneciente a la relacin. En forma
cartesiana:

Equivalente

Clase de Equivalente y Conjunto Cociente
Sea una relacin de equivalencia en A C. Un problema de inters es la determinacin de
todos los elementos de A que son equivalentes a uno dado, es decir, que forman pareja con
l. La respuesta conduce en cada caso a un subconjunto de A, llamado clase de equivalencia
del elemento.
Definicin.
Clase de equivalencia del elemento a e A es el conjunto de todos los elementos de A
equivalentes a a.
K
a
= {xeA/ x a}
19

Ejemplo:
K
1
= {1; 3} K
2
= {3}
Es decir, hay dos clases de equivalencia, que son subconjuntos de A.
Una relacin binaria es una relacin de equivalencia si es reflexiva, simtrica y transitiva.
Dado un conjunto A, y una relacin binaria R entre sus elementos.
R = {(x; y) e A
2
: R (x; y)}
Se dice que esta relacin binaria es relacin de equivalencia, si cumple:

En aritmtica modular se define la operacin mdulo el resto de la divisin. As:

5 Md. 2 = 1
6 Md. 3 = 0
7 Md. 3 = 1

El resto de dividir 5 entre 2 es 1
Se dice que dos nmeros son congruentes mdulo n, si al dividir cada uno de esos nmeros
por n dan el mismo resto.

8 17 (Md. 3)
El 8 y el 17 son congruentes mdulo 3 dado que la dividirlos por 3 en los dos casos dan por
resto 2.
La congruencia modular de grado n, de los nmeros naturales, es una relacin de
equivalencia, dado que es reflexiva:
x e N : x R x (Md. n)
Es simtrica:
x; y e N: x y (Md. n) y x (Md. n)
Es transitiva:
x; y; z e N: {x y . y z (Md. n)} x z (Md. n)

R ={} R c A x B - ( ) < = {} . e e R c > R e x; y;
z

Definicin. R es no anti simtrica -x, -y e A / (x; y) e R . (y; x) e R . x = y.


20

R es reflexiva x: xe A (x; y) e R

R Es no reflexiva - x /x e A . (x; x) e R

R es arreflexivas x : x eA (x; x) e R

R Es simtrica xy e A: (x; y)e R (y; x) e R

R es no simtrico -x, -ye A/(x; y) e R . (y; x) e R

Anti simtrica Si x; y e A: |x R y . y R x| x = y

Transitiva Si x; y; z e A : |x R y . y R z| x R z.
x; y; z e A: (x; y) e R . (y; z) e R x < y . y < z (x; z) e R

R no transitiva -x; -y; -z e A / (x; y)eR . (y; z)eR . (x; z)eR

Relaciones Binarias

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Relaciones Binarias

Caricato da

Copyright:

Formati disponibili

1

Luis Eduardo Linares Quiroz

} P = {2x + 3 / -4< x 2} R= {(x ; y) eG x P/ y = x + 1}

por lo tanto, la relacin inversa R

Potrebbero piacerti anche