UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMÁTICAS

ESCUELA PROFESIONAL DE MATEMÁTICAS
ANÁLISIS REAL III

PRÁCTICA N ◦ 3

1. Encuentre el volumen de cada una de las siguientes regiones de R3 :

(a) Región limitada por los paraboloides z = 4x2 + y 2 y z = 4 − x2 − 4y 2 .

(b) Región limitada por las superficies x2 + y 2 = 4, z = 4 − y 2 y z = 0.
(c) Región situada en el primer octante y acotada por los cilindros x2 + y 2 = a2 y y 2 + z 2 = a2
x2 y2 z2
(d) Región limitada por el cono elı́ptico 2
+ 2 = 2 y el plano z = c.
a b c
Z
2. Calcule la integral f para cada uno de los siguientes casos:
X
n p p o
(a) f (x, y, z) = 5 y X = (x, y, z); 0 ≤ x ≤ a, 0 ≤ y ≤ a2 − x2 , 0 ≤ z ≤ a2 − x2 − y 2
n  x  x y o
(b) f (x, y, z) = x y X = (x, y, z); 0 ≤ x ≤ a, 0 ≤ y ≤ b 1 − , 0≤z ≤c 1− −
a a b
 √
(c) f (x, y, z) = yz y X = (x, y, z); 0 ≤ x ≤ 4, 0 ≤ y ≤ x, 0 ≤ z ≤ y
n π o
(d) f (x, y, z) = x2 y y X = (x, y, z); 0 ≤ z ≤ , 0 ≤ y ≤ a, 0 ≤ x ≤ y cos z
2
( r )
x2 2 2 2 2
(e) f (x, y, z) = 1 y X = (x, y, z); 0 ≤ x ≤ 2, 0 ≤ y ≤ 2 − , x + 3y ≤ z ≤ 8 − x − y
2

x2 y 2 z 2
3. Determine el volumen de la región en el primer octante limitada por el elipsoide + + = 1.
a2 b2 c2
4. Sea B = [0, 1] × [0, 1] y definimos f : B → R como

1, si x ∈ Q ∩ [0, 1]
f (x, y) =
2y, si x ∈ [0, 1] − Q
Z t
(a) Pruebe que f (x, y)dy existe para todo 0 ≤ t ≤ 1 y que
0

Z 1 Z t  Z 1 Z t 
2
f (x, y)dy dx = t y f (x, y)dy dx = t
0 0 0 0

Z 1 Z 1 
Esto prueba que f (x, y)dy dx existe y es igual a 1.
0 0
Z 1 Z 1 
(b) Pruebe que f (x, y)dx dy existe y determine su valor.
0 0
Z
(c) Pruebe que f no existe.
B

1
 ∂2f
5. Utilizar el teorema de las integrales iteradas para dar una demostración sencilla de que =
∂x∂y
∂2f ∂2f ∂2f
si éstas derivadas parciales son continuas. (Sugerencia: Si (x0 , y0 ) − (x0 , y0 ) > 0,
∂y∂x ∂x∂y ∂y∂x
∂2f ∂2f
existe un rectángulo B que contiene a (x0 , y0 ) tal que (x, y) − (x, y) > 0, para todo
∂x∂y ∂y∂x
(x, y) ∈ B.)
6. Sea B = [0, 1] × [0, 1] y definimos f : B → R como

0, si al menos uno de los valores de x e y es irracional
f (x, y) =
1/n, si y ∈ Q y x = m/n
en donde m y n son coprimos y n > 0. Pruebe que
Z 1 Z 1 Z 1  Z
f (x, y)dx = f (x, y)dx dy = f =0
0 0 0 B
Z 1
pero que f (x, y)dy no existe para x racional.
0

7. Si pk designa al k-ésimo número primo, sean

   ∞
