CAPITULO 1

FUNCIONES REALES DE VARIABLE REAL.

1. Introduccin
Durante los siglos XVII y XVIII, se daba por descontado que una funcin era
una frmula o expresin que era la que daba la regla concreta y tangible para
calcular el valor de y, dado el de x. El concepto de funcin como correspondencia
entre dos variables no aparece hasta el siglo XIX. Trataremos de ver que lo
interesante de una funcin no es su expresin algortmica, que puede tener formas
diferentes para una misma funcin, sino la correspondencia en s.
Los orgenes de la nocin de funcin y de su influencia en la evolucin de las
ciencias, pueden fijarse en el s. XVII. El concepto de funcin aparece en 1692 con
Leibnitz y es utilizado por los Bernouilli desde 1694. Euler introdujo en 1734 el
smbolo f(x), defini el concepto general de funcin algebraica, incluso no expresada
por radicales, y ms tarde Dirichlet estableci en 1854 el concepto general de
funcin como correspondencia arbitraria entre dos variables.
De forma descriptiva e informal podemos decir que dados dos conjuntos X e
Y, representando por x un elemento de X y por y un elemento de Y, con cada
elemento x de X est asociado un elemento y de Y y slo uno, de manera que el
mismo elemento y puede estar asociado a varios elementos x distintos, aunque no
necesariamente todo elemento y aparecer asociado a algn elemento x. En general,
el elemento y asociado a x, se representa como y = f(x); tambin se llama imagen de
x, o valor de la funcin f en el punto x. El objeto as definido se llama funcin de X
en Y. Junto a la idea de funcin comenzaron a aparecer ciertas propiedades
descriptivas generales, continuidad, derivabilidad, integrabilidad, etc.
Algunas funciones conocidas especialmente durante los siglos XVII y XVIII,
fueron consideradas como bsicas o primitivas, tales como la funcin potencial, las
trigonomtricas, las logartmicas y exponenciales, etc. y a partir de ellas, se
1

construa una frmula tomando una o varias de estas funciones y efectuando una
serie de operaciones, como la suma, producto, extraccin de races, y lo que es muy
importante, la sustitucin de una variable en una funcin, por otra funcin, la
composicin de funciones.
1.1. Concepto de funcin real de variable real
Una funcin real de variable real es una aplicacin f : D
en que
x
f (x)

D , no vaco.

Se llama dominio de la funcin, al conjunto cuyos elementos son todos los

valores reales que puede tomar la funcin: Dom(f ) = { x D / f ( x )} .
Se llama recorrido o imagen de la funcin al conjunto formado por todos los
valores que toma la funcin: Im g (f ) = {y / x D con f ( x ) = y }
En la funcin y = f ( x ) se dice que x es la variable independiente y que y es la
variable dependiente.
A veces la visualizacin grfica de una funcin real de variable real resulta
muy til, sobre todo en aquellos casos en los que no existe una frmula explcita que
nos la pueda definir.
Definimos la grfica de una funcin o grafo de una funcin al conjunto de 2 :
G = {( x, y ) / y = f ( x )}

Aunque no todas las funciones se pueden representar, para las funciones que
oscilan

infinitas

veces

es

imposible.

Por

ejemplo:

1
y = sen
x

0 si x es irracional
f (x) =
1 si x es racional
Llamaremos F(D, ) al conjunto de todas las funciones definidas de D a
.

1.2. Operaciones con funciones

Dadas dos funciones f y g diremos que son iguales, f = g, si tienen el mismo
dominio D y se verifica que f(x) = g(x) x D .
Suma de funciones
Dadas dos funciones f y g, definidas en el mismo dominio, D, se define la
suma, f + g, como:
f + g : D

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

La operacin suma de funciones cumple las propiedades

Proposicin:

conmutativa, asociativa, elemento neutro (f(x) = 0) y elemento opuesto (dada f(x),

su opuesta es f(x)).
El conjunto (F(D, ), +) es un grupo abeliano aditivo.

Producto de funciones
Dadas dos funciones f y g, definidas en el mismo dominio, D, definimos el
producto, fg, como:
f g : D

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

Proposicin: La operacin producto de funciones cumple las propiedades

conmutativa, asociativa, elemento neutro (f(x) = 1) y elemento inverso (dada f(x) 0,
su inversa es 1/f(x)).
El conjunto (F(D, ), ) es un semigrupo abeliano multiplicativo.

Propiedad: Se verifica la propiedad distributiva del producto respecto a la

suma.
El conjunto (F(D, ), +, ) es un anillo conmutativo unitario.

Producto de una funcin por un nmero real

Dada una funcin f y un nmero real , definimos el producto de un nmero
real por una funcin, f, como:

f : D
x
( f ) ( x ) = f ( x )

Proposicin: Verifica las propiedades distributiva con respecto a la suma de

funciones, distributiva con respecto a la suma de nmeros reales, pseudoasociativa,
elemento unidad.
El conjunto (F(D, ), +, ) es un - espacio vectorial.

Composicin de funciones
Dadas las funciones f : A
, con C = f ( A) B , llamamos
y g : B
funcin compuesta de f con g, a la funcin:
g f
C

g f : C

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

A f ( A )
x f ( x ) g ( f ( x ))

Propiedades: La operacin de composicin de funciones es asociativa y tiene

elemento neutro que es la identidad de funciones I(x) = x x . En general, no es
conmutativa.
Funcin inversa o recproca
Dada la funcin f : A
, llamamos funcin inversa de f, f-1, a la funcin
que cumple: f f 1 = I, f 1 f = I
De lo que podemos deducir que Img(f-1) = Dom(f) y que Img(f) = Dom(f-1).
Esta

funcin,

si

existe,

tiene

que

ser

inyectiva

ya

que

si

f ( x ) = f ( y ) con x y f -1 (f ( x )) = f -1 (f ( y ))

x = y contradiccin.
Nota: La existencia de la funcin recproca, no quiere decir que su clculo sea posible o fcil.

Orden en F(D, )
Dadas dos funciones f, g: D
definimos el orden en F(D, ) como:

f g f ( x ) g( x )

x D

Proposicin: La relacin de orden anterior cumple las propiedades: reflexiva,

antisimtrica y transitiva. D.- Inmediata
F(D, , ) es un conjunto ordenado.
La relacin no es de orden total, ya que dadas dos funciones f y g no podemos
garantizar que f g o g f
Valor absoluto
Dada f : D
Definimos el valor absoluto de una funcin f como:
f ( x ) si f ( x ) 0
f (x) = f (x) =
f ( x ) si f ( x ) < 0
Propiedades:

x D

1) f + g f + g
2) fg = f g
3) f g f g
x Dom(f ) y g ( x ) g ( x ) g ( x )

D.- 1) Como: f ( x ) f ( x ) f ( x )
sumando, obtenemos:

x Dom(g ) ,

f ( x ) g ( x ) f ( x ) + g ( x ) f ( x ) + g ( x ) x Dom(f) Dom(g)

( f ( x ) + g ( x ) ) f ( x ) + g ( x ) f ( x ) + g ( x ) x Dom(f) Dom(g)
f ( x ) + g( x ) f ( x ) + g( x )
2) Trivial
3) x Dom(f) Dom(g)

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

f ( x ) 2 f ( x ) g ( x ) + g ( x ) ( f ( x ) ) 2f ( x )g ( x ) + ( g ( x )) f ( x ) g ( x ) ,
2

pues

2 f ( x ) g ( x ) 2f ( x )g ( x )

1.3. Caractersticas de las funciones

