2

CAPTULO 6 Funciones

6.1
Funciones y sus propiedades
Aprender acerca de...

La definicin y notacin de
funcin

El dominio y rango

La continuidad

Funciones crecientes y
funciones decrecientes

El acotamiento

Los extremos locales y

absolutos

La simetra

Las asntotas

El comportamiento en los
extremos

En esta seccin presentaremos la terminologa que se utiliza, en todo el texto,

para describir funciones. Sintase en libertad de hacer un examen superficial a
las partes con las que ya est familiarizado, pero dedique el tiempo necesario
para asimilar los conceptos que podran ser nuevos para usted (como continuidad
y simetra). Incluso si tarda varios das en cubrir esta seccin, ser un tiempo bien
empleado en preclculo.

Definicin y notacin de funcin

La matemtica y sus aplicaciones abundan en ejemplos de frmulas mediante las
cuales cantidades variables se relacionan unas con otras. El lenguaje y la notacin
de funciones son ideales para ese propsito. En realidad, una funcin es un concepto sencillo; si no lo fuera, la historia lo hubiese reemplazado con otro ms fcil
de usar. A continuacin se define una funcin.

. . . porque
Las funciones y las grficas
forman la base para la comprensin de la matemtica y sus aplicaciones, que ver tanto en su
trabajo como en el trabajo de sus
cursos universitarios.

DEFINICIN Funcin, dominio y rango

Una funcin de un conjunto D a un conjunto R es una regla que asigna a cada elemento de D un elemento nico en R. El conjunto D de todos los valores de entrada es el dominio de la funcin, y el conjunto R de todos
valores de salida es el rango de la funcin.
Existen muchas formas de ver las funciones. Una de las ms tiles intuitivamente es
el concepto de mquina (figura 6.1), en el que los valores del dominio (x) se introducen a la mquina (la funcin f) para producir valores del rango (y). Para indicar
que y proviene de la funcin que acta sobre x, utilizamos la elegante notacin de
funcin de Euler y  f (x) (que se lee y es igual a f de x o el valor de f en x).
Aqu, x es la variable independiente y y es la variable dependiente.

f
f (x)

FIGURA 6.1 Un diagrama de la

mquina para una funcin.

Tambin, una funcin puede verse como una asignacin o transformacin de los
elementos del dominio en elementos del rango. La figura 6.2a muestra una funcin
que asigna elementos del dominio X en elementos del rango Y. La figura 6.2b
muestra otra asignacin, pero sta no es una funcin, ya que la regla no asigna
al elemento x1 a un nico elemento de Y.

UN POCO DE HISTORIA

La palabra funcin, en su sentido

matemtico, por lo general, se le
atribuye a Gottfried Leibniz (16461716), uno de los pioneros en los
mtodos del clculo. Su cuidado en la
claridad de la notacin es una de sus
grandes contribuciones al progreso
cientfico, por lo cual seguimos
utilizando su notacin en los cursos
de clculo actuales. Irnicamente, no
fue Leibniz sino Leonhard Euler
(1707-1783) quien introdujo la
conocida notacin f(x).

y2

x2
x1

x1
y4

x3

x3

y3

Dominio

y2

x2

y1

x4

x4

y1

y3

Rango
Una funcin
a)

No es funcin
b)

FIGURA 6.2 El diagrama en a) muestra una transformacin de X a Y que es una funcin. El diagrama en b) muestra una transformacin de X a Y que no es una funcin.

SECCIN 6.1 Funciones y sus propiedades

Esta unicidad del valor del rango es muy importante para nosotros cuando estudiamos el comportamiento de la funcin. Saber que f (2)  8 revela algo acerca de f,
y esa comprensin sera contradictoria si despus descubrisemos que f (2)  4.
Por ello nunca encontrar una funcin definida por medio de frmulas ambiguas
como f (x)  2.

EJEMPLO 1
La frmula y 

Definicin de una funcin

x2

define a y como una funcin de x?

SOLUCIN S, y es una funcin de x. De hecho, podemos escribir la frmula

en notacin funcional: f(x)  x2. Al sustituir un nmero x en la funcin, el cuadrado de x ser la salida, y no hay ambigedad acerca de lo que es el cuadrado de x.

