C Ca ap p t tu ul lo o 8 8

C CR RI IT TE ER RI IO OS S A AL LG GE EB BR RA AI IC CO OS S D DE E R RE EL LA AC CI IO ON NE ES S

1. Conceptos generales
1


Producto cartesiano: Dados dos conjuntos y no vacos, se denota el producto cartesiano por
y se define
= , /
Esto significa que los elementos del producto cartesiano son pares ordenados de nmeros reales.
Adems debe observarse que , , a menos que = (esta operacin no es
conmutativa).
Ejemplo. Determine
Se sabe que = 1,2,3,4, y que = , 3, 2, 2,0,1,2,3,4,
Como ambos conjuntos son infinitos se tendrn infinitos pares ordenados, por lo tanto se
muestran algunos de ellos al realizar el producto cartesiano
= , 1, 3, 1, 2, 1, 1, 1,0, 2, 3, 2, 2, 3, 3, 3,4, 4,4, 4,0,
Relacin binaria: Dados dos conjuntos no vacos y , una relacin binaria de en es una
tripleta = , , , donde (grfico de la relacin), la cual se denota por : .
Los conjuntos y se denominan conjunto de salida y conjunto de llegada, respectivamente.
Se escribe para indicar que el elemento est asociado con el elemento , lo cual es
equivalente al par ordenado , .
Para efectos de este captulo se sabr a partir de un criterio algebraico la asociacin que existe
entre los elementos de ambos conjuntos.
Ejemplos.
= = , = , : = 100 5
: con = 4, 3, 2, 1,0 tal que <
En se define la relacin 3 +5 = 43

1
Se sigue el desarrollo del contenido en Arias, F. Barrantes, H. (2010). Introduccin a la matemtica formal desde las
funciones
En estos tres casos = 100 5, < y 3 + 5 = 43 constituyen los criterios que establecen
la relacin entre los elementos del conjunto de salida y de llegada.
Plano cartesiano: desde el punto de vista de la Geometra Analtica, al plano (conjunto de todos
los puntos) se le introduce un sistema de coordenadas en el cual a cada punto le corresponde una
pareja de nmeros reales , . Esto se realiza mediante el uso de dos rectas perpendiculares, las
cuales tiene a su vez un sistema coordenado. La primera coordenada del par se obtendr en la
recta horizontal (eje de las abscisas) y la segunda coordenada en la recta vertical (eje de las
ordenadas)

Con este concepto ahora se puede representar el grfico de una relacin en el plano cartesiano,
pues cada pareja de nmeros asociados se relacionan con un punto del plano.
Grfica de la relacin: la representacin en el plano cartesiano del grfico de una relacin es lo
que se denomina la grfica.
Ejemplo. Represente en el plano la relacin : con = 4, 3, 2, 1,0 tal que
<
En este caso se necesita el grfico de la relacin
= 4, 3, 4, 2, 4, 1, 4,0, 3, 2, 3, 1, 3,0, 2, 1, 2,0, 1,0
Su representacin el plano cartesiano es


2. Grfica de relaciones

A continuacin se muestran las grficas de ciertas relaciones cuyos criterios se consideran
elementales.
I. : , =













La grfica de esta relacin es una recta que
contiene el punto con coordenadas 0,0, el
origen.

II. : , =
2




III. : , =
3





La grfica de esta relacin se denomina
parbola y 0,0 es su vrtice
El conjunto de llegada de la relacin es
.
Los valores que toma son positivos o
cero, esto es, el mbito o rango de la
relacin es 0, + y 0, +

La grfica de esta relacin
nicamente interseca el eje
horizontal en el origen.
IV. : , =

V. : 0, + , =

VI. : 0 , =
1

El mbito o rango de la relacin es
0, +
El mbito o rango de la relacin es
0, +
La grfica es una seccin cnica que
se denomina hiprbola.
Tiene dos asntotas a la grfica (una
vertical y una horizontal), es decir, la
hiprbola tiende a parecerse a la
recta horizontal para valores muy
grandes o muy pequeos y los valores
de se hacen inmensamente grandes
o pequeos cuando se aproxima a
cero.
Las asntotas son los ejes.
El mbito es 0

