Você está na página 1de 42

FUNCIONES MATEMATICAS

La relacin que podra existir entre los valores x e y que toman dos variables al ser
observadas simultneamente en un mismo momento de medicin, podra
representarse por medio de una funcin matemtica que involucre a esos valores x e
y .
Por ejemplo, en un cierto supermercado, el precio de un kilo de tomates es igual a
$800.- siempre que se compre una cantidad menor que 2 kilos. Si se compran dos
kilos o ms, el precio por kilo baja a $550.- Por tanto, si representamos por x la
cantidad de kilos de tomates que un individuo compra, entonces, el monto y de
dinero que este individuo debe pagar por esa compra, queda determinado por la
frmula:

800 0 2
550 2
x x
y
x x
< <

.

La expresin anterior
1
define una funcin matemtica ya que, una vez que se conoce
el valor que toma x (es decir, la cantidad de tomates que se compra), el precio y que
se paga por esa cantidad de tomates, queda completamente determinado. Dicho en
trminos matemticos, a cada valor de x le corresponde un nico valor de y . En
Figura 1 se muestra el grfico de esta funcin matemtica. Como ocurre en la
prctica con toda representacin visual, el grfico parece proporcionar ms
informacin que la entregada por la expresin algebraica que define a la funcin.
Revisando este grfico es posible formular varias preguntas; por ejemplo, qu
representa cada tramo continuo en el grfico de esa funcin? Si usted tiene $1.595.-
cul es la cantidad mxima de tomates que puede comprar?




1
En casos como este, se dice que la funcin matemtica est definida por tramos.
Funciones matemticas Hctor Hevia (2012, v1)


2



Figura 1


Observe, en el ejemplo anterior, que utilizando la frmula que define a la funcin, se
puede determinar fcilmente el valor que toma la variable y , siempre que se
conozca el valor que toma la variable x . Es decir, en la expresin algebraica que
establece la correspondencia existente entre x e y , la variable y aparece aislada o
despejada. En estos casos, la variable y suele llamarse variable dependiente y la
variable x suele llamarse variable independiente.
2
Esta forma explcita de
presentar una funcin no es, ciertamente, la nica manera de definir una funcin. En
algunas circunstancias, una cierta condicin define una funcin aunque no de
manera tan evidente, como veremos hacia el final de este captulo.


Definiciones
Una funcin matemtica f es una correspondencia que asocia a cada elemento x de
un conjunto A | = , un nico objeto denotado por ( ) f x . El conjunto A se denomina
dominio de la funcin f ; abreviadamente ( ) Dom A f = . El objeto ( ) f x se

2
Independientemente de estas denominaciones, que inducen a pensar en una relacin de causalidad
entre las variables y y x , en el sentido que la causa de y

es x , la relacin de causalidad respecto a lo
que verdaderamente representan las variables y y x , puede darse, ya sea en ambas direcciones; en la
misma direccin que sugiere la representacin algebraica, o en una direccin opuesta; o simplemente,
podra no existir relacin alguna de causalidad entre las variables asociadas. Dicho sea de paso, hay
corrientes que sostienen que la causalidad, en el mundo real, no puede ser demostrada.

1 2 3 4 5
500
1000
1500
2000
2500
Funciones matemticas Hctor Hevia (2012, v1)


3

denomina la imagen de x a travs de la funcin f . Si ( ) y f x = , entonces se dice
que x es una pre-imagen de y a travs de la funcin f . El conjunto de todas las
imgenes de una funcin f se denomina rango o recorrido de la funcin f ;
abreviadamente, ( ) Rec f . Es decir,

( ) ( ) { }
Rec f f x x A = e
.

La siguiente notacin expresa el concepto de funcin matemtica en forma
simblica. Escribimos

f
x y

para indicar que y es la imagen de x a travs de la funcin f ; es decir, para expresar
que ( ) y f x = ; donde f es una funcin.


Ejemplo 1
Sean ( ) , x y las coordenadas de un punto P del plano cartesiano. Entonces,

( )
2 2
,
f
x y x y + ,

es una funcin que corresponde cada punto ( ) , P x y del plano cartesiano, con su
distancia ( ) , d O P al origen O del sistema de coordenadas impuesto al plano.
3


Para probar que, efectivamente, la asociacin anterior establece una funcin
matemtica, observe que f asocia a cada punto ( ) , P x y del plano cartesiano una

3
Observe el sentido que posee la ltima frase. En una primera mirada, la funcin matemtica
corresponde un par ordenado ( , ) x y de nmeros, con el nmero
2 2
x y + ; sin embargo, la relacin
adquiere significado en el mundo real (de las experiencias) cuando se identifican, el par ordenado
( , ) x y y el nmero
2 2
x y + , con el punto P del plano y su distancia ( ) , d O P al origen O,
respectivamente. A travs de esta segunda interpretacin, la funcin matemtica representa la
relacin que se da en el mundo real, entre el punto P y su distancia al origen. Esta interpretacin se
agrega a la correspondencia que define a la funcin matemtica f , permitiendo una segunda lectura
y un segundo nivel de manipulacin adems de la meramente algebraica (un par ordenado de
nmeros reales asociado a un nmero real). En estos niveles de manipulacin, que subyacen a las
representaciones matemticas, toman lugar las interpretaciones que son de incalculable valor en el
mundo de los negocios y en todo mbito donde tenga cabida la modelacin matemtica.
Funciones matemticas Hctor Hevia (2012, v1)


4

nica imagen igual al nmero real
2 2
x y + (esta imagen es nica, dada la unicidad
de la distancia entre dos puntos determinados del plano).


Ejercicios
1. Encuentre algunas pre-imgenes de 1 a travs de la funcin f del ejemplo
anterior. Qu lugar geomtrico del plano cartesiano queda determinado por
estas pre-imgenes? Cul es el recorrido de f ? Cul es el dominio de f ?
2. Demuestre que la asociacin ( )
2 2
,
f
x y x y + define una funcin; esta vez
utilizando slo argumentos numricos.


Ejemplo 2
Sea f la correspondencia definida por ( )
1 x
f x
x

= , para todo real x para el cual la


expresin
1 x
x

tiene sentido; es decir, para todo nmero real 0 x = . Entonces, la


correspondencia anterior define la imagen de x en forma nica. Esta unicidad
queda garantizada por la unicidad de las operaciones con nmeros reales. Por tanto,
( ) { }
*
Dom 0 f IR IR = = .


Definiciones
Se dice que una funcin f es real si corresponde nmeros reales con nmeros reales.
Es decir, si ( ) Dom f IR _ y ( ) Rec f IR _ .

Si no se especifica de otra manera, el dominio de una funcin real es el mximo
conjunto de pre-imgenes que son permisibles. Este dominio mximo de definicin
se denomina dominio natural de la funcin.