Funciones acotadas
Dada f : D
diremos que est acotada inferiormente si el conjunto
Img(f), tambin lo est. O sea, si x D K tal que f ( x ) K K se llama cota
superior.
Diremos que f : D
est acotado superiormente si lo est Img(f).
Si x D K` tal que f ( x ) K ` K`se llama cota inferior.
Diremos que una funcin est acotada si lo est inferior y superiormente.
Funciones montonas
Diremos

f : D

que

es

montona

creciente

si

x1, x 2 D con x1 x2 f ( x1 ) f ( x 2 ) , es estrictamente creciente si la desigualdad

es estricta: x1, x2 D con x1 < x 2 f ( x1 ) < f ( x 2 ) .
Es

montona

estrictamente

decreciente

decreciente

si
si

x1, x 2 D con x1 x2 f ( x1 ) f ( x 2 ) ,
la

desigualdad

es

es

estricta:

x1, x 2 D con x1 < x2 f ( x1 ) > f ( x2 )

Simetra de funciones
Dada f : D
, decimos que es par si x D x D y f ( x ) = f ( x ) , su
representacin grfica es simtrica con respecto al eje OY.
Decimos que es impar si x D x D y f ( x ) = f ( x ) , su representacin
grfica es simtrica respecto al origen de coordenadas.
Funciones peridicas
Dada f : D
, decimos que es peridica de periodo P, si P es el menor
nmero positivo que verifica que x D ( x + P ) D y f ( x + P ) = f ( x )
Funciones continuas

Dada f : D
, decimos que es continua en D, si es continua en todos sus
puntos.

Decimos

que

es

continua

en

un

punto

x0

si

> 0, , > 0, : x x0 < f(x) f(x0 ) < x D

2. FUNCIONES

ELEMENTALES; SITUACIONES

REALES EN

LAS

QUE

APARECEN.
2.1. Funciones algebraicas
Las funciones algebraicas son aquellas construidas por un nmero finito de
operaciones algebraicas (suma, resta, multiplicacin, divisin, potenciacin y
radicacin) aplicadas a la funcin identidad, f (x) = x, y a la funcin constante,

f (x) = k.
En general, las funciones algebraicas abarcan a las funciones polinmicas,
racionales y las llamadas algebraicas explcitas.

Funciones polinmicas
Una funcin f : D
es polinmica si existen nmeros reales, a0 , a1,..., an
tales que f ( x ) = an x n + ... + a1 + a0 x D . La potencia ms alta de x con coeficiente
distinto de 0 se llama grado de f.

De primer grado: Son funciones f :

tales que f ( x ) = mx + n siendo

m, n .
Su dominio es todo el conjunto de los nmeros reales, su imagen tambin, y su
representacin grfica es una recta de pendiente m y ordenada en el origen n.
Si n = 0 , f ( x ) = mx es un isomorfismo continuo de ( , + ) en ( , + ) , por tanto
es una aplicacin biyectiva y continua que verifica que f ( x1 + x2 ) = f ( x1 ) + f ( x2 )

x1, x2 .
Estas funciones reciben el nombre de lineales o de proporcionalidad directa y su
grfica siempre pasa por el origen de coordenadas.

Si n 0 , f ( x ) = mx + n , se llama funciones afines y su grfica no pasa por el

origen de coordenadas, adems, si m > 0, la funcin es creciente y si m < 0 es
decreciente.
Aplicaciones: Hay infinidad de aplicaciones de este tipo de funciones en la
vida real.
El coste de una determinada cantidad de un producto vendido al peso. c(p) =
ap
La longitud de una circunferencia en funcin de su dimetro L(d) = d
La distancia recorrida por un mvil en un movimiento rectilneo uniforme e(t)
= e0 + v0t
Cambio de escala lineal, por ejemplo para pasar de grados Fahrenheit a
grados centgrados.
De 2 grado: Su expresin es f ( x ) = ax 2 + bx + c con a, b, c nmeros reales.
a 0.

Su dominio es el conjunto de los nmeros reales y su imagen tambin, su

representacin grfica es una parbola, cuyo vrtice tiene por coordenadas
b b
V , f , los puntos de corte con el eje OX, si los tiene son las
2a 2a
soluciones, x1, x2 , de la ecuacin ax 2 + bx + c = 0 y con el eje OY, (0, y0).
Si a > 0 el vrtice es el mnimo de la funcin, si a < 0 es el mximo.
Aplicaciones: Como antes hay infinidad.
La distancia recorrida por un mvil en un movimiento uniformemente
acelerado:
1
e(t ) = e0 + v 0t + a0t 2
2

El rea de un crculo. a(r ) = r 2

Aplicaciones funciones polinmicas grado mayor que dos:

Volumen de un cubo: V (l ) = l 3

4
Volumen de una esfera: V (r ) = r 3
3
Funciones potenciales

Su expresin es f ( x ) = x {0} .Son isomorfismos continuos de + ,

en + , , por tanto son biyectivas, continuas y f ( x1 x2 ) = f ( x1 ) f ( x 2 )

Funciones racionales
Son funciones del tipo f ( x ) =

p( x )
en los que p y q son funciones polinmicas y
q( x )

su dominio es el conjunto de todos los nmeros reales excepto aquellos en los que q
se anula.
Caso particular las f ( x ) =

ax + b
verificando que c 0 y que ad bc . El
cx + d

K
d
dominio es , y si a y d son 0, y c es 1, obtenemos f ( x ) =
llamada funcin
x
c
de proporcionalidad inversa, cuyo dominio es {0} y su grfica es una hiprbola.
Aplicaciones:
Relacin entre la base y la altura de un rectngulo de rea constante.
Ley de Ohm con V constante.
Atraccin entre dos cuerpos de masas m1 y m2, siguiendo la ley de Newton
F =G

m1m2
r2

Atraccin o repulsin entre dos cuerpos con cargas Q1 y Q2 siguiendo la

ley de Coulomb
F =K

Q1Q2
r2

Funciones algebraicas implcitas

Funcin algebraica de grado m es aquella en la que y es una raz de una
ecuacin polinmica de grado m en x, cuyos coeficientes son funciones racionales de
x. Por ejemplo: y 5 y x = 0
2.2. Funciones trascendentes
Son aquellas que no son algebraicas.
Funciones exponenciales
Llamamos funcin exponencial a f : ( , + )
( + ,) con f ( x ) = a x y a + .
Es biyectiva, continua y verifica que f ( x1 + x 2 ) = f ( x1 ) f ( x 2 ) , convierte el grupo
aditivo de los nmeros reales en el grupo multiplicativo de los reales positivos.
Aplicaciones:
Clculo del inters compuesto y continuo.
Crecimiento de poblaciones.
Desintegracin de sustancias radiactivas.
Funciones logartmicas: Son las recprocas de las exponenciales.
Llamamos funcin logartmica a f : ( + ,)
( , + ) con f ( x ) = loga x y a + .
Es biyectiva, continua y verifica que f ( x1 x2 ) = f ( x1 ) + f ( x 2 )
Aplicaciones:
Las mismas que la exponencial, por ser recprocas.
La escala de Richter que mide la intensidad de los terremotos.
Construccin de la regla del clculo.
Funciones trigonomtricas y otras trascendentes
La funcin seno, coseno y tangente tambin son funciones trascendentes. As
como las hiperblicas, elpticas, funciones de Bessel, de Legendre, gamma,...

10

Otras funciones
La funcin escalonada, como f(x) = E(x), es la funcin parte entera de x, que
tiene como dominio y su imagen es .
Tambin estn las funciones definidas a trozos que son aquellas que estn
definidas de forma distinta en distintos intervalos del conjunto de nmeros reales.
Aplicacin:
La funcin que nos da la escala de gravamen del IRPF.

3. MS SOBRE FUNCIONES EXPONENCIALES Y LOGARTMICAS Y LAS

SITUACIONES REALES EN LAS QUE APARECEN.
La exponencial y los logaritmos tienen mucha importancia en el clculo
infinitesimal y son bastante tiles en el clculo numrico. Con ellos y sus
propiedades se pudo abreviar clculos que eran excesivamente largos con el uso de
otras funciones.
La concepcin de la progresin geomtrica formada por las potencias
sucesivas de un mismo nmero se remonta a los egipcios y a los babilonios y era
familiar a los matemticos griegos.
En la Edad Media, Oresme (1313-1382) expone la regla a m a n = a n +m , aparece
por primera vez la nocin de exponente fraccionario positivo y un siglo ms tarde
Chuquet introdujo una notacin exponencial para las potencias de las incgnitas de
las ecuaciones utilizando el exponente 0 y negativo. Stiffel extiende la idea de
isomorfismo entre la progresin aritmtica de los exponentes y la progresin
geomtrica de las potencias a los negativos y fraccionarios, culminndolo con la
definicin de los logaritmos y la construccin de las primeras tablas emprendida por
Napier y Brgi, donde se da implcitamente por supuesta la continuidad del
isomorfismo entre y + al emplear la interpolacin por tablas; en la definicin de
Neper se da explcitamente.
11

Los logaritmos y exponenciales adquieren mucha importancia en el Clculo

Infinitesimal con el descubrimiento de los desarrollos en serie de log (1 + x ) y de

e x y de las propiedades diferenciales de estas funciones.

Hasta mediados del S. XIX solo se admita intuitivamente la posibilidad de
prolongar por continuidad al conjunto de los reales la funcin a x x , y solo
cuando la nocin de nmero real fue obtenida a partir de un nmero racional se dio
una justificacin rigurosa de esta prolongacin.
3.1. Desarrollo de la funcin exponencial.
Potencia de exponente natural.
Definimos las potencias de exponente natural
1
a = a
como: n +1
n
a = a a

de un nmero real a > 0

O sea, a 1 = a , a 2 = a a , a 3 = a 2 a ,...

Proposicin: i)
ii)

a n +m = a n a m a + y n , m

(a n )

= a n m a + y n , m

iii) Si a > 1 y n , m , entonces: n < m a n < a m

n

iv) ( a b ) = a n b n
D.- i) Por induccin: Sea

a,b + , n

n , para m = 1 a n +1 = a n a

Suponemos cierto para m;

por definicin.

a n +m = a n a m , vemos que ocurre con m + 1:

a n +(m +1) = a (n +m )+1 = a n +m a = a n a m a = a n a m +1

ii) Tambin por induccin.
iii) Sea

1 < a 1 < a n , cierto para n = 1. Lo vemos para n + 1:

1 < a n a < a a n 1 < a < a n +1 1 < a n +1 .

Si

n < m m n 1 < a m n a n < a m n a n a n < a m

Si fuese

an < am

m n am an

contradiccin.

iv) Tambin por induccin

Dado un nmero a + , podemos definir una funcin: fa : +

n a n
12

siendo a n el producto de a por s mismo n veces.

Es fcil comprobar que fa : ( , + ) ( + , ) es un homomorfismo:
n , k fa (n + k ) = a n +k = a n a k = fa (n ) + fa (k )

Potencia de exponente racional.

Pretendemos dar un sentido coherente a la expresin a r en la que a +

(*)

r . Cuando r la nueva definicin coincidir con la anterior y veremos que las

propiedades se mantienen para potencias de exponente racional.
k

k1
a = a ; a y k

(*)Nota: Para que se siga cumpliendo la condicin ii) deber cumplirse

pero si k = 2 y a < 0

no existe ningn nmero real cuyo cuadrado sea a, por ello tomamos a > 0.

Proposicin: Sea a + y k . Existe un nico nmero real positivo cuya ksima potencia es a. Ese nmero recibe el nombre de raz k-sima de a
D.- Sea f : + f (x ) = x k . Por ser

a.

un intervalo y f continua, por el teorema del

( )

valor intermedio, f ( + ) es un intervalo. Claramente f + + .Adems:

lim f ( x ) = 0 y

x 0

( )

+
k
+
+
lim f ( x ) = + + f ( + ) f = x tal que x = a para

x +

a +
Vemos ahora que x es nico: Suponemos

xk = yk = a

con

x , y + . Si x < y x n < y n , y en

particular

x k < y k , contradiccin con la hiptesis. Si x < y x k > y k

vuelve a ser una contradiccin, por

lo que x = Y.
1

Esta proposicin nos permite definir

Si tomamos ahora

r + ; r =

podemos escribir

ar = k am

ak = k a

de forma que

(a k )k = a a + y k .

1
m
m
1
; m, k . Como r =
m a r = (a k )m = ( k a ) . Tambin
k
k

, pues

( a)
k

( a)
k

mk

( a)
k

km

( a)
k

= a m y por la

unicidad de la raz k-sima coinciden ambas definiciones.

Veamos que la definicin no depende de la pareja de nmeros naturales

elegidos:
13

m p
y a + . Entonces:
=
k q

Lema: Sean m, k , p , q tales que

(a n )

D.- Aplicando que

( a)
k

= am =

m q

( a)
q

( a)
q

= a n m = ( a m ) ; a + y m,n y como mq = pk:

( a)

( a)

mq

( a)
q

pk

( a)
q

( a)

( a)
q

Definicin: Sea a + y r . Llamamos potencia r-sima de a, a r a la

definida:
- Si r > 0 a r =

( a)

con m, k tales que r =

m
.
k

- Si r = 0 a 0 = 1
- Si r < 0 a r =

(Claramente a r 0 )

Adems r + 0r = 0;(r 0) .

Proposicin: Sea r

r 0

g : + +

g (x ) = x r

x + .

Entonces: g es biyectiva y continua. Adems:

- Si r > 0, g es estrictamente creciente, lim g (x ) = 0 y lim g (x ) = +
x 0

x +

- Si r < 0, g es estrictamente decreciente, lim g (x ) = + y lim g (x ) = 0

x 0

D.-

r =

m
> 0; m, k .
k

fk (x ) = x k ;fm (x ) = x m ; x + . fk ,fm

x +

fk ,fm : + +

Sean

con

son biyectivas, continuas y estrictamente crecientes. (Proposicin

anterior)

g = fm fk 1 , g es biyectiva, continua y estrictamente creciente por ser composicin de funciones que lo son. Adems como

g ( + ) = + , dados K +

> 0 ; , M > 0 / g ( ) <

0 < x < g (x ) < g ( ) <

lim g (x ) = 0
x 0
x > M g (x ) > g (M ) > K
Si r < 0, se deduce del caso estudiado y abusando de la igualdad

ar =

y g(M) > K. Como g es estrictamente creciente

lim g (x ) = + .

x +

a r

14

Proposicin: Sean a , b + y r , s . Entonces:

r

i) ( a b ) = a r b r , en particular
ii) a r +s = a r a s

iii) ( a r ) = a r s = ( a s )
s

iv) Si a > 1; r < s a r < a s

n1
v) Si a > 1; a 1

D.- i) Si r = 0 es evidente. Si

a b =
Si

r =

Si r < 0

a k b

lo tenemos demostrado por induccin.

k ab = k a k b ; k

m
; m, k
k

(a b )

(a b )
1

(a b )

) =(
m

a b

a k b

) = ( a ) ( b )
m

= ar br

1
1
1
= r r = a r b r
r
b
a
b

ii) Si r + s = 0 es evidente, tambin si son 0 alguno de los dos.

Suponemos r + s > 0, si r, s > 0 sean

r +s

=a

mq + pk
kq

( a)
kq

mq + pk

p
m
, s =
k
q

r =

( a) ( a)
mq

kq

kq

pk

Si uno de los dos es negativo, por ejemplo r < 0

Si r + s < 0, aplicando i)

iii) Basta probar

r +s

1
=
a

(a r )

r s

m, k , p , q

con

=a

mq
kq

pk
kq

= a ra s

a s = a r a r + s a r a s = a r a r a r + s = a r +s
r

1 1
=
a a

= a ra s

= a r s , que es evidente si rs = 0 rs > 0.

Si

r =

m
p
> 0 ys = > 0
k
q

r s kq q r
( a ) = a

kq
kq
a rs
) = kq a mp
(

kq

( ) =( a )
( ) =a

r < 0 y s < 0.

rs

pkq

= (a r )

pk

am

mp

=a

( r )( s )

= (a

1
= r
a

pk

= a mp

r s
r s
(a ) = a

= (a r )

15

Si rs < 0.

a rs =

rs

a > 1 k a
k

iv)
Si r > 0

ar =
v)

a r

0<

r ( s )

m
k

= (a r )

> 1 m, k a r > 1 r +

< 1 a r > 1 r > 0 . Por ii) a r < a s a s r > 1 s r > 0 r < s

1
1
1
1
1
<
n 1 < a n +1 < a n n a n es decreciente y minorada.
n +1 n

Sea
2

1
n1
21n
n1
21n
n
L = lim a a L por ser una parcial de a , pero, a = a L2 L2 = L

L = 0 L = 1 . Como a n > 1 n L = 1
Potencia de exponente real.
Vamos a extender la potencia de exponente racional, para definir a x con

a + y x .
x a > 1 a x = sup {a r : r r x } (Consecuencia de propiedad iv, de hecho ax
es el mx)
Si tomamos x {a r : r r x } y est mayorado, ya que si

s tal que s > x

r r x r s a r a s , dicho conjunto tiene supremo que llamamos a x .

Si a < 1 el razonamiento anterior no vale, por lo que tendramos que definir

1
a =
a

Definicin: Sea a + y x cualesquiera. Se define a x como:

o Si a > 1 a x = sup {a r : r r x } . (Para x se extiende a la de potencia

racional)
o Si a = 1

1x = 1

16

1
o Si a < 1 a = . (Tambin se extiende a potencia racional)
a
x

Est claro que a x > 0 a + y x .

Lema: Si a es un nmero real tal que a > 1. Entonces:
i) x , y con x < y a x < a y
ii) a x + y = a x a y
iii) y + x : a x = y
iv) ( a x ) = a x y = ( a y )
y

D.-

i)

x,y

x <y.

Sean

r,s : x < r < s < y

. Por definicin de

ay

as ay
Si

t x t < r a t < a r a r es mayorante de {a t : t t x } a x a r

como
r<s

ar as ax ar as ay
ii) Sea

fijo, p = E(nx) y q = E(ny). Aplicando i), como la propiedad es cierta en

p
p +1

p
p +1
x <
an ax a n
p +q
p +q 2
+

n
n
a n a xa y a n n
p +q
q
q +1

q
q +1
x +y
x y
y
n

n
n

a
a
a
a
y <
a a a

n
n

p +q
p +q 2

+
p +q
p +q 2

x +y
+ a n a x +y a n n
n
n
n

n2

x +y
a 1 a

n2

a 1

2

2

x +y
= axa y
a n 1 0 pues a n 1 a

iii)

y + A = {z : a z y } . Veamos que A y est mayorado

n
1
n
1 1
=
0 (pues < 1 ) m : n m a =
n
a
a
a

{a n } =

y ;en

particular

m A A

{a n } no est mayorada p : a p > y . Si z A

i)

a z < y < a p z < p , p es un mayorante

de A.
Sea x = supA

ax = y

17

Suponemos

ax < y ,

pues entonces

x+

como a n 1 a

x+

1
x+
x n1
x
m

:
a
< y contradiccin
=
a
a

A y x era el supA.

Suponemos ahora que a x > y a

Para z A a z < y < a

1
x
1
m
=

:
a
>y.
1n
a

z <x

contradiccin, pues como x es el supA,

no

puede ser mayorante de A.

En definitiva

ax = y

iv) Se demuestra parecido a ii) Tomando p = E(nx) y q = E(ny) y pos sucesiones ms adelante.

3.2. Funcin exponencial.

Sea a + . Llamamos funcin exponencial de base a a la aplicacin

f : + definida por f (x ) = a x x .
Nota: La exponencial de base 1 es la funcin constantemente igual a 1.

Propiedades: Sea a + a 1 y f : + la funcin exponencial de base

a, f (x ) = a x x Entonces:
i)
ii)

f es biyectiva y continua, adems f ( x + y ) = f ( x ) f ( y ) x , y .

lim f ( x ) = 0 y

Si a > 1 f es estrictamente creciente y verifica:

lim f ( x ) = +

x +

iii) Si a < 1 f es estrictamente decreciente y verifica: lim f ( x ) = + y

x

lim f ( x ) = 0

x +

D.- Suponemos

a >1

, por i) del lema anterior

x < y ax < ay

f estrictamente

creciente
f inyectiva. Y por iii) del lema

x : a x = y f ( ) = + f es biyectiva.

Por ser f montona y su imagen un intervalo

El apartado ii) del lema

a x +y = a x a y

f es continua.

nos da que

f ( x + y ) = f ( x ) f ( y ) x , y

18

K , > 0 y f ( ) = +

Dados

M1 con f ( M1 ) > K y > 0 con f ( ) < .

Entonces :

x > M1 f ( x ) > f ( M1 ) > K lim f ( x ) = +

x +

x < f ( x ) < f ( ) < lim f ( x ) = 0

x

Si

a <1

se deduce iii) usando que

ax =
a

x .

En resumen: Cualquiera sea a + a 1 , la funcin f (x ) = a x establece un

homeomorfismo entre y + y transforma el grupo aditivo de los nmeros reales
en el grupo multiplicativo de los nmeros reales positivos.
Adems por ser f inyectiva, podemos estudiar su inversa:

3.3. Funcin logartmica.

Sea a + a 1 . Llamamos funcin logartmica de base a, loga , a la funcin
inversa de la funcin exponencial de base a. (En el sentido de la composicin de
funciones).
Es la nica funcin definida de + en que verifica a loga x = x x + .
Dado x + , la imagen de x por la funcin logartmica de base a, loga x , se

llama logaritmo en base a de x.

De las propiedades de la exponencial, deducimos:
Corolario: Dado a + a 1 y g : + g (x ) = loga x x + , la funcin

logaritmo de base a. Entonces:

i) g es biyectiva, continua y g ( x y ) = g ( x ) + g ( y ) x,y +
ii) Si a > 1 g es estrictamente creciente y verifica: lim g ( x ) = y
x 0

lim g ( x ) = +

x +

iii) Si a < 1 g es estrictamente decreciente y verifica: lim g ( x ) = + y

x 0

lim g ( x ) =

x +

19

D.- Por la propia definicin g es biyectiva, adems por se f inyectiva y continua

g es

continua.
Dados

x , y + alog x +loga y = a loga x a loga y = x y

a

El crecimiento y decrecimiento de g , se deduce por ser la inversa de f, exponencial, que es creciente

para

a >1

y decreciente para

Para

a >1

como g

a <1.

( ) = . Dados K , > 0
+

M1 , > 0 con g ( M1 ) > K y g ( ) < .

Entonces:

x > M1 g ( x ) > g ( M1 ) > K lim ( x ) = +

x +

x < g ( x ) < g ( ) < lim g ( x ) =

x 0

La funcin loga x define un homeomorfismo entre + y que transforma el

grupo multiplicativo de los nmeros reales positivos en el grupo aditivo de los
nmeros reales.

3.4. Exponencial de base e. Logaritmo neperiano.

Veremos que todas las funciones exponenciales y logartmicas se obtienen de
forma sencilla a partir de una sola funcin exponencial y una sola logartmica
respectivamente.

Proposicin: Sea a + . Entonces:

(a x )

= a xy x,y .

Adems si a 1 , se tiene: loga ( x y ) = y loga x x + y y

D.-

s , x , {rn } x , rn .

por la continuidad de la funcin exponencial de base a

{a rn } a x , tambin {a rn s } a x s ; como g : + dada por g ( x ) = x s x +

es

continua

{(a ) } = { g (a )} g (a

{sn } y , sn .

rn

rn

) = (a x )

Sea

ahora

arbitrario

Por la continuidad de la funciones exponenciales de base a y

ax

respectivamente, tenemos:

{a xs } a xy , {(a x )
n

sn

} (a

20

Como ya tenamos probado que

a xsn = (a x ) , n ( a x ) = a xy

Para demostrar la segunda parte:

Sean

sn

x + , y a y loga x = (a loga x ) = x y = a loga x

y

a , b + , a 1, b 1 . Suponemos conocidas las funciones exponencial y logartmicas de base

a. Ello nos permite conocer las de base b.

En efecto: b x = a loga b

= a x loga b

Sea ahora

x + loga x = loga (b logb x ) = logb x loga b ; como logab 0 logb x =

loga x
loga b

De esta forma podemos elegir un nmero real distinto de 1 y positivo como

base de unas funciones exponenciales y logartmicas distinguidas a cuyo
conocimiento

e = lim 1 +

se

reduce

el

de

todas

las

dems.

Este

nmero

ser:

1 1
1
+ + ... + . Su inversa, la funcin logaritmo de base e se llama
1! 2!
n ! n

logaritmo neperiano, Ln.

Como hemos visto, todas las dems exponenciales y logartmicas se deducen

de estas dos:

a x = e xLna x , a +
Corolario:

loga x =

Lnx
x + , a + {1}
Lna

- La funcin exponencial es biyectiva, continua y estrictamente

creciente de en + tal que: lim e x = 0 y lim e x = +

x

x +

- La funcin logaritmo neperiano es biyectiva, continua y

estrictamente creciente de + en tal que lim Lnx = y lim Lnx = +
x 0

Adems: e x + y = e x e y

x +

Ln (x y ) = Lnx + Lny

21

3.5. Grficas de las funciones exponenciales y logartmicas

Exponenciales.

y = f (x ) = a x
y = f (x ) = a x
a >1

a <1

Logartmicas.

y = f (x ) = logb x
b >1
y = f (x ) = logb x
b <1

22

Obtencin de la grfica de exponencial a partir del logaritmo y viceversa

por simetra con respecto a la recta y = x.

ex

y=x

Lnx

3.6. Ejemplos de aplicaciones de estas funciones en otros campos.

o Fenmenos de crecimiento y anlisis de poblaciones.
o Economa: Clculos de evolucin de los precios, inflacin, devaluacin, clculo
de intereses, etc.
o Fsica: Estudios de los elementos radiactivos y su periodo de desintegracin.
Nmero de tomos en un instante dado: N (t ) = N0e

Oscilador libre amortiguado: Cualquier oscilador en su movimiento pierde

amplitud debido al
rozamiento.
Carga de un condesador: Si tenemos abierto un circuito formado por una
resistencia, una
fuente de tensin y un condensador y lo cerramos, el condensador se carga a
travs de la
resistencia y la diferencia potencial entre sus placas vara.
Descarga de un condensador.
Ley de Lambert: El porcentaje de luz absorbida por una capa de material
translcido es proporcional al espesor de la capa.
23

Caracterstica I/V de un diodo

vv(t )

I (t ) = I 0 e T 1 ; v(t) es la tensin en los extremos. vT = kT / q

I (t )

v (t ) = vT Ln

I0

+ 1

o Biologa: Estudios de fenmenos de reproduccin. La funcin exponencial vale

para crecimientos continuos en condiciones favorables, pero no es del todo

vlida en poblaciones de animales o vegetales. El modelo ms adecuado es el
de la funcin logstica y =

1
1 + ke at

4. LMITES DE FUNCIONES REALES DE VARIABLE REAL

Uno de los lugares centrales del anlisis lo ocupa el concepto de lmite. Sobre
l se apoya todo el aparato de las demostraciones infinitesimales.
Mientras que el clculo diferencial e integral surgi en el siglo XVII, el
concepto de funcin vino a conocerse un siglo despus, los matemticos del siglo
XVIII probaron un conjunto de procedimientos para fundamentar el anlisis
infinitesimal, pero casi todos estos mtodos resultaron insatisfactorios, hasta la
llegada del limite, que entendido de una manera formal y rigurosa aparece a finales
del siglo XIX, lo cual difiere de la forma como se presenta actualmente el clculo,
en donde primero se ensean funciones, luego limites y finalmente derivadas o
integrales.
A finales del s. XVIII y principios del XIX era ms que evidente la necesidad
de construccin de la teora de lmites como base del anlisis matemtico y una
reconstruccin radical de este ltimo. Euler (1707-1783) intenta por primera vez
dar una definicin formal del concepto de funcin, antes de l, el matemtico y
filosofo francs Rene Descartes(1596-1650) mostr en sus trabajos de geometra

24

que tena una idea muy clara de los conceptos de ``variable'' y ``funcin''. Bernard
Bolzano, (1781-1848) fue el pionero en el anlisis de funciones, en sus trabajos
estudi el criterio de convergencia de sucesiones y di una definicin rigurosa de
continuidad de funciones. Estudi profundamente las propiedades de las funciones
continuas y demostr en relacin con stas, una serie de notables teoremas,
destacando el teorema de Bolzano: una funcin continua toma todos los valores
comprendidos entre su mximo y su mnimo.
En 1821, Cauchy consigui un enfoque lgico y apropiado del clculo, basando
su visin slo en cantidades finitas y el concepto de lmite.
4.1. Definiciones
Llamamos conjuntos abiertos a la familia de todas las uniones de intervalos
abiertos, junto con el conjunto vaco. Se llama entorno de un punto x a cualquier
conjunto abierto que contiene al punto. Llamamos entorno reducido de un punto x al
conjunto que resulta de suprimir el punto x en un entorno ordinario. Un punto x R
es punto de acumulacin de un subconjunto A R, si todo entorno de x contiene por
lo menos un punto de A distinto de x. Podemos llamar A` al conjunto de puntos de
acumulacin de A.
Sea f: A R (A R). Sea x0 un punto de acumulacin de A. Diremos que f tiene
como lmite el nmero real L en el punto x0 si y slo si para cada > 0 ( R) existe
> 0 ( R) tal que x R con 0 < |x x0| < y x A, se tiene que |f(x) L| < .
Si f tiene lmite L en x0, escribiremos: lim f (x ) = L , y diremos que L es el limite de
x x 0