Asntota horizontal
= 0
Asntota vertical
= 0

VII. : 0, + , =
2


VIII. : ,
2
+
2
= 1

2.1 Transformaciones en el plano

En esta seccin se enlistan los movimientos que se pueden dar en las grficas de las relaciones
estndar mencionadas anteriormente.
Se analizan cuando el criterio algebraico de la relacin es de la forma = , donde es
una expresin algebraica en la variable :
1) = , con > 0: corresponde a una traslacin vertical de la grfica unidades
hacia arriba (suma) o hacia abajo (resta).
Est grfica tambin se considera una parbola,
con la diferencia que se abre a la derecha.
En su forma general, el criterio =
2

representar una parbola de esta clase con
vrtice ,
Note que la grfica de esta relacin es una
circunferencia que tiene como centro el origen y
radio 1.
En su forma general, el criterio algebraico

2
+
2
=
2
, con > 0
representar una circunferencia con centro
, y radio .
2) = , con > 0: corresponde a una traslacin horizontal de la grfica unidades
hacia la derecha (resta) o hacia la izquierda (suma).
3) = : corresponde a una reflexin de la grfica respecto con el eje horizontal del
plano.
4) = : corresponde a una reflexin de la grfica respecto con el eje vertical del
plano.
5) = , con > 1: corresponde a una elongacin (estiramiento vertical) de la grfica.
6) = , con 0 < < 1: corresponde a una compresin (estiramiento horizontal) de la
grfica
7) = : corresponde a una reflexin respecto con el eje horizontal solamente de las
partes de la grfica que se encuentran por debajo de este eje.
Nota: si < 0 en las transformaciones 5 y 6 se tiene una reflexin con elongacin o una reflexin
con compresin.
La traslacin 4 debe entenderse que el menos afecta a toda la expresin. Por ejemplo 5 debe
tomarse como 5.
Ejemplo. Realizar la grfica de la relacin con grfico = , : = 2
2
8 + 2
Ntese que la grfica de esta relacin es una transformacin de la definida por =
2
pero se
debe modificar el criterio para observar las traslaciones. Para ello se emplea la tcnica de
completar cuadrados.
= 2
2
8 +2
= 2
2
4 +1
= 2
2
4 +4 4 +1
= 2 2
2
3
= 2 2
2
6
Se identifican las siguientes traslaciones respecto con la estndar:
1. Corrimiento de 2 unidades a la derecha ya que se tiene =
2. Corrimiento de 6 unidades hacia abajo ya que se tiene =
3. Elongacin vertical en un factor de 2 ya que se tiene = , con > 1





Por lo tanto la grfica es

Ejemplo. Realizar la grfica de la relacin : tal que +1 = 2
Por comodidad se analiza el criterio escrito as = 2 1 = + 2 1 = 2 1
Ntese que la grfica de esta relacin es una transformacin de la definida por = .
Se identifican tres traslaciones respecto con la estndar:
1. Corrimiento de 2 unidades a la derecha ya que se tiene =
2. Corrimiento de 1 unidad hacia abajo ya que se tiene =
3. Reflexin respecto con el eje vertical ya que se tiene = .
Se muestra paso a paso las traslaciones

Reflexin


Ejemplo. En se define la relacin = 3
4
2
. Realice la grfica de esta relacin
Esta relacin est ligada a la definida por el criterio =
Note que el criterio de la relacin se puede escribir as = 3
1
2
4.
Las traslaciones de la grfica respecto con la estndar son:
1. Corrimiento horizontal de 4 unidades a la derecha ya que se tiene 4.
2. Compresin de la grfica y reflexin respecto con el eje horizontal porque se tiene la
expresin
1
2
4.
3. Corrimiento vertical de 3 unidades hacia arriba.
4. Reflexin de las partes de la grfica respecto con el eje horizontal que se encuentran por
debajo del mismo.
Al igual que el ejemplo anterior se muestra paso a paso las traslaciones
Traslacin horizontal
Traslacin vertical




Traslacin
horizontal
Reflexin
Compresin
Traslacin
vertical