Otra forma til de ver a las funciones es de manera grfica. La grfica de la funcin y  f (x) es el conjunto de todos los puntos (x, f(x)), x en el dominio de f.
Colocamos los valores del dominio a lo largo del eje x con los valores de su rango
en el eje y para obtener parejas ordenadas que producen la grfica de y  f(x).

EJEMPLO 2

Visualizacin grfica de una funcin

De las tres grficas que se muestran en la figura 6.3, cul no es la grfica de una
funcin?
SOLUCIN La grfica en c) no es la grfica de una funcin. En la grfica, hay
tres puntos con abscisa igual a 0, por lo que la grfica no asigna un valor nico a
0. (En realidad, podemos ver que hay una gran cantidad de nmeros entre 2 y
2 para los cuales la grfica asigna varios valores). Las otras dos grficas no tienen
problema ya que ninguna recta vertical interseca a la grfica en ms de un punto.
Las grficas que satisfacen este criterio (prueba) de la recta vertical son las grficas de funciones.

[4.7, 4.7] por [3.3, 3.3]

a)

[4.7, 4.7] por [3.3, 3.3]

b)

[4.7, 4.7] por [3.3, 3.3]

c)

FIGURA 6.3 Una de stas no es la grfica de una funcin (ejemplo 2).

Prueba (criterio) de la recta vertical

Una grfica (conjunto de puntos (x, y)) en el plano xy define a y como una
funcin de x si, y slo, si ninguna recta vertical interseca a la grfica en ms
de un punto.

CAPTULO 6 Funciones

QU HAY ACERCA DE LOS DATOS?

Cuando pasamos de un modelo

numrico a uno algebraico, con
frecuencia utilizamos una funcin
para aproximar parejas de datos que
pueden violar nuestra definicin de
funcin. En la figura 6.4 podemos
ver que varias parejas de puntos de
datos no satisfacen el criterio de la
recta vertical, pero aun as la funcin
lineal aproxima muy bien los datos.

Dominio y rango
Comnmente definiremos en forma algebraica a las funciones, dando explcitamente la regla en trminos de la variable del dominio. Sin embargo, la regla no
contara toda la historia sin alguna consideracin acerca lo que en realidad es el
dominio.
Por ejemplo, podemos definir el volumen de una esfera como una funcin de su
radio mediante la frmula
4
V(r)   r 3 (Observe que esto es V de r no V r).
3
Esta frmula est definida para todos los nmeros reales, pero la funcin volumen
no est definida para valores negativos de r. Por lo que, si nuestra intencin fuese
estudiar la funcin volumen, restringiramos el dominio a todas las r
0.
Convencin
A menos de que se trate con un modelo (como el volumen) que necesite un
dominio restringido, supondremos que el dominio de una funcin definida
mediante una expresin algebraica es el mismo que el dominio de la expresin algebraica, el dominio implcito. Para modelos, utilizaremos un dominio que se ajuste a la situacin, el dominio relativo.

EJEMPLO 3 Determinacin del dominio de una

funcin
Determine el dominio de cada una de estas funciones:
a) f x  x

3


x
x5

b) gx  
c) As  3
4s2, donde A(s) es el rea de un tringulo equiltero con lados de

longitud s.
[1, 10] por [1, 11]

FIGURA 6.4 Los puntos de los datos

no satisfacen el criterio de la recta
vertical, pero son aproximados mediante
una funcin lineal.

SOLUCIN
Resuelva algebraicamente
a) La expresin dentro de un radical no puede ser negativa. Hacemos x  3
0 y

resolvemos para determinar que x

3. El dominio de f es el intervalo [3, ).

b) La expresin dentro de un radical no puede ser negativa; por lo tanto x

0.

Adems, el denominador de una fraccin no puede ser cero, por lo tanto x 5.

El dominio de g es el intervalo [0, ) quitando el nmero 5, que puede
escribirse como la unin de dos intervalos: [0, 5)  (5, ).
c) La expresin algebraica tiene como dominio a todos los nmeros reales, pero
NOTA

El smbolo  se lee unin.

Significa que los elementos de los dos
conjuntos se combinan para formar
un conjunto.

el comportamiento que se est modelando restringe a s de ser negativa. El