f(x) cuando x tiende a x0 .

25

4.2. Lmites laterales

Al considerar el valor absoluto en la diferencia |x x0|, expresamos la posibilidad de el punto
x tienda hacia x0 por valores mayores o menores que x0. Pero, vamos a considerar el caso en que el
punto x permanece siempre a la derecha del x0 o siempre a la izquierda.

Sea f : A (A ) . Sea x0 un punto de acumulacin de A. Se dice que L

es el lmite por la izquierda (resp. por la derecha) de la funcin f en el punto x0

cuando

cada > 0 ( )

para

>0 ( ) tal que si 0 < x < x0 (resp .0 < x 0 < x ) y x A

f (x ) L < .
Lo representamos por: lim f (x ) = L (resp. lim+ f (x ) = L )
x x 0

x x 0

Si L es el lmite de f en x0, es evidente que L ser a la vez el lmite por la

derecha y por la izquierda; pero puede ocurrir que una funcin admita los dos lmites
laterales en x0 y que estos sean distintos, con lo cual la funcin no podr tener
lmite en x0.

Teorema.- El limite L, si existe, es nico.

D . Supongamos y dos lmites de la funcin f en x0 . Fijado >0, 1 y 2 tales que:
0< x-x0 < 1 , x A f ( x ) <

0< x-x0 < 2 , x A f ( x ) <