n m [
S(pk ) = , ; 1 ≤ m, n ≤ pk − 1 , S= S(pk ) y B = [0, 1] × [0, 1].
pk pk
k=1

(a) Probar que S es denso en B pero que cualquier recta paralela a los ejes coordenados contiene
a los sumo un subconjunto finito de S.
(b) Definir f : B → R como 
0, si (x, y) ∈ S
f (x, y) =
1, si (x, y) ∈ B − S
Z 1 Z 1  Z 1 Z 1  Z
Probar que f (x, y)dx dy = f (x, y)dy dx = 1, pero que la integral f no
0 0 0 0 B
existe.
8. Si B = [a1 , b1 ] × [a2 , b2 ] × . . . × [an , bn ] y f : B → R es continua, definimos F : B → R por
Z
F (x1 , x2 , . . . , xn ) = f.
[a1 ,x1 ]×[a2 ,x2 ]×...×[an ,xn ]

∂F
Determine (x), para cada x ∈ int (B).
∂xi
∂f
9. Sea f : [a, b] × [c, d] → R y supóngase que es continua. Definimos F : [c, d] → R por
∂y
Z b
F (y) = f (x, y)dx.
a

Pruebe la Regla de Leibnitz :

Z b
∂f
F 0 (y) = (x, y)dx.
a ∂y
Z b Z y 
∂f
(Sugerencia : F (y) = (x, y)dy + f (x, c) dx). (La demostración del resultado mostrará
a c ∂y
∂f
que la continuidad de puede ser sustituida por hipótesis considerablemente más débiles.)
∂y

2
 ∂f
10. Sea f : [a, b] × [c, d] → R y supóngase que es continua. Definimos F : [a, b] × [c, d] → R por
∂y
Z x
F (x, y) = f (t, y)dt.
a

∂F ∂F
(a) Determinar y .
∂x ∂y
Z g(x)
(b) Si G(x) = f (t, x)dt, hallar G0 (x).
a

∂g2 ∂g1
11. Sean g1 , g2 ∈ C 1 (R2 ) tales que = . Definamos f : R2 → R por
∂x ∂y
Z x Z y
f (x, y) = g1 (t, 0)dt + g2 (x, t)dt.
0 0

∂f
Pruebe que (x, y) = g1 (x, y).
∂x
12. Pruebe el Principio de Cavalieri : Sean A, B ∈ J (R3 ) y denotemos Ac = {(x, y); (x, y, c) ∈ A} y
Bc = {(x, y); (x, y, c) ∈ B}. Si Ac y Bc son conjuntos J-medibles, para todo c ∈ R y tienen la
misma área entonces pruebe que A y B tienen el mismo volumen.
13. Sea X ⊆ [0, 1] el conjunto de Cantor de medida positiva, sea Y = X × [0, 1] y sea B es cualquier
2-bloque que contenga a [0, 1] × [0, 1] .

(a) Si U = B − Y entonces ¿1U es Riemann-integrable sobre B? ¿Cuál es el área de U ?

Z
(b) ¿Existe 1? Justifique su respuesta.
U

14. Sea X = {a, b, c, d}, ¿Es la familia A = {∅, {b}, {a, b}, {c, d}, {a, c, d}, {b, c, d}, X} un álgebra en X?
15. Sea X un conjunto no vacı́o y consideremos la familia
A = {A ∈ P(X); A es numerable o Ac es numerable }

¿Es A una σ-álgebra en X? Justifique su respuesta.

16. Sea X un conjunto de n elementos. ¿Cuántas σ-álgebras distintas se pueden obtener con los 2n
subconjuntos de X? ¿Cuántas hay que tengan exactamente p elementos?
17. Pruebe que los subconjuntos de R que son reuniones finitas de intervalos de la forma [a, b[, [a, +∞[
ó ] − ∞, b[, es un álgebra pero no una σ-álgebra de R.
18. Sean A, B dos σ-álgebras en X

(a) ¿Es A ∪ B una σ-ágebra en X? Justifique su respuesta.

(b) Pruebe que
σ(A ∪ B) = σ ({A ∪ B; A ∈ A, B ∈ B}) = σ ({A ∩ B; A ∈ A, B ∈ B})

19. Sea (X, A) un espacio medible. Se definen en A las operaciones

+:A×A→A y ·:A×A→A
como
A + B = A∆B y A·B =A∩B
Pruebe que, con estas operaciones, A se torna un anillo conmutativo con elemento identidad.

3
20. Para n ∈ Z+ , considérese los intervalos
   
0 1 k k k+1
In = 0, n , In = n , n , ∀ k ∈ {1, 2, . . . 2n − 1}
2 2 2

Si Bn = σ Ink ; 0 ≤ k < 2n , pruebe que la familia de σ-álgebras de ]0, 1[ dada por {Bn }n∈N es


creciente pero que su unión no es una σ-álgebra de ]0, 1[.

\ X es un conjunto no vacı́o y {Ai }i∈I es una colección arbitraria de álgebras en X, pruebe que
21. Si
Ai es una álgebra de X.
i∈I

22. Dado un conjunto no vacı́o X y una familia arbitraria F de subconjuntos de X, de manera análoga
a lo realizado en teorı́a, construya el álgebra generada por F.
23. Pruebe las siguientes propiedades de la σ-álgebra σ(F) generada por F ⊆ P(X):

(a) Si A es una σ-álgebra entonces σ(A) = A.

(b) Si F1 ⊆ F2 entonces σ(F1 ) ⊆ σ(F2 ).
(c) si F ⊆ A y A es una σ-álgebra entonces σ(F) ⊆ A

24. Sean X e Y dos conjuntos no vacı́os y f : X → Y una función.

(a) Si B es una σ-álgebra de Y , pruebe que la familia f −1 (B) = {f −1 (B); B ∈ B} es una σ-álgebra
de X. (Observación: f −1 (B) es llamada preimagen de la σ-álgebra B por f ).
(b) Si A es una σ-álgebra de X, pruebe que la familia f (A) = {B ⊆ Y ; f −1 (B) ∈ A} es una
σ-álgebra de Y . (Observación: f (A) es llamada imagen de la σ-álgebra A por f ).
(c) Pruebe que para cualquier A σ-álgebra de X se cumple

f −1 (f (A)) ⊆ A

y con un contraejemplo, muestre que la igualdad no se cumple.

(d) Si A es una σ-álgebra de X pruebe que, en general, la familia {f (A); A ∈ A} no es una
σ-ágebra de X.
(e) Si F es una familia de subconjuntos de Y , pruebe que σ(f −1 (F)) = f −1 (σ(F)).

25. Sea f : R → R definida por f (x) = x2


(a) Determine la σ-álgebra A sobre R generada por la familia unitaria F = [0, 1] .
(b) Determine las σ-álgebras f (A), f −1 (A), f −1 (f (A)) y f f −1 (A) .

26. Sean X = [0, +∞[ ×[0, 2π[, Y = R2 y consideremos la función f : X → Y definida por f (r, θ) =
(r cos θ, r sen θ). Determine la preimagen f −1 (B(Y )) de los boreleanos de Y .
27. Sean (X, A) e (Y, B) dos espacios medibles y sean F ⊆ A y G ⊆ B dos familias arbitrarias. Denote-
mos
F ⊗ G = σ ({A × B; A ∈ F, B ∈ G})
Pruebe que
F ⊗ G = σ(F) ⊗ σ(G)
(Observación: La σ-álgebra σ(F) ⊗ σ(G) es llamada σ-álgebra producto).

Renato Benazic
Ciudad Universitaria, mayo del 2025