dominio de A es el intervalo [0, ).
Respalde geomtricamente
Podemos respaldar nuestras respuestas en a) y b) de forma grfica, ya que la
calculadora no traza puntos donde la funcin est indefinida.
a) Observe que la grfica de y  
x

3 (figura 6.5a) slo muestra puntos para

x
3, como se esperaba.

contina

SECCIN 6.1 Funciones y sus propiedades

b) La grfica de y  xx  5 (figura 6.5b) slo muestra puntos para x

0, como se esperaba, pero muestra una recta no esperada que cruza el eje x en
x  5. Esta recta, una forma de falla del graficador descrita en la seccin anterior, no debera estar all. Ignorndola, vemos que 5, como se esperaba, no
est en el dominio.
c) La grfica de y  
3 4s2 (figura 6.5c) muestra el dominio no restringido de

la expresin algebraica: todos los nmeros reales. La calculadora no tiene forma de saber que s es la longitud de un lado de un tringulo.

[10, 10] por [4, 4]

a)

[10, 10] por [4, 4]

c)

[10, 10] por [4, 4]

b)

FIGURA 6.5 Respaldo grfico de las soluciones algebraicas del ejemplo 3. La recta vertical en
b) debe ignorarse ya que resulta de una falla en el graficador. Los puntos en c) con coordenadas x
negativas deben ignorarse, ya que la calculadora no sabe que x es una longitud (pero nosotros s).

Con frecuencia, determinar de forma algebraica el rango de una funcin es mucho

ms difcil que determinar el dominio, aunque de forma geomtrica las cosas se ven
muy similares. Para determinar el dominio buscamos todas las coordenadas x
(abscisas) que correspondan a puntos en la grfica, y para determinar el rango, buscamos todas las coordenadas y (ordenadas) que correspondan a puntos en la grfica. Un buen mtodo es utilizar de manera simultnea los dos enfoques, algebraico
y grfico, como mostramos en el ejemplo 4.

EJEMPLO 4

Determinacin del rango de una funcin

2
Determine el rango de la funcin f x   .
x
SOLUCIN
2
x

Resuelva grficamente La grfica de y   se muestra en la figura 6.6.

NOTACIN FUNCIONAL

Un graficador comn no utiliza la

notacin de funcin. As que la
funcin f (x)  x2  1 se introduce
como y1  x2  1. En algunos
graficadores puede evaluar f en x  3
introduciendo y1(3) en la pantalla
principal. Por otra parte, en otros
graficadores y1(3) significa y1 * 3.

[5, 5] por [3, 3]

FIGURA 6.6 La grfica de y  2/x. y 5

0 est en el rango?

Parece que x  0 no est en el dominio (como se esperaba, ya que el denominador

no puede ser cero). Tambin parece que el rango consiste en todos los nmeros
reales excepto el cero.
contina

CAPTULO 6 Funciones

Confirme algebraicamente
Confirmamos que 0 no est en el rango al tratar de resolver 2/x  0:
2
 0
x
2 0 x
2 0
Como la ecuacin 2  0 nunca es verdadera, 2/x0 no tiene soluciones, y por
tanto y  0 no est en el rango. Pero, cmo sabemos que todos los dems
nmeros reales estn en el rango? Supongamos que k es cualquier nmero real e
intentamos resolver 2/x  k:
2
 k
x
2 k x
2
x 
k
Como puede ver, esta vez no hay problema para encontrar una x, de modo que 0
es el nico nmero que no est en el rango de f. Escribimos el rango (, 0) 
(0, ).

Puede ver que esto es considerablemente ms complicado que determinar el dominio, pero en este punto estamos obstaculizados por no tener muchas herramientas
con las cuales analizar el comportamiento de la funcin.

Continuidad
Una de las propiedades ms importantes de la mayora de las funciones que modelan comportamiento del mundo real, es que son continuas. Desde el punto de vista
grfico, una funcin es continua en un punto si la grfica no se separa en ese punto. Podemos ilustrar el concepto con unas cuantas grficas (figura 6.7).

f (a)

Continua en toda x

Discontinuidad removible

FIGURA 6.7 Algunos puntos de discontinuidad.

Discontinuidad removible

Discontinuidad de salto

a
x

Discontinuidad infinita

SECCIN 6.1 Funciones y sus propiedades

Veamos cada uno de estos casos individualmente.