Sea =mnimo { 1 , 2 } , para los puntos x tales que 0< x-x0 < f ( x ) < y f ( x ) < .
y como - < f ( x ) + f ( x ) 2 = 0 =

Teorema (Criterio de Cauchy).-Para que f tenga lmite en x0,(pto de

acumulacin del dominio de definicin de f) es necesario y suficiente que cualquiera
que sea el nmero real positivo ,
+ tal que x1 , x2 A verificando x1 x 0 < , x2 x 0 < , x1 x 0 , x2 x 0 f (x1 ) f (x2 ) <

4.3. lgebra de lmites

Sean f y g funciones tales que lim f (x ) = L ; y lim g (x ) = M . Entonces se tiene:
x x 0

x x 0

26

1 ) l i m f ( x ) + g ( x ) = L + M
x x0
2 ) l i m f ( x ) g ( x ) = L M
x x0
f (x )
L
3 ) lim
;
=
x x0
M
g (x )
D . 1)

si M 0

> 0, 1 , 2 t a le s q u e 0 < x -x 0 < 1 , x A f ( x ) L <

0 < x -x 0 < 2 , x A g ( x ) M <

S e a = m n { 1 , 2 } . S i 0 < x -x 0 < , x A f ( x ) L <

f (x ) + g (x ) (L + M ) f (x ) L + g (x ) M <

g (x ) M <

2 ) y 3 ) s e d e m u e s t r a n d e f o r m a a n lo g a .

Teorema.- Sean f y g tales que lim g (x ) = x 0 ; y lim f (x ) = L . Si g es tal que g(t) es

x t0

x x 0

distinto de x0, la funcin compuesta F = f

g tendr como lmite L en el punto t0.

4.4. Lmites infinitos y lmites en el infinito

Sea f:A (A ) . Sea x0 un pto de acumulacin de A. Se dice que f tiene

como limite + (resp. ) cuando x x 0 ,

si N , , > 0, tal que f (x ) > N (resp. f(x)<N) x A con 0< x-x0 < Nota: El clculo con lmites infinitos presenta, como en el caso de las sucesiones, situaciones excepcionales en las que las
reglas ordinarias no se aplican, son las indeterminaciones

0
,
, 0( ) , + , + . Otras que pueden presentarse
0

son: 0 0 , + 0 ,1+ . En alguno de estos casos nos puede ser til la Regla de L`Hpital.

Regla de L`Hpital.- Sean f y g dos funciones reales definidas y derivables

en todos los puntos de un entorno reducido U`de un punto x0R. Supongamos que:

lim f (x ) = 0 = lim g (x ), con g(x) 0, g `(x ) 0, x U ` (O, lim f (x ) = lim g (x ) = )

x x 0

x x 0

x x 0

Entonces, para que exista: lim

x x 0

x x0

f (x )
f `(x )
,
es condicin suficiente que exista: lim
x x g `(x )
g (x )
0

y si esta condicin se verifica, los lmites, finitos o no, son iguales.

27

D . Teniendo en cuenta que f(x0 ) = g (x 0 ) = 0 y eligiendo x U`, escribimos:

f(x) f (x ) f (x 0 )
=
.
g(x) g (x ) g (x 0 )

Aplicamos la 2 versin del teorema de Cauchy al intervalo [ x0 , x ] (o al [ x,x0 ] segn se tome x)

ya que se cumplen todas las condiciones, en particular g(x)-g(x0 ) 0, porque si no g(x)=g(x0 ),
y por el teorema de Rolle, g`se anulara en algn punto en [ x0 , x ], en contra de la hiptesis de la
f(x) f (x ) f (x 0 ) f `(cx )
=
=
(1).
g(x) g (x ) g (x 0 ) g `(cx )

regla de L`Hpital. cx [ x0 , x ], tal que

Por hiptesis sabemos que lim

x x 0

f `(cx )
f `(x )
lim
?
x x g `(c )
g '(x )
x

> 0, >0, tal que x , x-x0 <

tenemos cx -x0 <
lim

x x 0

f `(x )
l < . Como cx [ x0 , x ], siempre que x-x0 <
g '(x )

f `(cx )
f `(cx )
l < lim
= l . Teniendo en cuenta la igualdad (1)
x
x

g '(cx )
g `(cx )
0

f (x )
f `(cx )
f `(x )
= lim
= lim

x
x
x
x
g (x )
g `(cx )
g `(x )
0

Teorema: Si lim f (x ) = , la funcin

x x 0

1
, definida en un entorno
f (x )

reducido de x0, tiene lmite 0 cuando x x 0 . Recprocamente, si lim f (x ) = 0 , y

x x 0

f(x) > 0 (resp. f(x) < 0) x U `Domf , con U`entorno reducido de x0,

1
= + (resp. - )
x x 0 f ( x )

lim

Sea f : A ( A , no acotado superiormente). Se dice que lim f (x ) = L

x +

si

para

cada

> 0,

, B + , tal

que

x A, x > B f (x ) L < .

Anlogamente se define el lmite de una funcin en - , si est definida en A no

acotado inferiormente.

28

5. CONTINUIDAD DE FUNCIONES REALES DE VARIABLE REAL

5.1. Continuidad de una funcin en un punto.
Sea f : A , A , A . Diremos que f es continua en un punto

x 0 A para

> 0,

cada

> 0,

tal

que

x x0 <

si

x A f ( x ) f (x 0 ) < .
Notas: 1. En la continuidad no es necesario que x0 sea punto de acumulacin, si es un punto aislado f es continua.
2. Tambin podemos hablar de continuidad por la derecha o por la izquierda de un punto.

Teorema:Sea f : A , A , A y x 0 A` (punto de acumulacin de A),

diremos que
f es continua en x0 lim f (x ) y es precisamente f(x0)
x x 0

D.- Comparamos la definicin de continuidad en un punto con la de lmite.

f : A , A , A y x 0 A`. Si f es continua en x0 y

Teorema:Sea

f (x 0 ) 0 , U entorno de x0 tal que la funcin no se anula en ningn punto x A U

y el signo de f(x) es el mismo que el de f(x0).
D.- Sea f(x0) > 0. Elegimos un entorno U de f(x0) que no contenga al 0, (basta tomar

< f (x 0 ) .

Como

es

continua:

x A f (x ) f (x 0 ) < f (x ) > 0

> 0,

x tal que x x 0 < ,

tal

que

x x0 <

si

x A . (Anlogamente para f(x0) <

0).

Teorema: Sea f : A , A , A y x 0 A`. Si f es continua en x0 y

f (x 0 ) 0 , U entorno de x0 tal que la funcin est acotada en A U .

D.-Elegimos

por

ejemplo

= 1 ha

de

existir

> 0,

x x 0 < , x A , f (x ) (f (x 0 ) 1,f (x 0 ) + 1 ) , f(x) acotada en A U

tal

