Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TM PDF
TM PDF
ndice General
1 INTRODUCCIN
5
1.1 LGEBRA GEOMTRICA . . . . . . . . . . . . . . . . . . . . . . .
5
1.2 LA CUADRATURA DEL CIRCULO POR ARQUMEDES. EL MTODO DE EXAHUSCIN DE EUDOXO. . . . . . . . . . . . . . . . . . 10
2 FUNCIONES DE VARIACIN ACOTADA.
2.1 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
12
3 LA INTEGRAL DE RIEMANN-STIELJES.
3.1 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
16
21
21
23
24
28
29
32
33
33
33
35
35
35
37
NDICE GENERAL
Captulo 1
INTRODUCCIN
1.1
LGEBRA GEOMTRICA
INTRODUCCIN
LGEBRA GEOMTRICA
la poca escribian:
AB
n
=
m
CD
Observacin 2 En la definicin no se dice si la unidad de medida comn a los
segmentos AB y CD tiene que ser la mxima unidad de medida comn u, utilizada
anteriormente para hallar n y m, o vale cualquier otra. Esto es as, porque, de
hecho, no importa cual sea la unidad de medida comn, a los segmentos AB y CD,
AB
que utilizemos: la relacin CD
no depender de la unidad de medida comn a los
segmentos AB y CD, que sabemos que existir en las hiptesis de la Teora atmica de
la extensin geomtrica. Luego para comparar dos segmentos no es necesario conocer
las veces que contienen, cada uno de ellos, a un segmento que cabe una cantidad
AB
exacta de veces en ambos. Sino que basta con conocer la relacin entre ambos CD
. Lo
que obliga a desarrollar una Teora de proporciones para que tenga sentido nuestra
definicin. Es decir, como:
AB = n0 u0 =nu u0 =
CD = m0 u0 =mu u0 =
nu
n0
mu
m0
entonces
n0 nu
n0 u0
n
AB
n0
n0
= 0 0 = 0 mu
=
=
0
m
mu
m m0
m
CD
Esta Teora de proporciones, que tiene sentido en el contexto de la Teora
atmica de la extensin geomtrica,en la que todo par de segmentos son conmensurables, cae junto con esta a causa del descubrimiento de los incomensurables. En el
libro V de los Elementos de Euclides aparece una revisin de la Teora de proporciones, original de Eudoxo, que permite saber
cuando un par ordenado de segmentos
tanto,de la imposibilidad de
asociar a cada par ordenado de segmentos AB, CD cualesquiera, un par ordenado
Dos magnitudes se dice que son arquimedianas si al mutiplicar cualquiera de ellas por si misma
un nmero finito de veces, suficientemente grande, podemos superar a la otra. Los griegos de la
poca suponian que dos magnitudes cualesquiera de la misma dimensin eran arquimedianas, y
por supuesto, si eran de distinta dimensin no.
INTRODUCCIN
de nmeros (n, m), expulsa de la geometria la aritmtica. Lo que rompe con la idea
de los Pitagricos de que todo es nmero, a la cual haban llegado a traves de sus
viajes a las grandes culturas de la poca: la babilonica, que reduca el estudio de los
astros a nmeros, y la egipcia que reduca el estudio del calendario y de la medida de
las tierras a nmeros. Lo que les lleva a pensar que todo esta hecho de nmeros, en
particular la geometra. Es por ello, que el descubrimiento de los incomensurables,
rompe con estas ideas. Distinguiendo, claramente, cantidad de magnitud. Tratando
la geometra de la magnitud, es decir, de lo infinitamente divisible. Y la aritmetica
de la cantidad, es decir, del nmero.
Al no poderse asociar nmeros a segmentos no puede usarse el orden total
de los nmeros naturales (N, ) para compararlos. Se empieza a hacer lgebra geometrica, es decir, para sumar segmentos no se suman los nmeros asociados a ellos,
pues pueden no existir; sino que se suman como segmentos geomticos, Y para la
comparacin de segmentos, ya no se comparan los numeros asociados a ellos, pues
pueden no existir, sino que se pone uno encima de otro a partir de un extremo de uno
de ellos, y se comparan como conjuntos con el orden parcial de la inclusin. El orden
parcial de la inclusin de conjuntos restringido a los segmentos ser un orden total.
Cmo se compararn superficies en el plano?
Si las queremos comparar como conjuntos de puntos en el plano a traves de la
inclusin de conjuntos, al ser esta relacin de inclusin un orden parcial habr figuras
planas no comparables. Como por ejemplo:
LGEBRA GEOMTRICA
Los griegos de la poca optarn por est ltima opcin. Por lo cual, para comparar figuras planas tubieron la necesidad de encontrar cuadrados de igual magnitud
que las figuras de partida. En particular, si una de las figuras de partida es un circulo
se plantea el problema de encontrar un cuadrado de igual superficie: es el problema
de la cuadratura del circulo.
El desarrollo de la teora de Galois en el siglo XIX permitir demostrar que no
es posible construir con los instrumentos platnicos, es decir con la regla y el comps,
10
INTRODUCCIN
un cuadrado cuya rea coincida con la de un circulo dado. Lo cual no quiere decir
que sea implosible la cuadratura del circulo, siempre que no seamos tan exigentes en
los mtodos de construccin, permitiendo la presencia de lineas que no se puedan
trazar con el ncico auxilio de la regla y el comps.
1.2
Lema 3 (Principio de exahuscin debido a Eudoxo) Dadas dos magnitudes homogeneas, es decir, de la misma dimendin, que denotaremos por M y ; con la magnitud
tan pequea como queramos. Si a la magnitud M le quito la mitad o ms y a lo
que me queda le vuelvo a quitar la mitad o ms, y as sucesivamente
Mn+1 <
Mn <
Mn
2
M
2n
Proof. Demostraremos area (C) = area (T) por doble reduccin al absurdo.
Supongamos que area (C) 6= area (T) entonces
Captulo 2
FUNCIONES DE VARIACIN ACOTADA.
Sea I = [a, b] < intervalo compacto de la recta real
Definicin 5 Una particin de I=[a, b] < es un conjunto finito = {t0 , t1 , . . . , tm1 , tm }
(I) tal que a =t0 t1 . . . tm1 tm = b
Sea f : I = [a, b] < funcin real en I <
y = {t0 , t1 , . . . , tm1 , tm } (I) particin de I
Definicin 6 La variacin de la funcin f respecto de la particin (I) que
denotamos V(f,) ser:
V (f, ) =
m1
X
i=0
|f (ti+1 ) f (ti )|
12
2.1
EJERCICIOS
1 para 0 x 12
0 para 12 < x 1
0 para 0 x < 13
f(x) = [ 1 , 1 ] = 1 para 13 x 12
3 2
0 para 12 < x 1
sea c 13 , 12 por la proposicin10 tenemosV (f, [0, 1]) = V (f, [0, c])+V (f, [c, 1])
con f montona creciente en [0, c] y montona decreciente en [c, 1] que
por9 resulta:
V (f, [0, c]) = |f(c) f(0)| = 1
V (f, [c, 1]) = |f(1) f(c)| = 1
y por tanto:
V (f, [0, 1]) = V (f, [0, c]) + V (f, [c, 1]) = 1 + 1 = 2
f :I = [0, 1] < tal que
para x =0
0
f(x) = (0, 1 ] = 1 para 0 < x 12
2
0 para 12 < x 1
sea c 0, 12 por la proposicin10 tenemosV (f, [0, 1]) = V (f, [0, c])+V (f, [c, 1])
con f montona creciente en [0, c] y montona decreciente en [c, 1] que
por9 resulta:
V (f, [0, c]) = |f(c) f(0)| = 1
V (f, [c, 1]) = |f(1) f(c)| = 1
y por tanto:
V (f, [0, 1]) = V (f, [0, c]) + V (f, [c, 1]) = 1 + 1 = 2
EJERCICIOS
13
0.5
-0.5
-1
, 1 )con
)+V (f, 3
(f, [0, 1]) = V (f, 0, 2 )+V(f, 2, 3
Por la proposicin10 tenemosV
2
2
f montona creciente
y montona
en 0, 2 , montona decreciente en 2 , 3
2
3
creciente en 2 , 1 que por9 resulta:
h i
V (f, 0, ) = f( ) f(0) = 1
2
2
V (f, ,
) = f( ) f( ) = 2
2 2
2
2
3
3
V (f,
, 1 ) = f(1) f( ) = 1
2
2
Por tanto
i
3
3
V (f, [0, 1]) = V (f, 0, ) + V (f, ,
) + V (f,
,1 ) = 1 + 2 + 1 = 4
2
2 2
2
h
0
x =o
xsen x1 x (0, 1]
14
0.5
-1
-0.5
0.5
x
-0.5
-1
n
o
1
1
1
1
Sea la particin de [0, 1] de n+1 subintervalos : n = 0, +n , +(n1) , , +2 , + , 1
2
2
2
2
La variacin de la funcin f respecto de la particin n (I) ser:
X
n
X
n1
1
1
) f (0) +
)
V (f, n ) =
|f (ti+1 ) f (ti )| = f (
|f (ti+1 ) f (ti )| + f (1) f (
+ n
+
2
2
i=0
i=1
n1
X
i=1
n1
X
1
1
f (
|f (ti+1 ) f (ti )| =
+ (n i) ) f ( + (n i + 1) ) =
2
2
i=1
X
8X
ni+1
ni+1
=
=
2
i=1 3 + 8 (n i) + 4 (n i)
3 + 8 (n i) + 4 (n i)2
i=1
n1
n1
Tomo j=n-i
n1
X
j=1
j+1
3 + 8j + 4j 2 n
pues n (I)
Por tanto V (f, [0, 1]) ,es decir,f no es una funcin de variacin acotada.
Observacin 14 f es una funcin acotada en [0, 1] y no es una funcin de variacin
acotada en [0, 1]
Si f es una funcin de variacin acotada en I=f es una funcin acotada
en I.
Luego el que f sea una funcin acotada en I es condicin necesaria pero
no condicin suficiente para que f sea una funcin de variacin acotada en I.
Captulo 3
LA INTEGRAL DE RIEMANN-STIELJES.
Sea I = [a, b] < intervalo compacto de la recta real.
Sean f, : I = [a, b] < funcines reales en I <.
Sea = {t0 , t1 , . . . , tn1 , tn } (I) una particin de I = [a, b] como definimos
en 5
Sea c = {c1 , c2 , . . . , cn1 , cn } con ci [ti1 , ti ]
Definicin 15 Dada (I). La Suma de Riemann-Stieljes de f respecto de
como
S(f, ,) =
n
X
i=1
kk0
16
LA INTEGRAL DE RIEMANN-STIELJES.
x F(x) =
3.1
EJERCICIOS
0 para a x < c
g(x) = [c,b] =
1 para c x b
Rb
Demostrar que f RS (g) en [a, b] y a fdg = f(c).
Sean = {t0 , t1 , . . . , tn1 , tn } ([a, b]) una particin de [a, b] y x =
{x1 , x2 , . . . , xn1 , xn } con xj [tj1 , tj ]
Como t0 = a y tn = b existe i N,1 i n con ti c y ti1 < c entonces
S(f, g,) =
n
X
j=1
Tenemos:
lim S(f, g,) = lim f(xi )
kk0
kk0
EJERCICIOS
17
kk0
kk0
kk0
R1
0 para 1 x <0
x para 0 x 1
0 para 1 x <0
1 para 0 x 1
fdg = f(0) = 0
R1
18
LA INTEGRAL DE RIEMANN-STIELJES.
0 para 1 x <0
f(x) = [0,1] =
1 para 0 x 1
Sean = {t0 , t1 , . . . , tn1 , tn } ([1, 1]) una particin de [1, 1] y x =
{x1 , x2 , . . . , xn1 , xn } con xj [tj1 , tj ]
Como t0 = 1 y tn = 1 existe i N,1 i n con ti 0 y ti1 < 0 entonces
S([0,1] , [0,1] ,) =
n
X
j=1
Tenemos:
Z 1
[0,1] (xj ) [0,1] (tj ) [0,1] (tj1 ) = [0,1] (xi ) [0,1] (ti ) [0,1] (ti1 ) = [0,1]
kk0
resulta: xi 0
kk0
kk0
kk0
kk0
Tambin podemos tomar xi [ti1 , ti ] para toda ([1, 1]) de forma que
xi 0 y xi < 0, pues xi [ti1 , ti ] y ti1 < 0 ti , resultando:
kk0
kk0
kk0
R1
EJERCICIOS
19
0 para 1 x 0
f(x) = (0,1] =
1 para 0 < x 1
Sea g : [1, 1] < una funcin definida por
0 para 1 x <0
g(x) = [0,1] =
1 para 0 x 1
Sean = {t0 , t1 , . . . , tn1 , tn } ([1, 1]) una particin de [1, 1] y x =
{x1 , x2 , . . . , xn1 , xn } con xj [tj1 , tj ]
Como t0 = 1 y tn = 1 existe i N,1 i n con ti 0 y ti1 < 0 entonces
S((0,1] , [0,1] ,) = S(f, g,) =
n
X
j=1
Tenemos:
Z
kk0
resulta: xi 0
kk0
kk0
kk0
kk0
Tambin podemos tomar particiones de[1, 1], 0 = t00 , t01 , . . . , t0n1 , t0n
([1,
1]), verificando
0 y ti1 < 0 < ti , y x = x01 , x02 , . . . , x0n1 , x0n con
kk0
kk0
kk0
20
LA INTEGRAL DE RIEMANN-STIELJES.
Observacin 24 Si en lugar de la definicin dada en 18 para la integral de RiemannStieljes consideramos esta otra, como hacen en algunos libros:
Definicin 25 f es Riemann-Stieljes integrable respecto de en I = [a, b], que
escribiremos f RS () en I = [a, b] si existe un nmero real J con la siguiente
propiedad: > 0, ([a, b]) ([a, b]) x : eleccin de puntos en cada
subintervalo de la particin ( = |S(f, ,) J| < )
Entonces se puede comprobar trivialmente que (0,1] si es Riemann-Stieljes
R1
integrable respecto de [0,1] en [1, 1] y 1 (0,1] (x)d[0,1] (x) = 0,segun la definicin
25. Basta tomar = {t0 , t1 , . . . , tn1 , tn } ([1, 1]) con un ti = 0. Pues entonces,
para todo ([1, 1]) con se tiene (ti = 0) y cualquiera que sea la
eleccin de xi [ti1 , ti ] ti1 xi ti = 0 tendremos
x 0
Captulo 4
EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA
RECTA REAL
4.1
En =
n=1
X
n=1
m (En )
22
X
m () m () = 0 por ser m () 0
=
n=1
n=1
X
An =
(An ) {An }nN , con An A disjuntos dos a dos
n=1
n=1
es positiva, es decir:
(A) 0 A A
Observacin 27 Todas las medidas verifican:
(monotona)
Si A, B A, con A B entonces (A) (B)
(-subaditividad)
An
n=1
X
n=1
23
24
25
En =
n=1
m (En )
n=1
1 1
R
,
2 2
xvy xy Q
2, 2
1 1
= [x] : x ,
2 2
v
donde
1 1
1 1
:yvx = y ,
:yxQ =
[x] = y ,
2 2
2 2
1 1
1 1
= y ,
:yx=r , r Q = y ,
:y =x+r , r Q
2 2
2 2
[ 1 , 1 ]
que son las clases de equivalencia del conjunto cociente v2 2 , y portanto, conjuntos
disjuntos.
26
Y definimos
Ak = rk + A
que son conjuntos trasladados, y por tanto isomtricos, del conjunto de eleccin A
Ak A
Luego por ser Ak congruente por traslacin con A, aplicando la propiedad 2 de m,
es decir, m es invariante traslaciones, tenemos:
m (Ak ) = m (rk + A) = m (A) k N
La sucesin de conjuntos{An }nN verifica:
1.
Ai Aj = , i 6= j
Por reduccin al absurdo: Si Ai Aj 6= , i 6= j como Ak = rk + A tenemos:
Ai Aj 6= (ri + A) (rj + A) 6=
es decir, existen ai , aj A tal que ri + ai = rj + aj luego
def
ai aj = rj ri Q ai v aj
luego ai = aj pues en A solo hay un representante de cada clase, y como
ai v aj entonces [ai ] = [aj ]
Y si ai = aj ri = rj .Por tanto, Ai = Aj lo que implica i = j.contradiccin
2.
1 1
3 3
Ak ,
,
k=1
2 2
2 2
2.1.
k=1
k=1
Ak = (rk + A) [1, 1] + A
A[ 12 , 12 ]
3 3
,
2 2
1 1
1 1
,
[x] : x ,
=
disjunta
2 2
2 2
tenemos
a A , [x] = [a] a A , x v a a A , x a Q
27
y
1 x a 1
Denotamos q = x a Q [1, 1] y tenemos x = a + q con a A y
q Q [1, 1] luego:
k=1
k=1
x A+q (rk + A) = Ak
Es decir:
1 1
Ak
,
k=1
2 2
Tenemos, por tanto, una sucesin de conjuntos{An }nN acotados y disjuntos
dos a dos, tal que:
1 1
3 3
,
Ak ,
k=1
2 2
2 2
Veamos que no existe ninguna funcin de conjunto m que sea una medida
sobre (R) invariante por traslaciones, con m (I) = longitud(I) para todo intervalo
I de R.
Lo demostraremos por reduccin al absurdo: supongamos que existe una tal
funcin m.
Por el axioma de Eleccin existe la sucesin de conjuntos{An }nN acotados y
disjuntos dos a dos, congruentes por traslacin con A ,tal que:
1 1
3 3
,
Ak ,
k=1
2 2
2 2
luego
1 1
3 3
1=m ,
m Ak m ,
=3
k=1
2 2
2 2
y por ser la sucesin de conjuntos{An }nN disjuntos dos a dos:
1
X
k=1
m (Ak ) 3 1
X
k=1
m (A) 3
Si m (A) = 0 entonces
1 0 3 contradiccin
28
X
k=1
m (A) 3 1 3 contradiccin
Con el axioma de Eleccin, hemos asegurado la existencia el conjunto de eleccin A, llamado conjunto de Vitali, no numerable, al cual no se le puede asignar un
valor en [0, ] compatible con las propiedades 1, 2 y 3 exigidas a m. El axioma de
Eleccin asegura la existencia de este conjunto pero no dice como se construye, si es
que es posible.
Cuntos conjuntos A de Vitali distintos valen en la demostracin?
Suponiendo la axiomatizacin de la Teiria de Conjuntos ZFC+HGC, siendo
HGC la hipotesis del continuo generalizada, es decir
def
HC 20 = 1 = c
def
[ 1 , 1 ]
cin distintos de v2 2 = [x] : x 12 , 12 , y conociendo la cardinalidad de los
siguientes conjuntos:
1, 1
2 2
=c
1
1
[x] = y ,
: y = x + r , r Q = 0
2 2
= 0 1 = 21 = 2 = 2c = |(R)|
| 0 0{z }0
1 veces
4.2
1. Si nos contentamos con que la funcin de conjunto m sea una medida, no ya sobre (R), sino sobre una clase de subconjuntos de R estrictamente contenida en
(R), que tendr estructura de -algebra. Conservando el resto de propiedades,
es decir, invariante por isometras, y con m ([0, 1]) = 1, o lo que es lo mismo,
m (I) = longitud(I) para todo intervalo I de R. Esto se logra mediante el
llamado proceso de Carathodory, es decir, restringiendo una cierta medida exterior sobre los elementos de una -algebra en la que la medida exterior ser
-aditiva
2. Si devilitamos la propiedad 3 que exige la aditividad numerable a la funcin
de conjunto m, por una propiedad ms dvil que exija la aditividad finita a la
funcin de conjunto m, es decir:
n
n
X
m Ek =
m (Ek )
k=1
k=1
para una familia finita {E1, E2,... , En } (R) disjuntos dos a dos.
E In m (E)
n=1
m (In ) =
n=1
long (In )
n=1
Y si tomamos nfimo cuando se toman todas las sucesiones infinitas de intervalos cuya unin cubr E tenemos:
(
)
X
m (E) inf
long (In ) : {In }nN recubrimiento de E In
n=1
n=1
E me (E) = inf
(
X
n=1
me : (R) [0, ]
30
1. me (E) =
2. A, B (R)
A B = me (A) me (B)
3. (Invariante por traslaciones) Para todo E (R)
me (E + a) = me (E) a R
4. (-subaditividad)
e
En
n=1
X
n=1
5.
me (I) = m (I) = long(I)
Pero me no verifica la propiedad de ser -aditiva.
Por tanto, si m (E) est definida tenemos:
m (E) me (E)
Ademas, si suponemos que E est acotado, es decir, E [a, b], para cierto
intervalo [a, b] de R podemos definir la medida interior de E
mi (E) = m ([a, b]) me ([a, b] E c )
independientemente de [a, b] y de si m (E) est definido.
Si, ademas, m (E) est definida tenemos:
mi (E) = m ([a, b]) me ([a, b] E c ) m ([a, b]) m ([a, b] E c ) = m (E)
luego para todo E donde esta definida m (E), es decir, E M se verifica
mi (E) m (E) me (E)
Y si nos restringimos a los E de (R) tales que
mi (E) = me (E)
a los que llameremos conjuntos medibles Lebesgue que colecciono en L (R),tendremos
Por tanto m (E) est definido para todo E L, en donde mi (E) = me (E)
y para cualquier otra medida m0 verificando 1, 2, 3 tenemos
mi (E) = m0 (E) = me (E) m0 (E) = m (E)
para todo E en L
y, por tanto, tenemos, al menos, existencia y unicidad de solucin al problema de la medida para los conjuntos medibles Lebesgue, siendo
m : L [0, ]
m (E) = me (E) = inf
(
X
n=1
ci (J)=ce (J)
mi (J) = me (J)
y por tanto los conjuntos con contenido de Jordan sern conjuntos medibles Lebesgue,
es decir, vivirn en L y tendran la misma medida m (J) = c (J)
Adems, como el subconjunto de R
Q [0, 1]
no tiene contenido, pues
0 = ci (Q [0, 1]) < ce (Q [0, 1]) = 1
pero es medibles Lebesgue, pues
0 mi (Q [0, 1]) me (Q [0, 1]) = 0 mi (Q [0, 1]) = me (Q [0, 1]) = 0
y, por tanto:
m (Q [0, 1]) = 0
Tenemos, en consecuencia, que el concepto de conjunto medible Lebesgue extiende al concepto de conjunto con contenido de Jordan.
32
An
n=1
X
n=1
me (T ) = me (T A) me (T Ac )
Captulo 5
TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE
LEBESGUE
5.1
TEOREMAS
es decir,
fn % f -c.t.p.
Entonces
lim
fn d =
fn d %
lim fn d
X n
fd
34
x fn (x) =
1 si x {r1 , r2 , , rn }
0 si x
/ {r1 , r2 , , rn }
fn =
fn = 0
para todo n N
{fn }nN es, por tanto, una sucesin creciente de funciones Riemann-integrables
no negativas tales que convergen al lmite puntual en [0, 1]
f (x) = lim fn (x) = Q[0,1] =
n
1 si x Q [0, 1]
0 si x I [0, 1]
lim fn (x)dx =
0 n
f(x)dxno existe
luego no se verifica:
lim
fn (x)dx =
lim fn (x)dx
0 n
TEOREMAS
35
!
Z X
Z
X
fn d =
fn d
X
n=1
n=1
Z
Z
lim fn d lim
fn d
X
Si fn fn siendo
fd < , entonces
Z
Z
lim
fn d
lim fn d
n
X n
36
1 si x {r1 , r2 , , rn }
0 si x
/ {r1 , r2 , , rn }
fn es Riemann-integrable. Y
Z
fn = 0
para todo n N
{fn }nN es, por tanto, una sucesin de funciones Riemann-integrables tales
que convergen al lmite puntual en [0, 1]
1 si x Q [0, 1]
f (x) = lim fn (x) = Q[0,1] =
0 si x I [0, 1]
n
con f no es Riemann-integrable.
Adems
Z 1
fn (x)dx = lim 0 = 0
lim
n
lim fn (x)dx =
0 n
luego no se verifica:
lim
f(x)dxno existe
fn (x)dx =
lim fn (x)dx
0 n
g : [0, 1] [0, ]
x g (x) = 1
con g una funcin Riemann-integrable verificando
|fn (x)| 1 x [0, 1]
es decir |fn | g . n
EJERCICIOS
5.2
37
EJERCICIOS
x n ax
1+
e dx
n
x n ax
e [0,n]
x fn (x) = 1 +
n
x n ax
x f(x) = lim fn (x) = lim 1 +
e [0,n] = ex eax = e(a+1)x
n
n
n
n
1 + nx
es una sucesin de nmeros reales creciente
n=1
n+1
x
x n
1+
1+
% ex
n
n+1
n
n+1
x n ax
x
1+
e 1+
eax % ex eax
n
n+1
n
Luego nos encontramos en las hipotesis del teorema de la convergencia
montona:
{fn (x)} es una sucesin de funciones montona creciente medibles no
negativas en (0, ) con funcin lmite puntual f, es decir, fn % f en (0, )
n
Luego
lim
lim
fn (x)dx =
lim fn (x)dx
Z
Z
x n ax
1+
e dx = lim
fn (x)dx =
lim fn (x)dx =
n 0
n
0 n
=
a<1
e(a+1)x dx =
1
1+a
38
f 0
Pues si
f es integrable Riemann impropia
integrales coinciden
1.
(a+1)x
dx = lim
= lim
k
(a+1)x
dx = lim
1
e(a+1)k
a+1
1+a
a<1
e(a+1)x
a+1
x=k
x=0
1
<
1+a
x n x
1
e dx
n
x n x
x fn (x) = 1
e [0,n]
n
x n x
x f(x) = lim fn (x) = lim 1
e [0,n] = ex ex = e2x
n
n
n
Como
x n x
|fn (x)| = 1
e [0,n] ex [0,n] ex
n
x g(x) = ex
que verifica
Z
g(x)dx = lim
k
x
e dx = lim
ek
+1 =1<
1
EJERCICIOS
39
g0
g es integrable Lebesgue y las intenemos
g es integrable Riemann impropia
tegrales coinciden
Z
Z
gd =
g(x)dx = 1 <
(0,)
y por tanto, estamos en las hipotesis del teorema de la convergencia dominada, pues |fn | g con g medible e integrable Lebesgue en (0, ).
Luego podemos intercambiar el lmite y la integral resultando:
Z
Z n
Z
x n x
1
e dx = lim
fn (x)dx =
lim fn (x)dx =
lim
n 0
n 0
n
0 n
Z
2x
dx
T.C.M.
lim
2x
[0,k] dx = lim
()
e2x dx =
[0,k]
2x
dx =
[0,k]
k
2x
1 e2k
dx =
2
por tanto:
()
= lim
1 e2k
2
1
2
Ejercicio 40 Calcula:
lim
1 dx
x n n
1+ n x
40
1
1
f(x) = lim fn (x) = lim
n 1 =
n
1 =
x
n
n 1 +
xn
lim 1 + nx lim x n
n
n
Por ser
n !x
1 x
x n
1+ n
= lim
= ex
lim 1 +
n
n
n
x
Y
1
lim x n = x0 = 1
Entonces tendramos:
Z
Z
lim
fn (x)dx =
Pues
e dx = lim
lim fn (x)dx =
f(x)dx =
ex dx = 1
M
ex dx = lim ex 0 = lim (1 eM ) = 1
n
R
lo que significara que f(x) = ex es integrable Riemann impropia en (0, ) y 0 ex dx =
1. Y como f(x) = ex 0, x (0, ) entonces f es integrable Lebesgue en (0, )
respecto la medida de longitud extendida a los borelianos de la recta real. Y el valor de
su integral de Lebesgue en (0, ) es igual al valor de su integral de Riemann impropia
en (0, ),que es 1.
Veamos, pues, que se pueden intercambiar el lmite y la integral utilizando el
teoremade la convergenciadominada:
1
es una sucesin de funciones medibles e integrables en
n 1
(1+ nx ) x n
(0, ), pues las fn son continuas y positivas en (0, ).
Luego para estar en las hipotesis del teorema de la convergencia dominada
solamente necesitamos encontar una funcin g : (0, ) R medible e integrable tal
que |fn | g para todo n 2 en (0, ).
fn (x) =
EJERCICIOS
41
1
def
fn (x) =
1 (0,) (x) = fn (x)(0,1 ] (x) + fn (x)(1,) (x) g1 (0,1 ] + g2 (1,) = g n 2
x n n
1+ n x
Tomamos:
g1 : (0, 1] R definida por:
x g1 (x) =
1
1
x2
pues
x>0 1
1
1
1
n
xn
1 + nx x n
0<x1 y n2
1
1
x2
x (0, 1] y n 2
1
x g2 (x) =
2
1 + x2
pues
x>1
1
1
n
1
x n n
1 + nx
1+ n x
x0 y n2
2 x (1, ) y n 2
1 + x2
def
Solamente nos queda ver que g es integrable Lebesgue en (0, ). Esto lo comprobaremos viendo que tanto g1 (0,1 ] (x) como g2 (1,) (x) son integrable
Lebesgue en (0, ). Pues, entonces, la suma, es decir, g, es integrable Lebesgue
en (0, )
Como tanto g1 como g2 son no negativas en sus respectivos dominios de
definicn, si demostramos que son integrables Riemann impropias en sus respectivos
dominios de definicn, entonces sern integrable Lebesgue. Y estaremos en las
hiptesis del teorema de la convergencia dominada
R1
Veamos que 0 g1 dx <
Z 1
Z 1
Z 1
h 1 i1
1
1
12
2x 2 = lim(2 2 2 ) = 2
g1 dx =
dx
=
lim
x
dx
=
lim
1
0
0
0
0
0 x2
Por tanto
42
Veamos que
R
1
g2 dx <
Z
g2 dx =
x>1
Como 1 + x2 = 1 + x + 14 x2 >
<
x2
dx = lim
x2
4
2 dx <
1 + x2
con x (1, )
1
4
)=4<
dx
=
4
lim
(1
M
x2
M
Por tanto
g2 es integrable Lebesgue
Ejercicio 41 Calcula:
lim
x n x
e dx
1
2n
x n x
x fn (x) = 1
e [0,n] 0
2n
x
1
x n x
x f(x) = lim fn (x) = lim 1
e [0,n] = e 2 ex = e 2 x
n
n
2n
1
Sinedo f(x) = e 2 x
140
120
100
80
60
40
20
0
10
EJERCICIOS
43
Por tanto,
f = lim fn = lim fn = lim fn
n
Tenemos
x n x
lim
1
e dx = lim
fn (x)dx
2n
n 0
n 0
R
Aplicando el lema de Fatou, pues fn 0 siendo 0 0dx = 0 >
lim fn (x)dx =
n
f(x)dx =
e 2 x dx =
luego
lim
n
Z n
x n x
x n x
1
1
e dx = lim
e dx =
n 0
2n
2n
lim
nx sin x
dx = 0
1 + (nx)p
nx sin x
nx
nx
1
p1>0
1
xp1
Si definimos
g : [0, 1] [0, ]
x g (x) =
1
xp1
44
Ejercicio 43 Calcula
lim
log (n + x) x
e cos xdx
n
()
log (n + x) x
log (n + x) x
=
e
e
cos
x
|cos
x|
n
n
()
log (n + 1)
log (n + 1) n + 1
log (n + x)
1
1 + 2 n
n
n
+ 1 }| {z
n }
n
| n {z
1
1
1+ n
0<x<1
2ex |cos x| 2 n
Si definimos
g : [0, 1] [0, ]
x g (x) = 2
Como g es continua, y por lo tanto, g es una funcin medible Borel y adems
como g es una funcin Riemann- integrable en [0, 1] pues
Z 1
Z 1
g(x)dx =
2dx = 2 <
0