Esta grfica es continua en todas partes. Observe que
la grfica no se rompe. Esto significa que si estamos
estudiando el comportamiento de la funcin f para valores de x cercanos a cualquier nmero real particular
a, podemos estar seguros que los valores f (x) sern
cercanos a f (a).

Continua en toda x

Esta grfica es continua en todas partes, excepto en el

agujero en x  a. si estamos estudiando el comportamiento de esta funcin f para valores x cercanos a a,
no podemos asegurar que los valores f (x) sern cercanos a f (a). En este caso, f (x) es menor que f (a) para
x cerca de a. sa se denomina discontinuidad removible, ya que puede remendada redefiniendo f (a) de
modo que desaparezca el agujero.
Esta grfica tambin tiene una discontinuidad removible en x  a. Si estamos estudiando el comportamiento de esta funcin f para valores x cercanos a a, no
aseguramos que los valores f (x) sern cercanos a f (a),
ya que en este caso f (a) ni siquiera existe. Es removible, ya que podramos definir f (a) de tal manera que se
tape el agujero y haga que f sea continua en a.
Aqu est una discontinuidad que no es removible. Es
una discontinuidad de salto, ya que es ms que un
agujero en x  a; hay un salto en los valores de la funcin que forma un espacio imposible de llenar con un
solo punto (a, f (a)), independientemente de cmo tratemos de redefinir f (a).

f (a)

Discontinuidad removible

Discontinuidad removible
y

Discontinuidad de salto

sta es una funcin con una discontinuidad infinita en

x  a. Definitivamente no es removible.
a

Discontinuidad infinita

El sencillo concepto geomtrico de una grfica rota en un punto es una de esas nociones visuales que son muy difciles de comunicar de manera precisa en el lenguaje del lgebra. El concepto clave de las figuras parece ser que queremos que el
punto (x, f (x)) se deslice suavemente en el punto (a, f (a)) sin perderlo, desde alguna direccin. Esto slo requiere que f (x) se aproxime a f (a) como un lmite cuando x se aproxima a a. Una funcin f es continua en x  a si lm f (x)  f (a). Una
xa
funcin f es discontinua en x  a, si no es continua en x  a.

CAPTULO 6 Funciones

ELECCIN DE LA VENTANA DE
VISUALIZACIN

EJEMPLO 5 Identificacin de puntos de

discontinuidad

La mayora de las ventanas de

visualizacin muestran una recta
vertical para la funcin de la figura
6.8. En ocasiones es posible elegir
la ventana de visualizacin en la
que la recta vertical no aparezca,
como lo hicimos en la figura 6.8.

Con base en las grficas, cules de las siguientes figuras muestran funciones que
sean discontinuas en x  2? Alguna de las discontinuidades es removible?
SOLUCIN La figura 6.8 muestra una funcin que no est definida en x  2, y
por tanto no es continua all. La discontinuidad en x  2 no es removible.
La funcin graficada en la figura 6.9 es un polinomio cuadrtico cuya grfica es
una parbola, una grfica sin huecos porque su dominio incluye a todos los
nmeros reales. Es continua para toda x.
La funcin graficada en la figura 6.10 no est definida en x  2 y por tanto no
puede ser continua all. La grfica se ve como la grfica de la recta y  x  2,
excepto porque hay un agujero en donde debe estar el punto (2, 4). sta es una
discontinuidad removible.

[9.4, 9.4] por [6, 6]

[9.4, 9.4] por [6.2, 6.2]

[5, 5] por [10, 10]

x3
x 2

FIGURA 6.8 f(x)  

FIGURA 6.9 g(x)  (x  3)(x  2)

x2  4
x2

FIGURA 6.10 h(x)  

Funciones crecientes y funciones decrecientes

Otro concepto de funciones que es fcil comprender de forma grfica es la propiedad de ser creciente, decreciente o constante en un intervalo. Ilustramos el concepto con unas cuantas grficas (figura 6.11).

1
1
2
3

1 2 3 4 5

Creciente

5 4 3 2 1
1
2
3

3
2

3
2
1

3
2
1
5 4 3

1
1 2 3 4 5

Decreciente

5 4 3 2 1
1
2
3

1 2 3 4 5

Constante

5 4 3 2 1
1
2
3

1 2 3 4 5