que

si

5.2. lgebra de funciones continuas.

Proposicin: Sean f y g dos funciones continuas en un punto x0. Entonces:

1) f + g, f g, son continuas en x0.

2) fg continua en x0.

29

3) Si f (x 0 ) 0 . Entonces:
4) Si f (x 0 ) 0 . Entonces:

es continua en x0.

g
es continua en x0.
f

D.- Es inmediata teniendo en cuenta que le lmite de una suma, diferencia, producto o
cociente es la suma, diferencia, producto o cociente de de los lmites.

Composicin de funciones: Sea f : A B , A, B , A , B continua en

x 0 A y g : B A continua en t0 tal que t0 = f (x 0 ) B . Entonces, f

g : A es

continua en x0.
D.- Inmediata aplicando definicin de continuidad.

Sea A , A . Una funcin f : A es continua en A si es continua en

todos sus puntos.
El conjunto C(A) de todas las funciones continuas en A, con la suma y
producto de funciones, es un anillo conmutativo. Adems considerando el producto
de un nmero real por una funcin el conjunto C(A) es un espacio vectorial. Por
tanto, podemos concluir que C(A) es un lgebra.
5.3. Discontinuidades
Evitable: Si lim f (x ) = L pero f no est definida en x0 f (x 0 ) L .
x x 0

Bastara definir f (x 0 ) = L para que la funcin fuera continua en x0.

De primera especie: Si existen los lmites a la izquierda y a la derecha de x0,

pero son distintos.

Diremos que es finita si ambos lmites son finitos, e infinita si al menos uno es
infinito.
De segunda especie: cuando al menos uno de los lmites laterales no existe.

Finito cuando la funcin se conserva acotada en un entorno reducido de x0 (caso de

sen(1/x) en x0 = 0) e infinito en caso contrario.

30

5.4. Continuidad en un intervalo cerrado

Vamos a considerar A = [a , b ] .
Teorema de los ceros de Bolzano: Si una funcin f es continua en un

intervalo [a , b ] y en los extremos del intervalo toma valores de signo contrario,

entonces existe algn punto c en (a, b) tal que f(c) = 0.
D.- Supongamos que f (a ) < 0 < f (b ) . Sea A = {x [a , b ] /f (x ) < 0} . A pues a A y
est acotado superiormente por b, por tanto tiene supremo, llamamos c = supA.
i) c [a , b ] . Como c es una cota superior y adems el supremo, es la menor de las cotas
superiores, por tanto tenemos que

c b . Adems a c , pues a A a c b c [a , b ]

ii) f(c) no puede ser negativo. Si f(c) < 0 > 0 en el que x (c , c + ) y f(x) < 0.
Tomando x 0 [a , b ] tal que c < x0 < c + f (x 0 ) < 0 y c < x 0 . Tendramos que x 0 A y c < x 0 ,
contradiccin con la hiptesis de que c es el supremo de A.
iii) f(c) no puede ser positivo. Si f(c) > 0. > 0 en el que x (c , c + ) y f(x) > 0.
Tomando x 0 [a , b ] tal que c < x 0 < c ; como c es el supremo de A y x0 < c

x1 A

tal

que

x 0 < x 1 < c f ( x1 ) < 0 ,

pero

esto

no

tiene que existir un

puede

ser

porque

x1 (c , c + ) f (x1 ) > 0 .
De ii) y iii) obtenemos que f(c) = 0.

Teorema de los valores intermedios: Si f es una funcin continua en [a , b ] .

Entonces, f toma cualquier valor comprendido entre f(a) y f(b).

D.- Suponemos f (a ) < f (b ) . Sea v tal que f (a ) < v < f (b ) con g(x) = f(x) v, que es
continua en [a , b ] por ser diferencia de funciones continuas. Adems, g(a) < 0 y g(b) > 0. Por el
teorema anterior c [a , b ] / g (c ) = 0 f (x ) = v

Teorema: Si f es una funcin continua en [a , b ] , entonces f est acotada en

[a , b ] .

D.- Elegimos un

continua en

[a , b ] ,

est acotada en

x 0 ( a , b ) / f (x 0 ) 0 ,

x 0 [a , b ]` teorema

en dicho punto la funcin es continua por ser

de apartado anterior U entorno de x0 tal que f

U [a , b ] f acotada en [a , b ] .

31

Teorema de Bolzano-Weierstrass: Si una funcin f es continua en un

intervalo cerrado [a , b ] . Entonces, existe algn punto c [a , b ] tal que x [a , b ]

se verifica que f (x ) f (c ) .
O sea, que una funcin f continua en [a , b ] alcanza en algn punto c [a , b ] su valor
mximo f(c).
D.- Sea B = {f (x ) / x [a , b ]} , B B est acotado superiormente. Sea = sup B .
Queremos ver que existe al menos un punto c [a , b ] tal que f (c ) = .

Suponemos que x [a , b ] tuviramos f (c ) g (x ) =

f (x )

sera continua en [a , b ] , por ser

cociente de funciones continuas y no anularse el denominador. Como = sup B

prximos a

como se quiera, con lo que f (x ) se puede acercar a 0 todo lo que se desee

se puede hacer ms grande que cualquier nmero

g(x)

g no acotada superiormente en [a , b ] .

Contradiccin con el teorema anterior c [a , b ] para el que f (c ) =

de f en

nmeros tan

f(c) es el mximo valor

[a , b ] .

Nota: Tambin se verifica que toda funcin continua en [a,b] alcanza en algn punto de [a,b] su valor mnimo. Para demostrarlo
consideramos f.

Teorema: La imagen de un intervalo cerrado por una funcin continua es un

intervalo cerrado o un punto.

D.- f continua en

[a , b ] , con constante (si lo fuera la imagen de [a , b ] sera un punto). Sean m y M

dos puntos en los que f alanza el mnimo y el mximo respectivamente. Por el teorema anterior, f
alcanza todos los valores comprendidos entre f(m) y f(M).

Funciones uniformemente continuas: Diremos que f definida en

[a , b ]

es

uniformemente continua cuando > 0, >0 tal que para cualesquiera x1 , x2 [a , b ]

con x1 x2 < f ( x1 ) f ( x2 ) < .

Teorema: Si f es una funcin continua en un intervalo, entonces f es

uniformemente continua en dicho intervalo.
Nota: Toda funcin uniformemente continua es continua, pero lo contrario no tiene por que ser cierto.

32

6.

DERIVADA

DE

UNA

FUNCIN

EN

UN

PUNTO.

FUNCIN

DERIVADA. DERIVADAS SUCESIVAS. APLICACIONES.

El clculo diferencial e integral constituye una de las grandes conquistas
intelectuales de la humanidad. Una vez que se construy, la historia de las
matemticas ya no sera igual: la geometra, el lgebra y la aritmtica, la
trigonometra,
conceptos

se colocaran en una nueva perspectiva terica.

y mtodos

tendran

tambin

un

Los

nuevos

impacto extraordinario en la

descripcin y manipulacin de la realidad fsica.

La derivada aparece en el s. XVIII, cuando Fermat trat de determinar los
mximos y los mnimos de ciertas funciones. Observ que una curva tiene en cada
uno de sus puntos una direccin definida que puede venir dada por la tangente, y que
en aquellos puntos en los que la curva tiene un mximo o un mnimo, la tangente ha de
ser horizontal., por tanto el problema de localizar estos valores extremos se reduce
al de la localizacin de las tangentes horizontales.
Barrow fue el primero en descubrir que el problema de hallar el rea de una regin
limitada por una curva estaba ligado al de hallar la tangente en un punto de la curva.
Newton y Leibnitz fueron quienes desarrollaron esta relacin.
Aunque la derivada se introdujo inicialmente para el estudio del problema de la
tangente, pronto se vio que proporcionaba tambin un instrumento para el clculo de
velocidades, y en general, para el estudio de la variacin de una funcin.
La notacin que expresa por f la derivada de la funcin f fue introducida por
Lagrange a finales del s. XVIII, as como las derivadas de orden superior. Newton

usaba un punto, y , notacin que se sigue usando para expresar velocidades y

aceleraciones. Leibnitz usaba la notacin

y
y
.
= lim
x x 0 x

33

6.1. Concepto de derivada y funcin derivada

Sea I un intervalo abierto de , sea x 0 I , sea f:I .
Si el cociente:

f(x0 + h ) f (x 0 )

con x0 + h I , tiene lmite real cuando h 0, se

dice que la funcin f es derivable en x0. Se designa este lmite por f(x0) y leeremos
derivada de f en x0. Es decir: f '(x 0 ) = lim

f(x0 + h ) f (x 0 )

h 0

= lim

x x0

f (x ) f ( x 0 )
.
x x0

Puesto que el lmite es nico, la derivada de f en x0, si existe, es nica. Si f es

derivable en todo x 0 I , diremos que f es derivable en I.
En este caso, la funcin x f '(x ) , definida en I, recibe el nombre de funcin

derivada de f, y la representaremos por f.

Derivadas laterales

Si

f(x0 + h ) f (x 0 )

h 0+

ese

lmite

lo

f'(x0+ ) y leeremos derivada de f por la derecha en x0.

representamos por
f '(x 0+ ) = lim

tiene lmite real cuando h 0, con h>0,

f(x0 + h ) f (x 0 ) .

Anlogamente

f '(x 0 ) = lim
h o

se

define

la

derivada

de

por

la

izquierda:

f(x0 + h ) f (x 0 )

Evidentemente, en todo punto x0 de I, f es derivable si y slo si existen las

derivadas laterales y coinciden.

Teorema: Sea I un intervalo abierto de , x 0 I y f:I . Si existe f(x0),

entonces f es continua en x0.
D . f (x 0 + h ) f (x 0 ) = h

f(x0 + h ) f (x 0 )

lim (f (x 0 + h ) f (x 0 ) ) = 0f '(x 0 ) = 0 f
h 0

continua en x0.

Notas: 1) En la definicin no admitimos que el lmite sea infinito, pues 0, no nos dice nada.
2) El recproco del teorema no es cierto, por ejemplo f (x ) = x , en x0 = 0 es continua, pero
no derivable.

34

6.2. Interpretacin geomtrica de la derivada

Las coordenadas de los puntos P y Q son
resp. (a, f(a)) y (a+h, f(a+h)).
Q(a+h,f(a+h)) En

el

tringulo

rectngulo

cuya

hipotenusa es PQ, la altura es f(a+h)-f(a)

f(a+h)-f(a)
1
P

ordenadas de los dos puntos P y Q.

En consecuencia, el cociente

y representa la diferencia de las

f (a + h ) f (a )
, representa la tangente trigonomtrica
h

del ngulo que forma PQ con la horizontal. El nmero real tg, se denomina
pendiente de la curva entre P y Q y da un mtodo para valorar la inclinacin de esta
lnea.

Ecuacin de la recta tangente: Dada la funcin f, la ecuacin de la recta

tangente en x0, es: y y 0 = f '(x 0 )(x x 0 ) , siendo f(x0) la pendiente de la tangente
a la curva de ecuacin y=f(x) en el punto (x0, f(x0)).

6.3. Clculo de derivadas

Funcin constante: x I

f (x ) = c f '(x 0 ) = 0 x0 I

f (x 0 + h ) f (x 0 )
c c
= lim
= 0 f (x ) = x f '(x ) = 0 x I
h 0
h 0 h
h

D . f '(x 0 ) = lim

Funcin identidad: x I f(x) = x f'(x0 ) = 1 x0 I

x0 + h x0
h
= lim = 1; x I f(x)=x f'(x)=1
h 0
h 0 h
h

D . f '(x 0 ) = lim

Funcin suma: Sean f y g funciones reales definidas en un cierto intervalo I.

Si f y g son derivables en x0 I , se tiene: (f + g )'(x 0 ) = f '(x 0 ) + g '(x 0 )
D . (f + g )'(x 0 ) = lim

h 0

(f + g )(x 0 + h ) (f + g )(x 0 )

= lim

h 0

f (x 0 + h ) + g (x 0 + h ) f (x 0 ) g (x 0 )
=
h

35

lim

h 0

g (x 0 + h ) g (x 0 )
f (x 0 + h ) f (x 0 )
+ lim
= f '(x 0 ) + g '(x 0 ) (f + g )'(x ) = f '(x ) + g '(x ) x I
0
h

h
h

Funcin producto: Sean f y g funciones reales definidas en un intervalo

abierto

I,

si

son

(f g )'(x ) = f '(x ) g (x ) + f (x ) g '(x )

D . (f g )'(x 0 ) = lim

x x 0

derivables

en

I,

se

tiene:

x I

(f g )(x ) (f g )(x 0 )
f (x ) g (x ) f (x 0 ) g (x 0 )
= lim
=
x

x
0
x x0
x x0

f (x ) g (x ) f (x 0 ) g (x ) + f (x 0 ) g (x ) f (x 0 ) g (x 0 )
f (x ) f (x 0 )
= lim
lim g (x ) +
x x
x x
x x
x x0
x x0
g ( x ) g (x 0 )
+f (x 0 ) lim
= f '(x 0 ) g (x 0 ) + f (x 0 ) g '(x 0 ) (f g )'(x ) = f '(x ) g (x ) + f (x ) g '(x ) x I
x x
x x0
lim

Funcin cociente:
1) Sea f una funcin real definida en un cierto intervalo abierto I. Si f es
1
derivable en x 0 I y f(x0 ) 0 , se tiene:
f

'

f '(x 0 )

(x 0 ) =
2

f (x 0 )

D.- Es anloga a la del producto, teniendo en cuenta que f es continua en x0, por ser derivable en x0,
y al ser

f(x0 ) 0 , es f(x) 0 en un cierto entorno de x0

2) Sean f y g funciones reales definidas en un cierto intervalo abierto I. Si f

son

derivables

en

x 0 I y g(x0 ) 0 ,

se

tiene:

'

f
f '(x 0 ) g (x 0 ) f (x 0 ) g '(x 0 )
(x 0 ) =
2
g
g (x 0 )
D.- Aplicamos la derivada de un producto y el resultado anterior

Regla de la cadena: Sean I y J dos intervalos abiertos de nmeros reales.

Sean una funcin f : I , f derivable en x0 I . Sea g:J , con f(I) J ,
g derivable en y0 = f (x 0 ).
Entonces, g f es derivable en x0 , y se tiene: ( g f )'(x 0 ) = g '(f (x 0 ))f '(x 0 )

36

 g(y)-g(y0 )
g '(y 0 )

y y0

si

D . h : J , definida por: h(y)= y y 0

es inmediato comprobar
0
si y = y0

que h es continua en y0 . Al ser f continua en x0 , por ser derivable en x0 , la funcin h f es continua

en x0 , siendo: lim (h f )(x ) = h (f (x 0 )) = h (y 0 ) = 0
x x 0

(g

1) Si f(x)=f(x0 ) es ( g f ) (x ) ( g f ) (x 0 )
2) Si f(x) f(x0 ) es g(f(x))-g(f(x0 )) = h (f (x )) + g '(y 0 ) f (x ) f (x 0

f ) (x ) ( g f ) (x 0 ) = g (f (x )) g (f (x 0 )). Entonces:

En ambos casos podemos poner: ( g f ) (x ) ( g f ) (x 0 ) = (h f ) (x ) + g `(y 0 ) f (x ) f (x 0 )

