TRABAJO 2 DE ANÁLISIS MATEMÁTICO 3

JUAN DAVID BARAJAS CALONGE

DOCENTE:

MS. JORGE ARMANDO REYES VÁSQUEZ

DEPARTAMENTO DE MATEMÁTICAS Y ESTADÍSTICA

FACULTAD DE CIENCIAS BÁSICAS

UNIVERSIDAD DE CÓRDOBA

Montería - Córdoba, 01-12-2017

 Ÿ Integración sobre regiones acotadas mas generales
Ejercicio 1 (1). Sean f, g : S → R donde S ⊂ Rn es un conjunto acotado. Asuma que f, g
son integrables sobre S .

(a) Muestre que si f y g coinciden salvo sobre un conjunto de medida cero, entonces,
∫ ∫
f= g
S S

∫ ∫
(b) Muestre que si f (x) ≤ g(x) para todo x ∈ S y S
f= S
g , entonces f y g coinciden salvo
en un conjunto de medida cero.

Demostración. (a) Denamos la función h : S → R dada por, h(x) = f (x) − g(x), para todo
x ∈ S . Sea,
D = {x ∈ S|h(x) ̸= 0}

Dado que S es acotado, entonces podemos escoger un rectángulo Q de Rn tal que, S ⊂ Q.

Consideremos ahora la función hS : Q → R dada por,


h(x), si x ∈ S
hS (x) =

0, si x ∈
/S

Luego, hS (x) ̸= 0 sí y solo si x ∈ D, es decir,

D = {x ∈ Q|hS (x) ̸= 0}.

Por hipótesis tenemos que D tiene medida cero. Luego, h satisface todas las hipótesis del
Teorema 2.7 parte a), por lo tanto,
∫ ∫ ∫ ∫
f− g= h= hS = 0
S S S Q

es decir, ∫ ∫
f= g
S S

(b) Denamos la función h : S → R dada por, h(x) = f (x) − g(x), para todo x ∈ S . Por
hipótesis tenemos que h(x) ≥ 0 para todo x ∈ S y además,
∫ ∫ ∫ ∫
h= (f − g) = f− g=0
S S S S
 es decir, ∫
h=0
S

De esta manera h satisface todas las hipótesis del Teorema 2.7 parte b). En consecuen-
cia, h se anula excepto en un conjunto de medida cero, esto es, f y g coinciden excepto
en un conjunto de medida cero.

Ejercicio 2 (3). Sean S1 y S2 conjuntos acotados en Rn ; tome f : S1 ∪ S2 → R una función

acotada. Muestre que si f es integrable sobre S1 y S2 , entonces F es integrable sobre S1 r S2 ,
y además, ∫ ∫ ∫
f= f− f
S1 rS2 S1 S1 ∩S2

Demostración. Sea K = S1 r S2 y mostremos que f es integrable sobre K . En efecto, sea Q

un rectángulo de Rn tal que S1 ⊂ Q. Luego, S1 r S2 ⊂ S1 ⊂ Q. Por hipótesis sabemos que
∫
fS1
Q

existe y como fK (x) = fS1 (x) para todo x ∈ K , entonces

∫
fK
Q

existe, esto es, ∫

f
K

existe, es decir, f es integrable sobre K . Por Teorema visto sabemos que f es integrable sobre
T = S1 ∩ S2 y por lo tanto f es integrable sobre K ∪ T . Más aún,
∫ ∫ ∫ ∫
f= f+ f− f
K∪T K T K∩T

y note que, K ∪ T = S1 y K ∩ T = ∅. Por lo tanto,

∫ ∫ ∫
f= f+ f
S1 S1 rS2 S1 ∩S2

esto es, ∫ ∫ ∫
f= f− f
S1 rS2 S1 S1 ∩S2
Ejercicio 3 (5). Demuestre el siguiente teorema.
Teorema. Sea S un conjunto acotado en Rn ; Sea f : S → R una función acotada. Tome D
como el conjunto de puntos en S en los cuales f no es continua. Sea además el conjunto:
{ }
E= x0 ∈ S| lı́m f (x) ̸= 0
x→x0

∫
Demuestre que S
f existe sí y solo si D y E tienen medida cero.

Demostración. Como S ⊂ Rn es acotado, entonces existe un rectángulo Q de Rn tal que

S ⊂ Q. Consideremos la función fS : Rn → R dada por,


f (x), si x ∈ S
fS (x) =

0, si x ∈
/S

y sea D′ = {x ∈ Rn |fS es discontinua en x}.