Decreciente en (, 2]
Constante en [2, 2]
Creciente en [2, )

FIGURA 6.11 Ejemplos de funciones crecientes, decrecientes o constantes en un intervalo.

Una vez ms la idea es fcil de comunicar de forma grfica pero, cmo podemos
identificar estas propiedades de manera algebraica? La exploracin 1 ayudar a establecer los pasos para la definicin algebraica.

SECCIN 6.1 Funciones y sus propiedades

EXPLORACIN 1

Informacin creciente, decreciente y constante

1. De las tres tablas de datos numricos siguientes, cul sera modelada me-

diante una funcin que sea a) creciente, b) decreciente, c) constante?

X

Y1

Y2

Y3

2

12

2

2

5

1

12

1

1

3

12

1

12

2

12

6

12

12

10

2. Haga una lista de Y1, el cambio en los valores de Y1 cuando se mueve

hacia abajo de la lista. Conforme se mueve de Y1  a a Y1  b, el cambio

es Y1  b a. Haga lo mismo para los valores de Y2 y Y3.
X se
X Y1
X se
X Y1
X se
X Y1
mueve de
mueve de
mueve de
2 a 1 1
2 a 1 1
2 a 1 1

LIST EN UNA CALCULADORA

Su calculadora podra ser capaz de
ayudarle con los nmeros en la
exploracin 1. Algunas calculadoras
tienen una operacin List que
calcular los cambios conforme se
mueve hacia abajo en la lista. Por
ejemplo, el comando List(L1)L3
almacenar las diferencias de L1 en
L3. Observe que List(L1) siempre
tendr una entrada (o elemento)
menos que L1.

1 a 0

1 a 0

1 a 0

0a1

0a1

0a1

1a3

1a3

1a3

3a7

3a7

3a7

3. Qu se cumple acerca de los cocientes Y/X para una funcin cre-

ciente? Para una funcin decreciente? Para una funcin constante?

4. En qu otro sitio ha visto el cociente Y/X? Esto refuerza su respues-

ta de la parte 3?
Su anlisis de los cocientes Y/X en la exploracin le debe ayudar a entender la
definicin siguiente.

DEFINICIN Funcin creciente, decreciente y constante en

un intervalo
Una funcin f es creciente en un intervalo si, para cualesquier dos puntos en
el intervalo, un cambio positivo en x ocasiona un cambio positivo en f (x).
Una funcin f es decreciente en un intervalo si, para cualesquier dos puntos en el intervalo, un cambio positivo en x ocasiona un cambio negativo en
f (x).
Una funcin f es constante en un intervalo si, para cualesquier dos puntos
en el intervalo, un cambio positivo en x ocasiona un cambio nulo en f (x).

10

CAPTULO 6 Funciones

EJEMPLO 6 Anlisis de una funcin buscando

comportamiento creciente-decreciente
Para cada funcin, indique los intervalos en los que es creciente y los intervalos
en los que es decreciente.
a) f x  x  22

x2
x 1

b) gx  
2 

SOLUCIN
Resuelva grficamente
a) En la grfica de la figura 6.12 vemos que f es decreciente en (, 2] y cre-

ciente en [2, ). (Observe que incluimos 2 en ambos intervalos. No se preocupe que esto provoque alguna contradiccin acerca de lo que pasa en 2, ya
que slo hablamos de funciones crecientes o decrecientes en intervalos, y 2
no es un intervalo).

[5, 5] por [3, 5]

FIGURA 6.12 La funcin f(x)  (x  2)2 decrece en (, 2] y crece en [2, )

(ejemplo 6).
b) En la grfica en la figura 6.13 g es creciente en (, 1), creciente otra vez

en (1, 0], decreciente en [0, 1) y otra vez decreciente en (1, ).

[4.7, 4.7] por [3.1, 3.1]

FIGURA 6.13 La funcin g(x)  x2/(x2  1) crece en (, 1) y en (1, 0]; la funcin decrece en [0, 1) y en (1, ) (ejemplo 6).

Pudo haber notado que hemos hecho algunas suposiciones acerca de las grficas.
Cmo sabemos que no regresan en algn lugar fuera de la pantalla? Ms adelante, en el libro, desarrollaremos algunas formas para responder esa pregunta, pero
mtodos ms poderosos le esperarn cuando estudie clculo.