( g f ) (x ) ( g f ) (x 0 ) = lim h f (x ) + g '(y ) lim f (x ) f (x 0 ) = g '(y )f '(x ), puesto que
( g f )'(x 0 ) = xlim
(
)
0
0
0
x 0
x x 0
x x 0
x x
x x
0

h(f(x0 )) = h (y 0 ) = 0

Funcin

inversa: Sea

f :I

continua e inyectiva sobre I, con

f '(x 0 ) 0, en x0 I . Entonces, la funcin inversa f 1 : f (I ) es derivable en

y0=f(x0), siendo: (f 1 )(y 0 ) =

1
1

f '(f (y 0 ))

1
f '(x 0 )

D.- Podemos demostrarla aplicando la regla de la cadena a

(f f 1 )(x ) = x .

O bien: D.- La existencia de f-1 es consecuencia de que f sea continua e inyectiva. f es un

homeomorfismo entre I y f(I). En particular para cada

Sobre f(I)- {y 0 } definimos la funcin: y (y)=

y f (I ) x I , tal que f(x)=y .

f-1 (y ) f 1 (y 0 )
y y0

Anlogamente, sobre I- {x0 } definimos la funcin x (x)=

x-x0
f(x)-f(x0 )

Evidentemente sobre f(I)- {y 0 } se verifica (y)=( f-1 )(y ). Teniendo en cuenta adems que
lim f 1 (y ) = f 1 (y 0 ) = x 0 , y que lim (x ) = lim

y y0

x x 0

x x0

f (x ) f (x 0 )
x x0

1
pues f'(x0 ) 0, resulta:
f '(x 0 )

f-1 (y ) f 1 (y 0 )
1
1
1
= lim (y)= lim ( f-1 )(y ) = lim (x ) =
=
=
1
y y 0
y
y
y
y
x
x

0
0
0
y y0
f '(x 0 ) f '(f (y 0 )) (f ' f 1 )(y 0 )

(f-1 )(y 0 ) = lim

Funcin logartmica: Sea f (x ) = loga x , a , a > 1, a 1, x0 + . Entonces:

f '(x 0 ) =

loga e

x0

37

x +h
h
1
= lo ga 1 +
D . f ( x 0 + h ) f ( x 0 ) = lo ga ( x 0 + h ) lo ga x 0 = lo ga 0
= lo ga 1 + x
x0
x
0
0

f (x 0 + h ) f (x 0 )
1
1
= lo ga 1 +
x0
h
h

1 x0
lo ga
=
x
0 h

1
1 + x
0

f (x 0 + h ) f (x 0 )
1
1
f '( x 0 ) = lim
=
lim lo ga 1 +
x0
h0
h
x0 h0

1
lo ga
=
x
0

x0

1
1 + x
0

x0

1
1
lo ga lim 1 +
=
x
h0
x
0
0

x0

1
lo ga e
=
x
0

Funcin logaritmo neperiano: Sea f(x) = Ln(x), y x 0 + . Entonces:

f '(x 0 ) =

Adems:

x0

( Lnf (x 0 ) )' =

f '(x 0 )
f (x 0 )

D.- Fcil aplicando la regla de la cadena:

( Lnf (x 0 ) )' = Ln '(f (x 0 ))f '(x 0 ) =

f (x 0 )

f '(x 0 )

Funcin exponencial: Sea f (x ) = a x , a , a > 0, x0 . Entonces:

f '(x 0 ) = a x Lna
0

D . Aplicamos lo anterior teniendo en cuenta que: x=alog x ; logaa x = x

a

Funcin potencial: Sea f (x ) = x . Entonces:

f '(x 0 ) = x 0 1 , x0 > 0, x 0
D . Los valores que toma f(x)=x son nmeros reales positivos; por tanto, su logaritmo es otra
funcin real, y se tiene que: Lnf(x) = Lnx. Derivando ambos miembros en x0 :
f '(x 0 ) = x 0

x0

f '(x 0 )
1
=

f (x 0 )
x0

= x 0 1

Funciones trigonomtricas: Sea f (x ) = senx , con x0 . Entonces, se tiene

que f '(x 0 ) = cos x 0

38

2
Si f(x) = cosx f'(x) = -sen x x ; Si f(x) = tgx f'(x)=1+ ( tgx ) ; x + 2k , + 2k
2
2

f (x ) = arcsenx f '(x ) =
f(x) = arctgx f'(x)=

1
1x

; x ( 1,1 ) ;

f(x)=arccos f'(x)=

1
1x2

; x ( 1,1 ) ;

1
; x
1+x2

D . Lo demostramos para el seno, con el coseno se hace de forma anloga.

x x0
x + x0
Sabemos que: senx - senx0 = 2sen
cos
. Dividiendo ambos miembros por x-x0 , con x x0 :
2

x x0

sen
senx senx 0
2
=2
x x0
x x0

cos

en el punto x0 , tenemos: lim

x x 0

x + x0
2

, como lim

x x 0

sen

x x0
2

x x0
2x 0

x + x0
1
, y pos ser la funcin cos
continua
2
2

1
senx senx 0
= 2 cos
= cos x 0
2
2
x x0

6.4. Derivadas sucesivas. Teorema de Leibnizt.

Sea I un intervalo abierto de , x0 y f:I , derivable en x0, a la
derivada (f)(x0) se le llama derivada segunda de f en x0 y se designa por f(x0).
Si x I f''(x) , la funcin que asigna a cada x el nmero f(x), de I en ,
se llama la derivada segunda de f en I.
En general, definidas las funciones f1)=f, f2)=f,...,fn)=(fn-1)) de I en ,
diremos que fk) es la funcin derivada k-sima (o derivada de orden k) de f en I.
Teorema. Frmula de Leibnizt: Sean f y g dos funciones con derivada nsima en el intervalo abierto I. Entonces fg tiene derivada n-sima en I, y se

n
n
n 1) n 1)
verifica que: (fg )n ) = f n ) g + f n 1) g 1) + f n 2) g 2) + ... +
+ fg n )
f g
1
2
n

D . Induccin sobre n: Para n=1 es correcta, pues la derivada de orden 0 de una funcin es la
misma funcin: f0) = f ; g 0) = g .
Supongmosla cierta para n = k. Podemos poner: (fg)k) =

r=0

r f k

r )

g r ).

Demostraremos que es cierta para n=k+1.

39

En efecto: (fg)k+1) =((fg)k) )=

Se obtiene: (fg)k+1)

r=0

r f k

r +1)

k k k + 1
g r ) + f k r ) g r +1) . Usando que: +
=

p p 1 p

k + 1 k +1 r ) r )
=
g
f
r =0 r

k +1

6.5. Aplicaciones
La existencia y el signo de la derivada de una funcin real en un punto dan
informacin sobre el comportamiento de la funcin en un entorno de dicho punto.
6.5.1. Aplicaciones al estudio local de una funcin
Crecimiento y decrecimiento
Sea f : I , I intervalo abierto, x0 I , se dice que f es
estrictamente creciente en el punto x0 cuando
f(x2)

un entorno U del punto x0 (intervalo abierto que contiene al punto), f(x0)

f(x1)
U I,

tal que

f (x1 ) < f (x 0 ) < f (x2 ) x1 , x2 U con x1 < x 0 < x2 .

1
1
x1

x0

x2

Sea f : I , I intervalo abierto, x0 I , se dice que f es

estrictamente decreciente en el punto x0 cuando

f(x1)