∫
⇒ Supongamos que S
f existe. Veamos que D y E tienen medida cero. Sea B el conjunto
de todos los puntos aislados de S . Sabemos que B ⊂ E . Armamos que si fS es continua en
x0 entonces x0 ∈
/ D ∪ (E r B).
⇐ Supongamos que D y E tienen medida cero. Armamos que D′ ⊂ D ∪ E . Para ello
mostremos que si x0 ∈
/ D ∪ E , entonces fS es continua en x0 . En efecto, sea x0 ∈
/ D ∪ S,
entonces f es continua en x0 . Consideremos los siguientes casos,

Caso 1: Supongamos que x0 ∈ int S , entonces existe r > 0 tal que Br (x0 ) ⊂ S y dado
que fS = f en S , entonces fS (x) = f (x), para todo x ∈ Br (x0 ). Luego, como f es
continua en x0 entonces fS es continua en x0 .

Caso 2: Supongamos que x0 ∈ ext S , entonces existe δ > 0 tal que Bδ (x0 ) ⊂ S c . Por
tanto, f (x) = 0, para todo x ∈ Bδ (x0 ) Luego fS es continua en x0 .

Caso 3: Supongamos que x0 ∈ ∂S . Dado que x0 ∈/ E , entonces,

lı́m f (x) = 0
x→x0

Veamos que
lı́m fS (x) = 0
x→x0
 • Subcaso 1: Si x0 ∈ S , entonces fS (x0 ) = f (x0 ). Como f es continua en x0 ,
entonces
lı́m f (x) = f (x0 )
x→x0

Por la unicidad del límite, f (x0 ) = 0. Notemos que por hipótesis f (x) → 0 cuando
x → x0 , a través de puntos x ∈ S . Por tanto, fS (x) → 0 cuando x → x0 a través
de puntos x ∈ S . Como fS (x) = 0, para todo x ∈ Rn r S , entonces es claro que
fS (x) → 0, cuando x → x0 a través de puntos x ∈ Rn r S , luego,

lı́m fS (x) = 0 = f (x0 ) = fS (x0 )

x→x0

• Subcaso 2: Si / S , entonces por denición se tiene que fS (x0 ) = 0. Por

x0 ∈
hipótesis tenemos que fS (x) → 0, cuando x → x0 a través de puntos x ∈ S . Por
denición se sigue que fS (x) → 0, cuando x → x0 a través de puntos x ∈ S . Luego,

lı́m fS (x0 ) = 0 = fS (x0 )

x→x0

En cualquier subcaso se ve que fS es continua en x0

Por todo lo anterior D′ ⊂ D ∪ E . Dado que D y E tiene medida cero, entonces D ∪ E tiene
medida cero. En consecuencia, D′ tiene medida cero y por Teorema visto concluimos que,
∫
fS
Q

existe, es decir ∫
f
S

existe.

Ÿ Conjuntos recticables
Ejercicio 4 (7). Muestre que si S1 y S2 son recticables entonces S1 r S2 también es recti-
cable y además,
v(S1 r S2 ) = v(S1 ) r v(S1 ∩ S2 )

Demostración. Consideremos la función f : S1 ∪ S2 → R dada por f (x) = 1 para todo

x ∈ S1 ∪ S2 . Como S1 y S2 son recticables entonces f es integrable sobre S1 y f es integrable
sobre S2 . Se satisfacen así todas las hipótesis del Ejercicio 2, por lo tanto, f es integrable
sobre S1 r S2 y ∫ ∫ ∫
f= f− f
S1 rS2 S1 S1 ∩S2

es decir, S1 r S2 es recticable y,

v(S1 r S2 ) = v(S1 ) r v(S1 ∩ S2 )

Ejercicio 5 (9). Proporcionar un ejemplo de un conjunto acotado de medida cero que es

recticable y un ejemplo de un conjunto acotado de medida cero que no es recticable.

Demostración. Un conjunto acotado de medida cero que es recticable: Sea A =

{1} ⊂ R. Note que A es acotado y como A es nito entonces A tiene medida cero. Mas aún,
Teorema visto A es recticable.
∂A = ∅, por tanto, ∂A tiene medida cero y por
Un conjunto acotado de medida cero que es no es recticable: Sea A = Q ∩ [0, 1].
Note A ⊂ [0, 1]. Luego A es acotado y además A ⊂ Q y como Q es contable así lo es A.
Luego A tiene medida cero. Y por Teorema visto tenemos que ∂A = [0, 1] no tiene medida
cero.

Ejercicio 6 (11). Sea A un conjunto abierto y acotado en Rn ; sea f : Rn → R una función

∫ ∫
continua y acotada. Proporcione un ejemplo donde A
f exista pero A
f no.

Demostración. Por ejercicio anterior sabemos que Q ∩ (0, 1) es contable. Entonces,

Q ∩ (0, 1) = {q1 , q2 , . . . }