Note que la funcin definida en Ejemplo 2 es una funcin real; no as la funcin de
Ejemplo 1. Por otro lado, el dominio natural de la funcin f de Ejemplo 2 es
{ }
*
0 IR IR = .


Funciones matemticas Hctor Hevia (2012, v1)


5

En general, determinar el recorrido de una funcin f es un problema difcil de
resolver, que podra exigir un anlisis no estndar para su resolucin. A
continuacin, encontraremos el recorrido de la funcin f del segundo ejemplo.


Ejemplo 2 (continuacin)
Sea y IR e . Estudiemos las condiciones bajo las cuales, y pertenece al recorrido de la
funcin f . Para que ello ocurra, y debe tener una pre-imagen x a travs de f ; es
decir, debe existir un nmero real 0 x = tal que
1 x
y
x

= .
Resolviendo la ltima ecuacin para x , se obtiene la siguiente secuencia de
equivalencias:

( )
1
1
1 1 1
1
x
y x xy x y x
x y

= = = + =
+
.

Note que esta secuencia de equivalencias es vlida siempre que exista el inverso de
( ) 1 y + , equivalentemente, siempre que 1 y = . Es decir, si 1 y = , entonces y tiene
pre-imagen
1
1
x
y
=
+
; la que es nica. Resta slo por analizar el caso 1 y = . Para
ello, supongamos que 1 y = tiene pre-imagen x . Entonces,
1
1
x
x

= ; pero esto
lleva a la contradiccin 1 0 = . Necesariamente, entonces, 1 y = no tiene pre-imagen
a travs de f .

Resumiendo lo anterior, f tiene pre-imagen s y slo si 1 y = ; y en consecuencia,
( ) { } Rec 1 f IR = . An ms, si 1 y = entonces y tiene una nica pre-imagen a
travs de f , la que es igual a
1
1 y +
. Por ejemplo, la nica pre-imagen de 0, 99 y =
es
( )
1
100
1 0, 99
x = =
+
.


En Figura 2 se muestran dos representaciones grficas de la funcin f de Ejemplo 2.
La representacin grfica de f en Figura 2 a) enfatiza la unicidad de la pre-imagen
x de { } 1 y IR e y tambin, cmo se obtiene esta pre-imagen a partir de un valor y
dado. La representacin grfica en Figura 2 b) permite comparar el dominio y el
recorrido de f con el conjunto IR de todos los nmeros reales.
Funciones matemticas Hctor Hevia (2012, v1)


6
















a)

















b)

Figura 2


f
{ } Dom 0 f IR =
1
1
x
y
=
+

( )
1 x
y f x
x

= =
( ) { } Rec 1 f IR =
0
0
1
1
2
1
1
2
3
x
y
Funciones matemticas Hctor Hevia (2012, v1)


7

En Figura 3, se presenta el grfico de la funcin ( )
1 x
y f x
x

= = ,
*
x IR e , en un
sistema cartesiano de coordenadas. Observe cmo esta representacin de f da
cuenta de la inexistencia de una pre-imagen para 1 y = : en este plano cartesiano se
hace posible trazar una recta horizontal (paralela al eje de abscisas) que no intersecta
la traza de la funcin. Es la recta cuya ecuacin es 1 y = .




Figura 3


Frecuentemente, se hace necesario considerar una funcin slo en un cierto
subconjunto de su dominio natural. Por ejemplo, sea v la funcin real tal que
3
v
x x . Entonces, el dominio natural de v es el conjunto IR de todos los reales,
pero esta funcin modela la relacin entre la longitud x de la arista de un cubo y su
volumen v , slo si x IR
+
e .


Definicin
Sea f una funcin y sea A un subconjunto no vaco de Dom f ; es decir, Dom A f _ ,
A | = . La expresin
A
f denota a la funcin cuyo dominio es A, tal que ( ) ( )
A
f x f x =
, x A e . La funcin
A
f se denomina la restriccin de f al conjunto A.


4 2 2 4
4
2
2
4
Funciones matemticas Hctor Hevia (2012, v1)


8

En el ejemplo anterior, la funcin
IR
v
+
modela la relacin entre la longitud de la arista
de un cubo y su volumen.


Ejemplo 3
Sea g la funcin definida por ( )
1 x
g x
x

= para todo | | | | { }
*
2; 2 2; 2 0 xe = . (Es
decir,
| |
*
2 ;2
g f

= ; donde f es la funcin de Ejemplo 2.) Determine el recorrido de g .

