Ejercicio 5.

Demostrar que si existe la integral sobre A ⊂ Rn de la función caracterı́stica

χC de un conjunto acotado C ⊂ Rn de medida cero, entonces
Z
χC = 0.
A

Sugerencia: Demuestra que L(χC , P ) = 0 para toda partición P. Usar el problema anterior
(Problema 4.)

Demostración. Sea P una partición de A. Recordemos que



 1, x ∈ C
χC (x) = .
0, x ∈
/C



Tenemos entonces lo siguiente:

X
L(χC , P ) = mS (χC )v(S),
S

donde mS (χC ) = ı́nf{χC (x) | x ∈ C}.

Para los subrectángulos S tales que S ∩ C = ∅ tenemos que mS (χC ) = 0, pues no hay
elementos de C en S y por lo tanto χC (x) = 0 para toda x ∈ S.
Para los subrectángulos S tales que S ∩ C 6= ∅ queremos ver que existe alguna y ∈ S tal
que χC (y) = 0. Supongamos que tal y no existe en S. Entonces tenemos que S ⊂ C, pues para
cualquier y ∈ S, χC (y) = 1, siendo que y ∈ C. Por lo tanto S tiene medida cero. Por otro
lado, como C es acotado y S está contenido en C, entonces S también está acotado y como S
es cerrado, entonces es compacto. Ya que S es de medida cero y es compacto, entonces tiene
contenido cero, lo cual contradice al problema anterior.
Por lo tanto existe y ∈ S tal que χC (y) = 0, y con eso basta para garantizar que mS (χC ) = 0.
En cualquier caso, la L(χC , P ) = 0 para toda partición P, y esto a su vez implica que
Z
χC = sup{L(χC , P ) | P -partición de A} = 0
A

1
 Segunda Lista.
Ejercicio 3. Usar el teorema de Fubini para dar una demostración sencilla de que

∂ 2f ∂ 2f
=
∂x∂y ∂y∂x

si estas son continuas.

∂2f ∂2f
Sugerencia: Si ∂x∂y
− ∂y∂x
> 0 para algún x0 entonces existe algún rectángulo A tal que
∂2f ∂2f
∂x∂y
− ∂y∂x
> 0 en todo A.

∂2f ∂2f ∂2f ∂2f

Demostración. Supongamos que ∂x∂y
− ∂y∂x
> 0 para algún x0 . Entonces como ∂x∂y
− ∂y∂x
es
∂2f ∂2f
continua, existe algún rectángulo abierto A = (a, b) × (c, d) tal que ∂x∂y
− ∂y∂x
> 0 en todo A.
Entonces tenemos que !
Z bZ d
∂ 2f ∂ 2f
− dydx > 0.
a c ∂x∂y ∂y∂x
∂2f ∂2f
Por continuidad, existe la integral de ∂x∂y
− ∂y∂x
, y se tiene
!
Z bZ d
∂ 2f ∂ 2f Z bZ d 2
∂ f Z bZ d 2
∂ f
− dydx = dydx − dydx
a c ∂x∂y ∂y∂x a c ∂x∂y a c ∂y∂x
Z dZ b 2 Z bZ d 2
∂ f ∂ f
= dydx − dxdy (por Fubini)
c a ∂x∂y a c ∂y∂x

= 0, (T.F.C. aplicado dos veces)

lo cual es una contradicción.

∂2f 2
∂ f
Similarmente no podemos tener ∂x∂y
− ∂y∂x < 0 para algún x0 . Entonces se tiene el resultado
deseado.

2
 Tercera Lista
Ejercicio 4. Demostrar que el conjunto de los irracionales en el intervalo [0, 1] no tiene
medida cero.

Demostración. Supongamos que el conjunto A = Qc ∩ [0, 1] tiene medida cero. Entonces existe
una cubierta A = {U1 , U2 , . . .} por rectángulos cerrados para A y que cumple
∞
X 1
v(Ui ) < .
i=1 2

Afirmamos que A cubre al intervalo (0, 1). La razón es la siguiente:

Supongamos que A no cubre a (0, 1). Entonces existe r ∈ (0, 1) que no está en U = ∪∞
i=1 Ui .

Por otro lado, como cada Ui es cerrado, entonces U es cerrado, siendo U c un abierto.
Entonces U c ∩ (0, 1) también es un abierto con r ∈ U c ∩ (0, 1). De modo que existe alguna
ε > 0 tal que Bε (r) ⊂ U c ∩ (0, 1), pero hay al menos un número irracional en Bε (r) y por lo
tanto, no está cubierto por U, lo cual contradice que A se una cubierta para los irracionales en
[0, 1]. Entonces A cubre al intervalo (0, 1) , de donde se deduce que 1 = v(0, 1) ≤ v(U) < 21 , lo
cual es una contradicción. Entonces A no tiene medida cero.