Sea a ∈ (0, 1) jo. Para i ∈ N elijamos ai , bi ∈ (0, 1), con ai < bi tales que, qi ∈ (ai , bi ) y
bi − a i < a
2i
. Sea
∪
∞
A= (ai , bi )
i=1

Dado que, (ai , bi ) ⊂ (0, 1) para todo i ∈ N, entonces A ⊂ (0, 1). Por lo tanto A es acotado.
Además, dado que A es una unión de conjuntos abiertos, entonces A es abierto. Consideremos
la función f : Rn → R dada por, f (x) = 1 para todo x ∈ Rn . Note que f es una función
∫ ∫
continua y acotada. Armamos que A
f existe y A
f no existe.
En efecto, veamos que ∂A no tiene medida cero. Razonemos por el absurdo y supongamos que
∂A tiene medida cero. Sea ϵ = 1 − a > 0. Entonces existe una sucesión {In }n∈N de intervalos
abiertos y acotados tales que
∪ ∑
∂A ⊂ In y v(In ) < ϵ.
n∈N n∈N

Dado que A ⊂ [0, 1] y Q ∩ (0, 1) ⊂ A, entonces A = [0, 1]. Ahora bien, note que A = ∂A ∪ A.
De ese modo, la colección {(ai , bi ) ∪ Ii }i∈N es un cubrimiento abierto para A = [0, 1]. Siendo
[0, 1] compacto, existe {1, . . . , N } ⊂ N tal que,

∪
N
[0, 1] ⊂ [(aj , bj ) ∪ Ij ]
j=1

Así, por corolario visto

∑
N
1 = v([0, 1]) ≤ v((aj , bj ) ∪ Ij )
j=1

∑
N ∑
N
≤ (bj − aj ) + v(Ij )
j=1 j=1
∑∞ ∑∞
< (bj − aj ) + v(Ij )
j=1 j=1
∑∞
a ∑
∞
< + v(Ij )
j=1
2j j=1

<a+ϵ=1
∫
Lo cual es una contradicción. Luego ∂A no tiene medida cero, es decir, A
f no existe. Sin
embargo, vimos que A = [0, 1] y como ∂[0, 1] = {0, 1} entonces ∂A tiene medida cero, esto es,
∫
A
f existe.

Ejercicio 7 (13). Sean A, B rectángulos en Rk y Rn respectivamente. Tome S como un

subconjunto de A × B . Para cada y ∈ B , tome:

Sy = {x ∈ Rk : x ∈ A, (x, y) ∈ S}

Al conjunto Sy le llamaremos sección cruz de S . Muestre que si S es recticable y Sy es

recticable para cada y ∈ B , entonces:
∫
v(S) = v(Sy )
y∈B
Demostración. Denotamos por 1 a la función f : Rk × Rn → R tal que f (x, y) = 1 para todo
∫
x ∈ Rk y y ∈ Rn . Por hipótesis tenemos que S 1 existe. Luego,
∫ ∫
v(S) = 1(x, y) = 1S (x, y)
S A×B

De ese modo, por Teorema de Fubini se sigue que la función I : B → R dada por,
∫
I(y) = x∈A
1S (x, y) es integrable y,
∫ ∫ (∫ )
v(S) = 1S (x, y) = 1S (x, y) (∗)
A×B y∈B x∈A

Armamos que, ∫
v(Sy ) = 1S (x, y)
x∈A
∫
para todo y ∈ B . En efecto, sea y ∈ B jo. Note que Sy ⊂ A. Por hipótesis, Sy
1 existe. Así,
∫ ∫
v(Sy ) = 1(x, y) = 1Sy (x, y)
Sy x∈A

Tenemos que,


1, si x ∈ Sy
1Sy (x, y) =

0, si x ∈
/ Sy

Consideremos la función 1S : Rk → R dada por,



1, si (x, y) ∈ S
1S (x, y) =

0, si (x, y) ∈
/S

para todo x ∈ A. Por la denición de Sy tenemos que x ∈ Sy sí y solo si x ∈ A y(x, y) ∈ S

Veamos que
1Sy = 1S .

En efecto, sea x ∈ Rk . Si x ∈ Sy , entonces (x, y) ∈ S . Por tanto,

1Sy (x, y) = 1 = 1S (x, y)

Si x ∈
/ Sy , entonces x ∈
/ A o (x, y) ∈
/ S . Si x ∈
/ A, entonces (x, y) ∈
/ S pues S ⊂ A × B . De ese
modo,
1Sy (x, y) = 0 = 1S (x, y)
De esta manera mostramos que 1Sy = 1S . En consecuencia,
∫ ∫ ∫
v(Sy ) = 1(x, y) = 1Sy (x, y) = 1S (x, y)
Sy x∈A x∈A