En este caso, debe agregarse a la condicin 1 y = (ver Ejemplo 2) la doble condicin
1
2 2
1 y
s s
+
. Separando el anlisis en dos casos: i) 1 0 y + > y ii) 1 0 y + < , se obtiene
que la doble condicin anterior es equivalente a
3 1
, ,
2 2
y
( (
e
( (

. Dado que
1 no pertenece a esta unin de conjuntos, se concluye que
3 1
Rec , ,
2 2
g
( (
=
( (

.


Ejemplo 4
Sea f la funcin definida por ( )
2
1 f x x x = + + , en su dominio natural. Por simple
inspeccin se concluye que ( ) Dom f IR = . A continuacin, estudiemos el recorrido de
f . Sea y IR e . Sabemos que

( ) ( ) ( )
2
Rec Dom tal que 1 y f x f f x x x y e - e = + + = .

En consecuencia, para encontrar una pre-imagen de y basta con encontrar una
solucin real x para la ltima ecuacin. Observe que la ecuacin
2
1 0 x x y + + =
tiene solucin en x s y slo si
2
4 0 b ac A= > . Por tanto, dado que para esta
ecuacin ( ) 1 4 1 4 3 y y A= = , se concluye que:

2
3
1 4 3 0
4
x x y y y + + = > >
,




Condicin para
que exista una
pre-imagen de
y
Condicin para que
exista una solucin
de la ecuacin
cuadrtica en x
Condicin que
define a
( ) Rec f
Funciones matemticas Hctor Hevia (2012, v1)


9



Note que 1 x = es una pre-imagen de 3 y = a travs de la funcin dada f , pero, es
1 x = la nica pre-imagen que tiene 3 y = ? En forma ms general, para qu valores
de y existe pre-imagen nica a travs de f ? o equivalentemente, para qu valores
de y hay ms de una pre-imagen a travs de f ?

De la relacin anterior, recordando que una ecuacin de segundo grado tiene
solucin nica si
2
4 0 b ac A= = y exactamente dos soluciones si
2
4 0 b ac A= > , se
concluye que y tiene exactamente una pre-imagen si
3
4
y = ; y exactamente dos pre-
imgenes si
3
4
y > . Ver Figura 4.
















Figura 4


El grfico de la funcin
2
1 y x x = + + en un sistema cartesiano de coordenadas arroja
mayores luces en relacin a este tercer ejemplo de funcin. Efectivamente, este
grfico corresponde a una parbola cuya concavidad es positiva (es decir, se abre
hacia arriba) y cuyo vrtice est en
1 3
,
2 4
| |

|
\ .
. Ver grfico en Figura 5.

f
Dom f IR =
1
1 4 3
2
y
x
+
=
y
( )
3
Rec ;
4
f

=



2
1 4 3
2
y
x

=
Funciones matemticas Hctor Hevia (2012, v1)


10




Figura 5



A continuacin recapitulamos algunas de las propiedades ms importantes que
poseen las funciones matemticas.

1. Las funciones matemticas permiten representar relaciones que se dan entre
variables numricas observadas en la realidad.

2. Una funcin matemtica f asocia un objeto (matemtico) x a otro objeto
(matemtico) nico y . Este objeto y se denomina la imagen de x a travs
de f , lo que se denota por ( ) y f x = .

3. Si ( ) y f x = , se dice que x es una pre-imagen de y . Observe que la imagen
de x a travs de una funcin f , es nica; sin embargo, podra existir ms de
una pre-imagen de y a travs de la misma funcin f .

4. Una funcin matemtica queda definida cuando se define:
i. su dominio;
ii. y la correspondencia que asocia, a cada elemento del dominio, su
respectiva imagen.
2 1 0 1 2
1
2
3
4
Funciones matemticas Hctor Hevia (2012, v1)


11


5. El dominio de una funcin matemtica debe ser necesariamente un conjunto
no vaco.

6. El smbolo utilizado para representar la variable independiente no hace
diferencias en la funcin que define. Por ejemplo la funcin
5
x x y la
funcin
5
u u son exactamente la misma.


A continuacin, presentamos otros ejemplos de funciones y algunos anlisis de sus
propiedades.


Ejemplo 4
Encontrar el dominio natural de una funcin real definida a travs de una expresin
algebraica, requiere determinar todos aquellos nmeros reales para los cules tal
expresin adquiere sentido. Por ejemplo, sea f la funcin matemtica tal que

4
2
x x
x y
x

.

Entonces, la imagen ( ) y f x = queda bien definida si 0 4 0 2 0 x x x > . > . = . En
consecuencia, ( ) | | { } Dom 0; 4 2 f = .


Ejemplo 5
Sea f la funcin definida por 1 x y x = + tal que | |
Dom 2; f = . Determinemos el
recorrido de f . En primer trmino, observe que
0
Rec f IR
+
_ . A continuacin,
supongamos que
0
y IR
+
e tiene pre-imagen x a travs de f . Entonces, 1 y x = + ,
para algn 2 x> . Pero,

2 2
1 1 1 y x y x x y = + = + = .

Por tanto,
0
y IR
+
e tiene pre-imagen x a travs de f s y slo si
2
1 2 y > ; es decir, s
y slo si 3 y > . Luego, Rec 3 ; f

=

.

Funciones matemticas Hctor Hevia (2012, v1)


12


Ejemplo 6
Como se ha mencionado anteriormente, determinar el recorrido de una funcin real
definida a travs de una expresin algebraica, podra conducir a dificultades de
consideracin. Por ejemplo, sea g la funcin definida por

1
x
x y
x
=

,

en su dominio natural; el cual es ( ) | | { } | | | |
Dom 0; 1 0;1 1; g = = .

Es inmediato concluir que 0 y = pertenece a ( ) Rec g , y tambin, que su nica pre-
imagen es 0 x = . Supongamos que ( ) Rec y g e , 0 y = . Es decir, supongamos que
1
x
y
x
=

, Dom x g e , 0 y = . Bajo estas condiciones,



( ) 1
1
x
y y x x
x
= =

.

Por tanto, ( ) 1 0 y x > . Elevando al cuadrado la igualdad
( ) 1 y x x = , y resolviendo
para x , se obtienen dos soluciones:

2 2
1 , 2
2
2 1 4 1
2
y y
x
y
+ +
=

Es inmediato que si
2 2
1
2
2 1 4 1
2
y y
x
y
+ + +
= , entonces
1
1 x > . Tambin es fcil
demostrar que si
2 2
2
2
2 1 4 1
2
y y
x
y
+ +
= , entonces
2
0 1 x < < . Debido a que
( ) 1 0 y x > , se concluye que si 0 y > entonces su pre-imagen a travs de g es
1
x ;
similarmente, si 0 y< , su pre-imagen a travs de g es
2
x . Por cierto, en ambos
casos, las pre-imgenes son nicas.

La conclusin final es que ( ) Rec g IR = . El grfico de la funcin g se muestra en
Figura 6.

Funciones matemticas Hctor Hevia (2012, v1)


13




Figura 6


Este ltimo ejemplo tiene como objetivo mostrar un caso en que la determinacin del
recorrido de una funcin real podra presentar desafos importantes. Sin embargo,
en tales casos, los recursos computacionales vienen fuertemente en nuestra ayuda,
ya que un grfico apropiado podra entregarnos una buena idea de cul es el
recorrido que se busca.

A continuacin algunas sugerencias para determinar el recorrido de una funcin f .


Sugerencias para determinar el recorrido de una funcin

1. Siempre que sea posible, resuelva para x la ecuacin ( ) y f x = obteniendo la
ecuacin ( ) x x y = . Es posible que en esta etapa queden en evidencia valores
posiblemente no permitidos para la imagen y . Estos valores deben ser
analizados y, si corresponde, deben ser excluidos definitivamente de Rec f .

2. A continuacin, aplique a ( ) x x y = las restricciones que tengan los valores de
Dom x f e debido a condiciones propias que posee la funcin f (no aquellas
condiciones que son inherentes al dominio natural de f ; estas se consideran
1 1 2 3 4 5
6
4
2
2
4
6
Funciones matemticas Hctor Hevia (2012, v1)


14

en punto anterior). En este segundo paso, nuevos valores de y podran ser
excluidos de Rec f .

3. El procedimiento de dos pasos que estamos presentando conduce a excluir
valores de y como posibles imgenes, pero, de qu conjunto se excluyen?
Por supuesto, que estas imgenes se estn excluyendo de un conjunto inicial
de anlisis que contiene todas las posibles imgenes. Este conjunto inicial
podra ser siempre elegido como igual al conjunto de los nmeros reales IR ;
sin embargo, en muchos casos, la simple inspeccin de la frmula que define
a la funcin f permite optar por un conjunto inicial de anlisis ms reducido
que IR . Este conjunto inicial de anlisis se denomina frecuentemente un
codominio de la funcin f . Por ejemplo, si ( )
1
f x
x
= , entonces un
adecuado codominio para f podra ser IR ; pero tambin y mucho mejor, lo
es IR
+
.


Definicin
Sea f una funcin y sea Dom A f = . Sea B un conjunto tal que Rec f B _ .
Entonces, la notacin : f A B , lase f es una funcin de A a B, indica que el
conjunto B es un codominio para f .


Ejercicios
1. Determine dominio (natural) y recorrido de la funcin f tal que
f
x
x y
x
= . Sugerencia: Simplifique la expresin dada redefiniendo la
funcin segn si 0 x > si 0 x< . Luego, encuentre una definicin por tramos
para esta funcin.
2. Considere un sistema de coordenadas cartesiano y una circunferencia de
radio 1 con centro en el origen del sistema. Seleccione un punto P sobre esta
circunferencia denotando por T al rectngulo con vrtice en P cuyos lados
son paralelos a los ejes coordenados.
Defina correctamente la funcin f que asocia la abscisa de P al rea de T .
3. Determine dominio y recorrido de las siguientes funciones reales definidas
como se indica.

i.
2
5
f
x x
Funciones matemticas Hctor Hevia (2012, v1)


15


ii.
( ) 1 g t t =

iii.
2
9 y x =

iv. ( ) 3 2 G x x = +

v.
( )
2
4 3
1
x x
f x
x
+
=



vi. ( )
2
3 5
25 5 5
3 5
x x
f x x x
x x
+ <

= s s

<



vii. ( ) 4 f x x =
(



4. Se sabe que el recorrido de la funcin real ( )
2
2 2
A
f x x x = + + es | |
1;10 .
Determine su dominio A.


Sea f una funcin real. Se dice que f es una funcin polinomial si la imagen de x
se obtiene evaluando un cierto polinomio en x . Se dice que f es una funcin
racional si la imagen de x se obtiene evaluando un cociente de dos polinomios en x
4
. El dominio natural de una funcin polinomial es IR . Si una funcin es racional,
su dominio natural es igual a IR , excluyendo los ceros del polinomio del
denominador. Por ejemplo, el dominio natural de la siguiente funcin racional es
{ } 1 IR .

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



4
Recuerde que un polinomio en x es una expresin algebraica de la forma
1 0
1
1
...
n n
n n
a x a x a x a

+ + + + ; en donde 1 n> y los coeficientes


i
a son nmeros reales tales que
0
n
a = .
Funciones matemticas Hctor Hevia (2012, v1)


16

Las funciones racionales son un caso particular de nuevas funciones reales
construidas operando algebraicamente las imgenes de funciones polinomiales. A
continuacin definimos los casos ms comunes de nuevas funciones reales que se
construyen operando las imgenes de ciertas funciones reales dadas.


Definiciones
Sean f y g funciones cuyos dominios son A y B , respectivamente. Entonces,

a. f g + es la funcin tal que ( )( ) ( ) ( ) f g x f x g x + = + , x A B e .

b. f g es la funcin tal que ( )( ) ( ) ( ) f g x f x g x = , x A B e .

c. f g es la funcin tal que ( )( ) ( ) ( ) f g x f x g x = , x A B e .

d. f g es la funcin tal que
( )( )
( )
( )
f x
f g x
g x
= , ( ) { }
0 x A B x g x e = .

e.
n
f es la funcin tal que
( )
( ) ( )
n
n
f x f x = (

, x A e ; n entero positivo.

f.
n
f . es la funcin tal que
( )
( ) ( )
n n
f x f x = , x A e ; si n es entero impar. Si n
es entero par, x A e tal que ( ) 0 f x > .














Funciones matemticas Hctor Hevia (2012, v1)


17

REPRESENTACIONES GRAFICAS DE FUNCIONES
La representacin de funciones por medio de sus grficos cartesianos nos permite
entender mejor algunas de las caractersticas que poseen las funciones y que son de
inters por sus aplicaciones a la modelacin matemtica.

Examinemos los conceptos bsicos de una representacin grafica de una funcin real
en un sistema cartesiano de coordenadas. En estos grficos, una funcin f se
representa por medio del trazado de un nmero finito de puntos ( ) , P x y tales que,
para cada uno de ellos, ( ) y f x = . Por ejemplo, si queremos utilizar Excel para
graficar la funcin
( ) 1 1 y f x x = = + + , en el dominio | |
1;1 , una alternativa sera
dividir este intervalo en 50 partes iguales cada una de longitud igual a 0, 04 .
Partiendo de
0
1 x = , agregamos a este valor la longitud de una parte, es decir 0, 04 ;
para obtener
1
0, 96 x = . Procediendo as en forma sucesiva un total de 50 veces,
obtenemos finalmente
50
1 50 0, 04 1 x = + = . Para estos 51 valores de la variable
independiente x , calculamos los correspondientes valores de la variable dependiente
y ; es decir, las imgenes de estos valores de x a travs de la funcin f , y para ello,
utilizamos apropiadamente la funcin RAIZ() de Excel. Luego, insertamos algn
tipo de grfico de dispersin para representar estos 51 puntos. De esta forma se
obtiene una traza, la traza de la funcin, la que podra ser presentada por medio
de una lnea punteada (trazado discreto) o por una lnea continua (trazado
continuo); sin embargo, lo usual es un trazado continuo en el que se abstrae la
naturaleza discreta que la traza siempre tiene. En la Figura 7 mostramos la pgina
Excel con los resultados de las operaciones realizadas como se ha indicado. Observe
que en Figura 7, hay tres representaciones diferentes de la funcin f en el dominio
dado.



Funciones matemticas Hctor Hevia (2012, v1)


18

x
i
x y = -1 + RAIZ(x + 1) y
i
x
0 -1.00 -1.00000
y
0
x
1 -0.96 -0.80000
y
1
x
2 -0.92 -0.71716
y
2
x
3 -0.88 -0.65359
y
3
x
4 -0.84 -0.60000
y
4
x
5 -0.80 -0.55279
y
5
x
6 -0.76 -0.51010
y
6
x
7 -0.72 -0.47085
y
7
x
8 -0.68 -0.43431
y
8
x
9 -0.64 -0.40000
y
9
x
10 -0.60 -0.36754
y
10
x
11 -0.56 -0.33668
y
11
x
12 -0.52 -0.30718
y
12
x
13 -0.48 -0.27889
y
13
x
14 -0.44 -0.25167
y
14
x
15 -0.40 -0.22540
y
15
x
16 -0.36 -0.20000
y
16
x
17 -0.32 -0.17538
y
17
x
18 -0.28 -0.15147
y
18
x
19 -0.24 -0.12822
y
19
x
20 -0.20 -0.10557
y
20
x
21 -0.16 -0.08348
y
21
x
22 -0.12 -0.06192
y
22
x
23 -0.08 -0.04083
y
23
x
24 -0.04 -0.02020
y
24
x
25 0.00 0.00000
y
25
x
26 0.04 0.01980
y
26
x
27 0.08 0.03923
y
27
x
28 0.12 0.05830
y
28
x
29 0.16 0.07703
y
29
x
30 0.20 0.09545
y
30
x
31 0.24 0.11355
y
31
x
32 0.28 0.13137
y
32
x
33 0.32 0.14891
y
33
x
34 0.36 0.16619
y
34
x
35 0.40 0.18322
y
35
x
36 0.44 0.20000
y
36
x
37 0.48 0.21655
y
37
x
38 0.52 0.23288
y
38
x
39 0.56 0.24900
y
39
x
40 0.60 0.26491
y
40
x
41 0.64 0.28062
y
41
x
42 0.68 0.29615
y
42
x
43 0.72 0.31149
y
43
x
44 0.76 0.32665
y
44
x
45 0.80 0.34164
y
45
x
46 0.84 0.35647
y
46
x
47 0.88 0.37113
y
47
x
48 0.92 0.38564
y
48
x
49 0.96 0.40000
y
49
x
50 1.00 0.41421
y
50
Grfico de dispersin, slo con marcadores
Grafico de dispersin con lneas suavizadas
-1.00
-0.80
-0.60
-0.40
-0.20
0.00
0.20
0.40
-1 -0.5 0 0.5 1
-1.00
-0.80
-0.60
-0.40
-0.20
0.00
0.20
0.40
-1 -0.5 0 0.5 1

Figura 7


Funciones matemticas Hctor Hevia (2012, v1)


19

Varias propiedades algebraicas de las funciones tienen su correlato en propiedades
que presentan los respectivos grficos. Veamos dos definiciones.


Definiciones
Sea f una funcin cuyo dominio es IR . Se dice que f es par si
x IR e , ( ) ( ) f x f x = .

Sea f una funcin real cuyo dominio es IR . Se dice que f es impar si
x IR e , ( ) ( ) f x f x = .


Observaciones
Supongamos que la funcin f es par. Entonces, su traza es simtrica respecto al eje
de ordenadas, ya que para x y para su opuesto x , la funcin presenta igual
elevacin (o imagen). Ver Figura 8 a).


Supongamos que la funcin f es impar. Entonces, su traza muestra una simetra
con respecto al origen O del sistema de coordenadas, ya que para x y para su
opuesto x , la funcin presenta elevaciones opuestas. Este tipo de simetra se
denomina central ya que los puntos ( ) ( )
, x f x y ( ) ( )
, x f x se encuentran alineados
con el origen O del sistema y a igual distancia de este origen. (Ver Figura 8 b).)















Funciones matemticas Hctor Hevia (2012, v1)


20
















a) b)

Figura 6



Ejemplo 7
Las funciones trigonomtricas cos y x = ; sen y x = son ejemplos de una funcin par y
de una funcin impar, respectivamente. Ver grficos en Figura 9 a) y b).














x x
( ) f x
( ) f x
x x
( ) f x
Funciones matemticas Hctor Hevia (2012, v1)


21




a)





b)


Figura 9


Un criterio grfico para determinar si una funcin es par consiste en voltear en 180
el plano geomtrico en torno al eje de ordenadas. Si la funcin es par, el grfico de la
funcin debe permanecer invariante bajo esta transformacin del plano. Si la
funcin es impar, entonces volteando dos veces en 180 el plano geomtrico; primero
en torno al eje de ordenadas y luego, en torno al eje de abscisas (o viceversa), el
6 4 2 2 4 6
1.0
0.5
0.5
1.0
6 4 2 2 4 6
1.0
0.5
0.5
1.0
Funciones matemticas Hctor Hevia (2012, v1)


22

grfico de la funcin debe permanecer invariante. Las flechas de la Figura 9 a) y b)
pretenden dar cuenta de estos dos criterios.