un entorno U del punto x0 (intervalo abierto que contiene al punto),

U I, tal que f (x1 ) > f (x 0 ) > f (x2 ) x1 , x2 U con x1 < x 0 < x2 .

f(x0)
1
f(x2)
1

Una funcin es montona cuando es creciente o decreciente.

x1

x0

x2

Nota: Una funcin puede ser creciente o decreciente en un punto y no serlo en ningn intervalo que lo
contenga.

Teorema:
1) Sea f una funcin real derivable en un punto x0. Si f es creciente en
x0 f '(x 0 ) 0 .
Si f(x0) > 0 entonces f es estrictamente creciente.
2) Sea f una funcin real derivable en un punto x0. Si f es decreciente en
x0 f '(x 0 ) 0 .

40

Si f(x0) < 0 entonces f es estrictamente creciente.

D . S i f es crecien te en el pun to x 0

f (x ) f (x 0 )
f (x ) f (x 0 )
0, para x U si lim
, es
x

x
x x0
x x0
0

d ecir, si f'(x 0 ) f '(x 0 ) 0

Igual pa ra d ecrecim ien to y crecim ien to y d ecrecim ien to estricto.

Mximos y mnimos
Sea f : I , I intervalo abierto, x0 I . Se dice que la funcin tiene
mximo

relativo

en

el

punto

x0

cuando

un entorno U de x0 , U I, tal que se verifica f(x) f(x0 ) x U .

Sea f : I , I intervalo abierto, x0 I . Se dice que la funcin tiene mnimo
relativo

en

el

punto

x0

cuando

un entorno U de x0 , U I, tal que se verifica f(x) f(x0 ) x U .

En cualquiera de los dos casos se dice que f tiene un extremo relativo en x0.
Si las desigualdades son estrictas se dice que el extremo es estricto.
Si la funcin f es derivable en el punto x0 y tiene un extremo relativo en
dicho punto f '(x 0 ) = 0 . Si fuese f '(x 0 ) > 0 o f '(x 0 ) < 0 la funcin sera
estrictamente creciente o decreciente, y no podra tener en l un extremo relativo.
Teorema de Rolle: Sea f continua en un [a,b] y derivable en I=(a,b) y tal que
f(a) = f(b). Entonces existe al menos un x 0 I tal que f'(x0 ) = 0 .
D . Por ser f continua en [a,b], por el teorema de Bolzano-Weierstrass existen puntos del intervalo
en los que f alcanza su mximo M y su mnimo m:
Si M=m f es constante f'(x)=0 x [a,b]
Si M m M o m es distinto de f(a)=f(b). Supongamos m f(a)=f(b) (el caso M f(a)=f(b) es anlogo.
Por el teorema de Bolzano x0 I tal que f(x0 ) = m la funcin tiene un mnimo relativo f'(x0 ) = 0.

Teorema del Valor Medio: Sea f continua en un [a,b] y derivable en I=(a,b),

entonces existe un x 0 I tal que f(b)-f(a)=(b-a)f'(x0 ).

41

D . Sea g definida en [a,b] por g(x) =[f(b)-f(a)]x-(b-a)f(x). g cumple las condiciones del teorema
de Rolle x0 I tal que g'(x0 ) = 0. Pero g'(x0 ) = [f(b)-f(a)]-(b-a)f'(x0 )=0 f'(x0 )=

f(b)-f(a)
.
(b-a)

La interpretacin geomtrica de este teorema es que

f(b)

existe un punto donde la tangente a la funcin es paralela

f(a)

a la secante que une los puntos (a,f(a)) y (b, f(b)).

1
1
a

x0

Teorema de Cauchy: Sea f y g funciones continuas en [a,b] y derivables en

I=(a, b). Entonces: x 0 I tal que f'(x0 )[ g (b ) g (a )] = g '(x 0 )[f (b ) f (a )].

D . Sea h definida en [a,b] por h(x) =[f(b)-f(a)]g(x)-[g(b)-g(a)]f(x). h cumple las condiciones del teorema
de Rolle x0 I tal que h'(x0 ) = 0. Pero h'(x0 ) = [f(b)-f(a)]g'(x0 )-[g(b)-g(a)]f'(x0 )=0
f'(x0 )[g(b)-g(a)]=g'(x0 )[f (b ) f (a )]

Concavidad y convexidad
Sea f definida en un intervalo abierto centrado en x0. Supongamos que existe
f continua en dicho intervalo. Entonces:

f ''(x 0 ) > 0 f es convexa en x0

f ''(x 0 ) < 0 f es cncava en x0
f ''(x 0 ) = 0 y f '(x 0 ) 0 En x0 hay un punto de inflexin
Clculo de lmites
Regla de L`Hopital: Sean f y g dos funciones reales definidas y derivables en
todos

los

puntos

de

un

entorno

reducido

de

x0 .

Supongamos

que

lim f (x ) = 0 = lim g (x ) y que g (x ) 0 y g '(x ) 0 x en dicho entorno. Entonces

x x 0

x x 0

para que exista lim

x x 0

f (x )
f '(x )
es condicin suficiente que exista lim
, y si esta
x

x
g (x )
g '(x )
0

condicin se verifica, dichos lmites son iguales.

42

D . Teniendo en cuenta que f(x0 ) = g (x 0 ) = 0 y eligiendo x U`, escribimos:

f(x) f (x ) f (x 0 )
=
.
g(x) g (x ) g (x 0 )

Aplicamos la 2 versin del teorema de Cauchy al intervalo [ x0 , x ] (o al [ x,x0 ] segn se tome x)

ya que se cumplen todas las condiciones, en particular g(x)-g(x0 ) 0, porque si no g(x)=g(x0 ),
y por el teorema de Rolle, g`se anulara en algn punto en [ x0 , x ], en contra de la hiptesis de la
f(x) f (x ) f (x 0 ) f `(cx )
=
=
(1).
g(x) g (x ) g (x 0 ) g `(cx )

regla de L`Hpital. cx [ x0 , x ], tal que

Por hiptesis sabemos que lim

x x 0

f `(cx )
f `(x )
lim
?
x x g `(c )
g '(x )
x

> 0, >0, tal que x , x-x0 <

tenemos cx -x0 <
lim

x x 0

f `(x )
l < . Como cx [ x0 , x ], siempre que x-x0 <
g '(x )

f `(cx )
f `(cx )
l < lim
= l . Teniendo en cuenta la igualdad (1)

x
x
g '(cx )
g `(cx )
0

f (x )
f `(cx )
f `(x )
= lim
= lim
g (x ) x x g `(cx ) x x g `(x )
0

6.5.2. Otras aplicaciones

Velocidad instantnea de un movimiento rectilneo
Si s(t) da la posicin en el instante t de un objeto que se mueve en lnea
recta, la velocidad media del objeto en el intervalo

[t , t ] se define por:

s s (t + t ) s (t )
=
t
t
La velocidad instantnea o simplemente la velocidad del objeto en el instante t se
define por:

v (t ) = lim =
t 0

s (t + t ) s (t )
= s '(t )
t

Aceleracin en un movimiento rectilneo

Si s(t) da la posicin en el instante t, de un objeto en movimiento rectilneo, se
define su aceleracin en el instante t por: a(t) = s(t). Luego a(t) = v(t).

43

7.

ESTUDIO

GLOBAL

DE

FUNCIONES.

APLICACIONES

LA

REPRESENTACIN GRFICA DE FUNCIONES.

Aunque la grfica de una funcin es un conjunto de puntos, no es un buen
sistema para representarla obtener las coordenadas de muchos puntos de la misma,
el tiempo empleado en hacerlo sera excesivo y esos puntos casi con seguridad
seran insuficientes para representarla como es en realidad la funcin.
Vamos a estudiar propiedades de las funciones como la continuidad,
derivabilidad,

crecimiento,

decrecimiento,

curvatura,

etc,

nivel

global,

desarrollando el tema de forma similar a lo que hacemos cuando queremos realizar

el estudio y representacin de funciones.
Newton y Leibnitz, bsicamente, fueron los responsables del desarrollo del
clculo integral logrando fundirlo con el diferencial, cuya idea central es la nocin de
derivada. sta, igual que la integral, fue originada por un problema de geometra,
(hallar la tangente a una curva en un punto), pero aparece ms tarde en la historia
de las matemticas. El concepto no se formul hasta el s. XVIII cuando Pierre de
Fermat trat de determinar los mximos y mnimos de ciertas funciones. Observ
que una curva tiene en cada uno de sus puntos una direccin definida que puede
venir dada por la tangente y en los puntos en que la curva tiene mximo o mnimo la
tangente ha de ser horizontal.
El intento de resolver este problema llev a Fermat a descubrir algunas ideas
sobre la nocin de derivada.
El primero en descubrir la conexin entre el problema de hallar el rea de una
regin limitada por una curva y el de hallar la tangente a la curva fue Barrow (16301677). Pero,

Nexton y Leibnitz fueron los primeros que comprendieron la

importancia de esta relacin.

La nocin de derivada en un punto tiene, como la continuidad, un carcter
local, pues solo se hace intervenir valores de la funcin en un entorno tan reducido
44

como se quiera, se pueden encontrar funciones crecientes en un punto y no

crecientes en un intervalo, pero nosotros nos vamos a ocupar como ya hemos dicho
del carcter global de las funciones.
7.1. Dominio de Definicin.
Sea f : A una funcin real de variable real. El dominio de una funcin
o campo de existencia de dicha funcin es el conjunto de valores de x A , para los
cuales existe f(x). Se representa por Dom(f).
7.2. Continuidad y Derivabilidad.
Para estudiar la continuidad de una funcin de forma global, es ms cmodo
utilizar la siguiente definicin.
Una funcin f : A , real de variable real es continua en un punto x0, si

se verifica:
1) x 0 Dom (f ) y f (x 0 )
2) lim f (x ) = lim+ f (x ) lim f (x )
x x 0

x x 0

x x 0

3) f (x 0 ) = lim f (x )
x x0

Diremos que una funcin es continua

en todo su dominio si lo es en x,

x Dom (f ) .
Una funcin no ser continua cuando no verifique alguna de las condiciones
anteriores.
Estudiaremos pues, tanto la continuidad de una funcin en todo su dominio
como los tipos de discontinuidades que presenta.
Estudiaremos la derivabilidad de una funcin estudiando previamente las
derivadas laterales de una funcin en cualquier punto de un intervalo abierto I de
, y viendo que stas coinciden. Aplicaremos los teoremas correspondientes, vistos

en los apartados dedicados a continuidad y derivabilidad para dicho estudio. As

45

mismo haremos uso de la recta tangente para ver el comportamiento de la funcin

en distintos puntos.
7.3. Puntos de Corte con los Ejes de Coordenadas.
Sabemos que el eje de abcisas tiene de por ecuacin y = 0 por tanto, los
puntos de la funcin que cortan a dicho eje son aquellos que verifican la
ecuacin: f (x ) = 0 . Tipo (x, 0)
Si 0 Dom (f ) entonces la funcin tambin cortar al eje de ordenadas,

siendo (0, f(0)) el punto de corte.

7.4. Simetras.

Una funcin f se dice par si f(x) = f(-x) , x Dom (f ) ,

y decimos que su grfica es simtrica respecto del eje OY.

Una funcin f se dice impar si f(x) = -f(-x) ,

y decimos que su grfica es simtrica
respecto al origen de coordenadas.
7.5. Periodicidad.

Una funcin es peridica si p , p > 0 tal que f (x + p ) = f (x ) para

cualquier x. Es decir su grfica se repite cada tramo de longitud p.
Luego f (x ) = f (x + p ) = f (x + 2p ) = f (x p ) = ... = f (x + kp ) . A este valor p le
llamamos periodo.
De este modo es suficiente representar el trozo de grfica correspondiente al
intervalo [a, a + h]
el resto se obtiene por traslacin horizontal.
7.6. Crecimiento y Decrecimiento.

Estudiaremos la monotona de una funcin en todos los puntos de la grfica de

la funcin.

46

Adems de los teoremas destacados en el apartado correspondiente a

derivabilidad podemos aadir el siguiente para funciones constantes.
Teorema: Una funcin f definida en un intervalo [a, b] es constante

f `(x ) = 0 x [a,b]

D. ) Obvia. Si f(x) = k f`(x) = 0 x

T.V.M. en [x0 ,x1 ]

) Sea f definida en [a, b] tal que f`(x) = 0 x [a,b]. Sean x0 ,x1 [a, b]