para todo y ∈ B , esto es, ∫

v(S) = v(Sy )
y∈B

es decir, ∫
v(Sy ) = 1S (x, y) (∗∗)
x∈A

Sustituyendo (**) en (*) obtenemos:

∫
v(S) = v(Sy )
y∈B

Ÿ Integrales impropias
Ejercicio 8 (17). Tome f : R → R como la función f (x) = x. Muestre que, dado λ ∈ R,
existe una sucesión CN de subconjuntos compactos recticables de R cuya unión es R, y tales
que CN ⊂ int CN +1 para cada N ∈ N y,
∫
lı́m f =λ
N →∞ CN
∫
¾Existe la integral extendida R
f?
√ √
Demostración. Sea λ ∈ R dado. Para cada N ∈ N sea, CN = [− N , N + 2λ]. Fijemos
N ∈ N. Note que CN es compacto pues es un subconjunto cerrado y acotado de R, además,
∫ √ √
1 = N + 2λ + N
CN
√ √
existe, luego CN es recticable. También, int CN +1 = (− N + 1, N + 1 + 2λ). Así, CN ⊂
int CN +1 . Nótese que,
∪
∞
R= CN
N =1

En efecto, claramente
∪
∞
CN ⊂ R.
N =1
Sea x ∈ R. Como
√ √
lı́m N + 2λ = ∞ y lı́m − N = −∞
N →∞ N →∞

Entones existen N ′ , N ′′ ∈ N tales que,

√ √
N ′ + 2λ > x y − N ′′ < x

Sea N = máx{N ′ , N ′′ } ∈ N. De esta forma, x ∈ CN .

Además tenemos que,
∫ ∫ √
N +2λ
(N + 2λ) − N
f= √
xdx = =λ
CN − N 2

Por lo tanto, ∫
lı́m f =λ
N →∞ CN
∫
Veamos que R
f no existe. En efecto, sea CN = [−N, N + 1] para todo N ∈ N. Claramente
{CN } es una sucesión de subconjuntos compactos recticables de R tales que

∪
∞
R= CN .
N =1

Luego, nótese que

∫ ∫ N +1
(N + 1)2 − N 2 2N + 1
f= xdx = =
CN −N 2 2

y como
2N + 1
lı́m
N →∞ 2
∫
no existe, entonces R
f no existe.

Ejercicio 9 (21). Tome f (x, y) = √1

x xy
para x > 0, y > 0. Tome:

A0 = {(x, y)|0 < x < 1, x < y < 2x}

B0 = {(x, y)|0 < x < 1, x2 < y < 2x2 }

∫ ∫
Determine cual de las integrales A0
f y B0
f existe.
∫
Demostración. Veamos inicialmente que A0
f existe. Para N ∈ N denamos,
{ }
1
UN = (x, y)| < x < 1, x < y < 2x
N
Notemos que UN es abierto, UN ⊂ UN +1 para todo N ∈ N y
∪
∞
A0 = UN
N =1

Además,
∫ ∫ 1 ∫ 2x
1
f= √ dydx
UN 1/N x x xy
∫ 1 (∫ 2x )
1 1
= √ √ dy dx
1/N x x x y
∫ 1
1 √ √ √
=2 √ ( 2 x − x)dx
1/N x x
√ ∫ 1
1
= 2( 2 − 1) dx
1/N x
( )
√ 1
= 2(1 − 2) 1 − 2
N
esto es, ∫ ( )
√ 1
f = 2(1 − 2) 1 − 2
UN N
∫ ∫
Así, la sucesión UN
|f | existe y es acotada, por consiguiente, A0
f existe y,
∫ ∫ √
f = lı́m f = 2(1 − 2)
A0 N →∞ UN
∫
Mostremos ahora que B0
f también existe. Para N ∈ N denamos,
{ }
1 2 2
UN = (x, y)| < x < 1, x < y < 2x
N
Notemos que UN es abierto, UN ⊂ UN +1 para todo N ∈ N y
∪
∞
B0 = UN
N =1

Además,
∫ ∫ 1 ∫ 2x2
1
f= √ dydx
UN 1/N x2 x xy
∫ (∫ 2 )
1 2x
1 1
= √ √ dy dx
1/N x x x2 y
∫
1 √1
=2 √ ( 2x − x)dx
1/N x x
√ ∫ 1
1
= 2( 2 − 1) √ dx
1/N x
( )
√ 1
= 4( 2 − 1) 1 − √
N
esto es, ∫ ( )
√ 1
f = 4( 2 − 1) 1 − √
UN N
∫ ∫
Así, la sucesión UN
|f | existe y es acotada, por consiguiente, B0
f existe y,
∫ ∫ √
f = lı́m f = 4( 2 − 1)
B0 N →∞ UN