Sea f una funcin cuyo dominio es IR . Entonces, puede demostrarse que f es
igual a la suma de una funcin par
P
f y de una funcin impar
I
f , siendo las
funciones
P
f y
I
f , nicas. Estas funciones son:

( )
( ) ( )
2
P
f x f x
f x
+
= , x IR e ;

( )
( ) ( )
2
I
f x f x
f x

= , x IR e .


Veamos un ejemplo. Sea f la funcin definida por:

( )
2 0
0 . . . (todo otro caso)
x x
f x
t o c
s

.

Observe que la funcin f no es par; tampoco impar. Ver su grfico en Figura 8,
(primer grfico). Entonces:

Si 0 x> ,
( )
( ) ( ) 2 0
2 2
P
f x f x
x
f x x
+
+
= = = .

Si 0 x< ,
( )
( ) ( ) ( ) 0 2
2 2
P
f x f x x
f x x
+ +
= = = .

Por tanto,

( )
P
f x x = , x IR e .

Similarmente,

Funciones matemticas Hctor Hevia (2012, v1)


23

Si 0 x> ,
( )
( ) ( ) 2 0
2 2
I
f x f x
x
f x x


= = = .

Si 0 x< ,
( )
( ) ( ) ( ) 0 2
2 2
I
f x f x x
f x x