f`(c)=

c [x0 ,x1 ] tal que

f(x1 ) f (x 0 )
=0 x1 =x0 . f no puede tomar valores distintos en dos puntos f constante
x1 x 0

9. Mximos y mnimos

Adems de estudiar los extremos relativos, estudiaremos tambin los

absolutos:
Un punto x = a tal que f(a) f(x) x Domf recibe el nombre de mximo
absoluto de f(x) y no tiene por que ser nico.

Un punto x = a tal que f(a) f(x) x Domf recibe el nombre de mnimo

absoluto de f(x) y no tiene por que ser nico.
10. Comportamiento de una curva respecto de su tangente. Concavidad y
Convexidad. Puntos de Inflexin.

Aplicacin geomtrica de la frmula de Taylor.

Sea f una funcin real de variable real con derivada n-sima continua en un intervalo
I y sea a un punto interior a I. Sea la grfica G de la funcin en el plano 2 .
Vamos a estudiar la posicin relativa de la grfica en un entorno del punto a
respecto de la tangente a ella en el punto Ma = (a ,f (a )) .
La ecuacin de la recta tangente a G en Ma es y = f (a ) + f `(a )(x a ) . Estudiaremos
la funcin:
(x ) = f (x ) f (a ) f `(a )(x a ) entre las ordenadas de la curva y la tangente, para

x en un entorno de a.
47

Aplicando la frmula de Taylor con el resto de Lagrange y colocndolo en el lugar de

las

derivadas

m-simas

1
2

m n (x ) = f ''(a )(x a )2 +

1
1
f '''(a )(x a )3 + ... + f (m ( )(x a )m
3!
m!

con
para

I tal que a < x a . ( a , si x a) .

Podra ocurrir que

f ''(x ) = 0,f '''(x ) = 0,.... . Suponemos entonces que f (k es la

derivada de menor orden (a partir del segundo) de la funcin f que no se anula en a

para m = k tendremos:

(x ) =

k!

f (k ( )(x a )k . Como f (k es continua y f (k (a ) 0 U entorno de a

donde f (k (x ) tiene el mismo signo que f (k (a ) signo (x ) = si gno [f (k (a )(x a )k ]

x U , x a .

Pueden presentarse los siguientes casos:

k

1) k par y f (k (a ) > 0 ( x a ) > 0 y (x ) > 0 La curva G

permanece por encima de su tangente en Ma que tiene su abcisa en U.
Diremos por tanto que la curva es convexa en un entorno de U.
k

2) k par y f (k (a ) < 0 ( x a ) > 0 y (x ) < 0 x U x a G

permanece por debajo de su tangente en Ma en los puntos de abcisa en U.
Diremos que la curva es cncava en un entorno de U.
3)

impar

f (k (a ) > 0

( x a )k < 0 si x < a (x ) < 0 para x U con x < a

y
k
( x a ) > 0 si x > a (x ) > 0 para x U con x > a
G atraviesa a su tangente en el punto Ma ,
permaneciendo por debajo a la izquierda del punto
y por encima a la derecha en los puntos de G que tienen su abcisa en U.

48

Decimos que el punto Ma es un punto de inflexin.

4)

impar

f (k (a ) < 0

( x a )k < 0 si x < a (x ) > 0 para x U con x < a

k
( x a ) > 0 si x > a (x ) < 0 para x U con x > a
La curva atraviesa a su tangente en Ma por encima de ella
a la izquierda y por debajo a la derecha. Ma
vuelve a ser un punto de inflexin.

Teorema: Sea f suficientemente derivable, tiene un punto de inflexin en a

f ''(a ) = 0 y el orden de la derivada de menor orden que no se anula en a es

impar.
Teorema: Sea f suficientemente derivable, tiene un extremo relativo estricto en a

f '(a ) = 0 y el orden de la derivada de menor orden (k) que no se anula en a es

par.
Si f (k (a ) > 0 tendremos un mnimo relativo.
Si f (k (a ) < 0 tendremos un mximo relativo.
Nota: 1) Para que los teoremas anteriores puedan aplicarse se requiere que

f (k (a )

no se anule para todo k.

2) Una funcin puede alcanzar un extremo relativo en un punto en el cual no sea derivable, an teniendo derivadas en l, o en
un punto donde ni siquiera sea continua.

11. Ramas Infinitas: Asntotas y Ramas Parablicas.

Sea f una funcin real definida en un intervalo abierto I. Sea G la grfica de esta
funcin o sea, de la curva y = f(x), respecto del sistema de referencia ortonormal
del plano 2 . G = {( x ,f (x ) ) / x Dom (f )}
Si existen puntos (x,f(x)) de la curva G cuya distancia al origen sea mayor que
cualquier nmero prefijado, se dice que G posee ramas infinitas.

49

11.1. Asntotas.
Si G tiene ramas infinitas, se llaman asntotas a las rectas del plano 2 tales que la
distancia a ellas de los puntos (x, f(x)) de la grfica tiende a 0 cuando estos puntos
se alejan infinitamente del origen.
Asntotas verticales: Para f definida en un intervalo I con I=(a,b) (b,a) (a + )
(- ,a) .
Si lim f (x ) = o lim+ f (x ) = .
x a

x a

Decimos que la recta x = a es una asntota vertical de f.

Los signos de estos lmites nos informarn en cada caso
concreto de la posicin de la curva respecto a la asntota.

Asntotas horizontales: Para f definida en un intervalo I con a I .

Si lim f (x ) = n . Entonces diremos que la recta

x

y = n es una asntota horizontal de f.

Si x > f (x ) > n la rama infinita queda por encima de su asntota.

Si x > f (x ) < n la rama infinita queda por debajo de su asntota.

Nota: A veces no queda ni por encima ni por debajo, como ocurre con y = (senx)/x.

Asntotas oblicuas: En los casos anteriores solo una de las coordenadas del punto

de G tenda a . Las ramas infinitas que vemos ahora son aquellas en las que las
dos coordenadas del punto de G, variable en la curva tienden a .
Suponemos que lim f (x ) = (tambin puede ser lim f (x ) = ).
x +

f (x )
= m 0 y es finito, se dice que y = f(x)
x + x

Si lim

tiene una direccin asinttica que es la recta de ecuacin y = mx .

Si adems lim (f (x ) mx ) = n 0 y es finito, se dice que G
x +

50

tiene como asntota a la recta de ecuacin y = mx + n .

D.-

( ( x ,f (x ) ), mx + n ) =

m,n s de 0 tales que lim d

x

f (x ) ( mx + n )
1 + m2

lim d
x

( ( x ,f (x ) ) , mx + n ) = 0 .

( ( x ,f (x ) ), mx + n ) = 0 y = mx + n

Recprocamente,

si

es una asntota, pues la distancia del punto a

la recta tiende a 0 cuando x tiende a .

11.2. Ramas parablicas.

y = x
Suponemos que lim f (x ) = .
x

f (x )
= 0 . Se dice que y = f(x) tiene una
x x

Si lim

rama

parablica

en

la

direccin

del

eje

OX

cuando

x .

y = x2

Si lim

f (x )
= . Diremos que y = f(x) tiene una
x

rama parablica en la direccin del eje OY cuando x .

Cuando la curva tiene una direccin asinttica y = mx m 0 ,
pero lim (f (x ) mx ) = . Se dice que y = f(x) tiene una rama parablica en la
x

direccin y = mx cuando x .

y= 3x +logx tiene una rama en la direccin de y=3x

51

Notas: 1) Una curva puede no tener direcciones asintticas. y= x(3+cosx) , no existe lim f (x )
x +

2) An teniendo una direccin asinttica, una curva puede no presentar ni asntota ni rama parablica. No existe

lim

((3x + cos x ) ) 3x )

12. Representacin Grfica de Funciones.

Como culminacin del estudio de las propiedades de la funcin real f suele hacerse
la representacin de la grfica G.
Conviene proceder metdicamente estudiando:
1) Dominio. Son interesantes los casos en los que la expresin analtica de la
funcin contenga races o logaritmos, que puedan dar lugar a valores complejos y no
reales de f(x).
2) Campos de Continuidad. Puntos del dominio donde f es continua. Puntos de
discontinuidad y naturaleza de sta.
3) Campos de derivabilidad. Puntos del dominio donde f es derivable
4) Cortes con los ejes cartesianos. f(x) = 0 y x = 0
5) Simetras y Periodicidad. Ser simtrica respecto al eje OY, (simetra par),
geomtricamente significa que si doblamos el plano respecto de dicho eje ambos
trozos de la grfica se superponen. Serlo respecto al origen, (simetra impar),
significa que si doblamos el plano respecto al eje de ordenadas, y a continuacin
respecto al eje de abcisas, las grficas se superponen.
En general, para que una funcin sea simtrica, par o impar, debe cumplirse que el
conjunto Domf sea simtrico respecto del punto x = 0.
Ejemplos de funciones peridicas las trigonomtricas.

6) Extremos relativos. Puntos de Inflexin. Los puntos del dominio de f(x) que
hay que considerar a la hora de buscar mximos y mnimos, ya sean relativos o
absolutos, deben cumplir alguna de las siguientes condiciones:
1) Sean puntos crticos de f, es decir, sean solucin de la ecuacin f(x) = 0.
52

2) Si Dom f = [a,b], entonces los puntos x = a y x = b.

3) Los puntos del Domf en los que la funcin f(x) no sea derivable.
Para buscar los puntos de inflexin estudiaremos los puntos en los que f(x) = 0.
7) Intervalos de crecimiento y decrecimiento. Para determinarlos en una funcin
derivable:
1) Buscamos los puntos crticos.
2) Estudiamos el signo de f en cada subintervalo determinado por dos puntos
crticos

consecutivos.

8) Convexidad y concavidad. Estudiamos la posicin de la curva respecto a su

tangente. Para hallar los intervalos de convexidad y concavidad:
1) Se localizan los puntos en los que f se anula o donde no est definida.
2) Se consideran los subintervalos determinados por dos puntos consecutivos
de los

determinados anteriormente.

9) Ramas infinitas: asntotas y ramas parablicas. Se hallan las ecuaciones de las

asntotas y se estudia la posicin de la curva respecto a ellas. Se hallan las ramas
parablicas y se ve la direccin que sigue la curva.
10) Puntos de interseccin de la curva con las asntotas.
11) Trazado de la grfica.

53