Ejemplo. A continuacin se muestra la grfica de una relacin . Determine el criterio y los
conjuntos a los que pertenecen cada variable.

Si se denotan , las variables involucradas entonces y 0, +, aunque es correcto
afirmar que .
Puede notarse que la grfica es una parbola (abierta hacia arriba) pero la parte por debajo del
eje horizontal est reflejada (indicador de valor absoluto).Tambin se puede deducir que
0,4, 1,0 y 4,0 son elementos del grfico.
Luego, el criterio es de la forma
=
2
+ +
Sustituyendo el primer par ordenado en la expresin cuadrtica (no se considera el valor absoluto)
se tiene
4 =
Sustituyendo los otros dos pares ordenados se obtiene el sistema de ecuaciones
Reflexin por valor
absoluto

0 = + +4
0 = 16 +4 +4

De donde se obtiene, por el mtodo de reduccin Gauss-Jordan
0 = 12 12
1 =
Y por lo tanto = 5, al sustituir el valor de en alguna de las ecuaciones del sistema.
Es as que el criterio es =
2
5 + 4 ya que hay una parte de la grfica refleja respecto con
el eje horizontal.
Ejemplo. Para la relacin : cuya grfica se muestra a continuacin, determine los
conjuntos y as como el criterio.

Esta grfica es resultado de traslaciones de la grfica definida por =
1

.
Se evidencia que = 3 y = 1, lo que implica tambin que:
1. Hay una traslacin horizontal de 3 unidades a la derecha
2. Hay una traslacin vertical de 1 unidad hacia arriba
De lo anterior se deduce que las ecuaciones de las asntotas son = 1 (horizontal) y = 3
(vertical).
Podra pensarse que el criterio de la relacin es =
1
3
+ 1 pero ntese que la grfica contiene al
origen, es decir, 0,0 pertenece al grfico de la relacin y con este criterio no se satisface la
igualdad con dichos valores como se muestra a continuacin
0
1
0 3
+1
Pero si el numerador es 3 se tiene
3
0 3
+1 =
3
3
+1 = 1 + 1 = 0
Se concluye que la grfica tambin presenta una elongacin de una factor de 3 y la relacin est
definida por
: 3 1 tal que =
3
3
+1
Lista de ejercicios 1
2

1. Realice la grfica de las siguientes relaciones definidas en

a) 2 + 3 = 0
b) + = 5
c) = +2 + 2
d) +
1
5

3
=
e)
2
+ = 4
f) = , : = +1
g) = , : =
2
3

h) = , : =
3


2. Para cada grfica de la relacin determine el conjunto de salida, el mbito y el criterio.








2
Ejercicios tomados de Arias, F. Barrantes, H. (2010). Introduccin a la matemtica formal desde las funciones


2.2 Criterios que involucran desigualdades

En los apartados anteriores se han descrito las grficas de relaciones con criterios de la forma
= , es decir, relaciones en las que se asocian los elementos de cada conjunto a travs de
una igualdad, pero es vlido cuestionarse cul es la representacin grfica de una relacin con un
criterio que involucre una desigualdad?
Si se recuerda el ejemplo de la seccin 1 que involucra una desigualdad: : con =
4, 3, 2, 1,0 tal que < , cuya grfica es

se debe aclarar que las relaciones que se analizarn en esta seccin tienen como conjunto de
salida y de llegada a .
En cualquier caso, primero deber pensarse en la relacin con el criterio que involucra la igualdad
para luego determinar la representacin de la desigualdad dada.

Ejemplo. Realizar la grfica de la relacin dada por = , : 2 3 > 18
Primero se grafica la relacin con criterio 2 3 = 18.
Note que dicho criterio se puede escribir as
2 18
3
=

2
3
6 = 1
La grfica que se obtiene es una transformacin de = con una compresin y una traslacin
vertical de 6 unidades hacia abajo.

Se debe aclarar que todos los puntos (con su par ordenado asociado) que pertenecen a la recta
satisfacen el criterio 2 3 = 18. Qu sucede con los puntos que estn por encima y por
debajo de la recta?
Por ejemplo, tmese el punto 2,1 para sustituir en ambos miembros de la igualdad 1
2
3
2 6 =
4
3
6 =
14
6
=
7
3

