59

CAPTULO 2: FUNCIONES Y RELACIONES

2.1.- DEFINICIN Y EJEMPLOS.

El concepto de funcin es, sin duda, uno de los ms importantes y
bsicos en la matemtica. Este concepto se propone modelar
matemticamente una serie de fenmenos donde una cierta cantidad
depende de otra, o, ms general an, donde cierto objeto depende de
otro. Histricamente se habl de dos cantidades variables: una que se
llam variable independiente y otra, precisamente por depender de la
primera, que se llam variable dependiente. Por ejemplo el volumen
de una esfera y su radio: el volumen depende del radio. El nmero que
representa al volumen sera la variable dependiente y el que representa
al radio, la variable independiente. En el lenguaje coloquial tambin se
dice que el volumen es funcin del radio . En fsica muchas veces es el
tiempo la variable independiente: la posicin de un punto material en
movimiento en el espacio, que ya no se puede describir por un solo
nmero sino, al menos, por tres, depende del instante en que se
observa, o sea, se dice, es funcin del tiempo. Y aqu surge la primera
paradoja del lenguaje: que tal si el punto material est en reposo, es
decir, no se mueve: entonces nuestra variable dependiente no es
variable, no cambia, es constante. Nuestro modelo matemtico tendr
que dar cuenta de estas variables que no varan.
Al generalizar un poco este tipo de fenmenos, se debe abarcar
tambin el de correspondencia: a cada libro de la biblioteca le
corresponde su nmero de pginas, a cada individuo le corresponde su
edad. En este caso, la variable independiente es el libro de la biblioteca
y la variable dependiente es el nmero de pginas, mientras que en el
segundo caso la variable independiente es el individuo y la variable
dependiente la edad. Aqu se ha hecho corresponder un nmero a un
objeto que no es un nmero. El fenmeno puede ser al revs:
supongamos que se rotulan los libros de la biblioteca con nmeros
naturales: entonces a cada nmero le corresponder un objeto que no
es un nmero, sino, a saber, el libro que tiene ese rtulo.
Fue Leibnitz en 1673 quien introdujo por primera vez el concepto de
funcin en matemticas, como una frmula algebraica que permite
asociar a cada nmero x (tomado de cierto conjunto determinado) otro
nmero. Pero fue Leonhard Euler quien, un siglo despus, introdujo la
notacin que se conserva hasta el da de hoy: ) (x f y = . La letra y
60
denota la variable dependiente, mientras que la x denota la variable
independiente. El problema con esta concepcin de funcin es que no
permite generalizaciones importantes, asociaciones que no se obtienen
mediante frmulas algebraicas. Michael Spivak d un ejemplo
divertido: propone la funcin que a cada nmero real x se asocia como
f(x) el nmero de sietes que posee el desarrollo decimal de x, si ste es
finito, y el nmero si es infinito. Que se sepa, no hay frmula
algebraica que permita calcular f(x) para, digamos, 2 = x .
Para dar una definicin precisa y general de este concepto,
observamos que lo importante es tener bien definida la pareja
)) ( , ( x f x , de modo de poder distinguir cul es la variable
independiente (el elemento que est al lado izquierdo) y cul la
variable dependiente (el elemento que est al lado derecho), y que la
variable dependiente est unvocamente determinada por la variable
independiente. Vamos, pues a definir formalmente una funcin del
siguiente modo:


Definicin:
Una funcin f es un conjunto de pares ordenados que satisface la
propiedad: ' ) ' , ( ), , ( y y f y x y x =


Se llama dominio de la funcin f al conjunto:
{ } f y x y x f dom = ) , ( , : ) (
Se llama recorrido de la funcin f al conjunto:
{ } f y x x y f rec = ) , ( , : ) (
La notacin B A f : significa que A es el dominio de f pero B
solamente contiene al recorrido. El conjunto B recibe el nombre de
codominio de f . El elemento f(x) se llama imgen de x y a su vez x
se llama la pre-imgen del elemento f(x).
La grfica de la funcin f es el conjunto de puntos en un plano (afn)
cuyas coordenadas son precisamente los pares )) ( , ( x f x

Pensamos que no es conveniente definir una funcin partiendo de un
dominio dado . De hecho, una buena parte de los problemas que
aparecen acerca de este concepto requieren precisamente encontrar el
dominio de la funcin . Por otro lado tampoco conviene identificar la
grfica de la funcin con el conjunto de los pares )) ( , ( x f x , es decir,
61
con la funcin misma. La grfica de la funcin es un concepto
geomtrico que debe ser considerada en otro espacio.

* El concepto mismo de par ordenado debe ser definido de modo que
no dependa de nuestra intuicin espacial. Eso de distinguir entre un
elemento a la izquierda de uno a la derecha no es totalmente
satisfactorio en matemticas. Lo importante es poder establecer la
asimetra que est involucrada en el concepto. La definicin de par
ordenado debe satisfacer la siguiente propiedad:
( ) ( ) d b c a d c b a = = = , ,
Se define entonces:
( ) { } { } { } b a a b a , , , =
No es difcil demostrar que, con esta definicin, la propiedad se
cumple, si bien no es propiamente trivial: es necesario distinguir dos
casos: b a = y b a y razonar en consecuencia.


Ejemplos

1. : f , definida por x x f = ) ( . Esta funcin se llama funcin
identidad y se denota, a veces, por

I . Sin embargo, la notacin

popular es simplemente la funcin x .

2. : f , definida por c x f = ) ( . Se trata de la funcin constante
de valor fijo c. Aqu tambin se suele hacer la confusin entre el
nmero c y la funcin constante de valor c

3. : f , definida por

=
=
n
k
k
k
x a x f
0
) ( es la funcin polinmica
definida en base a las dos operaciones bsicas de . Esta funcin
generaliza las dos anteriores. En la Figura 2.1 se han graficado las
funciones
2
x y = y
3
x y = .
62
-4
-2
0
2
4
-2 -1 1 2
x


Figura 2.1

4. : f , definida por x x f = ) ( . La grfica de esta funcin se
presenta en la Figura 2.2



Figura 2.2

5.
x
x f
1
) ( = . Esta funcin tiene por dominio { } 0 . Su grfica se
presenta en la Figura 2.3.



63
5 2.5 0 -2.5 -5
5
2.5
0
-2.5
-5
x
y
x
y


Figura 2.3


6. Las funciones trigonomtricas: ) cos( ) ( ); ( ) ( x x f x sen x f = = . Estas
funciones tienen un origen geomtrico pero deben ser fundamentadas
como funciones reales. Esto se har ms adelante. Sus grficas se
presentan en la Figura 2.4

5 2.5 0 -2.5 -5
1
0.5
0
-0.5
-1
x
y
x
y



Figura 2.4
64
7. La funcin de Dirichlet:

=
c
Q x
Q x
x D
, 0
, 1
) (
Esta funcin es difcil de graficar pues, como veremos, tanto los
nmeros racionales como los irracionales se encuentran densamente
distribudos en la recta real.

8. La funcin de Heaviside:

<
=
0 , 1
0 , 0
) (
x
x
x H
Esta funcin est definida en toda la recta real, es constante a pedazos
y tendr cierta utilidad cuando veamos las operaciones con funciones.
Su grfica se presenta en la Figura 2.5



Figura 2.5

9. La funcin parte entera: [ ] = x mayor entero menor o igual a x


Figura 2.6

65
10. La funcin exponencial en base 2:
x
x f 2 ) ( = y en base
2
1
:
x
x f

=
2
1
) ( . Ver Figura 2.7

2.5 1.25 0 -1.25 -2.5
8
6
4
2
0
x
y
x
y


Figura 2.7

11. La funcin logaritmo: en base e (mayor que 1) y en base 0.5
(menor que 1).

4 3 2 1 0
4
2
0
-2
-4
x
y
x
y


Figura 2.8


66
12. La funcin de Spivak:

=
=

=
q
p
x
q
x
Q x
x Sp
c
,
1
0 , 1
, 0
) ( , 1 0 x
donde p y q son primos relativos, es decir, no tienen factores comunes.
Esta funcin ser muy interesante por sus aplicaciones, pero no es
fcil de dibujar. En la Figura 2.9 se ha esbozado su grfica.

Figura 2.9



2.2 OPERACIONES CON FUNCIONES

Las operaciones algebraicas entre nmeros reales pueden ser
traspasadas a las funciones :
) ( ) ( ) )( ( x g x f x g f + = + , esta igualdad define la suma de las
funciones f y g
) ( ) ( ) )( ( x g x f x fg = , define el producto de las funciones f y g

La resta y la divisin de funciones se define del mismo modo:
) ( ) ( ) )( ( x g x f x g f =

) (
) (
) (
x g
x f
x
g
f
=

67
Pero entre las funciones aparece una operacin nueva , especfica de
las funciones : la composicin de dos funciones:
)) ( ( ) )( ( x g f x g f = Notar que la variable independiente x es
asociada primero al elemento ) (x g y ste a su vez a )) ( ( x g f . La
Figura 2.10 muestra un esquema de la composicin de dos
funciones:

Figura 2.10

Es necesario tener cuidado con los dominios de las funciones
resultantes de estas operaciones: en general los dominios se restringen:

) ( ) ( ) ( g dom f dom g f dom =
{ } 0 ) ( : ) ( ) ( ) ( = = x g x g dom f dom
g
f
dom
{ } ) ( ) ( : ) ( ) ( f dom x g g dom x g f dom =

Ejemplos

1.Consideremos la funcin definida por
2
) ( x x f = y la funcin
constante 1 ) ( = x g . La funcin suma es : 1 ) )( (
2
+ = + x x g f ,
mientras que la funcin producto deja la funcin f inalterada:
2
) )( ( x x fg = . La composicin de ambas funciones resulta ser la
misma funcin g : 1 ) )( ( ) )( ( = = x f g x g f .
2. La composicin, en general, no es una operacin conmutativa, a
pesar del resultado del ejemplo anterior. Tomemos ahora las
funciones: 3 2 ) ( , 1 3 ) (
2
= + = x x g x x f . Haciendo el clculo
68
correspondiente, resulta: 28 36 12 ) )( (
2
+ = x x x g f , mientras
que 1 6 ) )( (
2
= x x f g .
3. Resulta divertido hacer todas las operaciones con las funciones
caracterizadas por las siguientes grficas:
Figura 2.11

Se trata de dibujar las grficas de f g g f
g
f
fg g f , , , , + .Lo
dejamos para entretencin del lector.


2.3.- PROBLEMAS DE DOMINIO-RECORRIDO-GRFICA

1. Sea
1
1
) (

=
x
x f . Se trata de encontrar el dominio, el recorrido y
dibujar aproximadamente su grfica:

{ } 1 ) ( = f dom . Este resultado es muy simple: 1 x debe ser para
que el denominador no se anule
{ } 0 ) ( = f rec . Este resultado es, conceptualmente, mucho ms
difcil: se trata del siguiente problema : para qu valores de y tiene
alguna solucin (que est en el dominio de la funcin) la ecuacin
y
x
x f =

=
1
1
) ( ? La variable y tiene aqu el significado de un
parmetro. Ntese que no se trata simplemente de resolver la ecuacin
anterior, sino de analizar la existencia de alguna solucin, dado el
nmero y, y que esta solucin est en el dominio de la funcin.. En el
caso del ejemplo, multiplicando por x-1 a ambos lados de la ecuacin,
69
se v que se podr despejar x si y solo si 0 y :
y
y
x
+
=
1
y este
nmero es evidentemente distinto de 1. Por lo tanto el recorrido de la
funcin ser el conjunto de los reales no nulos.

La grfica de la funcin se muestra en la Figura 2.12














Figure 2.12

2. Encontrar dominio, recorrido y grfica de : x x f + = 1 ) (

El dominio es sencillo de encontrar: el nmero dentro de la raz debe
ser positiva o nula, luego : [ [ = , 1 ) ( f dom
Para encontrar el recorrido debemos estudiar la ecuacin: y x = + 1 .
La primera condicin para y es que sea positivo o nulo, pues debe ser
igual a una raz cuadrada. La segunda condicin se obtiene elevando al
cuadrado: 1
2
= y x . Pero esta solucin debe estar en el dominio de la
funcin, luego debe cumplirse: 1 1
2
y , lo que efectivamente se
cumple. Luego, [ ] = , 0 ) ( f rec
La grfica se presenta en la Figura 2.13





6 4 2 0 -2
2.5
1.25
0
-1.25
x
y
x
y
70




Figura 2.13

3.Sea [ ] 3 , 2 : f , definida por la frmula: 1 ) ( = x x f . En este
caso el dominio est dado, pero es conveniente convencerse que es
viable, es decir, que la frmula est efectivamente definida en
ese dominio. La frmula tiene sentido para todo 1 x , luego, el
dominio dado es viable. Aqu el problema es el recorrido: la
ecuacin para x : y x = 1
2
requiere en primer lugar que 0 y .
Adems, elevando al cuadrado 1
2
+ = y x , luego, para que la
solucin x est en el dominio de la funcin, se necesita:
3 1 2
2
+ y , es decir 2 1
2
y y siendo y positivo, 2 1 y .
Luego [ ] 2 , 1 ) ( = f rec .

La grfica de esta funcin se presenta en la Figura 2.14



Figura 2.14

4. Encontrar el dominio de : 1 1 ) ( = ax x f
a
, donde a .
5 3.75 2.5 1.25 0
2
1.5
1
0.5
0
x
y
x
y
4 3 2 1 0
2
1.5
1
0.5
0
x
y
x
y
71
Aqu se trata no de una funcin , sino de una familia infinita de
funciones, una por cada valor que tome el parmetro a . Por lo tanto el
problema consiste en hacer una clasificacin razonable de los
dominios de cada una de las funciones, segn sea el valor del
parmetro. En nuestro ejemplo, la funcin estar definida si y solo si
se cumple: 0 1 1 ax . Esto no es otra cosa que una inecuacin con
parmetro a . Puesto que se est tratando con desigualdades, el signo
del parmetro es fundamental.
0 = a . En este caso la condicin se satisface para todo nmero real,
luego: = ) (
a
f dom
0 > a . Para eliminar el valor absoluto, hay que dividir la recta real
en dos pedazos:

< =

=
a
x x B x
a
x A
1
: ;
1
: . En la zona A la
inecuacin es 0 1 1 + ax , es decir: 0 x . En la zona B la
inecuacin es 0 1 1 ax , es decir,
a
x
2
. Por lo tanto, para este
caso tenemos: ] ]

= ,
2
0 , ) (
a
f dom
a

0 < a . Dividiendo la recta real en zonas como en el caso anterior,
resulta: [ [

= , 0
2
, ) (
a
f dom
a


5. La compaa Mena arrienda automviles Toyota a $10.500 por
da ms $40 por kilmetro recorrido mientras que la compaa
Gonzlez arrienda el mismo tipo de automvil por $8.900 por
da ms $60 por kilmetro. En cul de las dos compaas
conviene arrendar el automvil?

Es claro que la decisin va a depender del nmero de kilmetros que
proyectamos recorrer cada da. Sea x ese nmero: entonces lo que
conviene hacer es determinar dos funciones: la funcin ) (x C
M
que
sera el costo diario por arrendar en la compaa Mena y ) (x C
G
que
sera el costo diario por arrendar en la compaa Gonzlez. Se tiene:
x x C
M
40 500 . 10 ) ( + = , mientras que x x C
G
60 900 . 8 ) ( + = . Conviene,
para resolver el problema, dibujar las grficas de estas funciones:


72

Figura 2.15

Directamente de las grficas se obtiene que, si se piensa recorrer no
ms de 80Km diarios, conviene arrendar en Gonzlez, mientras que si
se espera recorrer ms de 80Km diarios, conviene hacerlo en Mena.

6. Una industria manufacturera produce motonetas y bicicletas, cada
una de las cuales debe procesarse en dos centrales de mquinas A y B.
La central A tiene un mximo de 120 horas mensuales disponibles y la
central B un mximo de 180 horas mensuales disponibles. La
manufactura de una bicicleta requiere de 6 horas en la central A y 3
horas en B. La manufactura de una motoneta requiere de 4 horas en la
central A y 10 horas en B. Sabiendo que el beneficio por bicicleta es
de $45.000 mientras que por motoneta es de $55.000 , cuntas
bicicletas y motonetas fabricar para obtener el mximo beneficio
mensual?
Este es un tpico (pero muy sencillo) problema de programacin
lineal. Nuevamente aqu conviene establecer las funciones de
ganancia, segn sea la decisin que se tome y hacer las grficas de
esas funciones. Sea para esto x el nmero de bicicletas , y el nmero
de motonetas mensuales a fabricar. Si llamamos z a la ganancia
mensual, se tendr:
y x z 000 . 55 000 . 45 + =
Pero se deben cumplir las restricciones horarias de ambas centrales:
120 4 6 + y x (central A), 180 10 3 + y x (central B). Como x ey son
nmeros de objetos, deben ser positivos, es decir, debemos aadir las
restricciones: 0 , y x . Conviene hacer entonces un grfico donde
aparezcan los valores de x ey que satisfacen todas las condiciones. El
73
conjunto de los puntos que satisfacen todas las condiciones se
denomina la regin factible. Enseguida se dibujan las grficas de las
rectas que representan la ganancia mensual para cada eleccin de x ey.
El problema se resuelve encontrando el mximo valor de z cuya recta
de ganancias alcanza a tocar la regin factible. Ver Figura 2.16



Figura 2.16

Desplazando paralelamente la recta de ganancia constante (z=cte.) se
llega al vrtice que provee la mxima ganancia que satisface las
restricciones. El resultado es: 15 , 10 = = y x , es decir, se deben
fabricar 10 bicicletas y 15 motonetas mensuales. La ganancia que se
obtiene es de $1.275.000 mensuales. Es interesante comparar este
resultado con el que se obtiene de fabricar solo bicicletas ( y=0, x=20):
$900.000; o bien solo motonetas (x=0, y=18) : $990.000.


2.4 PROBLEMAS

1.Sea 1 ) ( ,
1
) ( + = = x x g
x
x f . Encuentre los dominios y los
recorridos de las funciones compuestas: g f y f g y
haga un esbozo de sus grficas.
2. Sea

<

=
x
x x
x f
1 , 1
1 0 ,
) (
2
,

<

=
x x
x
x g
1 , 2
1 0 , 1
) (
74
Grafique f y g indicando dominio y recorrido. Encuentre y grafique
tambin: f g g f g f , , + indicando tambin dominio y recorrido.

3. Sea
1
1
) ( , 1 ) (
+
= + =
x
x g x x f . Indique los dominios de las
funciones f g g f g f , , , y sus respectivos recorridos.
4. Sea , ) (
2
x x f = D(x) la funcin de Dirichlet:

=
c
Q x
Q x
x D
, 0
, 1
) (
Demuestre que D D f = . Encuentre f D . Puede hacer un esbozo
razonable de las grficas de estas dos funciones?

5. Sea
x
x f
+
=
1
1
) ( :
Cul es el dominio de f f ?
Para qu nmeros c existe existe un nmero x tal que
) ( ) ( x f cx f = ?
Para que nmeros c existen dos nmeros x diferentes que cumplen
) ( ) ( x f cx f = ?

6. Para qu nmeros a,b,c,d la funcin :
b cx
d ax
x f
+
+
= ) ( satisface la
propiedad domf x x x f f = , )) ( (

7. Determine si las siguentes afirmaciones son verdaderas o falsas.
J ustifique su respuesta:
Si f y g son funciones tales que ) ( ) ( g dom f dom , entonces
) ( ) ( ) ( g rec f rec g f rec = +
Si + ) ( ) ( g f dom h rec , entonces h g h f h g f + = + ) (
Sea = ) ( ) ( h dom g dom D . Si ) ( ) ( f dom h g rec + , entonces
D x x h f x g f x h g f + = + ), )( ( ) )( ( ) ))( ( (
Si f y g son funciones decrecientes en , entonces g f es
decreciente en
Si f es creciente en ] ] a , y es creciente en ] [ , a , entonces f es
creciente en .

75
Encontrar el dominio y el recorrido de las funciones definidas por las
siguentes frmulas:


2
1 ) ( x x f =

2
1 1 ) ( x x f =
1 1 ) (
2 2
+ = x x x f

2
1
1
1
) (

=
x x
x f

8. Un agricultor necesita un fertilizante que proporcione un mnimo de
15 unidades de potasio, 20 unidades de nitrato y 24 unidades de
fosfato. Dispone de dos marcas diferentes: la marca 1 proporciona 3
unidades de potasio , 1 de nitrato y 3 de fosfato y cuesta $1200 la
unidad. La marca 2 proporciona 1 unidad de potasio, 5 de nitrato y 2
de fosfato y cuesta $600 la unidad. Formule un modelo matemtico
que permita obtener la combinacin de fertilizantes de menor costo
que satisfaga las especificaciones.

9. Una empresa agrcola dispone de 100 ha. de terreno y 1200 UF de
capital para plantar dos variedades de tomate. La variedad 1 requiere
una inversin de 10 UF por ha. y deja una ganancia bruta de 90 UF
por ha. y la 2 requiere una inversin de 15 UF y deja una ganancia
bruta de 122 UF por ha. Cuntas ha. de cada variedad se debe
plantar para obtener la mayor renta neta posible?

10. Una editorial planea usar una seccin de su planta para producir dos
textos: A y B. La ganancia es de $8 por el texto A y de $5 por el
texto B. El texto A requiere 4 horas para imprimir y 6 horas para
encuadernar y empastar. El texto B requiere 5 para imprimir y 3
horas para encuadernar y empastar. Si se dispone de 200 horas para
imprimir y 210 horas para encuadernar y empastar y si por lo menos
se deben producir 20 textos, cuntos textos de cada tipo se deben
producir para obtener la mxima ganancia? cuntas horas se usan
para imprimir y cuntas para encuadernar y empastar?




76
2.5.- TIPOS DE FUNCIONES

Es importante clasificar las funciones segn diversos criterios con el
objeto de poder resolver problemas que dependen de una propiedad u otra.
Para empezar, sea B A f : :
f se llama inyectiva , si a elementos diferentes en A le hace
corresponder elementos diferentes en B, es decir:

y x y f x f = = ) ( ) (

f se llama epiyectiva (o tambin : sobreyectiva) , si cada elemento
de B es imgen de algn elemento de A, es decir, si el co-dominio
coincide con el recorrido de la funcin.
f se llama biyectiva si es a la vez inyectiva y epiyectiva.

Si f es biyectiva, entonces a cada elemento y de B le corresponde un
nico elemento x en A tal que y=f(x). Esto define una funcin,
llamada funcin inversa de f :
A B f

:
1

tal que x y f =

) (
1
. Se tiene entonces que : y y f f =

)) ( (
1
, y que
x x f f =

)) ( (
1
, es decir:
B
Id f f =
1
y que
A
Id f f =

1
. Es
importante no confundir la funcin inversa as definida con el inverso
multiplicativo de los valores de la funcin. Por desgracia la notacin
empleada, que es una notacin universal y standard, induce a esta
confusin.

Ejemplos

1. La funcin
3
) ( x x f = es biyectiva como funcin de en . En
efecto, si
3 3
y x = , entonces , factorizando:
0 ) )( (
2 2 3 3
= + + = y xy x y x y x pero la funcin
2 2
y xy x + +
nunca se anula ya que el discriminante , considerada como una
ecuacin en x con parmetro y , es 0 3
2
< = y . Luego: x=y . Por
lo tanto f es inyectiva. Por otro lado si y es un nmero real
cualquiera, entonces
3
y es una pre-imagen de y . Por lo tanto,
esta funcin tiene una funcin inversa. Hay una forma geomtrica
77
prctica para visualizar la inversa de una funcin. En la Figura
2.17 se presentan ambas funciones:

5 2.5 0 -2.5 -5
100
50
0
-50
-100
x
y
x
y
5 2.5 0 -2.5 -5
1.5
1
0.5
0
-0.5
-1
-1.5
x
y
x
y


Figura 2.17 a Figura 2.17 b

La funcin inversa de
3
) ( x x f = (que se presenta en la Figura 2.17a)
que es
3 1
) ( x x f =

(que se presenta en la Figura 2.17b) , se puede

visualizar intercambiando la x por la y , por lo tanto girando la
figura en 90 grados y mirndola por detrs. Esto se puede hacer con
un papel donde se dibuja la grfica de f , se gira en 90 grados y se
mira por detrs al trasluz.

2. La funcin ] [ , 0 : log
b
es tambin biyectiva, segn las
propiedades que presentamos ( y que todava no hemos
demostrado!) y su inversa es la exponencial de base b. En la figura
2.17 presentamos las grficas de ambas funciones para b=e .
Recordar que , si la base es menor que 1, entonces las grficas
aparecen decreciendo hacia la derecha.
5 3.75 2.5 1.25 0
1.25
0
-1.25
-2.5
-3.75
-5
x
y
x
y
1.25 0 -1.25 -2.5 -3.75 -5
5
3.75
2.5
1.25
0
x
y
x
y

Figura 2.18a Figura 2.18b
78
3. La funcin : f definida por 5 ) (
2
= x x f , no es ni
invectiva ni epiyectiva. En efecto, los nmeros 1 y -1 tienen la
misma imagen -4, mientras que el nmero -6 no es imagen de
ningn nmero: la ecuacin 6 5
2
= x , o sea: 1
2
= x no tiene
solucin real. La Figura 2.19 presenta la grfica de esta funcin.

5 2.5 0 -2.5 -5
20
15
10
5
0
-5
-10
x
y
x
y

Figura 2.19



4. La funcin
3 2
1
) (
2
2
+

=
x x
x
x f ser inyectiva? En primer lugar el
dominio de esta funcin ser el conjunto de nmeros reales donde
el denominador no se anula. Factorizando segn la frmula de
Cardano: ) 1 )( 3 ( 3 2
2
+ = + x x x x , luego, 1 y -3 estn fuera del
dominio de la funcin. Pero el numerador tambin tiene un factor
1 x , por lo tanto para 1 x la funcin se reduce a
3
1
+
+
x
x
. Aqu es
importante enfatizar que la funcin original f no es igual a esta
nueva funcin, porque tienen distintos dominios: mientras la
original no est definida en 1, la nueva si lo est. Pero para todos
los nmeros diferentes de 1, ambas coinciden. Para ver si es
inyectiva, supongamos que
3
1
3
1
+
+
=
+
+
y
y
x
x
. Entonces,
multiplicando por los denominadores:
3 3 3 3 + + + = + + + y x xy y x xy , de donde y x 2 2 = , luego
y x = es decir, la funcin es inyectiva.
79
Esta funcin ser epiyectiva si definimos su co-dominio como su
recorrido: ) ( f rec y si acaso la ecuacin: y
x
x
=
+
+
3
1
tiene
solucin para x . Multiplicando por el denominador, se tiene
y xy x 3 1 + = + , es decir, 1 3 ) 1 ( = y y x , luego, si acaso 1 y la
x se puede despejar :
y
y
x

=
1
1 3
. Pero la funcin f no est definida
en 1, luego el valor tampoco puede estar en su recorrido. Por lo
tanto, la funcin { }

2
1
, 1 3 , 1 : f definida por la
frmula anterior , es biyectiva. La Figura 2.20 muestra la grfica
de la funcin y su inversa.

2.5 0 -2.5 -5 -7.5
5
2.5
0
-2.5
-5
x
y
x
y
5 2.5 0 -2.5 -5
2.5
0
-2.5
-5
-7.5
x
y
x
y


Figura 2.20a Figura 2.20b


5. Resolver la ecuacin : 1 = + bx a x . Podr parecer extrao
incluir aqu una ecuacin, ms an, una ecuacin de aspecto tan
simple. Veremos que no es tan simple y que para su anlisis nos
ser de enorme ayuda la representacin grfica de las funciones
que van a aparecer. Para empezar, no se trata de una ecuacin,
sino de infinitas ecuaciones, una familia bi-paramtrica de
ecuaciones , una por cada valor de los dos parmetros
involucrados. Lo que se pretende es hacer una clasificacin
completa de las soluciones posibles, segn sean los valores de los
parmetros: como tenemos dos parmetros reales, el espacio de
parmetros se puede representar por los puntos de un plano. Se
80
busca, entonces, una particin del plano, en regiones que producen
similares tipos de soluciones.
i) Busquemos soluciones en a x : aqu la ecuacin es:
a b x = 1 ) 1 ( , luego, si 1 = b no hay soluciones, a menos
que 1 = a , en cuyo caso hay infinitas: ] ] 1 ,
1
= S . Si
1 b , tendramos una solucin
1
1
1