= = = .

Por tanto,

( )
I
f x x = , x IR e .

La simple inspeccin de estos grficos permite ver que
P I
f f f = + . (Ver Figura 8.)


Ejercicio
Sea f una funcin cuyo dominio es IR . Entonces, la funcin rama derecha de f es
la funcin denotada por
RD
f tal que

( ) 0
0 0
RD
f x x
f
x
>

<

.

a) Demuestre que
( ) ( )
2
RD
x x
f x f x
x
| + |
= |
|
\ .
.
b) Defina apropiadamente
RI
f , la rama izquierda de f. A continuacin,
demuestre que
( ) ( )
2
RI
x x
f x f x
x
| |
= |
|
\ .
.
c) Pruebe que
RI RD
f f f = + ,
*
x IR e .








Funciones matemticas Hctor Hevia (2012, v1)


24












Figura 10
4 2 2 4
4
2
2
4
4 2 2 4
4
2
2
4
4 2 2 4
4
2
2
4
( )
2 0
0 . . .
x x
f x
t o c
s


( )
P
f x x =
( )
I
f x x =
Funciones matemticas Hctor Hevia (2012, v1)


25

Las operaciones para funciones reales que hemos definido anteriormente, no pueden
extenderse a otras funciones que no tengan como recorrido un subconjunto de
nmeros reales. La siguiente operacin entre funciones es completamente general y
permite agregar ms estructura a cualquier coleccin de funciones matemticas.


Definicin
Sean f y g dos funciones cuyos dominios son A y B , respectivamente. Se define la
funcin g f , lase g compuesta con f, como sigue:

( )( ) ( ) ( )
g f x g f x = ; Dom x f e tal que ( ) Dom f x g e .

Hay algunas observaciones ligadas a la definicin anterior que permiten una mejor
comprensin de esta importante operacin entre dos funciones. En primer trmino,
representemos las tres funciones: f , g , g f en un diagrama que permita visualizar
la relacin existente entre estas tres funciones. (Ver Figura 11.) En la figura
indicada, se observa que ( )
1
Dom f x g e y que, por tanto, ( )
1
Dom x g f e ; tambin
en esa figura, se observa que ( )
2
Dom f x g e y que, por tanto, ( )
2
Dom x g f e .

















Figura 11

f
g
g f
Dom f
Dom f
Dom f
Domg
Rec f
Rec g
1
x
2
x
( )
1
f x
( )
2
f x
( ) ( ) ( )( )
1 1
g f x g f x =
Funciones matemticas Hctor Hevia (2012, v1)


26


Como consecuencia de la definicin anterior se concluye que:

( ) ( ) { }
Dom Dom Dom g f x f f x g = e e .

Si este conjunto resulta ser vaco, entonces la funcin g f no existe.


Ejemplo 8
Sean f y g funciones en sus dominios naturales tales que
( ) f x x = ;
( )
2
4
1
2
x
g x
x
+
=

.
Entonces,

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

.

A continuacin, determinamos el dominio y el recorrido de la funcin g f .

( ) ( ) { } ( )
{ }
{ }
4
0 0
Dom Dom Dom 2 0 2 g f x f f x g x IR x IR
+ +
= e e = e = = .

Nota
Observe que este dominio no coincide con el dominio natural de la funcin h
2
1
2
h
x
x
x
+

.


La determinacin de ( ) Rec g f puede realizarse considerando que la pre-imgen x
de ( )( ) y g f x = debe ser no negativa; por qu? En consecuencia, necesariamente
0 y = (es decir, un codominio para g f es
*
IR ). Resolviendo
2
1
2
x
y
x
+
=

para
( ) Dom x g f e , se obtiene
2
1 , 2
1 8 4 1
2
y y
x
y
+ +
= . Separando el anlisis en dos
casos: i) 0 y > ; ii) 0 y < ; se concluye que en el primer caso, cualquiera sea 0 y > ,
Funciones matemticas Hctor Hevia (2012, v1)


27

2
1
1 8 4 1
2
y y
x
y
+ + +
= es nica pre-imgen de y a travs de g f . En el segundo
caso, se puede demostrar que y tiene pre-imagen slo si
1
2
y s y que esta pre-
imagen (nica) es
2
2
1 8 4 1
2
y y
x
y
+ +
= . Todo lo anterior permite concluir que
( ) | |
1
Rec ; 0;
2
g f
( (
=
( (

. Ver grfico de la funcin g f en Figura 12 a).
Comparar con el grfico de h , el que se muestra en Figura 12 b).


Observacin
Como puede verse en el ltimo ejemplo, la funcin ( ) ( )
h
x y g f x = podra tener un
dominio natural ms amplio que el de la funcin g f . An as, siempre es cierto
que
( ) Dom g f
g f h = .


La composicin de funciones tiene propiedades que mostrarn su utilidad en el
clculo de las funciones derivadas. Por ahora, observemos cmo una funcin que
presenta un cierto grado de complejidad, puede descomponerse en una serie de
funciones que se componen sucesivamente para formar la funcin original. Sea i la
funcin definida por
( )
3
1 i x x = y sean
( )
3
1 f x x = ; ( ) g x x = ;
( ) h x x = .
Entonces, ( ) i h g f = . En Figura 13 a) se representa grficamente la secuencia de
composiciones de las funciones , , h g f que construyen la funcin i . En Figura 13
b) se muestra el grfico de la funcin i .


Un procedimiento prctico que permite descomponer una funcin f dada, en una
composicin sucesiva de funciones, consiste en determinar cul es un primer clculo
que permita avanzar en el clculo del valor de ( ) f x , para un valor dado de x .
Luego, se establece cul podra constituirse en un segundo clculo, dado el resultado
del clculo anterior, etc. Por ejemplo, si ( )
( )
3 2
1 y f x sen x = = + , entonces un primer
clculo para evaluar esta expresin puede ser elevar x al cuadrado y sumar 1.
Denotemos por
2
1 u x = + al resultado de este primer clculo. Entonces, un segundo
clculo que permite avanzar en la evaluacin de toda la expresin que define a ( ) f x
Funciones matemticas Hctor Hevia (2012, v1)


28

, es calcular ( ) sen u . Sea
( ) sen v u = . Completamos la secuencia de operaciones elevando v al cubo para
obtener
3
w v = y tomando el valor absoluto de w, para obtener y w = . Las funciones
que descomponen a f son:
2
1
g
x x + , sen
h
u u ,
3
i
v v , y
j
w w . Utilizando
estas funciones, ( ) ( )
f j i h g = .




a)




b)
6 4 2 2 4 6
4
2
2
4
6 4 2 2 4 6
4
2
2
4
Funciones matemticas Hctor Hevia (2012, v1)


29


Figura 12















a)








b)

Figura 13
3 2 1 1 2 3
2
1
1
2
3
4
x
3
1 u x =
v u =
y v =
f
g
h
i h g f =
( ) ( ) ( )( )
3
1 i x h g f x x = =
Funciones matemticas Hctor Hevia (2012, v1)


30



Las funciones matemticas permiten codificar informacin, la que puede ser
utilizada de manera expedita en variados contextos de aplicacin. En particular, hay
familias de funciones que presentan la propiedad de ser reversibles. Es decir, si
cambiamos el recorrido por el dominio y viceversa, se define una nueva funcin
y x que simplemente revierte la accin que define a la funcin original. Veamos
un ejemplo.


Ejemplo 9
Sea f la funcin definida por
( )
3
2 1
x
y f x
x

= =
+
en
1
2
IR


`
)
, su dominio natural.
Busquemos la pre-imagen de y IR e . Despejando x en la ecuacin
3
2 1
x
y
x

=
+
se tiene:
3 3
2 1 1 2
x y
y x
x y
+
= =
+
,

siempre que
1
2
y = . Es inmediato verificar que
1
2
y = no tiene pre-imagen a travs de
f . Por tanto,
( )
1
Re
2
c f IR

=
`
)
y dado que la pre-imagen de ( ) Rec y f e es nica,
entonces la funcin f es reversible (o invertible, como tambin diremos ms
adelante) en el sentido indicado. Es decir, invirtiendo la correspondencia e
intercambiando los roles del dominio y del recorrido de f se obtiene una nueva
funcin
3
1 2
y
y x
y
+
=

. Denotemos por
1
f

a esta funcin que revierte la accin de
f . Entonces,