= 1
Si estos valores se comparan, se cumple
7
3
< 1. Es decir,
2
3
6 < .
Por otro lado, si se toma el punto 3, 7 se obtiene
2
3
3 6 = 2 6 = 4
= 7
Al comparar estos valores se cumple que 4 > 7. Es decir,
2
3
6 > .
Como la inecuacin 2 3 > 18 es equivalente a
2
3
6 > , entonces se concluye, con base en
lo anterior, que la grfica de la relacin es toda la regin del plano (conjunto de puntos) que est
por debajo de la recta, sin incluir los que pertenecen a la recta pues la desigualdad es estricta.

Para indicar que los puntos de la recta no son parte de la grfica, sta se dibuja discontinua.
Ejemplo. Realizar la grfica de la relacin : tal que
La grfica de la relacin = es

De la misma forma que en el ejemplo anterior, se puede corroborar que los puntos que satisfacen
el criterio de la relacin son aquellos que se encuentran por encima de la grfica de valor absoluto,
es decir,

La grfica de la relacin = se incluye pues la desigualdad es
Ejemplo. Considere la relacin definida en con criterio +2
2
+ +1
2
< 16
En la seccin 2, se defini
2
+
2
=
2
como el criterio de la relacin que
corresponde a una circunferencia con centro , y radio > 0.
Por lo tanto el criterio + 2
2
+ +1
2
= 16 est representado por una circunferencia de
centro 2, 1 y radio 4, como se muestra a continuacin

Puede verificarse que el centro de esta circunferencia satisface el criterio de la relacin dada
inicialmente, es decir, para 2, 1
2 +2
2
+ 1 + 1
2
= 0 +0 = 0 < 16
es verdadero. Por lo tanto el conjunto de puntos que satisfacen la desigualdad son todos aquellos
en el interior de la circunferencia (no los que estn en la circunferencia).

La grfica de la relacin es

Cabe destacar que si el criterio fuera + 2
2
+ +1
2
> 16 este describira el exterior de la
circunferencia.
3. Sistemas de inecuaciones

Para resolver sistemas de inecuaciones de dos variables se recomienda realizar la grfica de cada
una de las relaciones que define cada criterio en el plano, e identificar la regin que resulta de la
interseccin de todas las involucradas.
Ejemplo. Determine el conjunto solucin del sistema de inecuaciones

>
2
1
< +1


Las grficas de las relaciones definidas por =
2
1 y = + 1 son:

La parbola est trasladada una unidad hacia abajo y la recta una unidad hacia arriba (tambin
podra decirse una unidad hacia la izquierda)
Ahora los criterios >
2
1 y < +1 representan grficamente las siguientes regiones

Luego, el conjunto solucin del sistema es

Ejemplo. Determine el conjunto solucin de

+ 2
2
<
2
+4


Note que el criterio + 2 =
2
corresponde a una parbola que se abre a la derecha pues tiene
la forma =
2
, la misma tiene una traslacin horizontal de 2 unidades hacia la
izquierda.
Note que el criterio =
2
+ 4 es equivalente a
=
2
4 + 4 + 4
4 = 2
2

4 = 2
2

Esta parbola tiene su vrtice en 4,2, que puede entenderse como una traslacin horizontal de 4
unidades hacia la derecha y una traslacin vertical de 2 unidades hacia arriaba, adems de una
reflexin respecto con el eje vertical.

La regin que corresponde a cada inecuacin es

Y finalmente el conjunto solucin del sistema es





Lista de ejercicios
1. Realice la grfica de las siguientes relaciones definidas en por

a) 3 0
b) >

2
2
2
c) < +2
d) 4
2
+
2
16
e) = , :
2
5 + 4
2. Represente grficamente el conjunto solucin de las inecuaciones
a)
< 3
> +1


b)
6
> 2


c)

2
+
2
16
<
2


d)
8 3 +15 0
+4 20 < 0
0


e)
2
2
+ 2
2
4
<