=
b
a
x que debe ser
menor o igual que a . Debemos distinguir aqu dos casos:
1 > b , donde la condicin es: 1 ab . Esta condicin se cumple
para
a
b
1
, si 0 > a y para
a
b
1
, si 0 < a . Pero esta ltima
alternativa es imposible, pues b es mayor que 1 y por lo tanto
positivo.
1 < b , donde la condicin es 1 ab . Esta condicin se cumple
para
a
b
1
, si 0 > a y para
a
b
1
, si 0 < a . La Figura 2.21
muestra la zona en el espacio de parmetros donde existe la
solucin dada por la frmula
1
x .

Figura 2.21

ii) Busquemos ahora soluciones en a x > . La ecuacin es, en este caso
a b x + = + 1 ) 1 ( . Luego, si 1 = b no hay soluciones, a menos que
1 = a , en cuyo caso hay infinitas : [ [ = , 1
2
S . Si acaso 1 b
tendramos la solucin
b
a
x
+
+
=
1
1
2
que debe ser mayor que a . Esta
condicin se cumple, si , 1 < b para 1 > ab y si 1 > b , para 1 < ab .
Luego, si 0 > a , la primera condicin es
a
b
1
> que no se cumple pues
81
b es negativo. Si 0 < a , la primera condicin es
a
b
1
< . La segunda
condicin, es decir, con 1 > b significa , para 0 < a que
a
b
1
> , y
para 0 > a , que sea
a
b
1
< . Por lo tanto, la solucin
2
x existe en la
zona sombreada del espacio de parmetros (Figura 2.22)



Figura 2.22

Superponiendo las dos figuras obtenemos un esquema completo del
comportamiento de la ecuacin: tenemos zonas con una nica
solucin, una zona con dos soluciones, dos franjas donde no hay
soluciones y dos puntos destacados donde hay infinitas soluciones.


Figura 2.23




82
2.6.- OTROS TIPOS DE FUNCIONES


Segn sea su crecimiento se define:
f se llama funcin creciente, si : ) ( ) ( y f x f y x
f se llama funcin decreciente, si : ) ( ) ( y f x f y x
f se llama montona si es creciente o decreciente.
f se llama creciente estricta, si ) ( ) ( y f x f y x < <
f se llama decreciente estricta, si ) ( ) ( y f x f y x > <
f se llama montona estricta si es creciente o decreciente
estricta.

Estas definiciones son muy intuitivas, de modo que no abundaremos
con ejemplos. La distincin entre estricta y no estricta es importante,
por ejemplo la funcin logaritmo en base natural es estrictamente
creciente, mientras que la funcin parte-entera es creciente no-estricta.

Otros criterios de clasificacin definen:
f se llama funcin par, si x x f x f = ) ( ) ( . Un tpico ejemplo
de funcin par es
n
x x f = ) ( , donde n es par. De este ejemplo
ha salido, sin duda, la denominacin de par. Otro ejemplo
importante es la funcin coseno.
f se llama funcin impar, si x x f x f = ), ( ) ( . El ejemplo
es en este caso
n
x x f = ) ( , con n impar. Otro ejemplo es la
funcin seno.
f se llama funcin peridica, si existe un nmero no nulo p tal
que x x f p x f = + ), ( ) ( . El menor nmero p que satisface esta
propiedad, se llama el perodo de la funcin. Es importante
tener claro esta nocin de perodo de una funcin. Por ejemplo
la funcin seno satisface = + x x sen x sen ), ( ) 4 ( , pero
4 no es el perodo del seno, sino que lo es 2 .

Finalmente vamos a introducir dos importantes conceptos, uno el
correlativo del otro:

Sea B A f : una funcin cualquiera, B S A R , . Una
funcin S R g : se llama restriccin de f, si acaso se
83
cumple: R x S x f x g = , ) ( ) ( . Bajo la misma propiedad la
funcin f se llama una extensin de la funcin g.

Si recordamos nuestra definicin de funcin como conjunto de
pares ordenados, la relacin de restriccin-extensin no es ms que la
relacin de subconjunto: si f g , la funcin g es una restriccin de
f, mientras que f es una extensin de g.
Si se restringe solamente el dominio de la funcin, se usa la notacin
R
f . No hay notacin especial para una restriccin del co-dominio.
Finalmente debe notarse que toda funcin inyectiva posee una
restriccin (del co-dominio) que es biyectiva. Basta excluir los
elementos del co-dominio que sobran, es decir, que no estn en el
recorrido de la funcin.


2.7.- PROBLEMAS

1. Analizar la funcin: 2 1 ) ( + = x x f . es creciente estricta?
es epiyectiva con como co-dominio? Defina restricciones
interesantes de esta funcin que sean funciones biyectivas y
encuentre sus inversas.

2. Defina restriciones interesantes de la funcin
5
) (
2
+
=
x
x
x g
que sean funciones biyectivas y encuentre sus inversas

3. Sea 1 ) ( = x x f , 5 ) ( + = x x g . Encontrar una funcin h tal
que g f h = . En qu dominio existe esta funcin?

4. Investigar si las siguientes funciones son inyectivas y en caso
de no serlo, definir restricciones interesantes que lo sean:


1
3
) (

=
x
x f
1 ) (
2
= x x g
2 ) ( + = x x h

84
6. Investigar si las siguientes funciones son epiyectivas sobre y en
caso de no serlo, definir restricciones interesantes que lo sean:

x
x
x f

=
3
2
) (

1
) (
2

=
x
x
x g
x x h = 1 ) (

7. Sea [ [ 3 , 1 : f , definida por 4 2 ) (
1
=
+ x
x f . Determine
dominio, recorrido y restricciones que sean funciones biyectivas y
encuentre sus inversas.
8. Demostrar que :

f par y g par fg es par
f par y g impar fg es impar
f impar y g impar fg es par

9. Sea f una funcin cualquiera. Encuentre funciones
i p
f f , tales
que
p
f sea par,
i
f sea impar y que
i p
f f f + = Discuta adems la
existencia y unicidad de estas funciones .

Indicacin: plantee el sistema de ecuaciones
) ( ) ( ) (
) ( ) ( ) (
x f x f x f
x f x f x f
i p
i p
=
+ =


y despeje
p
f y
i
f (nota: la funcin
p
f se llama parte par de f y
i
f
se llama parte imparde f .

10. Determine si las siguientes funciones son pares o impares y
descomponga en parte par e impar:


1
) (
2
+
=
x
x
x f
x x x g + = ) (
85

+
<
=
1 , 1 2
1 , 1 2
1 ,
) (
x x
x x
x x
x h

11. Encuentre los mximos dominios y recorridos para que las
siguientes frmulas definan funciones biyectivas y encuentre las
respectivas inversas:

1
1
) (
+
+
=
x
x
x f
1 3 ) (
2
+ = x x x g
1 ) ( = x x h

) 2 )( 1 (
) 3 )( 2 ( ) 1 (
) (
2
+
+ +
=
x x x
x x x
x j

12. Demostrar o negar (dando un contraejemplo):
h f g f h g f + = + ) (
f h f g f h g + = + ) (
g
f g f

1 1
=

g
f
g f
1 1

=

Agregue Ud. las hiptesis necesarias para obtener 4 hermosos
Teoremas, los ms finos posibles.

13. Sea a x f
x
log ) ( = . Para qu valores del parmetro a es esta
funcin estrictamente creciente? Cundo es decreciente?.
Determine dominio y recorrido en los distintos casos.

14. Resolver la ecuacin 0 = + x a x b , clasificando las
soluciones segn sean los valores de los parmetros.

15. Resolver y analizar la ecuacin bi-paramtrica 1 1= + bx a x


86
2.8.- RELACIONES


Definicin :
Una relacin es un conjunto de pares ordenados


Si A y B son conjuntos cualquiera, se entiende usualmente por
relacin entre los elementos de A y de B, un subconjunto R del
producto cartesiano: B A R . Se dice que A x est relacionado
con B y , en smbolos : xRy , si acaso R y x ) , ( . Debe notarse que
el concepto de relacin es una generalizacin del concepto de funcin,
ya que se trata simplemente de un conjunto de pares ordenados sin la
hiptesis adicional, que caracteriza a las funciones, de que el segundo
elemento est determinado por el primero.
Del mismo modo que en el caso de las funciones se definen los
conceptos de dominio, recorrido y grfica:
{ } R y x B y A x R dom = ) , ( , : ) (
{ } R y x A x B y R rec = ) , ( , : ) (
{ } R y x y x P R f = ) , ( : ) , ( ) ( gra

Es claro que el concepto de grfica requiere que la relacin sea entre
nmeros reales, donde son las coordenadas de los puntos que estn en
la relacin los que forman la grfica.

Finalmente, tambin en este caso se habla de restricciones y
extensiones: T ser restriccin de la relacin R, si acaso R T , y
correlativamente, R ser una extensin de la relacin T .

Ejemplos

1. O , definida por { } y x y x O < = : ) , ( . Esta relacin entre de
esta relacin como la regin del plano nmeros reales corresponde
a la relacin de orden en . Podemos representar la grfica
indicada por la Figura 2.21.




87





Figura 2.24

2. { } 1 : ) , (
2 2
= + = y x y x C esta relacin representa las
coordenadas de los puntos que estn sobre una circunferencia de
centro 0 y radio 1

3. Una relacin R se llama relacin de equivalencia si cumple los tres
axiomas siguientes: xRx (reflexividad); yRx xRy (simetra);
xRz yRz xRy (transitividad). Cmo ser la grfica de una
relacin de equivalencia entre nmeros reales? Desde luego debe
contener la diagonal y ser simtrica. Pero eso no basta: la
transitividad no es tan fcil de caracterizar geomtricamente. En
las siguentes figuras se presentan dos grficas: una es de una
relacin de equivalencia (la de la izquierda) y la otra no (la de la
derecha:

88
4. 4. Podemos considerar una restriccin de la relacin anterior:
{ } 0 1 : ) , (
2 2
= + = y y x y x D Esta relacin representa la mitad
superior de la circunferencia anterior. Y una extensin de esta
relacin sera { } 0 1 : ) , (
2 2
+ = y y x y x E . La Figura 2.22
muestra esta extensin.

Figura 2.25


5. La relacin { } 1 : ) , (
2
+ = = x xy y x R no es una funcin.
En efecto, el elemento 1 = x tiene dos segundas componentes
diferentes que estn en la relacin: 2 = y e 2 = y . Cul es el
dominio de esta relacin? Para empezar, si 0 = x , entonces
claramente no hay ningn y tal que R y ) , 0 ( . Para 0 x , la
pareja R y x ) , ( si acaso 1
2
+ = x xy , es decir, si
x
x
y
1
2
+
= . Para
que exista la y, se necesita que 0
1

+
x
x
. Esto ocurre si acaso
0 > x , o bien si 0 < x pero 0 1 + x , es decir, si acaso 1 x .
Luego, el dominio de esta relacin es:
] ] ] [ = , 0 1 , ) (R dom
Por su parte el recorrido de la relacin es el conjunto de los y tales que
la ecuacin 1
2
+ = x xy tiene solucin, es decir, si 1 ) 1 (
2
= y x tiene
solucin. Esto ocurre si acaso 1
2
y , es decir, si y no es 1 no 1.
Luego, el recorrido de la relacin es:
{ } 1 , 1 ) ( = R rec

89
No es tan fcil obtener una grfica aproximada de esta relacin. Ms
adelante estudiaremos mtodos que lo permiten hacer. Por el momento
presentaremos la grfica realizada por el software Scientific Work



Figura 2.26



2.9. - PROBLEMAS


1. Considere la siguiente relacin:
{ } { } 2 , 1 , 3 1 : ) , (
2
+ = = y y x y x R
Determine dominio, recorrido y grfica .

2. Determine la relacin que define a las coordenadas de una recta
(en un plano afn) que pasa por los puntos de coordenadas (-8,3) y
(4,0)

3. Identifique y grafique la relacin:

{ } 0 20 8 4 : ) , (
2 2
= = x y y y x T

4. Determine el valor del parmetro k de modo que el punto
de coordenadas(-1,2) pertenezca a la relacin:
2.5 1.25 0 -1.25 -2.5
2.5
1.25
0
-1.25
-2.5
x
y
x
y
90
{ } 0 7 2 : ) , (
2
= + = y kx y x S



5. Determinar dominios y recorridos de las siguientes relaciones
reales:

=
< <

=
2 , 2
2 1 , 2
1 0 ,
: ) , (
2
x
x x
x x
y y x
{ } 4 : ) , (
2 2
= + y x y x
{ } 2 4 : ) , (
2 2
= + y y x y x
{ } { } 3 1 : ) , ( 2 0 1 : ) , (
2
< < = < < = x x y y x x xy y x
{ } 1 : ) , ( = + y x y x

6. Encuentre restricciones interesantes de las relaciones dadas en el
problema 5 que sean:
Funciones
Funciones inyectivas
Funciones biyectivas. En este caso encuentre tambin las
inversas.

7. Grafique las siguientes relaciones
2
K :
1 1 ) , ( y K y x
1 ) , ( y x K y x
y x y x K y x = =
2
) , (

8. Defina relaciones reales que tengan los siguientes grficos:


91
9. Sea ] [ { } 1 3 : 5 , 2 ) , (
2
+ = = x x y A y x L . Encuentre el
mayor conjunto A tal que la relacin L sea una funcin


10. Dada la relacin real { } 3 5 2 : ) , ( = + = x y y x T , estudie las
restricciones que sean funciones biyectivas y encuentre sus
inversas.

11. Sea R la relacin { } 1 log 2 : ) , (
2
= = p y y x R
x
. Encuentre los
valores del parmetro p para los cuales el par (2,0) pertenece a la
relacin. Encuentre adems el dominio y el recorrido de la
relacin. Determine restricciones interesantes que sean funciones.