Cadenas Reinaldo

UNIVERSIDAD DE LOS ANDES
FACULTAD DE HUMANIDADES Y EDUCACIN

ESCUELA DE EDUCACIN
, ,
TOPICOS EN ANALISIS
,
MATEMATICO
TRABAJO DE ASCENSO PRESENTADO
POR EL MAGISTER REINALDO CADENAS
PARA OPTAR A LA CATEGORA DE
PROFESOR ASOCIADO
MRIDA - VENEZUELA
1997
A Isaura y Reina Isamar.
A mi padre y abuelos.
A la memoria de mi abuela
y hermana.
Contenido
Introduccin 1
CAPITULO 1 Preliminares 1
CAPITULO 2 Sucesiones: de Cauchy, equivalentes
y paralelas 21
Funciones Secuencialmente
Regular de Cauchy 27
Funciones Uniformemente Continuas 29
Extensin de Funciones Secuencialmente
Regular de Cauchy 35
CAPITULO 3 Una Funcin Derivable en Todo IR
y no Montona en Ningn Intervalo de IR 50
La Derivada Simtrica 52
Sobre las Derivadas Laterales 58
CAPITULO 4 Generalizacin de la Integral de Riemann 68
Primera Versin Fuerte del Teorema
Fundamental del Clculo 78
Segunda Versin Fuerte del Teorema
Fundamental del Clculo 80
BIBLIOGRAFIA 82
Introduccin
El objetivo del presente trabajo es estudiar algunos tpicos bsicos del Anlisis
Matemtico de una variable, a saber: sucesiones, continuidad, continuidad
uniforme, funciones secuencialmente regular de Cauchy (estas preservan suce-
siones de Cauchy), derivadas e integral de Riemann. Tal estudio nos permi-
tir adems de actualizarnos con resultados que no son usuales en la Lite-
ratura del Anlisis Matemtico; dar pruebas directas y nuevas de teoremas
clsicos . Tambin presentaremos versiones fuertes de resultados fundamen-
tales del Clculo Diferencial e Integral.
Desarrollamos el trabajo teniendo como referencia bibliogrfica cinco artculos
publicados en la revista American Mathematical Monthly por: T. Aull [3],
M. Botsko [5], Botsko y Gosser [6], Katznelson y Stromberg [7], y Miler y
Vyborny [10] , los cuales exigen como conocimientos previos un curso de
Analisis I como el de nuestra Licenciatura.
El trabajo se desarrolla a lo largo de cuatro captulos. El primer captulo lo
dedicamos a resumir algunos resultados bsicos del Anlisis Matemtico que
son indispensables para el estudio de los captulos siguientes.
En el captulo 2, estudiaremos una clasificacin de las sucesiones de nmeros
reales: de Cauchy, equivalentes y paralelas. Este estudio ser fundamental en
el desarrollo de los resultados relativos a los conceptos de continuidad, con-
tinuidad uniforme y funciones secuencialmente regular de Cauchy. Adems,
presentamos dos pruebas originales y directas del teorema de Heine que trata
sobre la relacin entre continuidad y continuidad uniforme en conjuntos com-
pactos. Todo este planteamiento esta basado en el trabajo de R.F Snipes [14].
En el captulo 3, desarrollamos en detalle el artculo de Katznelson y Strom-
berg [7] sobre la existencia de una funcin que tiene derivada en todo ffi y
montona en ningn intervalo de ffi, tal ejemplo no es usual en la Literatura
clsica del Anlisis Matemtico. Adems, presentamos la derivada simtrica
(o de Schwarz) de una funcin f en x definida como:
r (x) = limf(x+h)- J(x-h)
h-+O 2h
Introduccin II
siempre que el lmite exista. Este concepto conduce a importantes resultados
presentados por C. Aull [3] sobre el Clculo Diferencial los cuales nos per-
mitirn en el captulo 4 dar una versin fuerte del Teorema Fundamental
del Clculo. Tambin mostramos en este captulo, dos pruebas originales
basadas en un resultado publicado por Miller y Vyborny en [10] (el cual de-
sarrollamos en detalle) de los casi teorema de Rolle y del Valor Medio para
derivadas laterales.
En el captulo 4 damos un estudio detallado de una generalizacin de la inte-
gral de Riemann presentada por M. Bostko en [5], en esta parte probamos los
resultados 4.18 y 4.19 los cuales no estn demostrados en [5]. Por ltimo pre-
sentamos dos versiones fuertes del Teorema Fundamental del Clculo (ver,
Botsko y Gosser [6]) las cuales nos permitirn calcular directamente inte-
grales de Riemann de funciones tales como:
f : [-1, 1] --+ IR dada por
(x) ={
x
2
+3 SI x ~ O
-x SI x<O
y
sgn: [-1,2] --+ IR dada por
"gn(x) ={
1 SI x>O
O SI x=O
-1 SI x<O
que no es posible hacerlo directamente utilizando el Teorema Fundamental
del Clculo pues ninguna de ellas es una derivada.
Queremos destacar que al final de los captulos 2, 3 Y 4 proponemos algunos
problemas abiertos que pudieran permitir generar discusiones e investiga-
ciones posteriores. Adems, pretendemos que el presente trabajo pudiera ser
una referencia en espaol para los interesados en estos temas y en especial
para nuestros estudiantes y profesores.
Captulo 1
Preliminares
Este captulo se dedica a recopilar algunas definiciones y resultados bsicos
que sern utilizados en el desarrollo del trabajo. Estos pertenecen a variados
tpicos del Anlisis matemtico. Hacemos un llamado al lector a consultar la
bibliografa correspondiente. Cada resultado mencionado est acompaado
de la referencia bibliogrfica donde se puede localizar.
Definicin 1.1 Un cuerpo es un conjunto lK (# 0)} dotado de dos
operaciones binarias llamadas suma (+) y multiplicacin (. Lcuyos elementos
satisfacen los siguientes axiomas:
1. x, y E lK ::::} x +y E lK, Vx, y E lK. (Clausura para la suma)
2. x +y = y +x, Vx,y E lK. (Conmutatividad de la suma)
3. x + (y + z) = (x + y) + z, Vx,y,z E lK. (Asociatividad de la suma)
4. Existe en lK un elemento llamado neutro para la suma, denotado
por O tal que x +O= x, para todo x E lK.
5. Para cada x E lK} existe y E lK tal que x +y = O} Y se llama inverso
para la suma de x y se escribe y = -x.
6. x, y E JI( ::::} x . y E lK, Vx, y E lK. (Clausura para la multiplicacin)
7. X y = y. x, Vx, y E lK. (Conmutatividad de la multiplicacin)
8. X (y. z) = (x y). z, Vx, y, z E lK. (Asociatividad de la multiplicacin)
9. Existe en lK un elemento llamado neutro multiplicativo} denotado
por 1 tal que X 1 = x} para todo x E lK.
1
Cap. 1 Preliminares 2
10. Para cada x E IK, x =1= O existe y E IK tal que X y = 1, Y se llama
inverso multiplicativo de x y se escribe y = X-l.
11. x (y +z) = x y +x z Vx,y,z E IK (Distributividad)
Nota 1.2
1. La terna (IK, +,.) se llama cuerpo.
2. Si queremos probar que un conjunto cualesquiera IK dotado de las
operaciones suma y multiplicacin es un cuerpo debemos verificar que
los elementos de IK satisfacen los 11 axiomas.
3. La suma x +(-y) la denotamos por x - y y se llama diferencia
entre x e y.
4. La multiplicacin x y-l la denotaremos por ~ y se llama divisin
y
(o cociente) entre x e y.
Definicin 1.3 Un cuerpo ordenado IK es un cuerpo junto con un subcon-
junto lP (llamado de elementos "positivos") de IK que satisface los siguientes
axlOmas:
12- Para cada a E lP se cumple una y slo una de las siguientes condi-
ClOnes:
(i) a = O
(ii) a E lP
(iii) -a E lP
13- a, bE IP =? a +b
14- a, b E IP =? a . b
Nota 1.4
1. Si escribimos -IP = {-a: a E IP} entonces IK = IP U {O} U -lP.
Cap. 1 Preliminares
2. El axioma 12 asegura que Ort. IP.
3
3. En un cuerpo ordenado IK, escribimos a a (respectivamente, b 2: a). En particular, si x > Oentonces x E IP
Y se dice que x es positivo. Si x < Oentonces -x E IP Y se dice que x
es negativo.
4. Si a(# O) E IK, entonces por el axioma 12, a E IP o -a E IP, en
consecuencia por el axioma 14, a
2
= a a E IP o a
2
= (-a)( -a) E IP.
As, en cualquier caso a
2
E IP
5. Los axiomas 1 al 13 expresan que (IK, +,.,:::;) es un cuerpo ordenado
y dotan al conjunto IK de una serie de propiedades algebraicas y de
orden, que constituyen ideas familiares sobre la aritmtica usual y ele-
mental de los nmeros reales.
El estudio detallado de las propiedades de los cuerpos ordenados consti-
tuye por si misma una materia de investigacin, pero para nuestros ob-
jetivos slo necesitamos los cuerpos como un marco ideal para analizar
las propiedades del conjunto de los nmeros reales.
Definicin 1.5 Sea IK un cuerpo ordenado y A e IK.
1. El conjunto A se dice que est acotado superiormente si existe un
b E IK tal que x:::; b para todo x E A. Es decir, A est acotado
superiormente si existe b E IK tal que A e (-00, bl. (A b se le llama
una cota superior para A)
2. El conjunto A se dice que est acotado inferiormente si existe un
a E IK tal que x 2: a para todo x E A. Es decir, A est acotado
inferiormente si existe a E IK tal que A e [a, 00l. (A a se le llama una
cota inferior para A)
3. El conjunto A se llama acotado cuando est superior e inferiormente
acotado. Es decir, existen a, b E IK tal que a:::; x :::; b para todo
x E A. En tal caso A est acotado, si existen a, b E IK tal que
AC[a,b].
Cap. 1 Preliminares
Nota 1.6
4
1. Ntese que A e IK, IK cuerpo ordenado es acotado si y slo si existe
k E IK, k ~ O tal que Ixl::; k, para todo x E A.
En efecto, si A est acotado entonces
:Ja, bE IK: a::; x ::; b Vx E A.
Sea k = max{lal, Ibl}. Entonces, k ~ OY
k ~ Ibl ~ b A a ~ -Ial ~ -k.
(1)
(2)
Luego, por (1) y (2) se concluye que Ixl ::; k. El recproco es evidente.
2. Que A e IK (IK cuerpo ordenado) no est acotado superiormente sig-
nifica que:
Vb E IK :Jx E A: b < x.
Anlogamente se puede escribir que significa que A no est acotado
inferiormente en IK. Que A no est acotado en un cuerpo ordenado IK
significa que:
Vk E IK :Jx E A: Ixl > k.
3. Ntese que, en la definicin de cotas inferiores y superiores queda
abierta la posibilidad de que un conjunto tenga muchas cotas inferiores
y superIores.
Teorema 1. 7 Sea IK un cuerpo ordenado. Las siguientes afirmaciones son
equivalentes:
1. IN e IK no est acotado superiormente.
2. Dados a, b E IK con a > 0, existe n E IN tal que n . a > b.
3. Dado a > Oen IK, existe n E IN tal que
4- Dado a > Oen IK, existe n E IN tal que
5. Dado a > O en IK, existe n E IN tal que
(Ver, Bartle y Sherbert [4], pgs 63-64.)
n - 1 ::; a < n.
0< 1 < a.
n
O< 2
1n
< a.
Cap. 1 Preliminares
Nota 1.8
5
1. Como en un cuerpo ordenado IK, tenemos que 1 > O y de aqu se
sIgue que:
1<1+1<1+1+1< ..
por lo tanto 1,1 + 1,1 + 1 + 1,' .. E IK. Esto sugiere la idea de que
podemos considerar al conjunto lN de los nmeros naturales como un
subconjunto de IK.
Para mostrar esto usaremos el principio de definicin por recurrencia
(ver 36-cap1), tomando X = IK, a = 1 Y F: IK -+ IK dada
por F(k) = k +1. En consecuencia, podemos definir una funcin
f : lN -+ IK dada por f (1) = 1 Y f (n +1) = f (n) +1.
Afirmacin 1 f(n +k) = f(n) +f(k) Vk E lN.
En efecto, hagamos induccin sobre k.
Para k = 1, f(n +1) = f(n) +1 = f(n) +f(l).
Ahora, supongamos que para k la afirmacin es vlida y veamos que
f(n +k +1) = f(n) +f(k +1).
Por la definicin de f y la hiptesis de induccin obtenemos que
f(n + k +1) = f(n +k) +1 = f(n) + f(k) + 1 = f(n) + f(k +1).
As, la afirmacin 1 es cierta.
Afirmacin 2 n < k =} f(n) < f(k).
En efecto, como n, k E lN Y n < k entonces k-n E lN. Sea
p = k - n, por la afirmacin 1, se sigue que:
f(k) = f(n +p) = f(p) +f(n) =} f(k) - f(n) = f(k - n)
en consecuencia, f(k) > f(n) pues f(n) > O Vn E lN. Por lo tanto,
la afirmacin 2 es cierta.
Ahora, por la afirmacin 2 f es inyectiva y en consecuencia, f define
una biyeccin de lN en f(lN) = lN* = {1, 1 +1,1 +1 +1,' .. }. Se
conviene en identificar al conjunto lN* con lN y as, podemos con-
siderar a lN como un subconjunto de cualquier cuerpo ordenado IK y
de aqu se concluye que todo cuerpo ordenado es un conjunto infinito.
2. Un cuerpo ordenado IK se llama arquimediano cuando satisface una
de las afirmaciones del teorema 1.7.
3. Anlogo a como se prob 5 en el teorema 1.7, se puede probar que un
cuerpo ordenado IK es arquimediano si y slo si dado a > Oen IK existe
un n E lN tal que (l/k
a
)n < a (ka ~ 2 es un elemento fijo en lN).
Definicin 1.9 Sea IK un cuerpo ordenado y A e IK acotado superiormente
en IK. Un elemento en b E IK se llama supremo de A, denotado por b =
sup A, si b es la menor de las cotas superiores para A.
Nota 1.10
1. De la definicin se deduce que:
b = sup A {:::? (i) b es una cota superior y (ii) SI b' es otra cota
superior para A entonces b ::; b'.
Ntese que, la condicin (i) nos dice que b es una cota superior para A
y (ii) nos dice que b es menor o igual que cualquier otra cota superior
para A.
2. De la definicin de sup A se sigue que:
(i) x::; supA 'r/x EA.
(ii) e ~ x 'r/x E A :::} supA::; c.
(iii) e < sup A :::} :3x E A: e < x. (En caso contrario, si para
todo x E A e ~ x, entonces e es una cota superior para A. Como
e b, lo cual es un absurdo.)
4. De la definicin de sup A, es claro que sup A puede o no estar en el
conjunto A. Adems, si un conjunto A tiene supremo este es nico.
En efecto, si b y e son supremos de A, entonces por l(i) a y b son cotas
superiores para A. En consecuencia, por l(ii) e::; b Y b::; c y as,
b=c
5. Afirmamos que si b =max A entonces b =sup A.
En efecto, es claro que si b = max A entonces b es una cota superior
para A. Por otro lado, si e es otra cota superior para A, como b E A,
entonces e ~ b. As, b = sup A.
6. Cuando un conjunto A no est acotado superiormente, convendremos
que sup A = oo.
Definicin 1.11 Sea IK un cuerpo ordenado y A e IK acotado inferiormente
en IK. Un elemento en a E IK se llama nfimo de A, denotado por a = inf A,
si a es la mayor de las cotas inferiores para A.
Nota 1.12
1. De la definicin se deduce que:
a = nf A {::? (i) a es una cota inferior para A y (ii) SI a' es
otra cota inferior para A entonces a ~ a'.
Ntese que, la condicin (i) nos dice que a es una cota inferior para A
y (ii) nos dice que a es mayor o igual que cualquier otra cota inferior
para A.
2. De la definicin de inf A se sigue que:
(i) x ~ inf A Vx E A.
(ii) e::;; x VxEA =} i n f A ~ c .
(iii) e > inf A =} 3x E A: e > x. (En caso contrario, si para
todo x E A c::;; x, entonces e es una cota inferior para A. Como
e > inf A esto contradice (ii) de 1.)
3. Si A = 0, entonces todo a E IK es una cota inferior para A (Al contrario,
si existe a E IK que no es una cota inferior para A, entonces existira
un x E A tal que x < a, lo cual es un absurdo.)
4. De la definicin de inf A, es claro que inf A puede o no estar en el
conjunto A. Adems, si un conjunto A tiene nfimo este es nico.
5. Afirmamos que si a = min A entonces a = inf A.
En efecto, es claro que si a = min A entonces a es una cota inferior
para A. Por otro lado, si a' es otra cota inferior para A, como a E A,
entonces a' ~ a. As, a = inf A.
6. Cuando un conjunto A no est acotado inferiormente, convendremos
que inf A = -oo. As, cuando un conjunto A no esta acotado inferior
ni superiormente, entonces sup A = 00 e inf A = -oo.
Definicin 1.13 Un cuerpo ordenado ll( se llama completo si todo sub-
conjunto de ll( no vaco y acotado superiormente tiene supremo en IK.
Ntese que) en todo cuerpo ordenado y completo se verifica:
1. Sea A e ll< no vaco y acotado superiormente. b = sup A si y slo si
(i) b es un cota superior para A y () para cada E( E ll<) > O existe
x = X(b,E)l E A tal que b- E < x.
2. Sea A e ll< no vaco y acotado inferiormente. a =inf A si y slo si
(i) a es un cota inferior para A y (ii) para cada E( E ll<) > O existe
x = x(a, E)Z E A tal que a +E> x.
Ahora, estableceremos el Axioma Fundamental del Anlisis
Axioma 15. Axioma Fundamental del Anlisis
Existe un cuerpo ordenado y completo) m.) llamado de los nmeros reales.
Definicin 1.14 Un punto a E m. se llama punto de clausura de un
conjunto A en m. cuando para cada E > Ose tiene que (a - E, a +(:) nA=/:. 0.
La clausura del conjunto A denotada por A se define
A = {a E m. a es punto de clausura de A}.
Nota 1.15
De la definicin se sigue que,
1 Esta notacin indica que x depende de b y de {.
2Esta notacin indica que x depende de a y de {.
1. Un punto de clausura de un conjunto A puede no estar en el conjunto
A.
2. A e A para cualquier conjunto A y as, A i= 0 implica que A i= 0.
3. a E A {::} 'lE> O 3x( E A: lx( - al < L
4.
a ~ A {::} 3t>0: (a-t,a+t)nA=0
{::} 3t > O: Vx E A Ix - al 2:: L
5. A e B =} A e B.
Definicin 1.16 Un punto a E lR se llama punto de acumulacin de un
conjunto A en lR cuando para cada t > Ose tiene que E(a,t)n(A\{a}) i= 0.
El derivado del conjunto A denotado por A' se define
A' = {a E lR a es punto de acumulacin de A}.
Un punto a E lR se llama de acumulacion a la derecha de un conjunto
A e lR, cuando para cada t > Ose verifica que (a, a +t) n A i= 0.
De modo anlogo un punto a E lR se llama de acumulacin a la izquierda
de un conjunto A, cuando para cada t > Ose verifica que (a - E, a) nA i= 0.
Usaremos la notacin A ~ y A ~ , para indicar
A ~ = {a E lR: a es punto de acumulacin a la derecha de A} Y
A ~ = {a E lR: a es punto de acumulacin a la izquierda de A}.
Nota 1.17
De la definicin se sigue que
1. Un punto de acumulacin de un conjunto A puede no estar en el con-
junto A.
2. A' e A para cualquier conjunto A.
Cap. 1 Preliminares
4. a ti. A' {:} ::lE > O: (a - E, a +E) n A = {a}.
5. A e B =} A' e B' .
10
Definicin 1.18 Una sucesin de elementos en ffi es una funcin x : IN --+
ffi.
Definicin 1.19 Una suceszon est acotada en ffi si el conjunto de sus
trminos est acotado en ffi. Es decir, existe M > Otal que Ixnl ::; M, para
todo n E IN.
Definicin 1.20 Sea (x
n
) una suceszon en ffi (x : IN --+ ffi), una sub-
sucesin de (x
n
) es una restriccin de x a un subconjunto infinito .IN* =
{nk E IN: nk < nk+l, k E IN} de IN.
Definicin 1.21 1. Sea (x
n
) una sucesin de puntos en ffi. Un punto
Xo E ffi se llama lmite de (;r
n
) si para cada E > O existe no =
no(xo, E)3 E IN tal que n > no implica IX
n
- xol < L
2. Sean A e 1R un conjunto, f: A --+ ffi una funcin y a E A'. Un
nmero L E ffi es el lmite de f( x) cuando x tiende para a y se es-
cribe limf(x) = L (o f(x) --+ L (x --+ a)}, cuando:
x ~ a
Dado E > O arbitrario, existe d=d(E,a)4 > O tal que si x E A Y O<
Ix - al < 15, entonces If(x) - LI < L
En smbolos
im f(x) = L {::} [Vf> 038> O: x E A 1\ O< lx-al < 8 ::::} If(x)-LI < f].
x ~ a
Nota 1.22
1. Cuando la sucesin (x
n
) tiene lmite Xo, escribimos que,
Xo o (x
n
) --+ Xo.
3Esta notacin indica que el d depende de f y Xo
4 Esta notacin indica que el d depende de f y de a.
lim X
n
n ~ o o
Cap. 1 Preliminares
2. Por la definicin de lmite de una sucesin se sigue que,
lim X
n
= Xo <=> [VE> O3no E IN: n > no :::} IX
n
- xol < e]
n-+oo
11
lim X
n
= Xo <=> [VE> O 3no E IN: n > no :::} Xn E (XO-E, XO+E)],
n-+oo
esto ltimo significa que cada entorno (xo - E, Xo +(;) contiene todos
los trminos X
n
salvo para un nmero finito de ndices de n.
3. Ntese que,
lim Xn '# Xo <=> [3 E> O: Vno E IN 3n E IN : n > no 1\ xn-xol ~ Ej.
n-+oo
4. Si una sucesin (x
n
) tiene lmite Xo, entonces diremos que (x
n
) es una
sucesin convergente en caso contrario diremos que (x
n
) es diver-
gente.
Corolario 1.23 (Teorema de Bolzano-Weierstrass)
Toda sucesin acotada de nmeros reales posee una subsucesin convergente.
(Ver, Spivak [13], pag 61)
Definicin 1.24 Un cubrimiento para un conjunto K e .IR es una familia
':S = {Oo}oEI (1 es un conjunto arbitrario de ndices) de conjuntos Oo e .IR
tales que K e UoEI Oa.
Una subfamilia ':So = {Go}oEJCI, se llama un subcubrimiento de ':S para
un conjunto K si K e UoEJ O
o
'
Un cubrimiento ':S = {Oo}aEI de un conjunto K, admite un subcubri-
miento finito, si existen al, .. 'On E 1 tal que K e Uf=l OOj
Una familia ':S = {Oo}aEI se llama cubrimiento abierto para un conjunto
K si cada Oa es un conjunto abierto en .IR.
Un conjunto K e .IR se llama compacto si todo cubrimiento abierto de K
admite un subcubrimiento finito.
Un conjunto D e R se llama denso en R si D = .IR.
Teorema 1.25
1.aEA' <=> 3(x
n
)CA\{a}: (xn)-+a.
3. K e IR es compacto {:} cada sucesin en K posee una subsucesin
convergente en K.
4. K e IR es compacto {:} K es cerrado y acotado en IR.
(Ver, White [15), pgs 76-77 y Lima [8), pgs 144-145.)
Definicin 1.26 Sean A e IR ya E A. Una funcin f : A -t IR se llama
continua en x=a si, para cada 1': > O arbitrario existe =(a,I':)5 tal que
x E A Y Ix - al < implica If(x) - f(a)1 < e
En smbolos:
f es continua en x = a {:} Vf > 036 > O: x E A A Ix - al < 6 ::::} If(x) - LI < f.
Nota 1.27
l. La funcin f : A -t IR es continua en A, si es continua en cada punto
de A.
2. De la definicin se sigue que,
f es continua en x = a {:} Vf > 036> O: f[(a-6, a+6)] e (J(a)-f, f(a)+f).
3. Obsrvese que, si a E A, puede ocurrir que:
Caso 1. a fj. A' (es decir, a es un punto aislado de A), en tal caso
afirmamos que f es continua en x = a.
En efecto, como a fj. A' existe > Otal que (a - , a +) n A = {a}.
AS, para todo 1': > O se verifica que f[( a - , a +)] = {f(a)} e
(f(a) - I':,f(a) +f.). En consecuencia, f es continua en x = a.
Caso n. a E A' (es decir, a es un punto de acumulacin de A) en
tal caso
f es continua en x = a {:}
5Esta notacin indica que el <5 depende de f y de a.
limf(x) = f(a).
x-+a
4. La nocin de continuidad es local, es decir, f : A -+ IR es continua en
x = a si y slo si existe un J > Otal que f!(a-,a+)nA es continua en
x = a.
5. Ahora, f no es continua en a si y slo si existe ( > Otal que para todo
J > O existe x E A, con Ix - al < J y If(x) - f(a)1 ~ (. En tal
caso f se llama discontinua en x = a.
Definicin 1.28 Sean A e IR y f : A -+ IR una funcin, f se llama de
Lipschitz, si existe un M > Otal que
If(x) - f(y)1 ~ Mlx - yl
para todo x, y E A.
Nota 1.29
1. Toda funcin de Lipschitz es continua.
En efecto, sea f : A -+ IR una funcin de Lipschitz. Sean a E A Y( > O
arbitrarios, entonces existe M > Otal que
If(x) - f(y)1 < Ix - yl
para todo x, y E A. En consecuencia, tomando J = l..t, podemos ver
que f es continua en a.
2. El recproco del resultado anterior no es cierto, para ver esto basta
tomar f : IR -+ IR dada por f (x) = x
2
, la cual es claramente continua
ms no es de Lipschitz.
Teorema 1.30 Sea f : A e IR -+ IR una funcin continua en a E A. Si
f(a) #- O, entonces existe J > Otal que, para todo x E An(a-J,a+JL f(x)
tiene el mismo signo de f(a).
(Ver, Spivak [13], pgs 137-138.)
Corolario 1.31 (Teorema de los Valores Intermedios)
Sea f : [a, b] -+ IR una funcin continua. Si f(a) < d < f(b) (respectiva-
mente, f(a) > d> g(a)), entonces existe x E (a,b) tal que f(x) = d.
Cap. 1 Preliminares
(Ver, Lima [8], pg 184.)
14
Definicin 1.32 Sean f : A e IR -+ IR y a E A n A'. La derivada de f en
a denotada por f'(a) se define como
f
'( ) - l' f(a+h)- f(a)
a - 1m h
h-+O
(3)
siempre que el lmite exista. En este caso se dice que f es derivable en
x = a y si f'(x) existe para cada x E A nA' se dice que f es derivable en A.
Nota 1.33
1. Si hacemos x = a +h, entonces cuando h -+ 0, x -+ a. Luego, podemos
escribir (3) como
!'(a) = lim f(x)- J(a).
x-+a x-a
(4)
2. Si f es derivable en A, entonces obtenemos una nueva funcin 9 :
A n A' -+ IR dada por g( x) = f' (x), llamada funcin derivada de f.
Si 9 es continua en A se dice que f es de clase C1.
3. Otras notaciones para la derivada de f en a son
df df
dx(a), Df(a), dXlx=a
4. Cuando a E A n entonces si existe
lim f(a+h)-J(a) = lim
h-+O+ h x-+a+ x-a
(5)
lo escribimos como anlogamente, cuando a E A n entonces
si existe
lim J(a+h)-f(a) = lim f(x)-f(a) (6)
h-+O- h x-+a- x-a
lo escribimos como f!..(a).
Claramente, f es derivable en a si y slo si existen (a) , f!.. (a) y
adems, = f!..(a) = f'(a).
5. Si f : A e IR -+ IR tiene derivada en a E AnA', entonces dado B e A,
tal que a E B n B
'
, la funcin g = flB es derivable en a y g'( a) = f'( a).
Si B = In A, l un intervalo abierto tal que a El, entonces la existencia
de g'(a) implica la existencia de f'(a), donde g = flB.
Teorema 1.34 (De Darboux)
Sea f : [a,b] -+ IR derivable. Si f'(a) < d < f'(b) (respectivamente, f'(a) >
d> f'(b)), entonces existe Xo E (a, b) tal que f'(xo) = d.
(Ver, Rudin [12], pgs 105-106.)
Corolario 1.35 Sea l un intervalo en IR y f : 1 -+ IR una funcin derivable
en l. entonces la funcin f' no tiene discontinuidades de primera especie.
Teorema 1.36 (De Rolle)
Sea f : [a, b] -+ IR una funcin continua en [a, b]. Si f es derivable en (a, b)
Y fea) = f(b), entonces existe e E (a, b) tal que f'(e) = O.
(Ver, Spivak [13], pg 247.)
Teorema 1.37 (Del Valor Medio, de Lagrange)(TVM)
Sea f : [a, b] -+ ffi, una funcin continua en [a, b]. Si f es derivable en (a, b)
Y fea) = f(b), entonces existe c E (a, b) tal que f'(e) = f ( b t ~ ( a ) .
(Ver, Rudin [12], pg 105.)
Corolario 1.38 Sean l un intervalo y f : l -+ IR, una funcin derivable en
l.
1. Si f'(x) > Opara todo x E l, entonces f es creciente en l.
2. Si f' (x) < Opara todo x El, entonces f es decreciente en l.
Definicin 1.39 Una particin P de un intervalo [a, b] es un
conjunto finito {t
o
, it, ... , in} e [a, b] tal que a = t
o
< t
l
< ... < t
n
= b.
El conjunto de todas las particiones de [a, b] lo denotaremos por P[a,b]'
Definicin 1.40 Consideremos f E B[a,b] = {f : [a, b] -+ IR, f acotada}.
Sea P = {t o, tI,' .. ,tn } e P[a,b] Y sean
La suma superior para f relativa a la particin P denotada por U(J, P) se
define:
n
U(J,P) = L:llti M
i=l
donde llt = ti - t-l, i = 1, n y la suma inferior para f relativa a la
particin P denotada por L(J, P) se define:
n
L(J, P) = llti mi
i=l
donde llti = ti - ti-l, = 1, n.
Nota 1.41
De la definicin 1.40, se sigue que
L(J, P) ~ U(J, P)
para toda P E P[a,b]'
Nota 1.42
(7)
Cuando P e Q, P, Q E P[a,bj, entonces diremos que Q es ms fina que P.
Lema 1.43 Sean P, Q E P[a,b] tal que P e Q. Entonces
1. L(J, P) ~ L(J, Q).
2. U(J, P) ~ U(J, Q).
(Ver, Spivak [13], pgs 322-323.)
El siguiente teorema muestra que para particiones arbitrarias PI y P
2
en P[a,b]
vale U(J, P
2
) ~ L(J, P).
Teorema 1.44 Sean PI, P2 E P[a,b] Y f E 8[a,b]' Entonces
(8)
Cap. 1 Preliminares
Nota 1.45
17
Del teorema 1.44 se sigue que cada suma superior U(j, P*) es una cota su-
perior para el conjunto
[,(j, P) = {L(j, P): P E P[a,bj}.
Luego,
sup [,(j, P) ~ U(j, P*)
PEP[a,b]
(9)
para todo P* E P[a,b] , En consecuencia, sup [,(j, P) es una cota inferior
PEP[a,b]
para el conjunto
U(j, P) = {U(j, P*): P* E P[a,b)}'
As, por (9), obtenemos que:
{b f = sup [,(j, P) ~ inf U(j, P) = (bf
~ PEP[a,b] PEP[a,b] la
(10)
donde J: f y J: f son llamadas integral inferior y superior de Riemann para
f en [a, b].
Adems, por la definicin de supremo e nfimo se sigue que
L(j, P) ~ sup [,(j, P) ~ U(j, P) y
PEP[a,b]
L(j, P) ~ inf U(j, P) ~ U(j, P).
PEP[a,b]
para toda P E P[a,b) ,
Las funciones acotadas que satisfacen la igualdad en (10) se llaman Riemann
integrables en [a, b].
Definicin 1.46 Una funcin f E B[a,b), se llama Riemann integrable en
[a, b] si
{bf = sup [,(j, P) = inf U(j, P) = {bf
~ PEP[a,b] PEP(a,b] la
para todo P E P[a,b]'
(11)
Cap. 1 Preliminares
Nota 1.47
18
1. Al valor comn dado por (11) se denota por f: f (o f: f(x)dx) y se
llama integral de Riemann entre a y b de f.
2. Al conjunto de todas las funciones Riemann integrables en [a, b] lo
denotaremos por R[a,b)'
3. f: f es el nico nmero real que satisface:
L(f, P) ~ b f ~ U(f, P) (12)
para todo P E P[a,b)' (para verificar este hecho, supongamos que existe
a E IR que satisface (12) y usemos las definiciones de sup !(f, P) e
PE'P[a,b]
inf U(f, P)).
PE'P[a,bJ
4. Si f ;::: Oen [a, b] y f E R[a,b), entonces f: f define el rea de la regin
comprendida por la curva (x, f(x)), x = a, x = b YY = O
Ejemplo 1.48
La funcin de Dirichlet, f : [0,1] -+ IR dada por:
(x) ={ ~ ::
Entonces, f ti. R[O,l]'
En efecto, es claro que
x E (IR\(Q) n [0,1]
x E (Q n [0,1]
L(f, P) = O 1\ U(J, P) = 1
para todo P E P[O,l)' En consecuencia,
sup !(f, P) = O< 1 = inf U(f, P).
PE'P[a,b) PE'P[a,bJ
Por lo tanto, f ti. R[O,l)'
Proposicin 1.49 1. f: f(x)dx = f : t ~ f(x - c)dx, para todo e E IR.
Cap. 1 Preliminares
2. J:: f(x)dx = cJ: f(cx)dx, pam todo e E IR.
19
Definicin 1.50 Diremos que Una sucesin de funciones Un : E e IR-+
IR) Converge Uniformemente (CU) en E hacia una funcin f, si pam
cada (. > O existe no E IN tal que n > no implica \fn(x) - f(x)\ < ( para
todo x E E.
En smbolos
Un)CUafenE {:} [\'t:>O:JnoEIN: VXEE, n>no::::} Ifn(x)-f(x)I<L]
00
Adems, diremos que la serie In converge uniformemente en E, si la
n=l
sucesin de sumas parciales (sn) definida por
n
Sn(X) = Ik(X)
k=l
converge uniformemente en E.
Teorema 1.51 (Criterio M de Weierstrass )
Sea Un) una sucesin de funciones definidas en E, y supongamos que
donde x E E y n E IN.
00
Si la serie M
n
converge,
n=l
en E.
(Ver, Apostol [1], pg 523.)
00
entonces la serie In converge uniformemente
n=l
Teorema 1.52 (Convergencia Uniforme y Continuidad)
Sea Un) una sucesin de funciones continuas definidas en E. Si Un) converge
uniformemente a I en E, entonces f es continua E.
(Ver, Apostol [21, pg 269.)
Definicin 1.53 Un conjunto S de nmeros reales tiene medida cero si,
para cada E > 0, existe un cubrimiento numerable de S por medio de inter-
valos abiertos, tales que la suma de sus longitudes sea menor que L
Es decir, si designamos los intervalos por (ak, b
k
) k E A donde A es un
conjunto numerable, entonces
Teorema 1.54 (Criterio de Lebesgue para integrabilidad de
Riemann)
Sea f : [a, b] -+ IR una funcin acotada en [a, b] y sea D el conjunto de puntos
de las discontinuidades de f en [a, b]. Entonces f E R[a,b] si, y slo si, D
tiene medida cero.
(Ver, Aposto} [2), pg 208.)
Nota 1.55
1. Usaremos la notacin "1\" para indicar al trmino de enlace "y".
2. La notacin j = 1, n la usaremos para indicar que, j toma cada uno de
los valores en el conjunto {1, 2, ... ,n}.
3. IR+ = [0, +00).
Captulo 2
Sucesiones,
Funciones Secuencialmente
Regular de Cauchy
y Continuidad Uniforme
En este captulo desarrollaremos en detalle una clasificacin de las sucesiones
en ffi a saber: de Cauchy , equivalentes y paralelas. Estas nociones nos
permitirn introducir importantes resultados sobre las funciones continuas,
uniformemente continuas y secuencialmente regular de Cauchy (estas son
funciones que preservan sucesiones de Cauchy y representan una clase inter-
media entre las dos anteriores). Adems, presentaremos resultados sobre la
extensin de funciones secuencialmente regular de Cauchy y las relaciones
entre las tres clases de funciones. Por ltimo damos dos pruebas nuevas y
directas (hasta donde conocemos) del teorema de Heine (ver corolario 2.23).
A continuacin presentaremos una clasificacin de las sucesiones de nmeros
reales, la cual no aparece en la Literatura clsica del Anlisis Matemtico,
esta es presentada por R.F Snipes en [14] para espacios mtricos.
Definicin 2.1 Una sucesin (x
n
) se llama de Cauchy si
\h> O:J no = n(t)l E IN: n, m > no => IX
n
- xml < L
Dos sucesiones (x
n
) y (Yn) se llaman paralelas y se escribe (x
n
) 11 (Yn) si
Vt> O:1 no = n(t) E IN: n > no => IX
n
- Ynl < L
1Esta notacin indica que n slo depende de f
21
Cap. 2 Sucesiones, Funciones Secuencialmente Regular Cauchy y Continuidad Uniforme. 22
Dos sucesiones (x
n
) y (Yn) se llaman equivalentes y se escribe (x
n
) ~ (Yn)
sz
Vc>0 3no=n(c)EIN: n,m>no ~ IXn-Yml<c
Nota 2.2
1. La condicin de Cauchy garantiza que los trminos X
n
para valores
suficientemente grandes de n y m se aproximan arbitrariamente unos
de otros.
2. Toda sucesin converge en JR si slo si es de Cauchy.
3. La condicin de equivalencia garantiza que los trminos X
n
y Ym de
dos sucesiones, se aproximan arbitrariamente para valores de n y m
suficientemente grandes.
4. De la definicin se sigue que dos sucesiones (x
n
) y (Yn) de nmeros
reales son paralelas si y slo si la sucesin (Ix
n
- Yn 1) converge a O. Es
decir,
As, dos sucesiones (x
n
) y (Yn) son paralelas si sus trminos se apro-
ximan arbitrariamente para valores de n suficientemente grandes.
Ejemplo 2.3
1. La sucesin de trmino n-simo X
n
= ~ es de Cauchy.
En efecto, dado t > O, por la propiedad Aquimediana de JR existe
no E IN tal que l < -2
f
no
Si n, m > no, entonces 1,1... < l. En consecuencia,
n m no
1111112
IXn - xml = 1- - -1 S; - +- < - +- = - < c
n m n m no no no
As, (x
n
) es de Cauchy.
2. Las sucesiones con trminos n-simos X
n
= 1 YYn = ~ son paralelas.
n n
En efecto, basta observar que lim 1
1
- ~ I = lim 1 = O.
n-+oo n n n-+oo n
Cap.2 Sucesiones, Funciones Secuencialmente Regular Cauchy y Continuidad Uniforme. 23
3. Las sucesiones con trminos n-simos X
n
= 1. YYn = i.::.!l: son paralelas.
n n
En efecto, basta ver que lim 11. - (-In 1= lim 1.11 - (_l)nl =O.
n-+oo n n n-+oo n
4. Las sucesiones de trminos n-simos, X
n
= ~ y Yn = (:;n son equiva-
lentes.
En efecto, dado f > O existe no E IN tal que 1- < -2(' Luego, si
no
t
11<1<fE .
m, n > no, en onces -2' - - -2' n consecuenCIa,
m n-no
1 (_1)m 1 1 f f
IXn - xml = 1- - I :s; - +- < - +- = f.
n m
2
n m
2
2 2
As, las sucesiones (x
n
) y (Yn) son equivalentes.
El siguiente resultado aparece en el trabajo de R.F Snipes [14] para espacios
mtricos y sin demostracin. A continuacin daremos una prueba detallada
en el caso de los nmeros reales.
Teorema 2.4 Sean (x
n
) y (Yn) suceszones de nmeros reales y a, b E IR.
Entonces:
1. (x
n
) --+ a =? (x
n
) es de Cauchy.
2. (x
n
) 11 (x
n
).
3. (x
n
) es de Cauchy {:} (x
n
) ~ (x
n
).
4- (xn) --+ a 1\ (Yn) --+ a =? (xn) ~ (Yn).
5. (xn) ~ (Yn) =? (xn) 11 (Yn).
6. (x
n
) ~ (Yn) =? (x
n
) y (Yn) son de Cauchy.
7. (x
n
) y (Yn) de Cauchy 1\ (x
n
) 11 (Yn) {:} (x
n
) ~ (Yn).
8. (xn) --+ a 1\ (Yn) 11 (xn) =? (Yn) --+ a.
9. (x
n
) de Cauchy 1\ (Yn) 11 (x
n
) =? (Yn) es de Cauchy.
10. (xn) ~ (Yn) {:} la sucesin (Xl,Yl,X2'Y2"") es de Cauchy.
Prueba:
1. Sea t > O. Entonces por la hiptesis existe no E IN tal que n > no
implica x
n
- al < ~ . En consecuencia, si n, m> no, entonces
AS, (x
n
) es de Cauchy.
2. Como para todo t> O, IX
n
- xnl = O< E. Entonces cualquier no E IN
satisface que n > no implica que IX
n
- xnl < t y as, (x
n
) 1I (x
n
).
3. Este resultado es evidente de las definiciones.
4. Dado t > O. Entonces por la hiptesis existen nI, n2 E IN tales que
t
n > nI =} IXn - al <"2 /\ n > n2 =}
En consecuencia, si n > no = max{nl' n2}, entonces
t t
xn - XmI :::; xn - al +IYn - al < 2+2= L
As, (x
n
) ~ (Yn).
5. Para probar este resultado basta tomar m = n en la definicin de
sucesiones equivalentes para obtener sucesiones paralelas.
6. Dado t > O. Entonces por hiptesis existe nI E IN tal que n, m > nI
implica que IXn - Yml < ~ .
En particular, si m = n, entonces IX
m
- Yml < ~ siempre que m > no.
En consecuencia,
t t
xn - XmI :::; IXn - Ym I+IYm - XmI < "2 +"2 = t
siempre que m, n > no y por lo tanto, (x
n
) es de Cauchy.
7. (=}) Dado t > O. Por la hiptesis, existen nI, n2 E IN tales que
n > nI
t
Xn - Yn I <"2 /\ m, n > n2 =}
En consecuencia, si m, n > no = max{nl' n2}, entonces
t t
Xn - Ym I :::; IXn - Yn I+IYn - Ym I < "2 +"2 = E.
({=) Como (x
n
) ~ (Yn), entonces por 5 y 6 se sigue que (X
n
) 11 (Yn) y
que (X
n
) y (Yn) son de Cauchy.
8. Dado E > O. Por la hiptesis, existen ni, n2 E IN tales que
E
n > ni :::} IXn - al < 2' 1\ n > n2 :::}
En consecuencia, si n > no = max{ni, n2}, entonces
!Yn - al ~ IYn - Xn1+IXn- al < ~ +~ = e
9. Dado ( > O. Por la hiptesis, existen ni, n2 E IN tales que
n > n
E
IXn- Yn I < '3 1\ m, n > n2 :::}
En consecuencia, si n > no = max{ni, nd entonces
As, (Yn) es de Cauchy.
10. (:::}) Ntese que, la sucesin (Xl, Yl, X2, Y2, ... ) se puede escribir como;
{
X!!.l SI n es par
z - 2
n-y!,} si n es impar
Ahora, veamos que la sucesin (zn) es de Cauchy.
Sea E > Oarbitrario, como (x
n
) ~ (Yn), entonces existe no E IN tal que
n, m > no :::} IXn - Ym I < e
Afirmamos que k
o
= 2no satisface que
En efecto, basta ver que si i E IN, entonces
i > ko = 2no
i > ko = 2no
i +1 2no +1
-2-> 2
i 2no
2" > 2 =no
1
= no +2" > no
As, en cualquier caso, si j, k > k
o
, entonces IZj - zkl < E y por lo
tanto, la sucesin (Xl, Yl, X2, Y2, ...) es de Cauchy.
( {=) Como (zn) es de Cauchy en lR, entonces existe a E lR tal que
Por otro lado, (x
n
) y (Yn) son subsucesiones de (zn), luego,
En consecuencia, por 4 se sigue que (x
n
) ~ (Yn).
Nota 2.5
1. El recproco de 6 del teorema 2.4 no es cierto. Para ver esto basta
tomar (x
n
) = (Yn) = ((_l)n). Las sucesiones (x
n
) y (Yn) son paralelas
sin embargo (x
n
) ~ (Yn).
2. Dos sucesiones (x
n
) y (Yn) pueden ser paralelas SI ser cada una de
Cauchy.
En efecto, basta tomar (x
n
) = (Yn) = (_l)n.
3. El recproco de 7 del teorema 1.4 no es cierto. Para ver esto basta
tomar (x
n
= ~ ) y (Yn = ~ + 100). Claramente, (x
n
) y (Yn) son de
Cauchy pero (x
n
) ~ (Yn).
El teorema 2.6, representa una clsica caracterizacin de continuidad de una
funcin utilizando sucesiones.
Teorema 2.6 (Caracterizacin de la Continuidad por Sucesiones)
Sean f : A e lR -t lR ya E A. Las siguientes afirmaciones son equivalentes:
1. J es continua en x = a.
2. f es secuencialmente continua en x = a (Es decir) para toda sucesin
(x
n
) e A tal que (x
n
) --+ a se verifica que (J(x
n
)) --+ f(a)).
3. f preserva sucesiones convergentes (Es decir) para toda sucesin (.T
n
) e
A convergente en A se verifica que (J(x
n
)) converge en lll).
Prueba: Por la nota 1.27(3) se verifica que:
Si a ~ A', entonces claramente f es continua en x = a.
Si a E A', se concluye que f es continua en x = a si y slo si limf(x) = f(a).
x-ta
AS, 1 {::} 2.
Supongamos que 2 es cierto. Sea (x
n
) e A una sucesin convergente en
A, entonces existe a E A tal que (x
n
) --+ a. Luego, por la hiptesis,
(J(x
n
)) --+ f(a) E lll. As, 3 es cierto.
Supongamos que 3 es cierto. Sea (x
n
) e A tal que (x
n
) --+ a. Entonces la
sucesin (Xl, a, X2, a, ... ) --+ a y por 3, existe y E III tal que (J(xIL f(a), f(X2),
f(aL ... ) --+ y. Ahora, la subsucesin constante (J(a), f(a), f(a), ... ) --+
f(a), en consecuencia, y = f(a) y por lo tanto, la subsucesin (J(XI' f(X2),
f(X3)," .)) --+ f(a). Es decir, (J(x
n
)) --+ f(a) y aS, 2 es cierto. En conse-
cuencia, 2 <=} 3 Yel teorema queda probado.
Definicin 2.7 Una funcin f : A e III --+ III se llama Secuencialmente
Regular de Cauchy (SRC) si f preserva las sucesiones de Cauchy) es decir,
si (x
n
) e A es de Cauchy entonces (J(x
n
)) es de Cauchy.
El siguiente lema caracteriza las funciones SRC utilizando las suceSIones
equivalentes.
Lema 2.8 Sea f : A e III --+ III una funcin. Los siguientes enunciados son
equivalentes:
1. f es SRC.
2. f preserva sucesiones equivalentes) es decir, si (x
n
) y (Yn) son suce-
siones equivalentes en A, entonces (J(x
n
)) y (J(Yn)) son sucesiones
equivalentes en lll.
Prueba: (1 =} 2) Sean (x
n
), (Yn) e A tal que (x
n
) ~ (Yn). Entonces, por
el teorema 2.4(10), la sucesin (Xl, YI, X2, Y2"") es de Cauchy en A. Luego,
por 1, (f(x), f(y), f(X2), f(Y2)," .)) es de Cauchy en IR, en consecuencia,
por el teorema 2.4(10), (f(x
n
)) ~ (f(Yn)) y as, 2 es cierto.
(2 =} 1) Sea (x
n
) de Cauchy en A. Entonces, por el teorema 2.4(4), (x
n
) ~
(Yn) en A. Luego, por 2, (f(x
n
)) ~ (f(Yn)) en IR y de nuevo por el teorema
2.4(3), (f(x
n
)) es de Cauchy en IR. Por lo tanto, 1 es cierto.
Toda funcin SRC es continua como lo demuestra el siguiente
Teorema 2.9 Sea f : A e IR ~ IR una funcin. Si f es SRC, entonces f
es continua en A.
Prueba: Sean a E A arbitrario y (x
n
) e A tal que (x
n
) ~ a. Consideremos
la sucesin constante (Yn = a). Luego, (Yn) ~ a y por el teorema 2.4(4)
(x
n
) ~ (Yn). En consecuencia, como f es SRC por el lema 2.8, (f(x
n
)) ~
(f(Yn)), es decir, (f(x
n
)) ~ (f(a)). As, por el teorema 2.4(5), (f(x
n
)) 11
(f(a)) y por el teorema 2.4(8), (f(x
n
)) ~ f(a). Por lo tanto, a la luz del
teorema 2.6, f es continua en X = a y el teorema queda completamente
probado.
Nota 2.10
El recproco del teorema 2.9 no es cierto, para ver esto, basta tomar el si-
guiente ejemplo
Ejemplo 2.11
Sea f : (O, 1] ~ IR dada por f (x) = . Es fcil verificar que f es continua,
ms no es SRC.
El siguiente teorema nos da una condicin adicional para que el recproco del
teorema 2.9 sea cierto.
Teorema 2.12 Sea f : A e IR ~ IR una funcin. Si A es conjunto cerrado
en IR y f es continua, entonces f es SRC.
Prueba: Sea (x
n
) una sucesin de Cauchy en A. Veamos que ((x
n
)) es de
Cauchy.
Como (x
n
) e IR y IR es completo, existe a E IR tal que (x
n
) ---+ a. Ahora
como A es cerrado por el teorema 1.25(2), a E A. En consecuencia, por
la continuidad de f se sigue que (f(x
n
)) ---+ f(a) y por el teorema 2.4(1), la
sucesin f(x
n
) es de Cauchy. As, el teorema queda probado.
Definicin 2.13 Sean A e IR y f : A ---+ IR una funcin. f se llama
uniformemente continua (UC) en A, si para cada t > Oexiste 5=5(t) > 0
2
tal que si para todo x, y E A Y Ix - yl < 5, entonces If(x) - f(y)1 < L
En smbolos,
fesUCenA {:} \lf>03<5>0: \lx,YEA/\ Ix-yl<<5 =} If(x)-f(y)J<L
Nota 2.14
1. La diferencia esencial entre la continuidad y la continuidad uniforme de
una funcin f en A es, que para el primer caso el 5 a considerar depende
de cada x E A Y de t mientras en el segundo caso el 5 a considerar es
el mismo para todo x, y E A y slo depende de f.
2. Claramente, si f es uniformemente continua en A, entonces f es con-
tinua, como veremos luego el recproco no es cierto.
3. De la definicin 2.13, se tiene que f no es uniformemente continua e
A si y slo si existe t > O tal que para todo 5 existen x, y E A con
Ix - yl < 5 y If(x) - f(y)1 ~ f.
4. Si f : A e IR ---+ IR es una funcin de Lipschitz, entonces f es DC en
A.
En efecto, Sea t > Oarbitrario. Como f es de Lipschitz existe M > O
tal que
If(x) - f(y)1 :::; Mlx - yl
para todo x, y E A. As, 5 = { satisface la condicin de continuidad
uniforme en A.
5. No toda funcin UC en A es de Lipschitz en A. Para ver esto, con-
sidrese la funcin f : [O, +00) ---+ IR dada por f(x) = Vi, la cual es
UC en [O, +00) pero no es de Lipschitz.
2En este caso el delta slo depende de
Ejemplo 2.15
1. Sea f : [O, (0) -+ IR dada por f(x) = senx
2
, entonces f no es DC en
[0,(0).
En efecto, si f fuera uniformemente continua en [0,(0), entonces para
(: = 1, existira, 8 > Otal que x, y 2:: OY Ix - yl < 8 implicaran
(1)
Ahora, para cada n E .IN, consideremos X
n
= y ' 7 r ~ y Yn = y'7rJ,r,
entonces (x
n
- Yn) -+ Oy as, para el 8, existe no E .IN tal que n > no
implica
(2)
As, de (1) y (2) se sigue que
lo cual no es posible, en consecuencia, f no es VC en [0,(0).
2. La funcin f : (1,2) -+ IR dada por f(x) = ~ es VC en (1,2).
En efecto, dado f > Oarbitrario queremos hallar 8 > Otal que
Vx,y E (1,2) 1\ Ix - yl < 8 ::::}
1 1
1---/<(.
x y
Como x, y E (1,2), entonces x, y> 1. As, Xly < 1. En consecuencia,
1 1 Ix - y\
1- - -1 < < Ix - yl
x y xy
Por lo tanto, tomando 8 = f, obtenemos lo que queramos. Luego,
fes VC en (1,2).
El teorema 2.16 presenta una caracterizacin de la continuidad uniforme de
una funcin utilizando sucesiones paralelas.
Teorema 2.16 Sea f : A e IR -+ ffi una funcin. Las siguientes afirma-
ciones son equivalentes:
lfesUCenA.
2. f preserva sucesiones paralelas (es decir, si (x
n
), (Yn) son sucesiones
paralelas en A, entonces (J( x
n
)), (J(Yn)) son sucesiones paralelas en
IR).
Prueba: 1 =} 2 Sean (x
n
) y (Yn) sucesiones paralelas en A. Sea f > O
arbitrario, por 1, existe > Otal que para todo x, y E A se verifica que
Ix - yl < =} If(x) - f(y)1 < f.
Como (x
n
) 1I (Yn) para el hallado existe ns E IN tal que
n > ns =} IXn - Ynl < .
Luego, de (3) y (4) se sigue que existe ns E IN tal que
n > ns =} If(xn) - f(Yn)1 < f.
AS, (f(x
n
)) 11 (J(Yn)) y por lo tanto, 2 es cierto.
(4)
2 =} 1 Supongamos que 1 no es cierto, es decir, existe f > Otal que para
todo > O, existen X,Y E A con Ix - yl < tS y If(x) - f(y)l2:: f.
En consecuencia, para cada n E IN, consideremos tS
n
= ~ , entonces existen
(x
n
), (Yn) e A tales que IXn - Ynl < ~ y
(5)
Ahora, como IX
n
- Ynl -+ O, entonces (x
n
) 11 (Yn) y por 2, (f(x
n
)) 11 (J(Yn)).
AS, If(x
n
) - f(Yn)1 -+ O, en contradiccin con (5). Por lo tanto,
2 es cierto.
Ejemplo 2.17
La funcin f : IR -+ IR dada por f(x) = x
2
es continua, pero no es ve.
En efecto, sean X
n
= n +~ y Yn = n. Claramente,
1 1
IXn - Ynl = In +- - ni = - -+ O.
n n
As, (x n ) 11 (Yn).
Por otro lado,
1 2 2 1
If(xn ) - f(Yn)1 = I(n +-) - n I = 2 +2" > 2.
n n
En consecuencia, If(x
n
) - f(Yn)1 f+ OYpor lo tanto, (f(x
n
)) lr f(Yn). Luego,
por teorema 2.16, f no es VC en lIt
La continuidad de f es evidente.
Toda funcin uniformemente continua en un conjunto es SRC como lo mues-
tra el siguiente
Teorema 2.18 Sean f : A e .IR -+ .IR una funcin. Si f es ue en A,
entonces f es SRe.
Prueba: Sea (x
n
) una sucesin de Cauchy en A, veamos que (f(x
n
)) es de
Cauchy.
Sea E > Oarbitrario, como f es VC en A existe &> Otal que
Ix-yl<& =? If(x)-f(y)I<E (6)
para todo x, y E A.
Por otro lado, como (x
n
) es de Cauchy en A, para el &hallado existe no E IN
tal que
m, n > no =? IXn - Ym I < &.
Luego, de (6) y (7) se sigue que
(7)
siempre que
fes SRC.
Nota 2.19
m, n > no. AS, (f(x
n
)) es de Cauchy y por lo tanto,
El recproco del teorema anterior no es cierto como lo muestra el siguiente

Ejemplo 2.20
Sea f : .IR -+ .IR dada por f(x) = x
2
, por ejemplo 2.17, f no es VC en .IR.
Como f es continua y .IR es cerrado, se sigue del teorema 2.12 que f es SRC.
Nota 2.21
1. La clase de las funciones SRC es una clase intermedia entre la clase
de las funciones continuas y la clase de las funciones uniformemente
continuas.
2. El recproco del teorema 2.18 es cierto SI agregamos una condicin
adicional como lo muestra el siguiente
Teorema 2.22 Sean f : A e llt -+ llt una funcin. Si f es SRC y A est
acotado, entonces f es UC en A.
Prueba: Supongamos que f no es DC. Procediendo como en 2 ::::} 1 del
teorema 2.16, existen (; > Oy las sucesiones (x
n
), (Yn) e A tales que Ix
n
-
Ynl < ~ y
(8)
Ahora, como (x
n
) e A y A est acotado, entonces por el corolario 1.23,
existen una subsucesin (x
nk
) de (x
n
) y a E A tal que
(9)
En consecuencia, como IXnk - Ynk I < :k y por (9) se sigue
(10)
Luego, por (9) y (lO) la sucesin (Xn,Yn2,Xn2,Yn2"") -+ a y as, es de
Cauchy, entonces por la hiptesis (J(x
n
J,f(YnJ,f(x
n2
),f(Y
n
2)''') es de
Cauchy en contradiccin con (8). Por lo tanto, f es UC en A.
Ahora, presentaremos dos pruebas originales y directas del importante resul-
tado del Anlisis Matemtico conocido como teorema de Reine, en una de
las pruebas utilizamos los teoremas 2.22 y 2.12. Mientras en la otra prueba
utilizamos el teorema 2.16.
Corolario 2.23 (Teorema de Heine )
Toda funcin continua definida en un conjunto compacto A es UC en A.
Cap.2 Sucesiones, }<lmr.iones Secuencialmente Regular Cauchy y Continuidad Uniforme. 34
Prueba: Sea A e IR un conjunto compacto y f : A -+ IR una funcin
continua. Entonces A es cerrado y como f es continua por el teorema 2.12,
f es SRC. Adems, como A est acotado en IR por el teorema 2.22, se sigue
que f es VC en A.
Nota 2.24
1. Otra prueba del corolario 2.20, se puede dar usando el teorema 2.16.
En efecto, Si f no fuera UC en A (compacto) , entonces por el teorema
2.16 existiran sucesiones (x
n
) y (Yn) en A tales que (x
n
) 11 (Yn) pero
(11)
Ahora, como (x
n
) e A y A es compacto, existen (x
nk
) subsucesin de
(x
n
) y a E IR tales que
(12)
Por otro lado, (x
n
) 11 (Yn) implica que
(] 3)
En consecuencia, por (12) y (13) se sigue que
(14)
As, por (12), (14) Yla continuidad de f en A, se sigue que
(15)
Por lo tanto, de (15) obtenemos que If(x
nk
) - f(Ynk)1 -+ 0, pero esto
contradice (11) y as, fes UC en A.
2. Por todo lo expuesto anteriormente podemos concluir que cuando el
dominio de la funcin f es un conjunto compacto, entonces las no-
ciones Secuencialmente Regular de Cauchy, Continuidad Uniforme y
Continuidad son equivalentes.
La proposicin 2.25(3), nos proporciona una diferencia entre las funciones
SRC y las funciones UC, ya que estas ltimas no satisfacen (3).
Cap. 2 Sucesiones, FUnciones Secuencialmente Regular Cauchy y Continuidad Uniforme. 35
Proposicin 2.25 1. Si f : D e ffi -1- ffi es una funcin SRC y A e D,
entonces flA : A -1- ffi es una funcin SRC.
2. Si f : D e ffi -1- Y e ffi y 9 : f(D) -1- ffi son funciones SRC, entonces
9 o f : D -1- mes SRC.
3. Sean f : D e ffi -1- ffi Y 9 : D e ffi -1- ffi funciones SRG. Entonces
f +9 y f 9 son funciones SRG.
Prueba:
1. Sea (x
n
) e A una sucesin de Cauchy. Luego, (x
n
) e D es de Cauchy
y por hiptesis (J(x
n
)) es de Cauchy. AS, (J(x
n
) = fA(X
n
)) es de
Cauchy y por lo tanto, flA es una funcin SRC.
2. Sea (x
n
) e D una sucesin de Cauchy. Entonces por hiptesis (J(x
n
))
es de Cauchy. Ahora, como 9 es SRC, se sigue que g(J(x
n
)] = [gof](x
n
)
es de Cauchy. AS, 9 o f es SRC.
3. Sea (x
n
) e D una sucesin de Cauchy. Entonces por hiptesis (J(x
n
))
y (g(x
n
)) son de Cauchy. En consecuencia, (J +g)(x
n
) y (Jg)(x
n
) son
de Cauchy y por lo tanto, f +9 y fg son funciones SRC.
Los teoremas 2.26 y 2.27 son teoremas de extensin de funciones SRC.

Teorema 2.26 Sea f : D e ffi -1- ffi una funcin SRC. Entonces existe una
nica funcin continua <.p : D -1- ffi la cual extiende a f y es SRC.
Prueba: Sea x E D arbitrario, entonces existe (x
n
) e D tal que (x
n
) -1- X.
Consideremos la sucesin Yn = f(x
n
) n E IN. Ahora, como f es SRC, se
sigue que (Yn) es de Cauchy en ffi y por la completitud de ffi obtenemos que
existe lim f(x
n
). AS, podemos definir una funcin <.p : D -1- ffi mediante
n-+oo
<.p(X) = lim f(x
n
).
n-+oo
Si (w
n
) es otra sucesin en D tal que (Yn) -1- x y g(x) = lim f(w
n
). Entonces
n-+oo
l<.p(x) - g(x)1
(16)
Por otro lado, como f es continua en x se sigue del teorema 2.6 que
(f(xn))-+f(x) 1\ (f(wn))-+f(x). (17)
As, por (16) y (17) 'P(x) = g(x). Por lo tanto el valor de 'P(xo) es indepen-
diente de la eleccin de la sucesin convergente a x.
Ahora veamos que 'P es una extensin de f.
Sea x E D, veamos que 'P(x) = f(x). Consideremos la sucesin constante
con trmino n-simo X
n
= x n E, lN. Entonces, (x
n
) -+ x y por la definicin
de 'P se verifica que
'P(x) = lim f(x
n
) = lim f(x) = f(x).
n-too n-too
A continuacin probaremos que 'P es SRC.
Sea (x
n
) una sucesin de Cauchy en D. Entonces por el teorema 1.25(2),
para cada n E lN existe una sucesin tal que
1\
lim x
m
= x
n
.
m-too n
Luego, por la definicin de 'P se sigue que
En consecuencia, dado f = n E lN existen m1 (n), m2(n)
m> m1(n) Ym> m2(n) implican que
1
Ix: - xnl < -
n
(18)
(19)
E lN tales que
Por lo tanto, si m(n) > mo(n) = max{m1(n), m2(n)} se tiene que
1
Ix:(n) - xnl < - y (20)
n
As, por (20) se tiene que e D y (x
n
) e D son paralelas y por ser
(x
n
) de Cauchy, se sigue del teorema 2.4(10) que es de Cauchy en D.
Entonces por ser f SRC concluimos que es de Cauchy.
Por otro lado, (21) nos asegura que las sucesiones y ('P(x
n
)) son
paralelas. De nuevo por el teorema 2.4(10) obtenemos que ('P(x
n
)) es de
Cauchy y por lo tanto, 'P es SRC.
Adems, por el teorema 2.9, 'P es continua y as, la extensin 'P es nica.
Teorema 2.27 Sea f : D e ffi -+ ffi una funcin continua. Entonces los
siguientes enunciados son equivalentes:
1. Existe una nica funcin continua (adems es SRC) 'P: D -+ ffi la
cual es una e.Ttensin de f.
2. f es SRC.
Prueba: (1:::} 2) Esto es el teorema 2.26.
(2 :::} 1) Por el teorema 2.12 podemos concluir que 'P es SRC en D y por
el teorema 2.9 'P es continua. Luego, por la proposicin 2.25(3), 'PID = f es
SRC y as, 2 es cierto.
Nota 2.28
1. Es necesario destacar que las definiciones 2.1 y 2.7 Ylos resultados 2.4,
2.6, 2.8, 2.9, 2.12 (en este caso, A cerrado en ffi es sustituido por A
completo), 2.16, 2.18, 2.26, 2.27 Y 2.22 (en este caso, D acotado es
sustituido por D precompacto) son vlidos en espacios mtricos como
lo demuestra R.F Snipes en [14].
2. Preguntamos si el siguiente enunciado es o no cierto:
Un espacio mtrico (X, d) es compacto si slo si toda funcin continua
es SRe en X.
Captulo 3
Funcin Derivable en Todas Partes
y Montona en Ningn Intervalo
Derivadas Laterales y Simtricas
Gran parte de los logros tecnolgicos y sin exagerar la casi totalidad de las
aplicaciones de las Leyes Fsicas de la naturaleza reposan en ltima instancia
en un acontecimiento impensado, por lo poco conocido y que se dio a finales
del siglo XVII este acontecimiento es el CLCULO INFINITE-
SIMAL, suma del CLCULO DIFERENCIAL Y el CLCULO
INTEGRAL.
Son ISAAC NEWTON (1643-1727) y GOTTFRIEND WILHELM
LEIBNIZ (1646-1716), en trabajos independientes a quienes pueden
atribursele la definicin de DERIVADA. Se cuenta que Leibniz publico
primero, los mismos resultados que Newton descubriera 10 aos antes. La
historia, no obstante ha sido ms generosa con Leibniz que con Newton esto
lo decimos por la notacin:
La notacin de Newton era poco sugestiva, lo que nosotros llamamos f(x)
o y l lo llamaba "cantidades fluentes", y la derivada de f en x l la
llamaba "fluxin". Adems escriba y en lugar de y'. Cierto es que
Leibniz escriba ~ , p a r a indicar la derivada de y con respecto a la variable
x, esta notacin es la que se usa actualmente.
Despus importantes matemticos como Taylor (1685-1731), Wallis
(1616-1703) y los Bernoulli (Daniel (1700-1782), Jacob (1654-1705),
Johann (1667-1705), Nicolas (1695-1726) )
entre otros, presentan multitud de ideas en el campo de la aplicacin de las
derivadas, tales como las Ecuaciones Diferenciales, el Clculo de Variaciones,
38
Cap. 3 Funcin Derivable y no Montona, Derivadas Laterales y Simtricas.
etc.
39
Pero el punto crucial de nuestra historia se ubica a mediados del siglo XIX,
con los formidables Matemticos AGUSTIN LOUIS CAUCHY (1789-
1857) Y KARL WEIESTRASS (1815-1897), quienes ms hicieron para
depurar el Clculo Diferencial, sometindolo a una completa y continua re-
visin y escrito en lenguaje riguroso y moderno.
En el Anlisis Clsico se encontraban algunos errores, uno de los ms clebres
era el de que toda funcin continua tena derivada, esto responda a la idea
intuitiva de que toda curva dibujada en un papel, sin levantar ellapz deba
poseer necesariamente tangentes en todos los puntos. El propio Weierstrass
sorprendi al mundo matemtico cuando dio un ejemplo de una curva con-
tinua en todo su dominio sin tangente en ningn punto de su dominio.
En la actualidad, el Clculo Diferencial representa una herramienta de tra-
bajo cientfico primordial para Ingenieros, Fiscos, Qumicos, Economistas y
por supuesto los Matemticos.
La motivacin del concepto de derivada a travs de los problemas fsicos como
el de la velocidad que cambia en cada instante, la aceleracin del movimiento
variado, la intensidad de la corriente alterna, etc y los problemas geomtricos
como el de hallar rectas tangentes a curvas, nos muestran que los conceptos
matemticos como el de la derivada no estn al margen de la vida, sino que
son el reflejo matemtico de fenmenos que ocurren en la naturaleza.
As estos conceptos se desarrollaron histricamente a partir de aquellos pro-
blemas que la vida diaria generaba, unos de orden mecnico y otros de orden
geomtrico. Por lo tanto, podemos concluir una vez ms que las matemticas
no es una ciencia acabada e invariante.
En este captulo construiremos un ejemplo de una funcin que tiene derivada
en todas partes y montona en ningn intervalo de nmeros reales. Ejemplos
con estas caractersticas no estn dados en la Literatura clsica del Anlisis
Matemtico. Adems, estudiaremos casi versiones de los teoremas de Rolle y
el Valor Medio, donde las hiptesis exigen slo la existencia de las derivadas
laterales y presentamos pruebas originales de tales resultados. Estos nos per-
mitirn en el captulo 4 dar una versin fuerte del Teorema Fundamental del
Clculo (ver, teorema 4.25).
40
Por ltimo, estudiaremos el trabajo de Aull [3], sobre la derivada simtrica
(o derivada de Schwarz) que tiene variadas aplicaciones en la Teora de las
Series de Fourier y la Integral de Poisson. Esta derivada tambin ser uti-
lizada para dar otra versin fuerte del Teorema Fundamental del Clculo
(ver, teorema 4.26).
A continuacin daremos los detalles de varios lemas que nos permitirn pro-
bar los teoremas 3.5, 3.6 Y el corolario 3.7 resultados centrales del captulo.
Lema 3.1 Sean.5, r E IR.
1. Si O< s < r, entonces
r-s 2
r 2 _s2 < -;:.
2. Si r > 1 y s > 1, entonces
Prueba:
1. Corno r, s > Oy s =f r se verifica que:
0< r +2s
2. Veamos que la desigualdad:
r < 2r +2s
r < 2(r +s)
r
2(r-s) < (r+s)(r-s)
r ) 2 2
2(r - s < r - s
r-s 2
---< -.
r
2
- 8
2
r
(r - 8)2 +(r - 1)(s -- 1) +r
2
+r +38 > 5
es equivalente a la desigualdad dada en 2.
En efecto, desarrollando (1) obtenernos que:
(1 )
2r
2
+S2 +2s - rs > O 2r
2
+28
2
- 4 < s(r +s - 2)
r+s-2 2
----<-.
r
2
+S2 - 2 s
As, por ser s,r > 1, entonces (r -l)(s -1) > O. Luego, (1) es cierto
y por lo probado concluirnos que 2 es cierto.
Cap. 3 :Funcin Derivable y no Montona, Derivadas Laterales y Simtricas.
Lema 3.2 Sea :.IR -+ .IR la funci'n dada por
1
(x) = 'J .
1 +Ixl
Entonces
_1_ r
b
(x)dx <: 4min{(a), (b)}
b- a la
donde a y b son nmeros reales diferentes,
Prueba: Caso 1. a <: b y a 2:: o, Entonces, para x 2:: Ose tiene que
1
(x) = Vf+X'
l+x
Luego, integrando por sustitucin sencilla (t
2
= 1 +x) hallamos que
l
b 1
Vf+Xdx = 2Vf+X l ~ = 2[vT+b - ~ ] ,
a 1+X
En consecuencia,
_1_ r
b
 x dx = 2vT+b - Jf+li,
b - a la () (1 +b) - (1 +a)
As, aplicando el lema 3,1(1) para t = vT+b y s = Jf+li se sigue que:
1 lb 4
-b- (x)d::; < v'f+b'
-a a l+b
41
(2)
Por otro lado, ( a) = Vl
1
+a y ( b) = Vl\b' Como a < b, entonces Vl
1
+a >
V:+b y por lo tanto,
min{(a),(b)} = k.
l+b
En consecuencia, por (2) y (3) concluimos que
1 r
b
b-ala (x)dx <4min{(a),(b)}.
(3)
Cap. 3 Puncin Derivable y no Montona, Derivadas Laterales y Simtricas.
Caso n. a < O< b. Entonces
42
1 [b
b- a la <1>(x)dx
_1_ [o. 1 dx +_1_ [b 1 dx
b - a la vT="X b - a lo /f+X
2 r-o 2
= - b _ a V 1 - x la +b _ a y 1 +x lo
__
b-a

- 2--------
(1 +b) +(1 - a) - 2
(4)
Por otro lado, b > Oy -a > Oimplican que Vf+b > 1 y > 1.
Luego, por el lema 3.1(2) se tiene que:
4 4
2 < V 2 <. (5)
(1+b)+(1-a)-2 (1+b)+(1-a)-2 Vf+b
Ahora, como <1>(a) = vLa y <1>(b) = Vl
1
+b' entonces por (4) y (5) se sigue
que
1 fb
b_ a la <l>(x)dx < 4min{<1>(a), <l>(b)}.
Caso nI. b O. Entonces
1 [b
b- a la <l>(x)dx =
1 lb 1
-- dx
b-a a vT="X
__l_vT="Xl b
b-a a

- 2 (1 - a)(l - b) .
Ahora, por el lema 3.1(1) y por (6) se sigue que
1 lb 4
-b- <1>(x)dx <
-a a l-a
P t 1 d b
l' 1 1 '
or O ro a o, a < ,lmp lca que y'I::a < 7i=b y aSI,
min{<l>(a), <l>(b)} = vh-a.
1-a
(6)
(7)
(8)
Por lo tanto, de (7) y (8) concluimos que
1 (b
b_ a la (x)dx < 4min{(a), (b)}.
43
Por la prueba dada en los casos J,II y III el teorema queda completamente
demostrado.
Lema 3.3 Sea <1> como en le lema 3.2 y 'ljJ cualquier funcin de la forma:
n
1/' (x) = Cj <1> [>' j (x - o j )]
j=1
+ . -'
donde Cj, >'j E IR y Oj E IR, J = 1, n. Entonces
1 (b
b-ala 'ljJ(x)dx<4min{'ljJ(a),'ljJ(b)}.
Prueba: Por la proposicin 1.49 se sigue que,
1 {b
b- a la [>'(x - o)Jdx =
1 {>'b
>.(b _ a) l>.a (x - o)dx
1 l>.(b-a)
----- (x)dx
>.(b - a) >.(a-a)
1 l'\(b-a)
(x)dx
>'(b - o) - >'(a - o) >'(a-a)
(9)
En consecuencia, por (9) y lema 3.2 se tiene que:
1 lb 1 bn
-b- 'ljJ(x)dx = - { \----- c<l>[>.-(x - o-)J
- a a b - a la ~ J J J
a j=1
~ c __
1
__ {b <1>[>' -(x - o)J
L..J J b _ a lo J J
j=1 ' a
1 l.\(b-a)
- (x)dx
>.(b - o) -- >'(a - o) .\(a-a)
n
< 4 Cj min{[>'Aa - Oj)], [>'j(b - Oj)]}. (10)
j=1
Cap. 3 Funcin Derivable y no Montona, Derivadas Laterales y Simtricas. 44
Ahora, si min{cI)[,\j(a - aj)],cI)[).j(b- aj)]} = cI)[Aj(a - aj)], entonces por
(10) obtenemos que
1 [b
b-ala 1/J(x)dx <
n
4L - Oj)]
j=1
41/J(a). (11 )
Si - Oj)], - aj)]} = - aj)], entonces por (10)
obtenemos que
(12)
As, por (11) Y(12) se verifica que
1 [b
b - a la 1/J(x)dx < 4min{1/J(a),1/J(b)}.
Lema 3.4 Sea (1/Jn) una sucesin de funciones como la del lema 3.3. Pam
cada x E IR y cada n E IN definamos
Supongamos que 1/Jn(a) = s < 00 pam algn a E IR. Entonces la
serie F( x) = Wn( x) converge uniformemente en todo subconjunto
acotado de IR, la funcin F es derivable en a y F'(a) = s. En particular, si
V'n(a) = f(t) < 00 para cada t E:: lR, entonces F es dervable en todo
IR y F' =f.
Prueba: Sea b E IR tal que b lal. Luego, -b ::; x ::; b Ypor el lema 3.3,
obtenemos que:
IWn(x)! 11]; 1/J(t)dtl =11
a
1/J(t)dt +1
x
1/J(t)dtl
< 11
a
v,(t)dtl +11
x
1/J(t)
dt
l
< 14amin{1/Jn(O),1/Jn(a)}1 +14(x - a)min{1/Jn(a),1/Jn(x)}1
Cap, 3 Funcin Derivable y no Montona, Derivadas Laterales y Simtricas,
< +41x - al'rPn(a)
4rPn(a)[lal +Ix - al]
< +Ixl +lal]
< +Ixl]
<
4br,n(a).
45
Ahora, por la hiptesis la serie numrica converge, entonces por
(11) y criterio M-Weierstrass (teorema 1.51) se sigue que la serie de funciones
Wn(x) converge uniformemente en [-b, b] Y como todo conjunto acotado
M de IR est contenido en un intervalo de la forma [-b, b] para algn b E IR,
concluimos que la serie de funciones Wn(x) converge uniformemente en
todo conjunto acotado de IR.
Veamos que F es derivable en a y F'( a) = s.
Sea (: > Oarbitrario. Como la serie = s < 00, entonces existe
N E IN tal que n > N implica que I - 2::=1 < ]f
O
' As,
00 (:
L < -. (14)
n=NH 10
Por otro lado, como es continua en a, existe > Otal que
It - al < ::}
Es decir, < f:+
h
- < y as,
1 [a+h (:
I
h
la - < 2N
donde O< Ihl < y 1 :::; n :::; N. Adems, por el lema 3.3, se sigue que
< +h) +
< + +
<
En consecuencia, por (14),(15) y (16) para O< Ihl < se tiene que
(15)
(16)
IF(a +h) - F(a) _ si
h
+h) - F(a)] - si
h
En consecuencia, F es derivable en a y F'(a) = s.
46
Teorema 3.5 Sean lb"" In intervalos abiertos y disjuntos y sea Oj el

punto medio de lj y sean E, Yl, ... , ynE JR+. Entonces existe una funcin VJ
como la del lema 3.3 tal que para cada j
1. 7/)(Oj) > Yj.
2. VJ(x) < Yj +f cuando x E lj.
3. < E cuando x rf. Uj=llj.
Prueba: Debemos hallar Cj, Aj E JR+ j = 1, n tales que
n
=L - Oj)]
j=l
donde <P(x) = ~ .
yI+lxl
Tomemos Cj = Yj + ~ y coloquemos
1
<Pj(x) = Cj<P[Aj(X - Oj)] = -======
JI +JAj(X - Oj)J
donde los Aj , j = 1, n son escogidos tan grandes que
<Pj (x) < 2: si x f/. Jj .
Ahora, tomemos
n
7jJ = ~ ) Y j +-) > Yj
j=l j=l 2
47
Por lo tanto, 1 es cierto.
Si x E J
j
, entonces x f/. h para todo k # j pues los h son disjuntos. En
consecuencia, como <P
j
alcanza su valor mximo Cj cuando x = a], se sigue
que,
n
7jJ(x) <Pj(x) := <Pj(x) + <Pk(x)
j=l j*k
(
< <Pj(Oj) +L-
#k 2n
n -1 (:
Cj +-n--2
(: (: (:
< Cj +2= !tj +2+2= !tj +(.
As, 2 es cierto.
Por ltimo si x f/. U''J=1 J
j
, entonces x f/. J
j
para todo j = 1, n. En conse-
cuenCla,
n n ( ( (
7jJ(x) = <Pj(x) < - = n- = - < (.
j=l j=l 2n 2n 2
Por lo tanto 3 es cierto y el teorema queda completamente probado.
Cap.3 Funcin Derivable y no Montona, Derivadas Laterales y Simtricas. 48
Teorema 3.6 Sean {aj}jElN Y {;3j}jElN subconjuntos disjuntos y nume-
rables de IR. Entonces existe una funcin F : IR --+ IR derivable en todas
partes que satisface:
F'(aj) = 1, F'U:j) < 1 j = 1, n y
0< F'(x) S 1
para todo x E IR.
Prueba: Por construccin obtenemos una funcin F como en el lema 3.4.
Luego, F' = f = '!/Jn' Sea (In) la sucesin de las sumas parciales de la
serie '!/Jn'
Afirmacin.
1 .
fn(ajl-- (lSJsn)
n
1
fn(x) < 1 - n +:I (x E IR)
'!/Jn (;3j) < (1 s: j s: n)
(17)
(18)
(19)
En efecto, procedamos inductivamente. Escojamos un intervalo abierto 1 con
al su punto medio y ;31 rt. l. Por el lema 4.5 tomando t = Y1 = obtenemos
una funcin f1 = '!/JI que satisfacen las condiciones (17), (18) Y (19) (para
n = 1).
Supongamos que n > 1 y que fn-1 y tV
n
-1 han sido escogidas que satisfacen
(17), (18) Y(19).
Ahora, seleccionamos los intervalos abiertos y disjuntos 1
1
, .. , In tales que
para cada j E {1, ... , n}, aj es el punto medio de Ij, Ij n{;3I, ... , ;3n} =(/)
y
(20)
para cada x E I j (1 s: j s: n), donde = - 2n
1
2
n
' Luego, aplicando
11 3
r: - 1
e ema .v, con (; - 2n2
n
y
(21)
obtenemos una funcin '!/Jn que satisface las condiciones 1, 2 Y 3 dellema 3.1.
Adems, es claro que '!/Jn(;3j) < t = y aS, (19) es cierto.
Cap. 3 Funcin Derivable y no Montona, Der:ivadas Laterales y Simtricas.
Por otro lado, por la definicin de Jn, (21) Yel lema 3.5(1) se sigue que,
n n-l
Jn(aj) L 1Pk(aj) = L 1Pk(aj) +1Pn(aj)
k=l k=l
Jn-l (aj) +1Pn(aj)
> Jn-l(aj) +Yj
1
> 1--.
n
49
As, (17) es cierto.
Por ltimo, si x E I
j
entonces por la definicin de Jn, el lema 3.5(2), (20) Y
(21) se verifica que
Jn(x) - Jn-l(X) +1/'n(x)
< Jn-l(X) +Yj +(
< Jn-l(aj) +8 +Yj + (
1
1---y-y++(
n J J
1
= 1--++(
n
1 1 1 1
= 1--+-----+-
n n(n +1) 2n2
n
2n2
n
1 1
- 1--+---
n n(n +1)
1
1---.
n+1
Ahora, si x f/ Uj=lIj, entonces por el lema 3.5(2) y la hiptesis inductiva se
tiene que
Jn(X) Jn-l(X) +1Pn(x)
< Jn-l(X)+(
1
< 1- +(
(n - 1) +1
1
1--+t.
n
Por otra parte, para ( = 2n
1
2
n
se tiene que
1 1
1--+1---
n n+1
(22)
(23)
En consecuencia, por (22) y (23) se verifica que (18) es cierto y la afirmacin
queda completamente probada.
Ahora, por (17) y (18) se tiene que,
lim (1- 1.) < F'(aj) = f'(aj) == lim fn(a) < lim (1 - +1
1
) = 1
n-too n n-too n-too n
y aS, F'(aj) = 1.
Por (18) se sigue que,
0< F'(x) = lim fn(x) ::; lim (1 - +1
1
) = 1
n-too n-too n
y tomando n > j y aplicando (19) obtenemos que
00 n-1 00
F'({Jj) = f({Jj) = VJm({Jj) = VJm({Jj) + VJm({Jj)
m=1 m=1 m=n
00
m=n
1
00
1
<1- +--
(n - 1) +1 m=n 2m2
m
1 1 00 J.
< 1--+---
n 2n m=n 2
m
1 1
1--+-
n 2n
1
1- - < 1
2n
AS, F satisface las condiciones del teorema.
El siguiente resultado nos proporciona un ejemplo de una funcin H : IR -+ IR

derivable en todas partes con derivada acotada y no montona en ningn
intervalo de IR. El primer ejemplo construido de este tipo fue dado por
Kopcke en ao 1889. Un ejemplo dual al de Kopcke fue dado por Pereno
en ao 1897. El ejemplo que desarrollamos es ms fcil y elemental fue
construido por Katznelson y Stomberg en ao 1974 ver [7]. En la nota 3.8
mostraremos que la derivada de H no es Riemann integrable en [a, b] e IR.
Corolario 3.7 Existe una funcin H : IR -+ IR derivable en todas partes y
montona en ningn subintervalo de IR. Adems, H' est acotada.
Prueba: Sean {O'j}jEIN Y{,8j}jEIN subconjuntos densos y disjuntos de ffi.
Aplicando el procedimiento del teorema anterior existen funciones F, G :
ffi --+ ffi derivable en todas partes tales que
F'(O'j) =G'(,8j) =1; G'(O'), F'(,8) < 1
O< F' (x) :S 1 1\ O< G' (x) :S 1
para todo j E IN Yx E ffi. Ahora, sea H : ffi -+ ffi definida por H(x) =
F(x) - G(x). Entonces,
As,
P'(O'j) - G'(O'j)
1 - G'(aj) > O.
F'(,8j) - G' (,8j)
G'(,8j) - 1 < O.
(24)
(25)
-1 :S H' ( r ; ) :S 1 (26)
para todo j E IN Y x E ffi. Por otro lado, como {O'j}jEIN Y {,8j}jEIN son
ambos densos en ffi, entonces por (24) y (25) H no puede ser montona en
ningn intervalo de ffi. Adems, por (26) H' es acotada en ffi.
Nota 3.8
Sea H una funcin como la del corolario anterior.
1. H tiene un mximo y mnimo local en todo intervalo cerrado y acotado
de ffi.
En efecto, sea a O y H'(,8) < O. Entonces, H toma un mximo absoluto en
[0',,6], digamos en ., E [0',,8]. Claramente, o' < ., < ,6 y H(,) es el
valor mximo local para H. Razonando de manera similar concluimos
que H tiene un mnimo local.
2. Ntese que H' es una funcin acotada en [a, b]. Si H' es Riemann
integrable en [a, b], entonces por el teorema 1.54 el conjunto de puntos
donde H' es discontinua tiene medida cero.
Por otro lado, si H' es continua en t, entonces por el teorema 1.30 existe
S > Otal que H'(.7:) > Opara todo x E (t - S, t -+- S). Luego, H sera
creciente en el intervalo (t - S, t -+- S) lo que contradice el teorema 3.6 y
si H'(t) < O, razonando de manera similar al caso anterior llegamos a
una contradiccin, y as, concluimos que H'(t) = Osalvo un conjunto
de puntos de medida cero. En consecuencia, por el supuesto de que H'
es Riemann integrable en [a, b], se tiene que
H(x) = H(O) -+- i
X
H'(t)dt = H(O)
para todo x E [a, b], es decir, H es constante en [a, b]lo que contradice
la definicin de H. Por lo tanto, H
'
no es Riemann integrable en ningn
intervalo [a, b].
Haciendo sencillas modificaciones en las pruebas de los teoremas 3.5 y
3.6 se pueden probar los siguientes resultados:
Teorema 3.5' Sean /
1
"", In intervalos abiertos y disjuntos de [0,1]
Y sea aj el punto medio de J
j
y sean E, T], Yl, . .. ,Yn E m+. Entonces
existe una funcin 'l/J como la del lema 3.3 tal que para cada j
(a) v)(aj) > Yj.
(b) < Yj -+- E cuando x E lj.
(c) 'l/J(x) < E cuando x (j. UJ=IJj.
(d)
Teorema 3.6' Sean {aj}JEIN una enumeracin de los nmeros racionales
de (0,1) Ysea S > O. Entonces una funcin F derivable en [0,1]
que satisface:
F' (a j) == 1, j = 1, n
F(O) = O, F(1) S y O< F' (x) 1,
para todo x E [0,1].
Ahora, comenzaremos un estudio detallado de la derivada simtrica y las
consecuencias importantes que de ella se derivan.
La derivada simtrica de una funcin f denotada por s existe cuando
l
- fS( )
1m 2h - x

Puede suceder que r(a) exista aun cuando f(a) no exista, como lo muestra
el siguiente
Ejemplo 3.9
Sea f(x) = ;2' f(O) no existe, pero
r (O) = lim f(h)- f( -h) = lim f(h)- f(h) = lim ~ = lim O= O.
h-+O 2h h-+O 2h h-+O 2h h-+O
Nota 3.10
Esto no sucede con la derivada ordinaria, el ejemplo anterior muestra que
r (x) exista no implica que f sea continua en x.
Ejemplo 3.11
La funcin de Dirichlet
f(x) = {0
1
81
SI
x E ~
x E Q\ffi
tiene la propiedad de que r (x) existe si x E 42, ms r (x) no existe si
x E f f i \ ~ .
En efecto, si x E ~ Y h E 42, entonces x +h, x - h E 42 y aS,
f(x+h)-f(x-h):= 1-} =Q.=O.
2h 2h h
Si x E ~ Yh E f f i \ ~ , entonces x +h, J; - h E f f i \ ~ y as,
f(x +h) - f(x - h) := O- O= Q. = O
2h 2h h .
(27)
(28)
(29)
En consecuencia, por (27) y (28) se sigue que S(x) = O para todo x E ~ .
Por otro lado, si x E ffi \42 y h E IR\ ~ puede suceder que x +h E 42 y
x - h E f f i \ ~ o x +h E ffi\42 y x -- h E ~ ,
f(x +h) - f(x- h) 1
2h = 2h'
Cap. 3 FUncin Derivable y no Montona, Derivadas Laterales y Simtricas.
En consecuencia, s(x) no existe para todo x E IR\ CQ.
Conocemos que si l'(x) existe entonces s(x) existe.
En efecto,
54
f(x+h)-f(x-h)
2h
~ [ f ( x +h) - f(x) f(x) - f(x - h)]
2 h + h
~ [ f ( x +h) - f(x) _ f(x - h) - f(x)] ( )
2 h h' 30
Sea t = -h, entonces t --+ Ocuando h - ~ O. En consecuencia, por la hiptesis
l
f(x+t)-f(x) - l' f(x-h)-f(x) - f'( )
1m h - 1m h - X.
t--+O h--+O
As, por (30) y (31), se sigue que S(x) = !(J'(X) +J'(x)] = J'(x).
Nota 3.12
l. Pero la existencia de s no garantiza la existencia de f'
(31)
2. Ms aun, la continuidad de f y la existencia de s no garantiza la
existencia de f' como lo muestra el siguiente ejemplo.
Ejemplo 3.13
Considere la funcin f : ffi --+ ffi dada por f( x) = Ix I y x = O. Entonces
f(O+h)-f(O-h) Ihl-I-hl Ihl-Ihl O
2h = --2-h- = 2h = 2h --+ O
cuando h --+ O. As, S(O) = OY f es continua en x = O, ms 1'(0) no existe
El teorema 3.14 es un resultado crucial en el desarrollo de los resultados
ms importantes sobre la derivada simtrica, para la prueba utilizaremos el
teorema 1.30.
Teorema 3.14 Sea f continua en [a, b] y supongamos que s existe en (a, b).
Si f(b) >(respeetivamente, <) f(al, entonces existe un e E (a,b) tal que
s(c) 2:: (respectivamente ~ ) O.
Prueba: Por argumento de densidad existe k E IR tal que f(a) < k < f(b).
Sea A = {x E (a,b): f(x) > k}. Entonces
1. A =1- f/J (como f(a) < k < f(b), sea k
o
E IR tal que f(a) < k < k
o
<
f(b), luego por la continuidad de f en [a, b], existe x E (a, b) tal que
f(x) = k
o
> k).
2. Como A e (a, b), el un conjunto A est acotado inferiormente en IR.
En consecuencia, el Axioma Fundamental del Anlisis garantiza que existe
e E IR tal que e = inf A ya::; e ~ b.
Afirmacin. a < e < b.
En efecto, Si e = a = inf A. Sea 9 : [a, b] --+ lR dada por g(x) = k - f(x).
Claramente, 9 es continua en [a, b] y g(a) > O, entonces existe 8 > Otal que
g(x) = k - f(x) > Opara todo x E (a,a +8). Es decir, f(x) < k para todo
x E (a, a +8). As, existen x > a que son cotas inferiores para A lo cual es
absurdo. Por lo tanto a < e.
Si b = e =inf A, entonces g(b) = k- f(b) < Oy en consecuencia, existe 8> O
tal que k - f(x) = g(x) < Opara todo x E (b- 8,b). Es decir, f(x) > k para
todo x E (b - 8, b). As, existen x < bque estn en A lo cual es absurdo. Por
lo tanto, e k.
Adems, si para todo x E [a, c] f(x) > k entonces e = a lo cual es imposible.
AS, existe x E [a, el tal que f(x) ~ k.
En consecuencia, todo entorno de e contiene x < e tal que f(x) > k y contiene
x en [a, e] tal que f(x) < k.
Por lo tanto, tomando Ihl < 8, tenemos que si h > O, entonces e +h > e y
f(c +h) > k y -h < Oimplica e - h < e y f(e - h) ::; k. AS, concluimos
que f(c+h):;/(c-h) > Oy r(e) ;::: o.
Si h < O, entonces e +h < e y f( e +h) :::; k Y -h > Oimplica e - h > e y
f(e - h) ::; k. As, concluimos que f(c+h):;/(C-h) < Oy r(e) :::; O.
La otra desigualdad se prueba de manera similar y el teorema queda
probado.
Corolario 3.15 (Casi Teorema de Rolle)
Sea f : [a, b] --t IR una funcin continua en [a, b] y supongamos que s existe
en (a,b) y f(a) = f(b) = O. Entonces existen c,d E (a,b) tales que
F(d) 2 O Y F(c)::; O.
Prueba: Si f es la funcin nula el resultado es evidente.
Supongamos que f no es la funcin nula. Entonces existen o: E [a, b] o (J E
[a, b] tales que
f(o:) > 0= f(a) = f(b) o f({J) < O= f(a) = f(b).
Luego, por el teorema 3.14 existen e, d con a < c < o: < d < b o a < d <
(J < c < b tales que
S(d) 2 O Y S(c)::; O.
Corolario 3.16 (Casi Teorema del Valor Medio )

Sea f : [a, b] --t IR una funcin continua en [a, b]. Si s existe en (a, b),
entonces existe c, d E (a, b) tales que
Prueba: Definamos la funcin g : [a, b] --t IR mediante
g(x) = f(x) - = - a).
Entonces,
g(a) = f(a) - [f(b =:(a)](a - a) = f(a).
g(b) = f(b) - [f(b) - f(a)](b - a) = f(a).
b-a
As, g(a) = g(b) Y9 es continua en [a, b).
Por otro lado, la funcin h : [a, b] --t nt, dada por
h(x) = f(b) - f(a) (x - a)
b-a
es derivable en (a,b) y h'(x) = ! ( b l = ~ ( a ) en consecuencia, existe S(x) para
todo x E (a,b) y S(x) = f(x). Por lo tanto, existe g8 en (a,b) y por el
corolario 3.15 existen c, d E (a, b) tales que g8(d) ~ OY gS(c) :s; O. Es decir,
r(e) :s; f (b =(a) :s; r(d) .
Como vimos al comienzo

J'(x) existe =? r(x) existe
pero, el recproco no es cierto. Ahora, agregando la condicin de que f sea
continua obtenemos que el recproco es cierto, como lo muestra el siguiente
Corolario 3.17 Sea f : [a, b] -+ IR una funcn continua en [a, b] tal que s
sea continua en (a,b). Entonces f' existe en (a,b) y f' = s en (a,b).
Prueba: Sea h suficientemente pequeo tal que a < x +h < b. Apliquemos
el corolario 3.16 entre x y x +h, entonces existen Ch, d
h
entre x y x +h tales
que
(32)
Ahora, podemos tomar la desigualdad estricta en (32), pues al contrario el re-
sultado sera inmediato. Al aplicar el teorema 1.31 de los valores intermedios
para funciones continuas a S, existe th entre x y x +h tal que
r(t
h
) = f(x +h) - f(x).
h
Luego, haciendo h -+ Ose verifica que th -+ x y por la continuidad de s se
sigue que f'(x) existe para todo x E (a,b) y f'(x) = S(x).
Corolario 3.18 Sea f: (a,b) -+ IR continua en (a,b). Si s = Oen (a,b),
entonces f es constante en (a, b).
Prueba: Sean x, y E (a, b). Sin perdida de generalidad podemos asumir
que x < y, entonces por el corolario 3.16 existen c, d E (x, y) tales que
0= r(c):S; f(y) - f(x) :s; r(c) = O
y-x
En consecuencia, f(x) = f(y) y por lo tanto f es constante en [a,b].
Es usual conocer las relaciones entre el signo de las derivadas de una funcin
y su monotona, a saber:
Si f es continua en [a, b] y derivable en (a, b) entonces f es montona cre-
ciente (respectivamente, decreciente) si y slo si f' 2 O (respectivamente,
::; O) en (a, b).
Una prueba clsica de este resultado es la aplicacin inmediata del Teorema
del Valor Medio. En ao 1986, Miller y Vyborny [lO] probaron una versin
fuerte del resultado anterior, exigiendo slo la existencia de f ~ (o f ~ ) en
(a, b). A continuacin presentamos los detalles de tal resultado, aplicando el
teorema 1.30.
Teorema 3.19 Sea f : [a, b] --+ IR una funcin continua en [a, b]. Si para
cada x E (a, b) una de las derivadas laterales f ~ (x) o f ~ (x) existen y son
negativas, entonces f es creciente en [a, b].
Prueba: Supongamos que f es no creciente en [a, b]. Entonces podemos
hallar puntos a, {J E [a, b] con a < {J pero f( a) > f({J).
La prueba consiste en hallar un punto en (a, {J) para el cual ambas derivadas
laterales sean negativas.
Para ello consideremos la ltima interseccin del grfico de f con una lnea
recta apropiada L
t
. As, sea Lt(x) =-t(x-a)+c, donde e = ~ [ j ( a ) + f({J)],
t > O y t debe tomarse tal que
Lt({J) > f({J)
Es decir t debe satisfacer que
f({J) < -t({J - a) +e => t(/J - a) < e - f({J)
=> 0< t < ~ f ( a ) +!f({J) - f({J)
{J-a
=> 0< t < f(a) - f({J).
2({J-a)
(33)
Ahora, sea A
t
= {x E [a,{3]: f(x) 2 Lt(x)}, entonces como a E A
t
,
A
t
=1 0 y claramente A
t
esta acotado en IR as, por el Axioma Fundamental
Cap. 3 fUncin Derivable y no Montona, Derivadas Laterales y Simtricas.
del Anlisis existe E IR tal que = A
t
y a S S (l.
59
Afirmacin. E (a,{3) y =
En efecto, si = a, entonces E A
t
. Ahora, definamos la funcin 9 : [a, b] --+
IR dada por g(x) = f(x) - Lt(x). Luego, como g(a) = f(a) - Lt(a) > Opues
f( a) > f({3) En consecuencia, por la continuidad de 9 en a existe <5 > Otal
que x E (a, a +&) implica g(x) > O. Es decir,
x E (a,a +<5) :::} f(x) > Lt(x)
como (34) contradice el supuesto a = concluimos que =f a.
De manera similar se verifica que =f (l.
(34)
Ahora, verifiquemos que g(et) = O.
Si > O, por la continuidad de 9 existe <5 > Otal que x E (et, +6)
implica g(x) > O. As, podemos Xl E (et,et +<5) tal que
En consecuencia, Xl E A
t
YXl > et lo cual es absurdo. Por lo tanto, > O
es imposible.
Si < O, entonces por la continuidad de 9 en existe <5 > Otal que
X E - <5, +<5) :::} g( x) < O. (35)
Luego, por la definicin de existe X

E A
t
tal que 6 - 6 < X

S En
consecuencia, g(x
) > Olo que contradice a (35), por lo tanto, g(ed < Oes
imposible. As, podemos concluir que = O. Es decir,
(36)
y por lo tanto la afirmacin es cierta.
Por otro lado, sea X E (et, (l), entonces por la definicin de se verifica que
f (x) < L
t
(x).
Luego, por (36) y (37) Yla definicin de L
t
se sigue que
(37)
Entonces, por la hiptesis se tiene que
f
' (tt) = lim f(x)-J(et) < lim (-t) = -t < O.
+ l, + X-el - +
x-+e x-+e
60
(38)
Ahora, como (t = supA
t
, entonces (t E A
t
y aS, existe una sucesin
(x
n
) e A
t
tal que (x
n
) -+ (t. Luego, como f(x
n
) ~ Lt(x
n
), entonces
f((t) - f(x n ) < L t ( ~ d - Lt(xn ) = -t.
(t - x - ~ t - X
De nuevo, por la hiptesis se tiene que
f
' (1:) = lim J(ed-f(x
n
) < lim (-t) = -t < O.
- l,t _ e-X - +
x-+
t
x-+
(39)
Como (38) Y(39) contradicen a la hiptesis concluimos que, f es creciente
en [a, b].
Nota 3.20
EL teorema tambin es cierto cuando f ~ (x) o f ~ (x) existe y son no positivas
para x E (a,b), obtenindose que fes decreeienteen [a,b].
Las pruebas dadas para los corolarios 3.21, 3.22 Y3.23 son originales (hasta
donde conocemos) y estn basadas en el teorema 3.19.
Corolario 3.21 Sea f continua en [a, b] y supongamos que f ~ existe en
(a, b). Si f(b) >(respectivamente, <) f(a), entonces existe un e E (a, b)
tal que f ~ ( c ) ~ (respectivamente ~ ) O
Prueba: Supongamos que para todo e E (a, b) se tiene que f ~ (e) < O,
entonces por la nota 3.20 consecuencia del teorema 3.19 se sigue que f es
decreciente en [a, b] y luego, f(b) ~ f(a) lo que contradice la hiptesis. AS,
existe e E (a,b) tal que f ~ ( c ) ~ O.
Corolario 3.22 (Casi Teorema de Rolle)
Sea f : [a, b] -+ IR una funcin continua en [a, b] y supongamos que f ~ existe
en (a,b) y f(a) = f(b) = O. Entonces existen c,d E (a,b) tales que
f ~ ( d ) ~ O Y f ~ ( c ) ~ O.
Prueba: Si f es la funcin nula, entonces el resultado es evidente.
Supongamos que f no es la funcin nula, entonces existen a, (3 E [a, b] tales
que
f(a) > O= f(a) = f(b) o f({3) < O= f(a) = f(b).
En consecuencia, por el corolario 3.21, existen e, d E [a, b] con a < e < a <
d < b o a < d < (3 < e < b tales que
f ~ (d) ? O Y f ~ (e) :s; O.
Corolario 3.23 (Casi Teorema del Valor Medio)

Sea f: [a,b] -+ ffi una funcin continua en [a,b]. Si f ~ existe en (a,b),
entonces existe c, d E (a, b) tales que
f ~ (c) :s; f (b~ =:(a) :s; f ~ (d).
Prueba: Definamos la funcin 9 : [a, b] -+ IR mediante
g(x) = f(x) - [f(b) - f(a)](x - a).
b-a
Entonces,
g(a) = f(a) - [ f ( b ~ =:(a)](a - a) = f(a).
g(b) = f(b) - [f(b) - f(a)](b - a) = f(a).
b-a
As, g(a) = g(b) Y9 es continua en [a,b].
Claramente, f ~ existe en (a, b). En consecuencia, por el corolario 3.22 existen
e, d E (a, b) tales que g ~ ( d ) 2: OYg'+(e) :s; O. Es decir,
f ~ (e) :s; f (b =(a) :s; f ~ (d) .
Nota 3.24
Claramente, los corolarios 3.22 y 3.23 continan siendo vlidos al sustituir
f ~ por f'-
El prximo resultado es una versin fuerte del clsico resultado de que toda
funcin con derivada cero en un intervalo es constante.
Corolario 3.25 Sea f: (a,b) -+ IR una funcin continua en (a,b). Si f ~
(respectivamente, f'-)=O en (a,b), entonces f es constante en (a,b).
Prueba: Sean x,y E (a,b) y supongamos que f ~ existe en (a,b). Sin
perdida de generalidad podemos asumir que x < y, entonces por el corolario
3.23 existen c, d E (x, y) tales que
o=f ~ ( c ) ~ f(y) - f(x) ~ f ~ ( d ) =O
y-x
En consecuencia, f(x) = f(y) y por lo tanto f es constante en [a, b].
1. Dejamos abierta la pregunta si el siguiente enunciado es o no cierto:
Sea f : [a,b] -+ lR una funcin con derivada r en (a,b). Si r(x) <
d < f(y), x, y E (a, b) x < y, entonces existe e E (x, y) tal que
r(c) = d
2. Qu condiciones imponer para que el siguiente enunciado sea cierto:
Si r(a) existe, entonces f es continua en a?
Captulo 4
Funciones G-integrables
y Versiones Fuertes
del Teorema Fundamental del Clculo
El origen de la integral se remonta a ms de 2000 aos, cuando los griegos
atacaban los problemas relacionados con el clculo de reas a travs de un
procedimiento que denominaron mtodo de exhaucin. Este procedimiento
puede resumirse:
Supongamos que deseamos calcular el rea de una regin, entonces la idea es
inscribir en ella una regin polgonal cuya rea sea de fcil clculo y que se
aproxime al rea de la regin dada, el siguiente paso es inscribir otra regin
polgonal que d una mejor aproximacin y as, se contina el proceso au-
mentando cada vez el nmero de lados de la regin polgonal de tal manera
que se tenda a llenar la regn dada.
El mximo representante de los griegos por su aporte al mtodo de exhaucin
fue Arqumedes (287-212 A.C.), este estableci frmulas exactas para cal-
cular el rea del crculo y de otras figuras.
Pasaron 18 siglos para que el mtodo de exhaucin se desarrollara, esto
dbido a la ausencia de smbolos y tcnicas algebricas. En el siglo XVI
con el desarrollo del lgebra renaci el inters en el mtodo de exhaucin
y destacaron por sus trabajos los matemticos: Cavalieri (1598-1647),
Toricelli (1608-1647), Roberval (1602-1675), Fermat (1601-1665),
Pascal (1623-1662) y Wallis (1616-1703). A partir de ese momento el
mtodo de exhaucin se fue transformado hasta dar origen a la moderna
teora de Integracin, cuyo aporte es invalorable en la solucin de problemas
de la vida real y aplicaciones a otras ciencias. El estmulo mayor al desar-
63
Cap. 4 Funciones G-integrables y Versiones Fuertes del Teorema Fundamental del Clculo. 64
rollo del mtodo de exhuacin fue dado en el siglo XVII, debido a los tra-
bajos de Isaac Newton (1642-1727) y Gottfried Leibniz (1646-1716)
y su desarrollo prosigui durante el siglo XIX con Agustin-Louis Cauchy
(1789-1857) y Bernhard Riemman (1826-1866).
La integral desde el punto de vista geomtrico est asociada al estudio del
rea de figuras planas y desde el punto de vista de las Ciencias Naturales,
aparece asociada a los fenmenos Fsicos, como por ejemplo el concepto de
trabajo en la Fsica.
En este captulo estudiaremos en detalle una generalizacin natural de la inte-
gral de Riemann, trabajo presentado por Michael Botsko en el ao 1986 (ver
[5]). Esta generalizacin, requiere muy pocos conocimientos bsicos a dife-
rencia de otras generalizaciones, como por ejemplo la integral de Lebesgue la
cual exige un gran trabajo previo, y otras generalizaciones que fundamentan
su conocimiento sobre la teora de la Medida. La presente generalizacin,
puede construirse comparndola en forma paralela con la construccin de la
integral de Riemann, ya que los conocimientos bsicos que utiliza son los de
continuidad y derivabilidad de una funcin. Adems, tal generalizacin tiene
la propiedad de que la funcin derivada siempre es integrable bajo esta pro-
puesta a diferencia con la integral de Riemann que no la satisface, ms aun
existen funciones no acotadas que son integrables con esta propuesta pero
evidentemente no son Riemann integrables.
Por ltimo, en este captulo presentaremos dos versiones fuertes del Teorema
Fundamental del Clculo presentadas por Botsko y Gosser [6J, una basada
en las derivadas laterales y la otra en la derivada de Schwarz .
A continuacin, presentamos las definiciones y resultados bsicos para dar la
generalizacin de la integral de Riemann.
Definicin 4.1 Una particin P de un intervalo [a, b] es un conjunto
finito {to,t1, ... ,t
n
} e [a,b] tal que a =t
o
< t < ... < t
n
=b.
El conjunto de todas las particiones de [a, b] lo denotaremos por P[a,b]'
Ejemplo 4.2
1. Sea I = [a, b], entonces P = {a, b} es una particin de [a, b], llamada
particin trivial de [a, b].
Cap.4 Filllciones G-integrables y Versiones Fuertes del Teorema Fundamental del Clculo. 65
2. Los conjuntos PI = 1}, P2 = 1} YP3 = 1},
son particiones de [0,1].
Definicin 4.3 Consideremos f E B[a,b] = {f : [a, b] -+.IR, f acotada}.
Sea P = {to, tI,"" tn} e P[a,b]' Sea
mi = inf{f(x): x E [ti-I' ti]} y Mi = sup{f(x): x E [ti-I, ti]}'
La suma superior para f relativa a la particin P denotada por U(j, P) se
define,
n
U(j, P) = L
i=l
donde = ti - ti-lJ i = 1, n y la suma inferior para f relativa a la
particin P denotada por L(j, P) se define:
n
L(j, P) = L
i=I
donde = ti - ti-I, i = 1, n.
Ahora definamos una funcin U : [a, b] -+ .IR mediante
U(x) =
sz a x tI
sz tI < x t
2
U(a) == Mla +CI =}
lim U(x) =

donde los Ci E.IR i = 1, n son escogidos tales que U(a) = OY U continua en
[a, b]. Claramente, U es derivable en cada subintervalo (ti-I, ti), i = 1, n
y U'(x) = Mi, x E (ti-l' ti). Adems, es evidente que U'(x) Mi f(x)
excepto tal vez para un nmero finito de x en [a, b].
Ahora, de la definicin de U, se sigue que:
CI = Mla y
Mlt I +CI = lim U(x) = M2t I +C2
x--+tt
=} C2 = Mlt
I
+CI - M
2
t
I
=} C2 = Mlt
I
- Mla - M
2
t
I
=} C2 = MI(tI - a) - M
2
t
I

Cap.4 Funciones G-integrables y Versiones Fuertes del Teorema Fundamental del Clculo. 66
Procediendo de manera anloga, podemos ver que
Luego,
n
U(b) - U(a) = U(b) = Mnb +en = L M(t - t-I) = UU, P).
i=1
As, hemos probado que U(b) = UU, P) para cualquier P E P[a,b]'
Nota 4.4
Otra forma de concluir la ltima afirmacin es la siguiente,
Uu, P)
n n [ti b
L M(t - ti-d =L Jt U'(t)dt =1U'(t)dt
=1 =1 t.-l a
U(b) - U(a) = U(b)
Ejemplo 4.5
Sea f : [0,3] -+ IR la funcin dada por f(x) = x
2
Sea P = {0,1,2,3}
una particin del intervalo [0,3]. La funcin superior U para j relativa a la
particin P viene dada por
U(x) = { :x - 3
9x -13
SI O::; x::; 1
SI 1<x:S2
SI 2<x:S3
Ntese que, U(3) = UU, P) = 14.
Las funciones superior e inferior, pueden considerarse como una genera-
lizacin de las sumas superiores e inferiores en la integral de Riemann.
Definicin 4.6 Sean j, U : [a, b] -+ IR. U se llama una funcin superior
para f en el intervalo [a, b] si
1. U(a) = OY es continua en [a,b] y
2. U'(x) 2: f(x) excepto para un nmero finito de x en [a,b].
Nota 4.7
Hemos probado que la suma superior de una funcin acotada f en [a, b]
coincide con el valor que toma una funcin superior de f en [a, b].
Definicin 4.8 Sean f, L : [a, b] -+ IR. L se llama una funcin inferior
para f en el intervalo [a, b] si
1. L(a) = OY es continua en [a,b] y
2. L'(x)::; f(x) excepto para un nmero finito de x en [a,b].
Nota 4.9
1. De manera similar al caso de la suma superior ocurre que la suma
inferior de una funcin acotada f en [a, b] coincide con el valor que
toma una funcin inferior en b.
2. El valor de cualquier funcin superior (respectivamente, inferior) de
f : [a, b] -+ IR en bpuede pensarse como una generalizacin de la suma
superior (respectivamente, inferior) de f en [a, b).
Es ciertamente es posible obtener para funciones no acotadas tanto la
funcin superior como la funcin inferior.
El prximo resultado es fundamental en el desarrollo del trabajo.
Lema 4.10 Si U es una funcin superior y L es una funcin inferior de
f: [a, b] -+ IR, entonces U(b) 2: L(b).
Prueba: Definamos una funcin D : [a, b] -+ IR mediante
D(x) = U(x) - L(x).
Sean tI, ... , t
n
E [a, b] los puntos posibles donde falla
/\
i = 1, n. Supongamos que t
o
= a < tI y t
n
+
1
= b> t
n
n E lN. Procedamos
a verificar que D es no decreciente en cada subintervalo [ti-h ti] i = 1, n.
Sea [ti-I' td i = 1, n un intervalo arbitrario, de las definiciones 4.6 y 4.8 se
SIgue que
D'(x) =U'(x) - L'(x) 2:: f(x) - f(x) =O
para todo x E (ti-l, ti). En consecuencia, por el corolario 1.38 D es no
decreciente en (ti-I' ti) y como D es continua en [a, b] concluimos que D es
no decreciente en (ti-I, t). Por lo tanto, D es no decreciente en (a, bJ y as,
D(b) 2: D(a) = U(a) - L(a) = O.
Por otro lado,
D(b) = U(b) - L(b).
AS, por (1) y (2) se tiene que U(b) 2: L(b).
Nota 4.11
(1)
(2)
Denotemos con U(f) y con f(f) al conjunto de las funciones superiores e

inferiores para una funcin f en [a, b] respectivamente.
Ahora, estamos en condiciones de presentar una generalizacin de la integral
de Riemann. Sea f : (a, b] -+ lR una funcin (posiblemente no acotada), que
tiene al menos una suma superior y una suma inferior. Sean
s = {U(b): U E U(f)} y T = {L(b): L E f(f)}.
Claramente, S y T son no vacos. Adems, por el lema 4.10, S est acotado
inferiormente y T est acotado superiormente. As, por el Axioma Funda-
mental del Anlisis existen sup T e inf S y es fcil ver que inf S 2: sup T.
As, llamaremos a inf S la G-integral superior de f en [a, b], y la denotamos
por GJ: f. Respectivamente, a sup T lo llamaremos G-integral inferior de
f en [a, b] y la denotaremos por Gf: f. AS, se verifica que
(3)
Cuando ocurre la igualdad en (3), se establece la siguiente
Definicin 4.12 Sea f: [a,b] -t IR como en la nota 4.11. Si Gf:f = Gf:f,
entonces f se llama G-integrable en [a, b] y el valor comn sedenota por
Gf: f (o Gf: f(x)dx) y se llama la G-integral de f en [a,b].
Nota 4.13
1. G[a,b) ={f : [a, b] -t IR: f es G - integrable en [a, b]}.
2. De la definicin se sigue que Gf: f es el nico nmero que satisface
L(b) :S G f: f :S U(b) para cualesquiera U E U(J) y LE [,(J).
EL prximo resultado nos garantiza que toda funcion Riemann-integrable es
G-integrable. La notacin f: f nos indicar la integral de Riemann de f en
(a, b].
Teorema 4.14 Si f : [a, b] -t IR es una funcin Riemann-integrable en
[a, b], entonces f es G-integrable en [a, b] y Gf: f = f: f.
Prueba: Sean S y T como en la nota 4.11. Como f es Riemann-integrable
en [a, b], entonces f es acotada en [a, b]. AS, U(J, P) satisface,
U(J, p) =U(b) (4)
para alguna funcin superior U de f en [a, b] y para toda P E P[a,b)' De
manera anloga,
L(J, P) = L(b) (5)
para alguna funcin inferior L de f en [a, b] y para toda P E P[a,b]' En
consecuencia, por (4) y (5) se sigue que
s = {U(J,P): PE P[a,bJ} e S y
T ={L(J, P): PE P[a,b)} e T.
En consecuencia,
sup T :S sup T :S inf S :S inf S.
Es decir,
(6)
donde f; f y f; f son las integrales inferior y superior de Riemann para f
en [a,b] respectivamente. Ahora, por la hiptesis f;1 = f;1 y as, por (6)
concluimos que f E G[a,b] y G f; 1 = f; f. -
Ahora, mostraremos que toda derivada es G - integrable.
Teorema 4.15 Sean 1, F : [a, b] ~ IR funciones tales que F es continua en
[a,b] y F'(x) = f(x) excepto tal vez para un nmero finito de x en [a,b].
Entonces 1 E G[a,b] Y
Gb1 = F(b) - F(a).
Prueba: Supongamos que F(a) = O. Claramente, F es una funcin superior
y tambin una funcin inferior para f en [a, b] ya que F es continua en [a, b],
F(a) = OYF/(x) = I(x) para todo x E [a,b] excepto tal vez para un nmero
finito de x en [a, b]. Luego,
F(b) ::; Gbf ::; Gbf ::; F(b).
En consecuencia, 1 E G[a,b] YGf: 1 = F(b) - F(a) = F(b).
Si F(a) f. O, sea H: [a,b] ~ IR dada por H(x) = F(x) - F(a). Entonces,
H(a) = OY por lo aprobado anteriormente, 1 E G[a,b] Y G f; 1 = H(b) =
F(b) - F(a). As, el teorema queda probado.
Existen funciones no acotadas que son G integrables ms no Riemann inte-
grables, como lo muestra el siguiente ejemplo.
Ejemplo 4.16
Sea 1 : [O, 1] ~ IR dada por
{
x2 sen( ;2) SI
f(x) = 1
SI
Entonces para todo x E (O, 1) se tiene que
x E (0,1]
x=O
/ 1 2cos(-\-)
f (x) = 2x sen(- ) - x
x
2
X
y como l' es no acotada en (0,1), se tiene que l' no es Riemann integrable en
[0,1]. Pero, por el teorema 4.15, l' es G-integrable en [0,1]. Ntese, adems
que l' es un ejemplo de una derivada que no es Riemann integrable.
El siguiente teorema nos da una caracterizacin de la G-integracin de una
funcin.
Teorema 4.17 Sea f : [a, b] -+ IR una funcin. Entonces fE G[a,b] si y slo
si para cada t: > O existen U{ E U(f) y L( E [,(f) tales que
(7)
Prueba: (::::} ) Supongamos que f E G[a,b] y sea t: > O arbitrario. Sea
a = f: f = f: f. Entonces por las definiciones de supremo e nfimo existen
U( E U(f) y L( E [,(f) tales que
t: t:
o +2> U( (b) A -o +2> - L( (b).
En consecuencia, U((b) - L((b) > ~ +~ =t:.
({=) Supongamos que dado t: > Oexisten U( E U(f) y L( E [,(f) tales
que (7) es cierto, probemos que f E G[a,b]'
Si f (j. G[a,bJ, entonces por (3)
a = Glbf < Glbf = (3.
Ahora, sea t: = (3 - a > 0, entonces por la hiptesis existen U( E U(f) y
L( E [,(f) tales que
(8)
Por otro lado, f3 :::; U(b) y o ~ L(b), para cualesquiera U E U(f) y L E [,(f).
En consecuencia,
Como (8) contradice a (9), se sigue que, f E G[a,b]'
(9)
Los resultados 4.18 y 4.19 no aparecen probados por Bostsko en [5]. En

consecuencia aportamos la demostracin de cada uno de ellos.
Teorema 4.18 Si f : [a, b] -t IR es G-integrable en [a, b] y a < c < b,
entonces f es G-integrable en [a, e] y [e, b]. Adems,
Prueba: Como f E G[a,b]l entonces por el teorema 4.17 dado (: > Oexisten
Ue(b) E U(J) y Le(b) E J.:(J) tales que
(10)
Ahora, consideremos las siguientes funciones:
U
e
l
: [a, e] -+ IR dada por U
e
l
= Uel[a,e]
U; : [e, b] -+ IR dada por U
e
2
= Uel[e,b] - Ue(e).
L ~ : [a, el -+ IR dada por L ~ = Lel[a,e]'
L ~ : [e, b] -+ IR dada por L ~ = Lel[e,b] - Le(e).
Claramente, las funciones U; y U; son funciones superiores para f en [a, e]
y [e, b] respectivamente y similarmente, L ~ y L ~ son funciones inferiores para
f en [a, e] y [e, b] respectivamente.
Por otro lado, podemos escribir
SI X E [a, e]
x E (e, b]
y
SI X E [a, e]
x E (c,b]
por lo tanto, aplicando (10) obtenemos que:
[U
e
2
(b) - L;(b)] +[Uel(c) - L ~ ( c ) ] [U;(b) - L;(b)] +[Ue(e) - Le(c)]
[Ue
2
(b) +Ue(e)] - [L;(b) +Le(c)]
U(b) - L(b)
< 2f.
En consecuencia, U;(b) - L ~ ( b ) < (. y Uel(c) - L ~ ( e ) < (. y as, por el
teorema 4.17 concluimos que f E G[a,e] Yf E G[e,b]'
Adems, ntese que:
L(b) :::; Gb f :::; U(b)
para toda U y L funciones superior e inferior de f en [a, b] respectivamente,
W(e) :::; Gef S M(e)
para toda M y W funciones superior e inferior de f en [a, e] respectivamente
y
V(b) :::; Gb f :::; N(b)
para toda N y V funciones superior e inferior de f en [e, b] respectivamente.
Luego,
L(b) = W(e) +V(b) :::; Ge f +Gi
b
f :::; M(e) +N(b) = U(b).
As, Gf: f = G f ~ f +G ~ f .
Teorema 4.19 Si f y g son G integrables en [a, b] y k es una constante,
entonces:
1. kf es G integrable en [a,b] y Gf: kf = kGf: f
2. f +g es G integrable en [a, b] y Gf: f +g = Gf: f +Gf: g.
3. Si f(x) :::; g(x) para todo x excepto para un nmero finito de puntos en
[a, b], entonces
Prueba:
1. Sea (: > O arbitrario, como f E G[a,b] , por el teorema 4.17 existen
Uf E U(J) y L
f
E f(J) tales que:
(:
Uf(b) - L(:(b) < k
donde k > O. Luego,
(11)
Cap.4 FW1ciones G-integrables y Versiones Fuertes del Teorema FW1damental del Clculo. 74
Por otro lado, kU< y kL< son funciones superior e inferior de f en
[a, b] respectivamente. En consecuencia, por (11) y el teorema 4.17,
kf E G[a,b]'
Si k = O, entonces kf = Oen [a, b] y as, kf E R[a,b] Y a la luz del
teorema 4.14, kf E G[a, b].
Si k < O, -k > Oy usando la primera parte; kf E G[a,b]'
Adems, sean T y S como anteriormente los definimos, luego:
kS = {kU(b): U E UU)} y
kT = {kL(b): L E ,CU)}.
En consecuencia, si k > 0, entonces
Gb kf =inf(kS) = k inf(S) =kGb f
y
Gb kf = sup(kT) =k sup(T) = kGb f.
Si k=O, entonces J: kf = JOf =OJ: f = OY G J: kf = J: kf = O. As,
OG J: f = GJ: Of.
Por lo tanto, 1 es cierto.
2. Por hiptesis, dado ( > O arbitrario existen U< E UU), v:: E U(g),
L< E ,CU), T< E ,C(g) tales que:
(12)
Ahora, claramente las funciones 'P< = U<+ v:: : (a, b] -+ IR y 'l/J< = L<+v::
son funciones superior e inferior para f +9 en (a, b] respectivamente.
Luego, por (12) se tiene que:
'{)b) - 'l/Jb) Ub) +~ ( b ) - Lb) - Tb)
[Ub) - Lb)] +[ ~ ~ ( b ) - Tb)J
(; (;
< 2"+2"=(
Cap.4 Funciones G-integrables y Versiones Fuertes del Teorema FUndamental del Clculo. 75
y as, f +9 E G[a,b)' Adems, si definimos,
T(J) +T(g) = {L(b) +W(b): L E !(J) /\ W E !(g)}
S(J) +S(g) = {U(b) +V(b) : U E !(J) 1\ V E !(g)}
entonces claramente:
y
inf S(J +g) ~ inf S(J) +inf S(g)
Gb f +Gb9
(13)
Gb f +9 sup S(J +g) ~ sup S(J) +sup S(g)
> Gb f +Gb g. (14)
En consecuencia, por (13) y (14) se verifica que:
3. Si f =Oen [a, b], entonces GI: f =O. Probemos que si 9 2: Oen [a, b],
entonces GI: 9 ~ O.
Ahora, GI: 9 2: L(b) para toda L E !(g). En particular, L = f = O
en [a,b] es una funcin inferior para 9 en [a,b] y as, L(b) = Oyen
consecuenCIa,
Gb9 2: O
Ahora, sea h = 9 - f en [a, b], luego por 1 y 2, h E G[a,b) Y por la
hiptesis h 2: Oen [a, b].
Por lo tanto, usando la primera parte, G I: h 2: O, es decir G I: 9 - h ~
OYpor 2, GI: 9 ~ GI: f.
Nota 4.20
Convendremos en que G I: f = -GIba f
Cap.4 Funciones G-ntegrables y Versiones Fuertes del Teorema Fundamental del Clculo. 76
Teorema 4.21 Sea f : [a, b] -+ IR una funcin G-integrable en [a, b] y sea
F: [a,b] -+ rn. dada por F(x) = Gf: f, con F(a) = O. Entonces, F es
continua en [a, b].
Prueba: Como f E G[a,b]l entonces para cada t
Un E [,(1) Y L
n
E [,(1) tales que:
1
Un(b) - Ln(b) < -
n
~ , n E IN, existen
(15)
para cada n E IN. Por otro lado, para cada n E IN, Un - L
n
es una funcin
no decreciente, entonces para todo x E [a, b) se sigue de (15) que
(16)
para cada n E IN. Ahora, como L ~ y U ~ existen para cada n E IN, Y
L ~ S; f S; U ~ excepto tal vez para un nmero finito de puntos en [a, b],
entonces por los teoremas 4.15 y 4.19(3) se tiene que
para cada n E IN Ypara cada x E [a, b). En consecuencia,
para cada n E IN. As, Gf: f es el lmite uniforme de una sucesin de
funciones continuas (L
n
) Ypor lo tanto F es continua en [a,b].
Teorema 4.22 Sea f : [a, b] -+ IR una funcin G-integrable en [a, b) y sea
F: [a,b] -+ IR dada por F(x) = G f: f con F(a) = O. Si f es continua en
e E [a, b], entonces F'(c) = f(e).
Prueba: Observse que, por la continuidad de f en c, dado t > Oexiste
o> Otal que
tE [a,b] /\ It - el < o =} If(t) - f(c)1 < L (17)
Consideremos la funcin H : [a,b] -+ IR dada por H(t) = f(t) - f(c). En
consecuencia, por (17) se verifica que si t E [a, b] y jt - cl < o, entonces
IH(t)1 < t. (18)
La funcin constante 9 : [a, b] --+ IR. dada por g( x) = f (e) es Riemann
integrable en [a, b] y por el teorema 4.14 9 E G[a,b]' Adems,
(19)
Ahora, sean E > arbitrario y x=1= etal que Ix - el < . Entonces por (17),
(18) (19) Y los teoremas 4.18 y 4.19(3) se sigue que
F(x) - F(e) _ f(e)
x-e
1
-[F(x) - F(e) - f(e)(x - e)]
x-e
x ~ )GX f(t)dt - Ge f(t)dt _ GX f(e)dt]
- x ~ e[GX f(t)dt +Gla f(t)dt - Gl
x
f(e)dt]
x ~ e[Gl
x
f(t)dt - Gl
x
f(e)dt]
x ~ eGl
x
[f(t) - f(e)]dt
< _1_G1X E dt
x-e e
_1_ x E dt = _E-(X - e) = L
X - e le X - e
AS, existe F ~ ( e ) = f(e). De manera anloga se prueba que existe f ~ ( e ) =
f(e).
Nota 4.23
Por ltimo se platea la siguiente pregunta:
Si f E G[a,b], puede ser continua en muchos puntos de [a, b]?
La respuesta es negativa corno lo mostraremos con la funcin de Dirichlet
definida en [O, 1], que es discontinua en todo el intervalo [O, 1], pero es G-
integrable en [O,lJ (este hecho no es evidente). Adems, recuerde que f no
es Riemann integrable en [0, 1J.
Ahora, mostraremos que la funcin de Dirichlet es G-integrable en [0, 1].
Sea L( x) = en [0, 1]. Claramente, L es una funcin inferior para f en
[0,1J y L(l) = O. Sea E > arbitrario, entonces por el teorema 3.6' existe
U : [0,1] --+ ffi tal que U(O), U'(x) = 1 para todo x E (0,1) n ~ , U'(x) >
(20)
para todo x E [0,1] Y U(l) .:; L En consecuencia, U es una funcin superior
para f en [0,1] Y
0= L(l) .:; Glbf .:; Glbf .:; U(l) .:; L
Como (. es arbitrario, se sigue de (20) que la funcin de Dirichlet es G-
integrable y G J f = O.
Ahora, presentaremos dos versiones fuertes del Teorema Fundamental del
Clculo utilizando las derivadas laterales y la derivada de Schwarz.
En los textos de Clculo Avanzado el teorema fundamental del Clculo es
presentado en la siguiente forma:
Teorema 4.24 (Teorema Fundamental del Clculo (TFC) )
Sea f : [a, b] -+ IR una funcin Riemann integrable en [a, b] y sea 9 : [a, b] -+
IR una funcin tal que g'(x) = f(x) en [a,b]. Entonces, f: f(x)dx =g(b)-
g(a).
El objetivo de este apartado es presentar dos versiones ms fuertes de este
teorema.
En el primer resultado se asumir slo que f = g/ para alguna funcin 9
definida en [a, b]. Recordemos que
9
'(x) = limg(x+h)-g(x).
+ h--+O h
Teorema 4.25 (Primera versin Fuerte del Teorema Fundamental
del Clculo)
Sea f : [a, b] -+ IR una funcin Riemann integrable en [a, b] y sea 9 :
[a,b] -+ IR una funcin continua tal que g/(x) = f(x) en [a,b]. Entonces,
J: f(x)dx = g(b) - g(a).
Prueba: Sea P = t
o
, . .. ,t
n
una particin de [a, b]. Claramente
n
g(b) - g(a) = [g(t) - g(ti-d].
i=l
(21)
Luego, por el corolario 3.23, para cada [ti-h ti] i = 1, n existen Ck Y d
k
en
(ti-l' ti) tal que
(22)
En consecuencia, por la hiptesis se sigue que
y por 10 tanto,
m. < g(t) - g(ti-1) < M.
1 - t t - 1
- -1
(23)
donde, m = inf f(x) y M =supf(x). Luego, multiplicando (23) por t-t-l
x E ~ x E ~
y sumando se verifica que
n n n
mi(ti - ti-t} ~ [g(t) - g(ti-t}] ~ Mi(ti - ti-t}.
=1 =1 i=l
As, por (21) Y la arbitrariedad de P obtenemos que
L(f, P) :S g(b) - g(a) :S U(f, P) (24)
para toda particin P de [a, b]. Ahora, como f es Riemann integrable en
[a, b] concluimos de (24) que
b f(x)dx = g(b) - g(a).
Ejemplo 4.26
Sea f : [-1, 1] ~ IR la funcin dada por
(x) = { _:' +3 ::
x2:0
x<O
Afirmamos que, f no es la derivada de ninguna funcin 9 en [-1,1].
En efecto, Supongamos que existe una funcin g: (-1,1] -7 IR tal que
f = g' en [-1,1]. Entonces como
g'(-l) = g+(-l) = f(-l) =1 < 2 < g'(l) =g-(1) = f(l) =4
por el teorema de Darboux existe x E (-1, 1) tal que g' (x) = 2. En conse-
cuencia, f( x) = 2, es decir, x
2
+3 = 2 o -x = 2, lo cual es absurdo. As,
lo afirmado es cierto.
Por otro lado, como f slo es discontinua x = O, entonces tiene sentido
hallar I ~ 1 f(x)dx y es claro que no podemos aplicar directamente el Teorema
Fundamental del Clculo para resolver el problema, pero, como la funcin
9 : [-1, 1] -7 IR dada por
x2::
SI X < O
3
E- +3x SI
3
_x
2
2
g(x) = {
satisface que, g ~ ( x ) = f(x) para todo x E [-1,1], entonces podemos aplicar
el teorema 4.25 y por lo tanto,
t 23
1-
1
f(x)dx = g(l) - g( -1) = 6'
La segunda versin fuerte del teorema fundamental del clculo est dada en
base a la derivada de Schwarz.
Teorema 4.27 (Segunda versin Fuerte del Teorema Fundamental
del Clculo)
Sea f : [a, b] -+ m. una funcin Riemann integrable en [a, b] y sea 9 : [a, b] -7
IR una funcin continua tal que gS(x) = f(x) en [a,b]. Entonces, I: f(x)dx =
g(b) - g(a).
Prueba: Para probar este resultado basta proceder como en la prueba del
teorema 4.2.5 y aplicar el corolario 3.16, para obtener una desigualdad anloga
a (22).
Ejemplo 4.28
SI x>O
SI x=O
SI x<O
y
Sea sgn : [-1,2] -+ IR la funcin dada por
sgn(x) = { ~
-1
Ntese que, no podemos aplicar directamente el Teorema Fundamental de
Clculo para calcular f ~ 1 sgn( x)dx, pues la funcin sgn no es la derivada
de ninguna funcin (para ver esto, basta aplicar de nuevo el teorema de
Darboux).
Ahora, sea 9 : [-1,2] -+ IR la funcin dada por g(x) = Ixl. Entonces, si
h>O
g(O +h) - g(O - h) = h - h = ~ = O
2h 2h 2h
si h < O, entonces
g(O+h)-g(O-h) -h-(-h) O
2h = 2h = 2h =O
y as, concluimos que
lim g(O+h)-g(O-h) = lim g(O+h)-g(O-h) = O.
h-+O+ 2h h-+O- 2h
Por lo tanto, r(O) = O.
Por otro lado, si x E (-1,2)\{0}, entonces
, {1 SI X > O
9 (x) = -1 SI X < O
En consecuencia, existe gS(x) = g'(x) para cada x E (-1,2)\{0}. As,
gS(x) = g'(x) = sgn(x) y por el teorema 4.27 concluimos que
[2
1
sgn(x)dx = g(2) - g(1) = 121-1- 11 = 1.
Nota 4.29
1. Es claro, que el teorema fundamental del clculo es una consecuencia
inmediata de las versiones fuertes del teorema.
2. Dejamos abierta la siguiente pregunta:
Es cierto el recproco del teorema 4.18?
3. Se puede dar otra prueba del Teorema Fundamental del Clculo uti-
lizando la nocin de funcin Secuencialmente Regular de Cauchy?
Bibliografa
[1] APOSTOL, T. Calculus, Editorial Revert. Barcelona, 1973.
[2] APOSTOL, T. Anlisis Matemtico, segunda edicin. Editorial Re-
vert. Barcelona, 1977.
[3] AULL, C. The First Simmetric Derivate. American Mathematical
Monthly, vol 81 (1974) 349-354.
[4] BARTLE and SHERBERT. Introduccin al Anlisis Matemtico
de una variable. Editorial Limusa. Sexta Edicin. Mxico, 1992.
[5] BOTSKO, M. An Easy Generalization of the Riemann Integral.
American Mathematical Monthly, vol 93 (1986) 728-732.
[6] BOTSKO and GOSSER, R. Stronger Versions of the Fundamental
Theorem of Calculus. American Mathematical Monthly, vol 93 (1986)
224-296.
[7] KATZNELSON and STROMBERG. Everywhere Differentable,
Nowhere Monotone, Funetions. American Mathematical Monthly, vol
81 (1974) 349-354.
[8] LIMA, E. Curso de Anlise. Libros Tcnicos y Cientficos.
Brasil,1976.
[9] LIMA, E. Alise Real. Volume 1, 2
a
ed. Instituto de Matemtica
Pura e Aplicada, CNP
q
Ro de Janeiro, 1993.
[10] MILLER and VYBORNY. Some Remarks Funetions Whith One-
Sided Derivates. American Mathematical Montlhy, vol 90, 1986.
[ll] RBNIKOV. Historia de las Matemticas. Editorial Mir, Mosc,
1991.
[12] RUDIN, W. Principios de Anlisis Matemtico. Segunda Edicin.
Libros Macgraw-Hill de Mxico, 1966.
82
Bibliografa 83
[13] SPIVAK, M. Clculo Infinitesmal. Editorial Revert. Barcelona,
1980.
[14] SNIPES, R. Funetions that Preserve Cauchy Sequences. New
Archief Voor Wiskunde (3), XXV (1977), 409-422.
(15] WHITE; A. Introduccin al Anlisis Real.. Ediciones de Promocin
Cultural. S.A. Espaa, 1973.

Cadenas Reinaldo

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cadenas Reinaldo

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD DE LOS ANDES

FACULTAD DE HUMANIDADES Y EDUCACIN

El recproco del teorema anterior no es cierto como lo muestra el siguiente

Los teoremas 2.26 y 2.27 son teoremas de extensin de funciones SRC.

Teorema 3.5 Sean lb"" In intervalos abiertos y disjuntos y sea Oj el

El siguiente resultado nos proporciona un ejemplo de una funcin H : IR -+ IR

Corolario 3.16 (Casi Teorema del Valor Medio )

Como vimos al comienzo

Corolario 3.23 (Casi Teorema del Valor Medio)

Denotemos con U(f) y con f(f) al conjunto de las funciones superiores e

Los resultados 4.18 y 4.19 no aparecen probados por Bostsko en [5]. En

You might also like