( )
1
3
1 2
y
f y
y

+
=

.

En Figura 14 se representan ambas funciones y sus respectivas acciones sobre los
elementos de sus respectivos dominios.




Funciones matemticas Hctor Hevia (2012, v1)


31

















Figura 14



Procediendo de la manera sealada, se obtiene una expresin para
1
f

cuya variable
de dominio es " " y . Lo usual es cambiar la variable de dominio a la tradicional
variable independiente " " x . De esta forma, se obtiene que

( )
1
3
1 2
x
f x
x

+
=

.

El cambio de variable de dominio tiene la principal ventaja que permite visualizar la
funcin inversa de f en un sistema cartesiano de coordenadas. Ver, en Figura 15 a)
y b) los grficos de la funcin f y de la funcin
1
f

, respectivamente.


A continuacin, formalizamos los conceptos anteriores en nuevas definiciones y
terminologa.




f
1
1
Dom Rec
2
f IR f

= =
`
)

( )
1
3
1 2
y
x f y
y

+
= =


1
f


( )
3
2 1
x
y f x
x

= =
+

( )
( )
1
1
Rec Dom
2
f IR f

= =
`
)

Funciones matemticas Hctor Hevia (2012, v1)


32



a)




b)

Figura 15


Definicin
Sea f una funcin real. Se dice que la funcin f es invertible si existe una funcin
denotada por
1
f

cuyo dominio es igual a ( ) Rec f tal que:
( ) ( )
1
f f x x

= , ( ) Dom x f e .

La funcin
1
f

se denomina la funcin inversa de la funcin f .


6 4 2 2 4 6
6
4
2
2
4
6
6 4 2 2 4 6
6
4
2
2
4
6
Funciones matemticas Hctor Hevia (2012, v1)


33

La existencia de la funcin inversa de una funcin f depende exclusivamente de
que cada imagen ( ) Rec y f e tenga una nica pre-imagen. Esta propiedad permite
caracterizar totalmente a aquellas funciones que son invertibles, y por esta razn, es
importante distinguir esta ltima propiedad introduciendo el concepto de
inyectividad de una funcin, como haremos a continuacin.


Definicin
Sea f una funcin. Se dice que f es inyectiva si cada elemento del recorrido de f
tiene una nica pre-imagen.


Observacin
Equivalentemente, una funcin es inyectiva si cada vez que dos pre-imgenes son
diferentes entonces las correspondientes imgenes tambin lo son. En lenguaje
simblico, podemos anotar:

f es inyectiva si y slo si ( ) ( )
1 2 1 2 1 2
Dom ; Dom x f x f x x f x f x e e = = .

La siguiente definicin alternativa (equivalente a la anterior) es til para estudiar si
una funcin dada posee o no posee la propiedad de inyectividad.

f es inyectiva si y slo si ( ) ( )
1 2 1 2 1 2
Dom ; Dom x f x f f x f x x x e e = =


Ejemplo 11
Sea f la funcin definida por
3
x y x = , en su dominio natural. Entonces, f es
inyectiva, como se demuestra a continuacin.

Es evidente que 0 tiene nica pre-imagen, y que esta pre-imagen es 0. Supongamos,
entonces, que
*
1 2
, x x IR e y que ( ) ( )
1 2
f x f x = ; es decir, supongamos que
3 3
1 2
x x = .
Entonces,
( )( )
3 3 2 2
1 2 1 2 1 1 2 2
0 x x x x x x x x = + + =

Dado que
*
1 2
, x x IR e son no nulos,

Funciones matemticas Hctor Hevia (2012, v1)


34

2 2
1 1 2 2
0 x x x x + + > .
5

En consecuencia,
( )
1 2
0 x x = ;
y por tanto,
1 2
x x = .


Ejemplo 12
Sea f la funcin definida por
2
x y x = , en su dominio natural. Entonces, f no es
inyectiva ya que, por ejemplo, 4 y = tiene dos pre-imgenes: 2 x= ; 2 x = .


Es posible establecer un criterio grfico que permite determinar si una funcin es
inyectiva, dentro de las limitaciones que tienen las representaciones grficas de las
funciones.


El test de la lnea horizontal
Si la funcin f est representada por medio de un grfico cartesiano, entonces f es
inyectiva si cada recta horizontal trazada sobre el plano coordenado corta la traza de
la funcin en a lo ms un punto.


En Figura 16 a) y b) se muestran los grficos de las funciones de los ejemplos 11 y 12,
respectivamente. Utilice el test de la lnea horizontal para convencerse que la
primera funcin es inyectiva y que la segunda no lo es.


Teorema
Sea f una funcin real. Entonces,
f es invertible si y slo si f es inyectiva.


En los siguientes ejemplos, definimos la funcin acumulativa F de una funcin real
f , tal que ( )
0
Rec f IR
+
_ ; es decir, cuyo recorrido est incluido en el conjunto de los

5
Si
1
x y
2
x tienen igual signo, el resultado es inmediato. Si no tienen igual signo, observar que
( )
2 2 2
0
1 2
1 1 2 2 1 2
0 x x x x x x x x + > + + > .
Funciones matemticas Hctor Hevia (2012, v1)


35

nmeros reales no negativos. Esta funcin acumulativa F , es utilizada en diferentes
contextos de aplicacin y bajo ciertas condiciones para f , que son muy generales, F
es invertible.




a)





b)


Figura 16



3 2 1 1 2 3
10
5
5
10
3 2 1 1 2 3
10
5
5
10
Funciones matemticas Hctor Hevia (2012, v1)


36

Ejemplo 10
Sea f la funcin definida por
1
2
x en el intervalo | |
0; 2 . Claramente, la funcin f
no es invertible en el sentido anterior. De hecho, la nica imagen que resulta de f
tiene infinitas pre-imgenes, por lo que la correspondencia inversa no es una
funcin. Definamos una nueva funcin F
,
la que denominaremos funcin
acumulada de f , tal que | |
Dom 0; 2 F = y ( ) F x es igual al rea bajo la traza de f y
sobre el eje de abscisas, entre 0 y x , | |
0; 2 xe . Entonces,

( )
1
2
F x x = , | |
0; 2 x e ; ( ) | |
Rec 0;1 F =

A diferencia de la funcin f , esta funcin F s es invertible. Note que ( )
1
2 F y y

= .
Cambiando la variable de dominio a " " x , se tiene que ( )
1
2 F x x

= . La
representacin de ambas funciones, F y
1
F

en un mismo sistema cartesiano de


coordenadas, permite observar la relacin existente entre las respectivas trazas de
estas dos funciones. Ver Figura 17.

Veamos otro ejemplo de la misma naturaleza.


Ejemplo 10
Sea f la siguiente funcin definida por tramos:

( )
1 2
2 1
3 3
1
1 1
3
1 2
1 2
3 3
x x
f x x
x x

+ s <

= s <

+ s s



En Figura 18 a) se muestra el grfico de la funcin f , la que no es invertible (por
qu?). Sin embargo, definiendo ( ) F x igual al rea bajo la traza de f y sobre el eje
de abscisas, entre 2 y x , | |
2; 2 xe ; se obtiene una funcin invertible cuya
definicin por tramos es la siguiente.

Funciones matemticas Hctor Hevia (2012, v1)


37

( )
( )
( )
( )
2
2
1
2 2 1
6
1
2 3 1 1
6
1
4 2 1 2
6
x x
F x x x
x x x

+ s <

= + s <

+ + s s



Ver grfico de F en Figura 13 b). Como ya hemos sealado, la funcin F es
invertible y, por tanto,
1
F

existe. Dejamos de ejercicio la determinacin de una


frmula que defina explcitamente ( )
1
F x

en trminos de x .

Las condiciones que debe cumplir una funcin f y que garantizan que la
correspondiente funcin acumulativa F sea invertible, son simples y pueden
establecerse una vez que se desarrollen los conceptos preliminares del clculo.


La siguiente propiedad es inmediata de la definicin de funcin inversa.

Propiedad
Sea f una funcin invertible. Entonces,

i)
( )( )
1
f f x x

= , ( ) Dom x f e
ii)
( )( )
1
f f y y

= , ( ) Rec y f e


Ejercicios
1. Sea f la funcin definida por ( )
2
1 f x x = y sea g la funcin definida por
( )
2
g x
x
= , en sus correspondientes dominios naturales. Determine:
i) ( ) Dom g f
ii) ( ) Dom f g

2. Sea f la funcin por ( ) 1 f x x = + en su dominio natural. Determine si f es
invertible. En caso afirmativo, encuentre
1
f

.
3. Demuestre que la funcin h ,
3
1
h
x x x + + es invertible. Observe que una
frmula explcita para ( )
1
f y

no parece simple de obtener.



Funciones matemticas Hctor Hevia (2012, v1)


38




a)




b)

Figura 18


4. Sea : f A B tal que ( )
( )( )
1
1 1
f x
x x
=
+
, A su dominio natural.
i) Determine A y un codominio adecuado B .
ii) Determine ( ) Rec f . Es f una funcin inyectiva?
2 1 0 1 2
0.2
0.4
0.6
0.8
1.0
2 1 1 2
0.2
0.4
0.6
0.8
1.0
Funciones matemticas Hctor Hevia (2012, v1)


39

iii) Sea f la funcin definida por ( )
3
2 1
x
y f x
x

= =
+
en su dominio natural.
Entonces ( )
1
3
1 2
y
f y
y

+
=

. Verifique que:
( )( )
1
f f x x

= , ( ) Dom x f e
;
( )( )
1
f f y y

= , ( ) Rec y f e .

































Funciones matemticas Hctor Hevia (2012, v1)


40

Consideremos un cuadrado cuya rea es x (en alguna unidad dada). Entonces, la
correspondencia que se establece entre x y la longitud y de la diagonal de ese
cuadrado, puede representarse por medio de una funcin matemtica f ; como
puede concluirse del hecho que si se conoce el rea de un cuadrado, entonces se
conoce la longitud de sus lados y por tanto, la longitud de sus diagonales. Es decir, a
travs de la correspondencia que define a f , al rea x del cuadrado le corresponde
la longitud y de su diagonal, la que es nica. (Por ejemplo, si el rea del cuadrado
es 8, su diagonal es 4. Verificarlo!) Todava ms, dado que el rea del cuadrado
construido sobre una diagonal tiene el doble del rea del cuadrado inicial (ver Figura
3)
6
, se concluye que

2
2 y x = .










Figura 3


Observe, en la ecuacin obtenida para relacionar las variables x e y , que la variable
y no aparece despejada. Por esta razn, decimos que la funcin ( ) y f x = que
relaciona el rea x de un cuadrado con la longitud y de su diagonal, se encuentra
expresada en forma implcita, por la ecuacin anterior (ver una representacin
grfica de la relacin
2
2 y x = , en Figura 4).
Dado que las variables x e y representan cantidades y que, por tanto, son nmeros
reales positivos, extrayendo raz cuadrada a ambos lados de la ecuacin anterior, se
obtiene la ecuacin 2 y x = que define en forma explcita a la funcin f (y cuya
representacin grfica corresponde a la rama de la parbola de Figura 4, que se
encuentra en el primer cuadrante). Con respecto a este grfico, qu punto

6
Esta propiedad podra visualizarse al menos de dos maneras diferentes en el embaldosado de
baldosas cuadradas que se presenta en Figura 3.
Funciones matemticas Hctor Hevia (2012, v1)


41

representa la correspondencia entre el rea y la longitud de la diagonal de un
cuadrado de lado 4? Observe que cada cuadrado de rea dada (o de lado dado)
puede representarse como un punto de la rama superior de la parbola de la Figura
4.




Figura 4
















5 10 15
6
4
2
2
4
6
Funciones matemticas Hctor Hevia (2012, v1)


42

Apndice 1:
Dado que los grficos de las funciones se construyen sobre el plano cartesiano, es
decir, sobre el plano geomtrico provisto de un sistema de coordenadas, es
recomendable estudiar ciertas correspondencias biunvocas entre los puntos del
plano cartesiano que pueden interpretarse como movimientos rgidos del plano
geomtrico que subyace al plano cartesiano. Genricamente, llamaremos
transformaciones del plano (geomtrico) a estos movimientos rgidos del plano
geomtrico que pueden representarse por medio de correspondencias biunvocas
entre los puntos del plano cartesiano. Por ejemplo, un tipo de movimiento rgido del
plano geomtrico son las traslaciones. En una traslacin, el plano se desliza sobre s
mismo en una direccin fija que preserva su geometra.

Una traslacin t del plano geomtrico puede describirse por medio de un vector OP
, en donde O es el origen del sistema cartesiano y ( ) , P h k es el punto del plano
cuyas coordenadas son ( ) , h k . A travs de esta transformacin t , cada punto ( ) , x y
del plano cartesiano se corresponde biunvocamente con el punto ( ) , x h y k + + . Para
describir algunas de estas transformaciones, es conveniente utilizar vectores de
desplazamiento.

Recordemos que un vector puede representarse por una flecha dirigida OP , en
donde O es el origen del sistema y ( ) , P h k es el punto del plano cuyas coordenadas
son ( ) , h k .
Observemos que la transformacin t de los puntos del plano en la que cada punto
del plano se traslada segn el vector OP , corresponde a un desplazamiento rgido
del plano sobre s mismo.

Você também pode gostar