Instituto Politécnico Nacional

Escuela Superior de Física y Matemáticas

Notas de Cálculo IV
Clases del profesor Miguel Valencia Bucio

José Luis Alanís Garibay

Agosto 2021
1. Cardinalidad de Conjuntos
Denición 1. Sean X y Y dos conjuntos. Decimos que X es equipotente a Y , o que X y Y son
equipotentes , si existe una biyección de X sobre Y , y escribimos
|X| = |Y |.
Denición 2. Decimos que X es un conjunto nito si X = ∅, o existe n ∈ N tal que X es
equipotente al conjunto {1, . . . , n}. En tal caso denimos la cardinalidad de X como
card(X) = |X| := n.
Si X=∅ denimos su cardinalidad como cero.

Denición 3. Decimos que un conjunto es innito si no es nito.

Denición 4. Decimos que X es numerable si X es equipotente a N y denotamos su cardinalidad
por aleph sub cero
card(X) = |X| = ℵ0 .
Denición 5. Decimos que X es innito no numerable , o simplemente no numerable , si X
es innito y no es numerable.

Ejemplo 1.
i) Si X es nito, entonces P (X) es nito.

ii) Si X y Y son nitos, entonces el conjunto de todas las funciones f : X −→ Y es nito.

iii) Si X es nito, entonces todo subconjunto de X es nito.

iv) Z es equipotente a N.
v) R es no numerable.

Demostración. Ejercicio.

i) Sea X un conjunto nito. Si X =∅ es claro que P (X) = {∅} es nito. Si X 6= ∅ entonces

existe n ∈ N tal que X es equipotente a {1, . . . , n}, luego X posee n elementos y P (X) posee
2n elementos, entonces P (X) es equipotente a {1, . . . , n, . . . , 2n }, lo que demuestra que P (X)
es nito.

ii) PENDIENTE. Restringirse a subconjuntos del contradominio.

iii) Si X = ∅ el resultado es inmediato, entonces supongamos |X| = n ≥ 1. Sea Y ⊆ X , si Y = X
o Y = ∅, se tiene el resultado. Supongamos Y subconjunto propio de X y sea f una biyección
de X sobre {1, . . . , n}. Creamos una función g de la siguiente forma:

Si f −1 (1) = x1 ∈ Y =⇒ g(x1 ) = 1.
 −1
f (2) = x2 ∈ Y =⇒ g(1) = x2 .
−1
 −1
Si f (1) = x1 ∈ / Y =⇒ f (3) = x2 ∈ Y =⇒ g(1) = x3 .
f −1 (2) = x2 ∈
/Y =⇒
f −1 (3) = x2 ∈
/ Y =⇒ ...
Es decir, revisamos uno a uno la imagen inversa bajo f de 1
n en ese orden, y cuando
hasta
resulte que la imagen inversa xi del natural i esté contenida en Y , la función g asignará
g(xi ) = i, si xi no está en Y , nos jamos en la siguiente xi+1 . De este modo, la función g es
una biyección de Y sobre {1, . . . , k} para cierto k < n, por lo tanto Y es nito.

1
iv) Demostramos la equipotencia mediante la siguiente biyección

x < 0 −→ 1 − 2x
f (x) = x = 0 −→ 1 , ∀x ∈ Z.
x > 0 −→ 2x


De modo que la función se ve así:

0 −→ 1, 1 −→ 2, −1 −→ 3, 2 −→ 4, −2 −→ 5, 3 −→ 6, −3 −→ 7, ...

Como f es una biyección, concluimos que Z es equipotente a N.

v) Basta con demostrar que los números reales entre 0 y 1 son no numerables. Procedemos por
reducción al absurdo, suponiendo que f : N −→ ]0, 1[ es una biyección, entonces

f (n) = 0.a1,n a2,n · · · ai,n · · ·

Donde cada ai,n es un dígito entre 0 y 9. Construimos el siguiente número real entre 0 y 1:

x = 0.b1 b2 · · · bi · · ·

1, si an,n 6= 1
bi =
2, si an,n = 1

Esto indica que x no está en el contradominio de f, pues es distinto de f (1) en el primer

dígito, distinto de f (2) en el segundo dígito y distinto de cada f (i) en el i-ésimo dígito, luego
no existe tal biyección f. Esto demuestra que R es no numerable.


Proposición 1. Sea X un conjunto innito. Entonces:

i) X posee un subconjunto numerable.

ii) Si Y es un conjunto numerable y X ∩ Y = ∅, entonces X y X ∪Y son equipotentes.

Demostración.
i) Ejercicio PENDIENTE
ii) Sea Z ⊆ X numerable, el cual existe por el punto anterior y sea f : N −→ Z una biyección.
Sea Z1 la imagen bajo f de los pares en N, y Z2 la imagen bajo f de los impares. Entonces
Z1 y Z2 son numerables, luego

X = (X\Z) ∪ Z1 ∪ Z2 (1)

↓ ↓ ↓
X ∪ Y = (X\Z) ∪ Z ∪ Y (2)

Pero existe una biyección entre cada par de conjuntos de (1) y (2), denotada por cada echa.
En efecto, X\Z es equipotente consigo mismo y Z1 , Z2 , Z , Y son todos numerables, entonces
existen las biyecciones:

f1 : X\Z −→ X\Z, f2 : Z1 −→ Z, f3 : Z2 −→ Y.

2
 Ahora notemos que el conjunto descrito en (1) es una unión disjunta pues Z1 ∪ Z2 = Z . Sucede
igual con el conjunto descrito en (2) porque Z⊆X y X ∩ Y = ∅, entonces Z ∩ Y = ∅. Por
todo lo anterior, podemos crear una función desde (1) a (2) como sigue:

g : X −→ X ∪ Y

x ∈ / Z −→ f1 (x)
g(x) = x ∈ Z1 −→ f2 (x)
x ∈ Z2 −→ f3 (x)


La cual está bien denida, pues cualquier elemento pertenece sólo a uno de los tres conjuntos
de su denición y, por ende, toma un único valor bajo f1 , f2 ó f3 . Como g es una función por
partes formada por biyecciones, entonces es biyectiva y esto demuestra que X y X ∪Y son
equipotentes.

Corolario 1. Un conjunto es innito si y sólo si es equipotente a alguno de sus subconjuntos

propios.
Demostración.
=⇒) Supongamos X un conjunto innito numerable, por la proposición anterior, entonces existe
S⊆X tal que X es numerable

S es el conjunto propio que debemos encontrar y probar que |X| = |S|

PENDIENTE
⇐=) Suponer que X es nito y demostrar que cualquiera de sus subconjuntos propios
tiene cardinalidad estrictamente menor que X , luego no son equipotentes ! Se
concluye que X es innito.


Proposición 2 (Denición). Lo siguiente es equivalente para un conjunto X.

i) X es nito o numerable.

ii) Existe una función inyectiva de X a N.

iii) Existe una función suprayectiva de N a X.

iv) Para todo conjunto numerable Y, existe una función inyectiva de X a Y.

v) Para todo conjunto numerable Y, existe una función suprayectiva de Y a X.

Decimos que X es a lo sumo numerable o contable si X cumple cualquiera de estas condiciones.

Demostración. Ejercicio PENDIENTE . 

Teorema 1.1. La unión de una familia contable de conjuntos contables, es un conjunto contable.

3
Demostración. Supongamos que la familia de conjuntos es innita, denotada por A.

A := {An : n ∈ N}

Para cada k ∈ N tenemos que el conjunto Nk de todos nos naturales que son producto de k números
primos (no necesariamente distintos) es numerable "¾por qué? porque el profe nos los dijo".
Entonces por la proposición anterior, existe una función fk : Nk −→ Ak suprayectiva para todo
k ∈ N y por el Teorema Fundamental de la Aritmética, todos los conjuntos Nk son disjuntos a
pares. Luego la función

∞
[
f : N −→ An = A
n=1

1 −→ a ∈ A
f (n) := , ∀n ∈ N
n ∈ Nk −→ fk (n)

está bien denida y es suprayectiva, pues a es cualquier elemento de A y fk ya es suprayectiva

para todo k ∈ N. Por lo tanto la familia A es contable.

Queda PENDIENTE el caso de una familia nita de conjuntos. 

Ejemplo 2. Ejemplos de conjuntos numerables derivados del teorema anterior.

i) Q es contable.

∞ n
[ m o
Q= :m∈Z
n=1
n

ii) Zn 1
es contable. El argumento se da por inducción matemática sobre n y sabemos que Z = Z
k
es contable. Supongamos que Z es contable, para cierto k ∈ N y formamos los siguientes
conjuntos

∞
[
Zk+1 (m1 , . . . , mk , n) : (m1 , . . . , mk ) ∈ Zk

+ =
n=1
[∞
Zk+1 (m1 , . . . , mk , −n) : (m1 , . . . , mk ) ∈ Zk

− =
n=1

Es decir, las primeras k entradas son idénticas a un elemento en Zk (el cual es contable) y
variamos la (k + 1)-ésima entrada por todos los enteros; el primer conjunto contiene todas las
últimas entradas positivas y el segundo todas las últimas entradas negativas. Por el teorema
k+1 k+1
anterior, Z+ y Z− son contables. Por otro lado tenemos que

Zk+1 = Zk+1
+ ∪ Zk+1
−

Entonces Zk+1 es contable. Por el principio de inducción matemática concluimos que Zn es

contable para todo n ∈ N.

iii) Z[x] es numerable. PENDIENTE.

4
Proposición 3 (de Luis). Sea X un conjunto numerable y sea y ∈ X, entonces X\{y} también
es numerable.

Demostración. Sea f : N −→ X una biyección, descrita por f (n) = xn . Entonces existe un único
natural k tal que f (k) = y , por lo que podemos escribir y = xk .
Construimos la función g como sigue:

g : N −→ X\{y}

n < k −→ f (n)
g(n) :=
n ≥ k −→ f (n + 1)
De forma que la función g toma la forma:

1 2 k−1 k k+1
↓ ↓ ... ↓ ↓ ↓ ...
x1 x2 xk−1 xk+1 xk+2
Notemos que y = xk es precisamente el único elemento excluido del contradominio de g , a diferencia
de f. Por otro lado, g posee una función inversa.

 n<k −→ f −1 (xn )
−1 −1
g (xn ) := xk+1 −→ f (xk ) = k
n > k + 1 −→ f −1 (xn−1 )


Nótese que g −1 no necesita estar denida para n = k . Como g es una biyección de N sobre X\{y},
queda demostrado que X\{y} es numerable. 
Corolario 2. Sea X un conjunto numerable y Y un subconjunto nito de X . Entonces X\Y
también es numerable.
Teorema 1.2 (Teorema de Cantor-Bernstein). Dos conjuntos X y Y son equipotentes si y
sólo si existe una función inyectiva de X en Y y una función inyectiva de Y en X.
Demostración.
=⇒) Es inmediata: si X y Y son equipotentes, existe una biyección f : X −→ Y y también
f −1 : Y −→ X , donde ambas son inyectivas.
⇐=) Sean f : X −→ Y y g : Y −→ X inyectivas. Sea φ : P (X) −→ P (X) la función

φ(A) := X\g(Y \f (A)), ∀A ⊆ X

Como f y g son inyectivas, se cumple que A ⊆ φ(A) para todo A ⊆ X.
Armamos que existe un subconjunto Z⊆X tal que Z = φ(Z). En efecto, sean los conjuntos
Λ = {A ⊆ X : A ⊆ φ(A)}
[
Z= Λ

Entonces
!
[ [ [ [ [ 
Z= Λ= A⊆ φ(A) ⊆ φ A =φ Λ = φ(Z)
A∈Λ A∈Λ A∈Λ
∴ Z ⊆ φ(Z).

5
 Esto implica que Z ∈ Λ. Por otro lado, por propiedades de φ tenemos que φ(Z) ⊆ φ(φ(Z)),
lo cual también implica que φ(Z) ∈ Λ, pero Z es la unión de todos los elementos de Λ,

∴ φ(Z) ⊆ Z.

Lo cual demuestra que Z = φ(Z). Sea

h : X −→ Y

x ∈ Z −→ f (x)
h(x) :=
x∈ / Z −→ g −1 (x)

Donde g −1 es una inversa por la izquierda de g, ya que es inyectiva. Probaremos algunas

cosas:

i) h es inyectiva. Sean x, y tales que h(x) = h(y). Notemos que ocurre sólo una cosa

x, y ∈ Z ó x, y ∈
/Z

En efecto, supongamos x ∈ Z. Si y∈
/ Z, entonces

y∈/ Z = φ(Z) = X\g(Y \f (Z)) =⇒ y ∈ g(Y \f (Z))

=⇒ ∃z ∈ Y \f (Z) 3 g(z) = y =⇒ z = g −1 (g(z)) = g −1 (y) = h(y) ∈ Y \f (Z)
=⇒ h(y) ∈
/ f (Z) =⇒ h(y) = h(x) ∈
/ f (Z) !
Encontramos que, si y∈ / Z , entonces h(y) ∈
/ f (Z), lo cual no puede ocurrir porque x y y
tienen la misma imagen y h(x) sí está en f (Z). Concluimos que y ∈ Z . Todo lo anterior
también prueba que, si x ∈ / Z , entonces y ∈
/ Z.
Ahora, si x, y ∈ Z , entonces f (x) = f (y), pero f es inyectiva, luego x = y . Si x, y ∈
/ Z,
−1
entonces g (x) = g −1 (y), pero g es inyectiva, luego x = y .

∴h es inyectiva.

ii) h es suprayectiva. Sea y ∈ Y , tenemos dos casos: Si y ∈ f (Z), es claro que existe
x ∈ Z ⊆ X tal que h(x) = f (x) = y . Si y ∈
/ f (Z) se sigue que

y∈
/ f (Z) =⇒ y ∈ Y \f (Z) =⇒ g(y) ∈ g(Y \f (Z))
=⇒ g(y) ∈
/ X\g(Y \f (Z)) = φ(Z) = Z
i)
/ Z =⇒ h(g(y)) = g −1 (g(y)) = y
=⇒ g(y) ∈

Es decir, hemos encontrado el elemento g(y) en X\Z ⊆ X tal que su imagen bajo h es
y.
∴h es suprayectiva.

Por los puntos (i) y (ii) concluimos que h : X −→ Y es biyectiva, lo que demuestra que X y
Y son equipotentes.

Ejemplo 3.

6
 i) R es equipotente a todo intervalo I con extremos reales a > b.

ii) R y P (N) son equipotentes.

iii) R y RN son equipotentes.

iv) El conjunto de todas las sucesiones de números reales, denotado por RN , es equipotente a R.

Teorema 1.3. Cualquier conjunto no es equipotente a su conjunto potencia.

Demostración. Sea X un conjunto. La función x 7−→ {x} claramente es inyectiva de X a P (X).

Supongamos que X es no vacío y que existe una función f inyectiva de P (X) a X . Sea A el
siguiente conjunto

/ f −1 ({x})

A := x ∈ X : x ∈

Sea a = f (A) ∈ X , entonces tenemos que:

/ f −1 ({a}) =⇒ a ∈
a ∈ A =⇒ a ∈ /A !
a∈ / f −1 ({a}) =⇒
/ A =⇒ a ∈ a ∈ A!

Por esta contradicción concluimos que no existe tal función f , luego X y P (X) no son equipotentes.


2. Integrales de Supercie
Denición 6. Un rectángulo R en Rn es un producto directo de n intervalos compactos en R.
n
Y
R= [ai , bi ].
i=1

n
Denición 7. volumen de
Y
n
Si R es un rectángulo en R , con P = [ai , bi ], denimos el R,
i=1
denotado por vol (R), como el número real

n
Y
vol(R) := b i − ai .
i=1

Observaciones. Sean P y Q dos rectángulos en Rn .

i) Si P ∩ Q 6= ∅, entonces P ∩Q es un rectángulo en Rn .

ii) Decimos que P y Q son no traslapados si sus interiores son disjuntos, es decir, si P̊ ∩ Q̊ = ∅.
iii) Si P y Q son no traslapados y P ∪Q es un rectángulo, entonces vol (P ∪ Q) = vol (P )+ vol (Q) .

iv) Si el P tiene interior no vacío, es decir P̊ 6= ∅, entonces vol (P ) > 0.

v) Si P ⊆ Q, entonces vol (P ) ≤ vol (Q).

7
Demostración. PENDIENTE.
i)

iii) Esto es algo muy complicado de demostrar, algo que requiere bastante tiempo y otras he-
rramientas de teoría fuera de esta área, por lo que en este curso simplemente asumiremos el
resultado sin más.

iv)

Denición 8. Sea [a, b] un intervalo compacto en R.

i) Una partición P de [a, b] es una colección de puntos {x0 , x1 , . . . , xk } tales que

a = x0 < x1 < . . . < xk = b.

ii) Una partición etiquetada de [a, b] es un par ordenado

Ṗ = (P, {y1 , . . . , yk })

donde P = {x0 , x1 , . . . , xk } y yi ∈ [xi−1 , xi ] para todo i ∈ {1, . . . , k}.

iii) Sean P una partición de [a, b] y δ > 0. Decimos que P es δ -na , denotado por P (δ), si

xi − xi−1 < δ, ∀i ∈ {1, . . . , k}.

n
Denición 9.
X
Sean R= [ai , bi ] un rectángulo y kk una norma, ambos en Rn .
i=1

i) Una partición de R es un producto directo de n particiones Pi de [ai , bi ]. Es decir, una

partición de R es una colección de rectángulos cuya unión forma a R.

ii) Una partición etiquetada de R es un par ordenado

Ṗ = (P1 × · · · × Pn , {y1 , . . . , yk })

donde P1 × · · · × P n es una partición de R y R1 , . . . , Rk son todos los rectángulos diferentes

denidos por esta partición, con

yi ∈ Ri , ∀i ∈ {1, . . . , k}.

iii) Denimos el ancho de una partición P = R1 × · · · × Rk de R, respecto a la norma kk, como

width(P ) := sup kx − yk, x, y ∈ Ri , i ∈ {1, . . . , k}.

iv) Sea δ > 0. Decimos que la partición P de R es δ -na , y escribimos P (δ), si

width(P ) < δ.

8
Denición 10. Sea X un conjunto parcialmente ordenado (es una relación reexiva, anti-simétrica
y transitiva). Dados x, y ∈ X , decimos que z ∈ X es una mínima cota superior de x y y si:

i) x≤z y y ≤ z. En este caso decimos que x es cota superior de x y y.

ii) Para todo w∈X que sea cota superior de x y y se cumple que w ≤ z.
Denición 11. Decimos que el conjunto ordenado X es una lattice si cualesquiera dos elementos
de X tienen una mínima cota superior.

Ejemplo 4.
i) N con el orden usual es una lattice.

ii) R con el orden usual es una lattice.

iii) Vε (x), con x ∈ Rn , es una lattice para todo ε > 0, con el orden:

A ≤ B ⇐⇒ B ⊆ A.

iv) N con el orden:

n ≤ m ⇐⇒ n|m
es una lattice.

Denición 12. Sean R Rn

P(R) el conjunto de todas las particiones de R. Si
un rectángulo en y
P, Q ∈ P(R), decimos que Q rena a P , o que Q es un renamiento de P , si cada rectángulo
denido por P es unión de rectángulos denidos por Q. Si Q rena a P escribimos P ≤ Q.

Figura 1: Dibujo mamalón de un renamiento de P.

Teorema 2.1. Sea R un rectángulo en Rn .

i) (P(R), ≤), con ≤ el orden de renamiento, es una lattice.

ii) Si P es una partición de R y δ > 0, existe una partición Q δ -na que rena a P.
Demostración.

9
 i) Ejercicio. PENDIENTE.
ii) Sean P, Q ∈ P(R), con

P = P1 × · · · × Pn
Q = Q1 × · · · × Qn
donde Pi , Qi son particiones del intervalo [ai , bi ]. Notemos que Pi ∪Qi es también una partición
de [ai , bi ]. Sea
S := (P1 ∪ Q1 ) × · · · × (Pn ∪ Qn ) ∈ P(R).
Notemos que S rena tanto a P como a Q.
P ≤ S, Q ≤ S.
Sea T ∈ P(R) tal que rena a P y Q. Pongamos T = T1 × · · · × Tn y notemos que

P ≤ T ⇐⇒ Pi ⊆ Ti , ∀i ∈ {1, . . . , n}.
Entonces

Pi ⊆ Ti , Qi ⊆ Ti , ∀i ∈ {1, . . . , n}
=⇒ Pi ∪ Qi ⊆ Ti , ∀i ∈ {1, . . . , n}
=⇒ Si ⊆ Ti , ∀i ∈ {1, . . . , n}
=⇒ S ≤ T.
Hay otra cosa que se quedó PENDIENTE después de esto.

Denición 13. n
Sea f : R ⊆ R −→ R y sea Ṗ = (P, {y1 , . . . , yk }) una partición etiquetada de R
denida por P = P1 × · · · × Pk . Denimos la suma de Riemann de f asociada a la partición
Ṗ como
k
X
S(f, Ṗ ) = vol (Ri ) f (yi ).
i=1
Denición 14. Sea R un rectángulo en R y sea f : R ⊆ R −→ R. Decimos que f es Riemann-
n

integrable en R si existe l ∈ R tal que para todo ε > 0 existe δ > 0 tal que para toda partición
Ṗ (δ) de R se cumple que
 
S(f, Ṗ ) − l  < ε.
 

En este caso el número l es llamado la integral de f en R y es denotada por
Z Z
f= f (x)dx = l.
R R
Denición 15. Sean R un rectángulo, P una partición de R y f : R −→ R. Denimos la suma
superior de f respecto a P como
k
X
S(f, P ) = vol(Ri ) sup {f (x)}.
x∈Ri
i=1

Respectivamente se dene la suma inferior de f respecto a P como

k
X
S(f, P ) = vol(Ri ) ı́nf {f (x)}.
x∈Ri
i=1

10
Teorema 2.2. Sea f : R −→ R una función acotada, entonces f es integrable en R si y sólo si
para todo ε>0 existe un δ > 0 tal que para toda partición P (δ) de R se cumple que
 
S(f, P ) − S(f, P ) < ε.

Demostración.
ε
=⇒) Supongamos que la integral de f es l. Sea ε > 0, entonces para
6
>0 existe δ>0 tal que

para toda partición Ṗ (δ) de R ocurre que

  ε
S(f, Ṗ ) − l < .
 
6
Como f es acotada, para todo ε0 > 0 y para todos i ∈ {1, . . . , k} existen xi , yi ∈ Ri tales que

f (xi ) − ε0 < f (z) < f (yi ) + ε0 , ∀z ∈ Ri .

Tomemos ε0 = ε
3vol(R)
> 0. Sea Q = R1 × · · · × Rk una partición δ -na de R y sean Ṗ =
(Q, {x1 , . . . , xk }), P̈ = (Q, {y1 , . . . , yk }). Como Q(δ), entonces Ṗ (δ) y P̈ (δ), luego
   
S(f, Ṗ ) − S(f, P̈ ) = S(f, Ṗ ) − l + l − S(f, P̈ )
   
   
≤ S(f, Ṗ ) − l + l − S(f, P̈ )
   
ε ε
< +
6 6
ε
= . (1)
3
Por otro lado
 
  X k X k 
S(f, Q) − S(f, Ṗ ) =  vol(Ri ) ı́nf {f (z)} − vol (Ri ) f (xi )
   
 z∈Ri 
 i=1
k 
i=1


X
= vol (Ri ) ı́nf {f (z)} − f (xi ) 
 
 z∈Ri 
i=1
X k  
 
≤ vol (Ri ) ı́nf {f (z)} − f (xi ).

 z∈Ri 
i=1

Pero para todo i ∈ {1, . . . , k} y todo z ∈ Ri se tiene que f (xi ) − ε0 < f (z)
=⇒ f (xi ) − f (z) < ε0 =⇒ 0 ≤ f (xi ) − ı́nf {f (z)} < ε0
   z∈Ri 
   
=⇒ f (xi ) − ı́nf {f (z)} < ε0 =⇒  ı́nf {f (z)} − f (xi ) < ε0
 z∈Ri  z∈Ri 

Esto nos permite concluir

  X k
0
S(f, Q) − S(f, Ṗ ) < vol (Ri ) ε
 
i=1
ε
= vol (R)
3vol (R)
ε
= . (2)
3

11
 Análogamente se obtiene que

  X k  
 
S(f, Q) − S(f, P̈ ) ≤ vol(Ri ) sup {f (z)} − f (yi ),
 
 z∈Ri

i=1

f (z) < f (yi ) + ε0 =⇒  f (z) − f (yi ) < ε

0

0 ≤ sup {f (z)} − f (yi ) < ε0

 
=⇒ =⇒  sup {f (z)} − f (yi ) < ε0
z∈Ri
z∈R 
i

  ε
∴ S(f, Q) − S(f, P̈ ) < . (3)
 
3
Finalmente, por (1), (2) y (3):
      
S(f, Q) − S(f, Q) = S(f, Q) − S(f, Q) + S(f, Ṗ ) − S(f, Ṗ ) + S(f, P̈ ) − S(f, P̈ ) 
     
=  S(f, Q) − S(f, P̈ ) + S(f, Ṗ ) − S(f, Q) + S(f, P̈ ) − S(f, Ṗ ) 
 
     
≤ S(f, Q) − S(f, P̈ ) + S(f, Ṗ ) − S(f, Q) + (S(f, P̈ ) − S(f, Ṗ )
     
     
= S(f, Q) − S(f, P̈ ) + S(f, Q) − S(f, Ṗ ) + S(f, Ṗ ) − (S(f, P̈ )
     
ε ε ε
< + +
3 3 3
=ε
 
∴ S(f, Q) − S(f, Q) < ε.
⇐=) Armamos que
sup S(f, P ) = ı́nf S(f, P ).
P ∈P(R) P ∈P(R)

En efecto, sea PENDIENTE de Cálculo1. Sean l esta constante y ε > 0, entonces

existe δ>0 tal que para toda P (δ) de R se cumple
 
S(f, P ) − S(f, P ) < ε.

Sea Ṗ (δ) de R, entonces

S(f, P ) ≤ S(f, Ṗ ) ≤ S(f, P )). (1)

Por otro lado

S(f, P ) ≤ l ≤ S(f, P ). (2)

De (1) y (2) obtenemos que

S(f, P ) − S(f, P ) ≤ S(f, Ṗ ) − l ≤ S(f, P ) − S(f, P )

=⇒ − S(f, P ) − S(f, P ) ≤ S(f, Ṗ ) − l ≤ S(f, P ) − S(f, P )
 
=⇒ S(f, Ṗ ) − l ≤ S(f, P ) − S(f, P )
 
   
=⇒ S(f, Ṗ ) − l ≤ S(f, P ) − S(f, P )
 
 
=⇒ S(f, Ṗ ) − l < ε.
 

Lo que demuestra que f es integrable en R.

12
 

Ejemplo 5. Sea f : [0, 1] × [0, 1] −→ R, f (x, y) 7−→ xy . Hace una partición tomando cuadrados de
1 1
4
× 5
y hace la suma de Riemann. Después hace el caso general haciendo las suma para particiones
1 1
de tamaño y obtiene el límite de las sumas, que tiende a .
n 4

13
 Inicia video 2021 09 08 (COMPLETADO)

Proposición 4. La integral es una funcional lineal, es decir, si f y g son integrables en R y α ∈ R,

entonces αf + g también es integrable en R y además:
Z Z Z
αf + g = α f+ g.
R R R

Demostración. Sin perder generalidad, podemos suponer α 6= 0. Sea ε > 0, entonces para
ε
2
>0 y
ε
2|α|
>0 existe δ>0 tal que, para toda Ṗ (δ) de R se cumple que
 Z   Z 
< ε ,
    ε
S(f, Ṗ ) − f S(g, Ṗ ) − g < .
  2|α|   2
R R

Por otro lado observemos que

  Xk
S αf + g, Ṗ = (αf + g)(yi )vol(Ri )
i=1
k
X k
X
=α f (yi )vol(Ri ) + g(yi )vol(Ri )
i=1 i=1

= αS(f, Ṗ ) + S(g, Ṗ )

Esto implica
 Z Z   Z Z 
   
S(αf + g, Ṗ ) − (α f + g) = αS(f, Ṗ ) + S(g, Ṗ ) − α f −
  g 

R R R
 Z ZR 
 
= αS(f, Ṗ ) − α f + S(g, Ṗ ) − g 
 ZR   ZR 
   
≤ |α|S(f, Ṗ ) − f  + S(g, Ṗ ) − g 
R R
ε ε
< |α| +
2|α| 2
= ε.

Como la partición Ṗ es δ -na arbitraria de R, se demuestra que αf + g es integrable y además su

integral es Z Z Z
αf + g = α f+ g.
R R R

Proposición 5. La integral es una funcional no negativa, es decir, si
Z f : R −→ R+ ∪ {0} (es no

negativa), entonces f también es no negativa.

R

Demostración. Sea P = R1 ×· · ·×Rk ∈ P(R), como f es no negativa, tenemos que ı́nf {f (x)} ≥ 0,
x∈Ri
para todo Ri , entonces
k
X
S(f, P ) = vol (Ri ) ı́nf {f (x)} ≥ 0.
x∈Ri
i=1

14
Como f es integrable, se sigue que Z
f ≥ S(f, P ),
R
luego la integral de f es no negativa Z
f ≥ 0.
R


Proposición 6. Si f es una función continua en R, entonces f es integrable en R.

Demostración. Como f es continua en R y R es compacto, entonces f es uniformemente continua

en R. Sea ε > 0, entonces para ε0 = volε(R) > 0 existe δ > 0 tal que

kx − yk < δ, x, y ∈ R =⇒ sup |f (x) − f (y)| < ε0 .

Sea P (δ) de R y sean R1 , . . . , Rk todos los rectángulos denidos por P . Como f es continua en
cada Ri y cada Ri es compacto, entonces existen xi , yi ∈ Ri para todo i ∈ {1, . . . , k} tales que

ı́nf {f (z)} = mı́n{f (x)} = yi

z∈Ri x∈Ri

sup {f (z)} = máx{f (x)} = xi

z∈Ri x∈Ri

Esto implica

k  
  X  
S(f, P ) − S(f, P ) ≤ vol (Ri ) sup {f (z)} − ı́nf {f (z)}

z∈R z∈Ri i

i=1
Xk
= vol (Ri ) |f (xi ) − f (yi )|
i=1
Xk
≤ vol (Ri ) sup |f (x) − f (y)|
i=1
Xk
0
< vol (Ri ) ε
i=1
ε
= vol (R)
vol (R)

= ε.

Por el Teorema 2.2, f es integrable en R.



15
 Inicia video 2021 09 09 (COMPLETADO)

Proposición 7. Sean R un rectángulo en Rn y f : R −→ R. Si R1 , . . . , Rk son rectángulos no

traslapados a pares tales que la unión de todos ellos es R, entonces f es integrable en R si y sólo
si f es integrable en Ri para todo i = 1, . . . , k . Además

Z k Z
X
f= f.
R i=1 Ri

Demostración.
=⇒) Sea P = P1 × · · · × Pk ∈ P(R) tal que P1 , . . . , Pk induce particiones en R1 , . . . , Rk respectiva-
mente. Sea ε > 0, entonces existe δ > 0 tal que (sin pérdida de generalidad podemos suponer
P (δ))
0 ≤ S(f, P ) − S(f, P ) < ε.
Por otro lado

k
X
S(f, P ) − S(f, P ) = S(f, Pi ) − S(f, Pi ).
i=1

S(f, Pi ) − S(f, Pi )
Sea ai := , como S(f, Pi ) − S(f, Pi ) ≥ 0, entonces ai ≥ 0 para todo
ε
i = 1, . . . , k . Luego se sigue que
k
X k
X
S(f, Pi ) − S(f, Pi ) = εai < ε.
i=1 i=1

k
X
Entonces ai < 1, luego todos los ai son menores que 1, esto implica
i=1

S(f, Pi ) − S(f, Pi ) < ε, ∀i = 1, . . . , k.

Como Pi < Ri esto demuestra que f es integrable en Ri , para todo i = 1, . . . , k .

k
NO
[
Por otro lado, sean R= Ri y P = P1 × · · · × Pn ∈ P(R), donde cada Pi . Se tiene que
i=1
SE NI QUÉ VERGA AQUÍ.
Z
¾¾¾¾ f = lı́m S(f, Ṗ (δ))
R δ→0
k
X
= lı́m S(f, Pi )
k→∞
i=1
k
X
= lı́m S(f, Pi )
nwpeiof
i=1
k Z
f ????
X
=
i=1 Ri

16
⇐=) Ejercicio. PENDIENTE. Esta está más fácil.

Proposición 8. Si f es integrable en R, entonces |f | también lo es. Además
Z  Z
 
 f ≤ |f |.
 
R R

Demostración. Pongamos f = f + − f − , |f | = f + + f − , donde

 
+ f (x) ≥ 0 −→ f (x) − f (x) ≥ 0 −→ 0
f (x) = , f (x) = .
f (x) < 0 −→ 0 f (x) < 0 −→ −f (x)

Armamos que f+ es integrable. En efecto, sea ε > 0, entonces existe δ>0 tal que

P (δ) ∈ P(R) =⇒ S(f, P ) − S(f, P ) < ε.

Sea entonces P (δ) ∈ P(R), notemos que

k
X
+
S(f , P ) = vol (Ri ) sup {f + (z)}
z∈Ri
i=1
Xk
≥ vol (Ri ) sup {f (z)}
z∈Ri
i=1
= S(f, P ) (1)

Similarmente

k
X
S(f + , P ) = vol (Ri ) ı́nf {f + (z)}
z∈Ri
i=1
Xk
≥ vol (Ri ) ı́nf {f (z)}
z∈Ri
i=1
= S(f, P ) (2)

Si multiplicamos (2) por −1,

S(f + , P ) ≥ S(f, P ), −S(f + , P ) ≤ −S(f, P ). (resumen)

Si sumamos correctamente las ecuaciones del (resumen) obtenemos que

S(f, P ) − S(f + , P ) ≤ S(f + , P ) − S(f, P )

Pero de (1) y (2) no podemos concluir

7 3
S(f + , P ) − S(f + , P ) ≤ S(f, P ) − S(f, P ) poph ε (3)

Para ello necesitaríamos que (1) tuviera la desigualdad contraria , es decir, S(f + , P ) ≤ S(f, P ).
¾Cómo obtenemos entonces esta desigualdad? Es necesaria para concluir que f+ es integrable.

17
 Supongamos que ya demostramos que f+ es integrable, entonces f− y |f | también lo son, por
la proposición 3.

f− = f+ − f
|f | = f + + f −

Finalmente, notemos que

Z  Z  Z Z  Z  Z  Z Z Z
   + −
  + −
  +
  −
 ∗ + −
 f =  f − f  =  f − f  ≤  f  +  f  = f + f = |f |.
    
R R R R R R R R R

*Ocurre porque f+ y f− son funciones no negativas, entonces sus integrales son no negativas. 

18
 Inicia video 2021 09 13 (COMPLETADO)

Proposición 9. Si R es un rectángulo en Rn entonces

vol ((Fr (R)) = 0.

n
Demostración.
Y
Si R= [ai , bi ], se tiene que
i=1

n
! n
!
[ Y [ Y
Fr (R) = {ai } × [aj , bj ] ∪ {bi } × [aj , bj ]
i=1 j6=i i=1 j6=i

Donde los conjuntos de la izquierda son las tapas de R que están sobre las coordenadas ai .
Similarmente los conjuntos de la derecha son las tapas con coordenada ja bi . Cada conjunto de
n−1
la frontera es un rectángulo en R , es decir, Fr (R) es unión de rectángulos de una dimensión
menor a R. También se obtiene, que Fr (R) es unión de 2n rectángulos (tapas). Por la denición 6,
n
podemos ver, por ejemplo, la tapa Ar como un rectángulo en R de la siguiente forma

n
Y
Ar = [ai , bi ], donde [ar , br ] = [ar , ar ] = {ar }
i=1
n−1
Y
= {ar } × [ai , bi ]
i6=r

Observemos que el intervalo [ar , br ] = [ar , ar ] tiene longitud cero. Usando la denición 7 del volumen
de un rectángulo:

n
Y n−1
Y
vol (Ar ) = bi − ai = (ar − ar ) bi − ai = 0.
i=1 i6=r

Pero esto es para todas las tapas Ar que forman a Fr (R), luego

2n
[
Fr (R) = Ar
r=1
2n
X
vol (Fr (R)) = vol (Ar ) = 0.
r=1


Denición 16. X ⊆ Rn , decimos que X tiene
Sea medida cero si para todo ε>0 existe una
∞ n
sucesión de rectángulos {Rk }k=1 en R tal que

∞
[
i) X⊆ Rk .
k=1

∞
X
ii) vol (Rk ) < ε.
k=1

19
Ejemplo 6.
i) ∅ tiene medida cero.

ii) Para todo x ∈ Rn , {x} tiene medida cero.

iii) Si R es un rectángulo en Rn , entonces su frontera tiene medida cero.

iv) Q tiene medida cero.

v) El conjunto de Cantor tiene medida cero.

Demostración. Ejercicio.

i) Inmediata, tomando la sucesión constante de un punto en Rn .

ii) Inmediata, tomando la sucesión constante Rk = x.

n
Y
iii) Supongamos que R= [ai , bi ]. Sea f : N −→ N una sucesión tal que
i=1

f (k) = k mód(2n) + 1.

Damos entonces la siguiente sucesión de rectángulos

 Y

 k par −→ {af (k) } × [ai , bi ]

j6=f (k)
Rk = Y
k

 impar −→ {bf (k) } × [ai , bi ]
j6=f (k)

Es decir, cada Rk es una de las 2n

tapas que conforman la frontera de R y a partir de R2n+1 ,
∞
la asociación se repite una y otra vez, de forma que {Rk }k=1 = Fr (R). Por eso y la proposición
9, concluimos que

∞
[ ∞
X
Fr (R) = Rk , 0= vol (Rk ) < ε, ∀ε > 0.
k=1 k=1

iv) Podemos ver a cada x∈Q como el rectángulo R1 . Por el ejemplo (1.i), tenemos
[x, x] = x en
∞
que Q es contable, entonces podemos formar una sucesión {xn }n=1 de todos los números
racionales, que a su vez es una sucesión de rectángulos. Además vol (xn ) = xn − xn = 0 para
todo n ∈ N, entonces claramente

∞
[ ∞
X
Q= xn , 0= vol (xn ) < ε, ∀ε > 0.
n=1 n=1

Créditos al Sr. Calderón por la idea.

v) Muy compleja. Requiere herramientas más allá del contenido de la Licenciatura.

20
Proposición 10. Si R es un rectángulo cuyo interior es no vacío, entonces R no tiene medida
cero.

Demostración. Ejercicio. PENDIENTE.

"Si lo primero que pensamos es tomar a R como la sucesión que contradiga la
denición, entonces estaremos mal." 
Proposición 11. Sean A y B subconjuntos de Rn
i) Si A⊆B y B tiene medida cero, entonces A tiene medida cero.

∞
[
ii) Si {Ak : k ∈ N} es una familia contable de conjuntos con medida cero, entonces Ak también
k=1
tiene medida cero.

Demostración.
i) Ejercicio.

Sea ε > 0, como B tiene medida cero, entonces existe {Rk }∞

k=1 tal que

∞
[
A⊆B⊆ Rk
k=1

y al mismo tiempo
∞
X
vol (Rk ) < ε.
k=1
Por lo tanto A tiene medida cero.

ii) Sea ε > 0, entonces para

ε
2k
y cada k∈N existe una sucesión de rectángulos {Rk,l }∞
l=1 tal que

∞ ∞
[ X ε
Ak ⊆ Rk,l , vol (Rk,l ) < .
l=1 l=1
2k

Como la familia {Rk,l : k, l ∈ N} es contable, podemos reordenarla en una sucesión {Sk }∞

k=1 ,
entonces
∞
[ ∞
[
Ak ⊆ Sk
k=1 k=1

Entonces
∞
X ∞
X
vol (Sr ) = vol(Rk,l )
r=1 k,l∈N
X∞ X ∞
= vol (Rk,l )
k=1 l=1
∞
X ε
<
k=1
2k
= ε.

21
 Inicia video 2021 09 15 (COMPLETADO de copiar) (PENDIENTE por hacer anotaciones extra
para entenderle chido a la demostración)

Teorema 2.3 (Criterio de Lebesgue). f : R ⊆ Rm −→ R una función acotada.

Sea Entonces
f es integrable si y sólo si el conjunto de discontinuidades de f tiene medida cero.

Demostración. Sea D el conjunto de discontinuidades de f.

⇐=) Supongamos que D tiene medida cero. Sean ε>0 y M >0 tal que

sup |f (x)| ≤ M, x ∈ R.

Entonces existe {Un }∞

n=1 una sucesión de rectángulos cerrados tal que

∞ ∞
[ X ε
D⊆ U˚n , vol (Un ) < = α.
vol (R) + 2M
n=1 n=1

Tenemos que f es continua para todo x ∈ R\D, luego la oscilación de f en x es cero:

o(f, x) = lı́m+ sup |f (y) − f (z)| = 0, kx − yk, kx − zk < δ

δ→0

Esto implica que existe un rectángulo cerrado Vx tal que x ∈ V˚x y

sup f (y) − ı́nf f (y) < α.

y∈Vx y∈Vx

Sean Mx y mx este supremo e ínmo, respectivamente. Por otro lado, tenemos que

R = D ∪ (R\D)
∞
! !
[ [
⊆ U˚n ∪ V˚x ,
n=1 x∈D

los cuales forman una cubierta abierta de R. Como R es compacto, tal cubierta posee una
subcubierta nita, entonces existen ν1 , . . . , νk ∈ N, x1 , . . . , xl ∈ R\D tales que

k
! l
!
[ [
R⊆ U˚ν ∪ i
V˚x . j
i=1 j=1

Sea P ∈ P(R) que induzca particiones en todos los rectángulos Uνi y Vxj , es decir, P (δ) para
cierto δ > 0. Sea P1 la colección de rectángulos Q determinados por P tales que

∃i = 1, . . . , l 3 Q ⊆ Vxi .

Sea P2 la colección de rectángulos Q determinados por P tales que

∃i = 1, . . . , k 3 Q ⊆ Uνi .

Para todo Q ∈ P1 ∪ P2 denimos

MQ = sup f (x), mQ = ı́nf f (x).

x∈Q x∈Q

22
 Entonces podemos mayorar las sumas de Riemann de P como sigue f en

X X
S(f, P ) − S(f, P ) ≤ vol (Q) (MQ − mQ ) + vol (Q) (MQ − mQ )
Q∈P1 Q∈P2
X X
< vol (Q) α + vol (Q) 2M
Q∈P1 Q∈P2
X X
=α vol (Q) + 2M vol (Q)
Q∈P1 Q∈P2

< αvol (R) + 2M α

= α(vol (R) + 2M )
= ε.

Por lo tanto f es integrable en R.

PENDIENTE. Revisar algunas justicaciones de las desigualdades.
=⇒) Supongamos que f es integrable en R. Sea
 
m 1
Dn = x ∈ R : o(f, x) ≥
n
∞
[
=⇒ D = Dn .
n=1

Sea ε > 0, entonces para n0 ∈ N jo, existe δ>0 tal que para toda P (δ) ∈ P(R) se cumple

ε
S(f, P ) − S(f, P ) < .
2n0
Sea P (δ) ∈ P(R) y sean R1 , . . . , Rk los rectángulos denidos por P. Sea Q la colección de
rectángulos Ri tales que
R̊i ∩ Dn0 6= ∅.
k
[
Por las proposiciones 9 y 11.i, sabemos que Fr (Ri ) tiene medida cero, entonces existe una
i=1
∞
sucesión de rectángulos cerrados {Uν }ν=1 tal que

k ∞ ∞
[ [ X ε
Fr (Ri ) ⊆ Uν , vol (Uν ) < .
i=1 ν=1 ν=1
2

Si T ∈ Q, entonces
1
MT − mT ≥ .
n
Además
∞
! !
[ [
Dn0 ⊆ Uν ∪ Ri
ν=1 Ri ∈Q

23
PENDIENTE más cosas que revisar y justicar. Vamos a estimar la suma
de los volúmenes de los Ri .
X X 1
vol (Ri ) = n0 vol (Ri )
Ri ∈Q Ri ∈Q
n0
X
≤ n0 (MRi − mRi )vol (Ri )
Ri ∈Q
k
X
≤ n0 (MRi − mRi )vol (Ri )
i=1


= n0 S(f, P ) − S(f, =)
ε
< n0
2n0
ε
= .
2
Podemos formar una sucesión de rectángulos {Vn }∞
n=1 que asocie los primeros términos a
todos los rectángulos Ri en Q (son nitos) y después a todos los rectángulos de la sucesión
{Uν }∞ ∞
ν=1 , entonces Dn0 está contenido en {Vn }n=1 . Además,

∞
X X ∞
X
vol (Vn ) = vol (Ri ) + vol (Uν )
n=1 Ri ∈Q ν=1
ε ε
< +
2 2
= ε.

Es decir, hemos obtenido que Dn0 tiene medida cero, pues

∞
[ ∞
X
Dn0 ⊆ Vn , vol (Vn ) < ε.
n=1 n=1

Como esto lo podemos hacer para cualquier n0 ∈ N, entonces Dn es una familia contable de
conjuntos con medida cero. Concluimos que D tiene medida cero.

24
 Inicia video 2021 09 20 (PENDIENTE)

Proposición 12. Sea A ⊆ Rn , y sea χA : Rn −→ {0, 1} la función característica de A.


x∈/ A −→ 0
χA := .
x ∈ A −→ 1
Entonces x∈
/ Fr(A) si y sólo si χA es continua en x.
Demostración. Ejercicio. PENDIENTE. Probaremos algo equivalente: x ∈ Fr (A) si y sólo si
1
f no es continua en x. Dar ε= , proceder con la métrica euclidiana, tomar x ∈ Fr (A) y una bola
2
con centro en x y radio δ cualquiera. Probar que existe un elemento y en la bola tal que su imagen
bajo f es 0, pero la imagen de x es 1, luego

kf (x) − f (y)k = k1 − 0k = k1k = 1 ≮ ε.

Luego, f no es continua en Fr (A). 
Denición 17. Sea A ⊆ Rn . Decimos que A es un conjunto Jordan-medible si A es acotado y
Fr(A) tiene medida cero.

Ejemplo 7. Ejemplos de conjuntos Jordan-medibles.

i) Un rectángulo en Rn .
ii) Un conjunto nito.

iii) Un abierto (bola) con la norma euclidiana.

iv) Una curva ϕ ∈ R2 se dice recticable si tiene longitud nita, término que veremos en la
proposición 22. Si ϕ es una curva recticable cerrada y sin autointersecciones, el Teorema de
2
la curva de Jordan establece que ϕ divide a R en tres partes no vacías disjuntas.

R2 = ϕ ∪ Int(ϕ) ∪ Ext(ϕ), ϕ ∩ Int = ∅, ϕ ∩ Ext = ∅, Int ∩ Ext = ∅.

Figura 2: División del plano en tres partes: ϕ, Int(ϕ) y Ext(ϕ).

Int(ϕ) es un conjunto Jordan-medible.

25
Proposición 13. Si A es Jordan-medible y A ⊆ B ⊆ Ā, entonces B es Jordan-medible.

Demostración. Ejercicio. PENDIENTE. 

Proposición 14 (Cuestionamiento). Si A es Jordan-medible, Ā es medida cero. Si A es Jordan-
medible, ¾Å es Jordan-medible?

Observación. Sean A un conjunto Jordan-medible y f : A −→ R, cuyo conjunto de discontinuida-

des tiene medida cero. Si R es un rectángulo tal que Ā ⊆ R, entonces podemos denir f˜ : R −→ R
como
 
x ∈ A −→ f (x)
f˜(x) = .
x∈/ A −→ 0

Notemos que el conjunto de discontinuidades de f˜ tiene medida cero ¾por qué? Ahí tú lo checas,
we. Si f es acotada, entonces f˜ es integrable en R.

Teorema 2.4. Sea A un conjunto Jordan-medible y f : A −→ R acotada y cuyo conjunto de

discontinuidades tiene medida cero. Si R1 y R2 son rectángulos que contienen a Ā, entonces
Z Z
f˜ = f˜.
R1 R2

Demostración. Obtenemos fácilmente que

Z Z Z Z Z Z
f˜ = ˜
f + ˜
f , ˜
f = ˜
f + f˜ .
R1 ∩R2
R1
Z R1 \R
Z2 Z R2 R2 ∩R1
Z R2 \R1

=⇒ f˜ − f˜ = f˜ − f˜ .
R1 R2 R1 \R2 R2 \R1

Como A ⊆ Ā ⊆ R1 , R2 , entonces A ⊆ R1 ∩ R2 .
x ∈ R1 \R2 =⇒ x ∈ R1 , x ∈
/ R2 f˜(R \R ) = {0}
/ A =⇒ f˜(x) = 0 =⇒ ˜ 2 1
=⇒ x ∈
x ∈ R2 \R1 =⇒ x ∈ R2 , x ∈
/ R1 f (R1 \R1 ) = {0}
No sabemos si R1 \R2 y R2 \R1 son rectángulos, pero sí podemos escribir ambos como una unión
de rectángulos no traslapados a pares y obtener la integral de f en dichos conjuntos, entonces
Z Z
f˜ = f˜ = 0
R1 \R2 R2 \R1
Z Z
∴ f˜ = f˜.
R1 R2


Denición 18. Bajo las hipótesis del teorema anterior, decimos que f es integrable en A y
denimos la integral de f en A como el número
Z Z Z
f= f (x)dx := f˜.
A A R

En particular, denimos la medida (o volumen ) de A como

Z
m(A) := χA .
R

26
 INICIA el video 2021 09 20 (COMPLETADO)

Teorema 2.5. Sea A ⊆ Rn un conjunto Jordan-medible y sean f, g : A −→ R.

i) Si f y g son integrables en A y α ∈ R, entonces αf + g es integrable en A. Además

Z Z Z
αf + g = α f + g.
A A A

ii) Si f y g son integrables en A, entonces fg (su producto puntual) es integrable en A.

iii) Si f es no negativa e integrable en A, entonces su integral en A también lo es.

iv) Si f es integrable en A, |f | también es integrable en A y

Z  Z
 
 f ≤ |f |.
 
A A

v) Si f es continua en A, entonces f es integrable en A.

vi) Pongamos A = A1 ∪ A2 , donde A1 yA2 son Jordan-medibles, entonces f es integrable en A si

y sólo si f es integrable en A1 , A2 yA ∩ A2 . Además
Z Z Z Z
f= f + f − f .
A A1 A2 A1 ∩A2

Z
vii) Si A tiene medida cero, y f es integrable en A, entonces f = 0.
A

viii) Si f es integrable en A y además α ≤ f (x) ≤ β para todo x ∈ A, entonces

Z
αm(A) ≤ f ≤ β m(A) .
A

Demostración.
i) Ejercicio. PENDIENTE.
ii) Ejercicio. PENDIENTE.

iii) Ejercicio. PENDIENTE.

iv) Ejercicio. PENDIENTE.

v) Ejercicio. PENDIENTE.

vi) Supongamos primero que A1 y A2 son disjuntos, es decir, A1 ∩ A2 = ∅.

27
=⇒) Si f es integrable en A, entonces las funciones f χA1 y f χA2 también son integrables en
A -justicar-, luego por el punto (i )
Z Z Z
f= f χA1 + f χA2 .
A A1 A2

Como f es integrable, entonces f es acotada, y como el conjunto de discontinuidades de

f A1 tiene medida cero, entonces f es integrable en A1 . Además, si R es un rectángulo
en
cerrado que contiene a A, entonces contiene también a A1 y
Z Z Z
f = f χA1 = f χA1 .
A1 R A1

Similarmente, f es integrable en A2 y
Z Z
f = f χA2 .
A2 A2

Por lo tanto
Z Z Z
f= f + f.
A A1 A2

⇐=) Si f es integrable en A1 y A2 , f es acotada en A y el conjunto de discontinuidades de f en

A tiene medida cero. PUNTO MUY HEAVY, revisar el video, minuto 0:30:00.
El conjunto DA de discontinuidades de f en A está contenido

DA ⊆ DA1 ∪ DA2 ∪ Fr (A1 ) ∪ Fr (A2 ) ,

donde cada conjunto tiene medida cero. Por la proposición 11, DA tiene medida cero.
Luego, por el Criterio de Lebesgue, f es integrable en A.

Ahora supongamos que A1 y A2 no son disjuntos, A1 ∩ A2 6= ∅. Entonces

Fr (A1 ∩ A2 ) ⊆ Fr (A1 ) ∪ Fr (A2 ) .

Luego A1 ∩ A2 es Jordan-medible, por toda la proposición 11. Si escribimos

A = (A1 \A2 ) ∪ (A1 ∩ A2 ) ∪ (A2 \A1 ),

donde todos son disjuntos a pares y Jordan-medibles,pues la frontera de cada uno está conte-
nida en Fr (A1 ) ∪ Fr (A2 ). Entonces, por la parte anterior de la demostración tenemos:

f es integrable en A si y sólo si f es integrable en A1 \A2 y (A1 ∩ A2 ) ∪ (A2 \A1 ) = A2 .

f es integrable en A si y sólo si f es integrable en A2 \A1 y (A1 ∩ A2 ) ∪ (A1 \A2 ) = A1 .
f es integrable en A1 si y sólo si f es integrable en A1 \A2 y A1 ∩ A2 .
f es integrable en A si y sólo si f es integrable en A2 \A1 , A1 \A2 y A1 ∩ A2 .
f es integrable en A si y sólo si f es integrable en A1 , A2 y A1 ∩ A2 .

28
 Por último tenemos
Z Z Z
f= f + f
A A1 A2 \A1
Z Z Z 
= f −
f + f
A1 A2 A1 ∪A2
Z Z Z
= f + f − f .
A1 A2 A1 ∪A2

Teorema 2.6 (Teorema de Valor Medio para integrales). Sea A un conjunto Jordan-medible,
compacto y conexo. Si f : A −→ R es continua, entonces existe x ∈ A tal que
Z
f = m(A) f (x).
A

Demostración. Como A es compacto y conexo, y f es continua, tenemos que f (A) es un intervalo

compacto, digamos [a, b]. Por el teorema 2.5.viii tenemos que
Z
am(A) ≤ f ≤ bm(A) .
A
Z
Si m(A) = 0, entonces f = 0, por 2.5. vii. Luego tomamos cualquier x ∈ A y se cumple
A
Z
m(A) f (x) = f = 0.
A

Si m(A) > 0, entonces la igualdad anterior es equivalente a

Z
1
a≤ f ≤ b.
m(A) A

Luego existe x∈A tal que Z

1
f (x) = f ∈ [a, b].
m(A) A
Z
∴ f = m(A) f (x).
A


29
 INICIA video 2021 09 23 (PENDIENTE)

Ejemplo 8.
i) Sea
Z A = {(x, y) ∈ R2 : 0 ≤ x ≤ 1, 0 ≤ y ≤ x} y sea f : A −→ R, f (x, y) 7−→ x2 y 2 . Calcular

f.
A
Asumiremos sin más que A es Jordan-medible. Tomaremos un rectángulo que contenga a
A, por
 ejemplo R = [0, 1] × [0, 1]. Consideremos la partición de R P 2 = (Pk , Pk ) donde
Pk = 0, k1 , k2 , . . . , kk = 1 . Como f es continua en A, tenemos que existe su integral ahí.

Z
f = lı́m S(f, P˙k2 ).
A k→∞

, ki × j−1 , kj es ki , kj , para todo

 i−1   

Donde la etiqueta del rectángulo
k k
i = 1, . . . , k . Sea k ∈ N
jo, entonces calculamos su suma de Riemann asociada

k i  2  2

˙ 2
 1 XX i j
S f, Pk = 2
k i=1 j=1 k k
k i
1 X 2X 2
= 6 i j
k i=1 j=1
k
1 X 2 i(i + 1)(2i + 1)
= i
k 6 i=1 6
k
1 X 5
= 6
(2i + 3i4 + i3 )
6k i=1
" k k k
#
1 X
5
X
4
X
3
= 2 i +3 i + i
6k 6 i=1 i=1 i=1
  6
2k + 6k 5 + 5k 4 − k 2
 5
6k + 15k 4 + 10k 3 − k k 4 + 2k 3 + k 2
  
1
= 12 +3 +
6k 6 2 30 4
 6 5 4 2 5 4 3 4 3 2

1 2k + 6k + 5k − k 6k + 15k + 10k − k k + 2k + k
= 6
+ +
6k 6 10 4
1 10(2k + 6k + 5k − k ) + 6(6k + 15k + 10k − k) + 15(k 4 + 2k 3 + k 2 )
6 5 4 2 5 4 3
 
=
6k 6 60
20k + 60k + 50k − 10k + 36k + 90k + 60k 3 − 6k + 15k 4 + 30k 3 + 15k 2
6 5 4 2 5 4
=
360k 6
6 5 4 3 2
20k + 96k + 155k + 90k + 5k − 6k
=
360k 6
1 4 31 1 1 1
= + + 2
+ 3+ 4
+
18 15k 72k 4k 72k 60k 5

30
 Ahora tomamos el límite cuando la partición Pk2 se hace más na

 ((
1 4 31 1 (((1((((1 1
lı́m S(f, P˙k2 ) = lı́m + + ((2(+( 3 +
( + =
k→∞ k→∞ 18 ( 15k
(((72k 4k 72k 4 60k 5 18
Z
1
∴ f= .
A 18

ii) Sea C = {(x, y) ∈ B(0, 1) : x, y ≥ 0} ⊆ R2 . Calculemos

Z
ex+y dxdy.
B

Es conveniente usar series de potencia para funciones exponenciales. Recordemos que

n
X rn+1 − 1
rk = , r 6= 1.
k=0
r−1

Elegimos el rectángulo más sencillo que contenga a B , por ejemplo R = [0, 1] × [0, 1]. Sea P˙k
 i i+1   j j+1 
, k × k , k le asigna la etiqueta i+1 , j+1


una partición uniforme tal que al rectángulo
2
k
2
√ k k
Tenemos que, si (x, y) ∈ C entonces y < 1 − x , y < 1 − x2
√
k−1 2 −i2 −1
kX
X i j
S(f, P˙k ) = ek ek
i=0 j=0
√
k−1 2 −i2 −1
kX
1 X i  1
j
= 2 ek ek
k i=0 j=0
√
1
 k2 −i2

1
k−1
X i
e k −1
= 2 ek 1
k i=0 ek − 1
√
k −i 2 2
k−1
1 X i e k −1
= 2 e k
1
k i=0 ek − 1
 √ 
k−1 i 1 k2 −i2
1 X
− 1e
k e e
k k
= 2 + 1

k i=0 ek − 1 ek − 1
√k2 −i2
k−1  1 k−1 
!
1 1 X 1
i ek X 1
= 2 1 − e + 1 k e k
k e k − 1 i=0 ek − 1 i=0
  k 
1

1  ek − 1
= 2 −  2 + . . . 

k 1
ek − 1
 
1  e−1
= −  1 2 + . . . 

k 2
ek − 1

31
 Ahora,
lı́m S(f, P˙k ) ≈ 1.92318.
k→∞

Ejercicio 2.1. 1

Ejercicio 2.2. 2

Ejercicio 2.3. Si X es contable, demuestre que la familia de todos los subconjuntos nitos de X
es contable.

Demostración. Como X f : X −→ Np biyectiva tal que a cada elemento de X

es contable, existe
le asigna un número primo. Sea F la familia en cuestión, y sea A ∈ F , entonces A = {x1 , . . . , xn } y
podemos hacer la función g : F −→ N tal que g(A) = f (x1 ) . . . f (xn ). Tenemos que g es inyectiva
por el Teorema Fundamental de la Aritmética, pues a cada elemento de N le corresponde una única
factorización por números primos. 

Ejercicio 2.4. Sean X, Y, Z conjuntos tales que X ⊆ Y ⊆ Z. Si |X| = |Z|, ¾se tiene |X| = |Y |?
Demostración. |X| = |Y |. Sea f : X −→ Y , f (x) = x, la cual es inyectiva.
Sí, se tiene Como
|X| = |Z| entonces existe g : Z −→ X inyectiva, luego g|Y : Y −→ X también es inyectiva. Por el
teorema de Cantor-Bernstein, |X| = |Y |. 

Ejercicio 2.5. Sean X y Y dos conjuntos, con |Y | ≥ 2. Demuestre que el conjunto de las funciones
de X en Y tiene cardinalidad mayor que X.

|{f |f : X 7−→ Y }| > |X|.

Ejercicio 2.6. Demuestre que

|C(R, R)| = |R|,
es decir, el conjunto de todas las funciones continuas de R en R es equipotente a R.
Z
Ejercicio 2.7. Sea A abierto y Jordan-medible. Sea f : A −→ R continua, tal que f =0 para
B
todo B⊆A Jordan-medible. Demuestre que f = 0
.

Ejercicio 2.8. Sean a > 0 y A = {(x, y) : |x| + |y| ≤ a} ⊆ R2 . Demuestre que A es Jordan-medible
y que m(A) = 2a2 .

32
3. Teorema de Fubini
Aquí empieza el video 2021 10 06 Sea f tal que para todo x ∈ R1 , f (x, y) es integrable en R1
Denimos F : R1 7−→ R como Z
F (x) := f (x, y)dy.
R2

Más aún, si F es integrable en R1 , tenemos la integral

Z Z Z
F = f (x, y)dydx.
R1 R1 R2

A esta segunda integral se le llama integral iterada.

Una pregunta natural es la siguiente: Si f cumple estas condiciones, ¾es f integrable en R1 ×R2 ?
y en caso de serlo, ¾se tiene que
Z Z Z
f (x, y)dxdy = f (x, y)dydx?
R1 ×R2 R1 R2

La respuesta rápida es no. Por otro lado, si f es integrable en R1 × R2 , ¾se tendrá

Z Z Z
f= f (x, y)dxdy?
R1 ×R2 R1 R2

Observación. Sea f : R −→ R una función acotada. Notemos que los números

S(f, R) := lı́m sup S(f, Ṗ )

δ→0 P (δ)

S(f, R) := lı́m ı́nf S(f, Ṗ )

δ→0 P (δ)

están bien denidos, es decir, siempre existen y

S(f, R) ≤ S(f, R).

33
 Aquí empieza el video 2021 10 07

Teorema 3.1. Sea f : R1 × R2 −→ R R = R1 × R2 .

una función acotada. Sea Entonces

S(f, R) ≤ S S(f, R2 ), R1 ≤ S S(f, R2 ), R1 ≤ S(f, R).

Desigualdades similares se obtienen intercambiando R1 por R2 y S por S:

S(f, R) ≤ S S(f, R1 ), R2 ≤ S S(f, R1 ), R2 ≤ S(f, R)
S(f, R) ≤ S (S(f, R2 ), R1 ) ≤ S (S(f, R2 ), R1 ) ≤ S(f, R)
S(f, R) ≤ S (S(f, R1 ), R2 ) ≤ S (S(f, R1 ), R2 ) ≤ S(f, R)

Demostración. F (x) = S(f (x), R2 ) donde el límite superior se toma sobre todas las particiones
Sea
de R2 . Si M = sup |f (x, y)|, entonces |f (x)| ≤ M vol (R2 ). Sean α = S(F, R) y β = S(F, R1 ).
x,y∈R
Tomamos una partición P1 de R1 y una partición P2 de R2 , entonces P = P1 × P2 es una partición
de R1 × R2 . Pongamos P1 = {S1 , . . . Sk } y P2 = {T1 , . . . Tl }. Para cada par (i, j) con i = 1, . . . , k y


j = 1, . . . , l sean αi,j = S S(f, Tj ), Si y βi,j = S(S(f, Tj ), Si ). Tenemos la siguiente desigualdad
l
X

β = S(F, R) ≤ S S(f, Tj ), R1
j=1
l X
X k
≤ βi,j .
j=1 i=1

De forma similar

l
X

α = S(F, R) ≥ S S(f, Tj ), R1
j=1
l X
X k
≥ αi,j .
j=1 i=1

Sean mi,j = ı́nf{f (x, y)|x ∈ Si , y ∈ Tj } y Mi,j = sup{f (x, y)|x ∈ Si , y ∈ Tj }. Esto implica que
para todo x ∈ Si se cumple

mi,j vol (Tj ) ≤ S (f, Tj ) ≤ Mi,j vol (Tj )

Luego

mi,j vol (Si × Tj ) ≤ αi,j ≤ βi,j ≤ Mi,j vol (Si × Tj )

34
Por lo tanto

l X
X k
S(f, P ) = mi,j vol (Si × Tj )
j=1 i=1
l X
X k
≤ αi,j ≤ α ≤ β
j=1 i=1
l X
X k
≤ βi,j
j=1 i=1
l X
X k
≤ Mi,j vol (Si × Tj )
j=1 i=1

= S(f, P )

Tomando límite sobre las particiones R1 × R2 se obtiene el resultado. 

Teorema 3.2 (Previo al Teorema de Fubini). Si f : R1 × R2 −→ R es integrable, entonces

S(f, R2 ) y S(f, R2 ) son integrables en R1 , y además

Z Z Z
f= S(f, R2 ) = S(f, R2 ).
R1 ×R2 R1 R1

En particular, si la función y 7−→ f (x, y) es integrable en R2 para todo x ∈ R1 , entonces

Z Z Z
f= f (x, y)dydx.
R1 ×R2 R1 R2

Demostración. Ejercicio PENDIENTE.Como f es integrable, signica que 

Z
Lema. Sea f : R −→ R una función no negativa e integrable en R. Si f = 0 entonces el
R
conjunto {x ∈ R : f (x) > 0} tiene medida cero.
Demostración. Ejercicio. PENDIENTE. 

Teorema 3.3 (Teorema de Fubini). Sea f : R1 × R2 −→ R una función integrable en R1 × R2 .

1. Para casi todo x ∈ R1 , o sea, todo x ∈ R1 que no esté en un conjunto de medida cero, la
función x 7−→ f (x, y) es integrable en R2 .
Z
2. La función x 7−→ f (x, y)dxdy , denida en casi en todo punto de R1 , es integrable en R1 .
R2

3. La integral de f en R1 × R2 es
Z Z Z
f= f (x, y)dydx.
R1 ×R2 R1 R2

Demostración. Copiar idea del video 2021 10 07. Ejercicio PENDIENTE. 

35
Aquí empieza el video 2021 10 11 Copiar todo video 2021 10 11 PENDIENTE.

36
 Aquí empieza 2021 10 13
ϕ : [a, b] −→ [c, d] biyectiva y de clase C1. Entonces (F ◦ ϕ)0 = (F 0 ◦ ϕ)ϕ0 = (f ◦ ϕ)ϕ0 , luego

Z y Z x
f (t)dt = F (y) = (F ◦ ϕ)(x) = (f ◦ ϕ)(t)
c a

Proposición 15. Sea A ⊆ Rn f : A −→ R es integrable en A, entonces existe

Jordan-medible. Si
∞
una sucesión de funciones escalonadas {fn : R −→ R}n=1 donde R es un rectángulo que contiene
a Ā tal que lı́mn→∞ fn (x) = f (x), para casi todo x ∈ A (excepto en un conjunto de medida cero)y

Z Z
lı́m fn = f.
n→∞ R A

Además podemos elegir las sucesiones fn de tal forma que sea uniformemente acotada, es decir,
que exista M >0 tal que
sup |fn (x)| ≤ M, ∀n ∈ N.
x∈R

Demostración. Copiar del videoSea A ⊆ Rn 

Proposición 16. Sea T : Rn −→ R un operador lineal. Entonces det[T ]B no depende de la base

B de R elegida. Denotamos a este valor como

det(T )

Denición 19. Un paralelotopo de Rn n

es un subconjunto de R de la forma T (R), donde T
n 2
es un operador lineal y R es un rectángulo, ambos en R . En el caso de R se conocen como
paralelogramos 3
y en R como paralelepípedos.
Si P es un paralelotopo de Rn , entonces existen puntos

p, x1 , x2 , . . . , xn ∈ Rn
n
X
tales que y ∈P si y sólo si existen t1 , t2 , . . . tn ∈ [0, 1] tales que y = p+ t i xi . Dicho de otro
i=1
modo, todo paralelotopo es la imagen del rectángulo [0, 1]n bajo una transformación afín.

Denición 20. Denimos el volumen del paralelotopo P como

vol (P ) := |det(T )|

donde P = p + T ([0, 1]n ).

37
 Aquí empieza el 2021 10 14

Proposición 17. Si P es un paralelotopo de Rn entonces P es Jordan-medible.

( n
)
Demostración. (justicar por qué)
X
Pongamos P = p+ ti xi : ti ∈ [0, 1] . Notemos que
i=1
y ∈ Fr (P ) si y sólo si

n
X
∃m ∈ {1, . . . , n} tal que y =p+ ti xi y tm ∈ {0, 1}.
i=1

Sin pérdida de generalidad podemos suponer que

( ∈ {0, 1}.
t1 ) Supongamos t1 = 0, pues el caso
n
justicar por qué, existe
X
t1 = 1 es análogo. Sea Q= p+ ti xi ∈ P : t1 = 1 , notemos que,
i=1
α>0 tal que
kT (x)k∞ ≤ αkxk∞ , ∀x ∈ R
Esto implica
T (B(x, r)) ⊆ B(T (x), αr).
Sea ε > 0. Como el conjunto S = {(t1 , . . . , tn ) ∈ [0, 1]n : t1 = 0} tiene medida cero, existe una
cubierta a lo sumo numerable {B∞ (xk , rk ) : k ∈ N} de S tal que
∞
X ε
vol (B∞ (xk , rk )) ≤
k=1
αn

Tenemos que

1. Q = p + T (S)

2. {B∞ (p + T (xk ), αrk ) : k ∈ N} es una cubierta de Q

∞
X
3. vol (B∞ (p + T (xk ), αrk )) ≤ ε
k=1

Como ε es arbitrario, concluimos que Q tiene medida cero.


Corolario 3. Si R es un rectángulo y T : Rn −→ R es lineal, entonces
vol (T (R)) = |det(T )|vol (R)

Demostración. Ejercicio. PENDIENTE. 

Si f : Rn −→ Rm es diferenciable en todo punto x = (x1 , . . . , xn ) de una región Ω (conjunto
abierto y conexo), entonces existen las derivadas parciales

∂f (x) ∂f (x)
, ... ,
∂x1 ∂xn
en todo punto x ∈ Ω. Pongamos f (x) = (f1 (x), . . . , fm (x)), como f es diferenciable en Ω, entonces
todas sus funciones componentes son diferenciables en Ω.

38
Denición 21. Sea f : Ω −→ Rm diferenciable, denimos la transformación jacobiana de f
nm
como la función df : Ω −→ R dada por la matriz n × m

∂f1 (x) ∂fm (x)

 
 ∂x1 ...
 . ∂x1 
. .

df (x) := . .. .  , ∀x = (x1 . . . . , xn ) ∈ Ω
 . .


 ∂f1 (x) ∂fm (x) 
...
∂xn ∂xn
A dicha matriz la llamamos la matriz jacobiana de f en x.
Si m = n, la matriz jacobiana de f en x es una matriz cuadrada, luego denimos el jacobiano de
f como la función Jf : Ω −→ R, dada por

Jf (x) = det(df (x)).

Proposición 18. Sea f : Ω −→ Rn 1

una función de clase C , entonces

1. Jf es una función continua en Ω.

2. Si f es inyectiva, entonces Jf no se anula en ningún punto de Ω.

Demostración. Fuera de los objetivos del curso. 

39
 Aquí empieza el 2021 10 18 Los primeros 40 minutos de clase se dedicaron a temas del regreso
a clases presenciales, problemas del IPN y en particular de la ESFM para sobrellevar

Denición 22. Un segmento en Rn con extremos x y y, ambos en Rn , es el conjunto de la forma

[x, y] = {(1 − t)x + ty : t ∈ [0, 1]} ⊆ Rn

De manera que [x, y] = [y, x], además, si x−y−z son colineales, entonces [x, z] = [x, y] ∪ [y, z].

Denición 23. Sea A ⊆ Rn . Decimos que A es convexo si para todos x, y ∈ A se cumple

[x, y] ∈ A.

Corolario 4. Todo segmento en Rn es convexo.

Teorema 3.4 (Teorema de incrementos nitos). Sea Ω una región en Rn . Si Φ : Ω −→ Rn es
1
de clase C y si además [x, y] ⊆ Ω entonces

kΦ(x) − Φ(y)k ≤ kx − yk máx kdΦ(z)k

z∈[x,y]

Este teorema es una generalización del Teorema del Valor medio en R.

Demostración. La prueba se queda fuera del contexto del curso. 

Teorema 3.5. Si Ω es una región Jordan-medible y Φ : Ω −→ Φ(Ω) es un difeomorsmo

1
(homeomorsmo diferenciable con inversa diferenciable) de clase C . Si R ⊆ Ω entonces Φ(R) es
Jordan-medible y además Z
m(Φ(R)) ≤ |JΦ|
R

40
 Aquí empieza el video 2021 10 20

Proposición 19. Sea U ⊆ Rn abierto, entonces existe {Rk }∞

k=1 de rectángulos disjuntos tales que

∞
[
U= Rk , Rk ⊆ U, ∀k ∈ N
k=1

Demostración. Ejercicio. PENDIENTE 

Proposición 20. Sea Ω una región de Rn y sea Φ : Ω −→ Rn una función 1
inyectiva de clase C .
Si A⊆Ω es Jordan-medible, entonces Φ(A) también es Jordan-medible.
∞
Demostración.
[

Pongamos Ω= Rk . Si A tiene medida cero, basta probar que Φ A ∩ Rk tiene
k=1
medida cero para todo k∈ N. Sea k∈N jo y sea

α = máx kdΦ(x)k,
x∈Rk

1
el cual existe porque dΦ es continua (Φ de clase C ) y todo Rk es compacto. Sea ε > 0, como
∞
¾por qué podemos
m(A) = 0, entonces existe una sucesión {Sl }l=1 de cubos disjuntos a pares
tomarlos como disjuntos a pares? pista: no todos los cubos de la sucesión son cerrados
tal que
∞
[ ∞
X
A ∩ Rk ⊆ Sl , vol (Sl ) < ε.
l=1 l=1
Sin perder generalidad podemos suponer



∀l ∈ N A ∩ Rk ∩ Sl 6= ∅


Sea l∈N y sea xl ∈ A ∩ R k ∩ S l . ComoRk es convexo, entonces



∀x ∈ A ∩ Rk ∩ Sl [x, xl ] ⊆ Rk
Por el teorema de incrementos nitos tenemos lo siguiente

kΦ(x) − Φ(xl )k∞ ≤ αkx − xl k∞ ≤ αδl

Donde δl = diám∞ (Sl ) = sup ky1 − y2 k Esto implica que Φ(A ∩ Rk ∩ Sl ) está contenido en un
y1 ,y2 ∈Sl
cubo Tl de arista 2αδl (a saber, Tl = Bα (xl , αδl )). Luego

∞
[


Φ A ∩ Rk ⊆ Tl
l=1

Además
∞
X ∞
X ∞
X ∞
X
vol (Tl ) = (2αδl )n = (2α)n (δl )n = (2α)n n
vol (Sl ) < (2α) ε
l=1 l=1 l=1 l=1


Lo que nos permite concluir que Φ A ∩ Rk tiene medida cero.
Sea ahoraA ⊆ Ω Jordan-medible tal que Ā ⊆ Ω. Como Φ es inyectiva en Ω, Φ es una biyección
sobre Φ(Ω) tal que Φ y Φ−1 son continuas, es decir, un homeomorsmo. Entonces
Fr (Φ(A)) = Φ(Fr ((A)))

41
Como Φ es continua, entonces ...un quilombo. Como Fr (A) tiene medida cero, por lo ante-
riormente demostrado, entonces Φ(Fr (A)) tiene medida cero. Además, Φ(A) es acotado porque
Φ(A) = Φ(Ā) es compacto.


42
 Aquí empieza el video 2021 10 21

Lema (Lema fundamental). Sea Ω una región de Rn y sea Φ : Ω −→ Φ(Ω) un isomorsmo de

clase C1 . Si R es un cubo en Rn tal que R ⊆ Ω, entonces
Z
m(Φ(R)) ≤ |JΦ|
R

Demostración. Muy larga y falta copiarla del vídeo.

Por (***),

k Z
X
n
m(Φ(R)) ≤ (1 + ε) |JΦ|
Ri
Zi=1
= (1 + ε)n |JΦ|
Z R

∴ m(Φ(R)) ≤ |JΦ|.
R

43
 Aquí empieza el video 2021 10 25

Proposición 21. Sea f : Φ(A) −→ R una función integrable en Φ(A) y no negativa. Entonces la
función |JΦ|f ◦Φ es integrable en A, no negativa y además
Z Z
f≤ |JΦ|(f ◦ Φ).
Φ(A) A

Demostración. Notemos que si f es continua en Φ(x), entonces |JΦ|f ◦Φ

es continua en x, luego
el conjunto de discontinuidades de |JΦ|f ◦ Φ, pongamos M , está contenido en Φ−1 del conjunto de
discontinuidades de f, pongamos Q, es decir

M ⊆ Φ−1 (Q).
Como Q tiene medida cero, tenemos que M también, además es acotada en A, y por el criterio de
Lebesgue, |JΦ|f ◦Φ es integrable en A. Sea G⊆Ω un abierto tal que

A⊆G⊆G⊆Ω
Pongamos
∞
[
G= Ck .
k=1
Donde cada Ck es un cubo cuya cerradura está contenida en G y todos ellos son disjuntos a pares.
Sea f˜ : Φ(G) −→ R una función dada por

˜ x ∈ Φ(A) −→ f (x)
f (x) :=
x∈/ Φ(A) −→ 0
Entonces f˜ es no negativa e integrable en Φ(G), además
Z Z
f˜ = f
Φ(G) Φ(A)

Para cada k∈N sea

k
X  
Sk := ı́nf f˜(x) · m(Φ(Cj ))
x∈Φ(Cj )
j=1
Por el lema fundamental tenemos lo siguiente
k
X   Z
Sk ≤ ı́nf ˜
f (x) · |JΦ|
x∈Φ(Cj ) Cj
j=1
k
X n  o Z
= ı́nf ˜
f ◦ Φ (Cj ) · |JΦ|
j=1 Cj

X∞ n  o Z
≤ ı́nf ˜
f ◦ Φ (Cj ) · |JΦ|
j=1 Cj

X∞ Z  
≤ ˜
f ◦ Φ |JΦ|
j=1 Cj
Z  
= f˜ ◦ Φ |JΦ|
ZG  
= ˜
f ◦ Φ |JΦ|
A

44
Si S = lı́m Sk entonces
k→∞ Z  
S≤ f˜ ◦ Φ |JΦ|
A
G en cubos y haciendo que sus anchos tiendan a cero, tenemos que el
Renando la partición de Z

lado izquierdo converge a f.

Φ(A)
Z Z  
∴ f≤ ˜
f ◦ Φ |JΦ|
Φ(A) A


Teorema 3.6. Bajo las hipótesis de la proposición anterior, se tiene
Z Z
f= (f ◦ Φ)|JΦ|
Φ(A) A

Demostración. Por la proposición anterior ya se tiene una de las desigualdades necesarias. Por otro
lado, si g = f ◦ Φ|JΦ|, por la proposición anterior aplicada a B = Φ(A), tenemos que
Z Z
(f ◦ Φ−1 )JΦ−1 
 
g≤ (1)
Φ−1 (B) B

Como

g ◦ Φ−1 JΦ−1  = (f ◦ Φ|JΦ|) ◦ Φ−1 JΦ−1 

   

= JΦ−1  (JΦ) ◦ Φ−1 f

   

= JΦ−1 (JΦ−1 ) ◦ Φf
  

=f
Además Φ−1 (B) = Φ−1 (Φ(A)) = A, entonces (1) toma la forma
Z Z
f ◦ Φ−1 JΦ−1 
 
g≤
A Φ(A)
Z Z
g ◦ Φ−1 JΦ−1  ◦ Φ−1 JΦ−1 
 
 
f ◦ Φ|JΦ| ≤
A Φ(A)
Z
= f
Φ(A)

Por lo que concluimos Z Z

f= (f ◦ Φ)|JΦ|
Φ(A) A

Teorema 3.7 (Teorema de cambio de variable). SeanΩ ⊆ Rn una región, Φ : Ω −→ Φ(Ω)
1
un isomorsmo C . Sea A ⊆ Ω Jordan-medible tal que A ⊆ Ω, y sea f : Φ(A) −→ R integrable en
Φ(A). Entonces f ◦ Φ|JΦ| es integrable en A y además
Z Z
f ◦ Φ|JΦ| = f
A Φ(A)

Demostración. Ejercicio PENDIENTE. Descomponer a f en su partes positiva y negativa. 

45
 Aquí empieza el video 2021 10 27

Ejemplo 9.
i) Coordenadas polares. Denimos los siguientes conjuntos: sea

Ω1 = {(r, θ) : r > 0, |θ| < π}

Ω2 = R2 \{(x, 0) : x ≤ 0}
Sea Φ : Ω1 −→ Ω2 la función:
Φ(r, θ) := (r cos θ, r sen θ)
1 −1
Tenemos que Φ es un isomorsmo de clase C de Ω1 sobre Ω2 . Calculemos Φ . Tenemos que
p
r = x2 + y 2 . El cambio habitual de coordenadas rectangulares a coordenadas polares NO
SIRVE. Para hallar θ notemos lo siguiente; primero

θ θ
sen θ = 2 sen cos
2 2
θ θ θ
cos θ = cos2 − sen2 = 2 cos2 − 1
2 2 2
Esto implica que

θ sen θ
sen =
2 2 cos 2θ
θ 1 + cos θ
cos2 =
2 2
Luego

θ sen 2θ sen θ 1 sen θ sen θ

tan = θ
= θ
· θ
= θ
=
2 cos 2 2 cos 2 cos 2 2 cos2 2 1 + cos θ
x y
Pero r 6= 0, entonces cos θ = r
y sen θ = r
están bien denidos, luego

θ y 1 y y
tan= · x = = p
2 r 1+ r r+x x + x2 + y 2
 
√y
Por lo tanto θ = 2 arctan 2 2
donde arctan es la función inversa de la tangente en la
x+ x +y
π π
rama principal (entre − y ). Hallemos el Jacobiano de Φ
2 2

JΦ = det(dΦ)
 
 ∂x ∂y 
 
 ∂r ∂r 
=  ∂x ∂y 
 
∂θ ∂θ
 
 
 cos θ sen θ 
=  
−r sen θ r cos θ
= r cos2 θ + r sen2 θ
= r.

46
 Me quedé en el minuto 37 del video 2021 20 27
Calculemos la integral Z p
4 − x2 − y 2 dxdy
A
2 y
donde
p {(x, y)|0 ≤ x, 0 ≤ y < x, x + y ≤ 4}. Notemos que Ā * Ω2 , sin embargo
A =
(x, y) 7−→ 4 − x2 − y 2 es integrable en A por ser continua y acotada. Sea ε > 0 Tenemos que
Z p Z p
2 2
4 − x − y dxdy = lı́m+ 4 − x2 − y 2
A ε→0 A(ε)

donde A(ε) = {(x, y) ∈ A|x2 + y 2 ≥ ε2 } Tenemos que A(ε) ⊆ Ω2 , además tenemos que √ A(ε) =
π
Φ([ε, 2]×[0, 4 ]). Por el Teorema de cambio de variable tenemos que (r, θ) 7−→ f ◦Φ|JΦ| = r 4 − r2
π
es integrable en R(ε) = [ε, 2] × [0, ] y
4
Z p Z √
2 2
4 − x − y dxdy = r 4 − r2 drdθ
A R(ε)

Por el Teorema de Fubini tenemos que

π
Z √ Z
4
Z 2 √
r 4− r2 drdθ = r 4 − r2 drdθ
R(ε) 0 ε
3 2
π

1 (4 − r2 ) 2 
Z
4
= −  dθ
0 2 3/2 
ε
3
2
π (4 − ε ) 2
=
4 3

Z p
π 3
4 − x2 − y 2 dxdy = lı́m+ (4 − ε2 ) 2
A ε→0 12
2π
=
3


47
 Aquí empieza el video 2021 28

Ejemplo 10. 2
f : R2 −→ R dada por f (x, y) = e−(x +y ) . Por un lado tenemos que para el
Sea
2

rectángulo R = [−r, r] × [−r, r] f es continua y acotada, luego por el Teorema de Fubini, f es

integrable en R.
Z Z
2 2
f= e−(x +y ) dxdy
R
ZRr Z r
2 2
= e−x e−y dxdy
−r −r
Z r 2
−x2
= e dx
−r
Z ∞
2
Como la integral impropia e−x dx es convergente, se tiene que
−∞
Z Z r 2
−(x2 +y 2 ) −x2
e dxdy = lı́m e dx
R2 r→∞ −r
Z ∞ 2
−x2
= e dx
−∞

Sean ε, M > 0, con ε < M . Consideremos el anillo AM 2 2

ε = {(x, y) : ε ≤ x + y ≤ M }, y lo partimos
en dos partes:

AM M
ε (1) = {(x, y) ∈ Aε : 0 ≤ x}
AM M
ε (2) = {(x, y) ∈ Aε : x ≤ 0}

Para el conjunto AM
ε (1) por el teorema del cambio de variable
 h π π i
= Φ [ε, M ] × − , (1)
2 2
Luego
π
Z Z
2
Z M
2
f= e−r drdθ
AM
ε (1) − π2 ε
π  −r2  M
= e
2

ε
π −ε2 −M 2

= e −e
2
Si tomamos el isomorsmo de clase C 1 Ψ : R1 −→ R2 denido como

Ψ(x, y) := (−x, y)
entonces AM M
ε (2) = Ψ(Aε (1)). Como JΨ = −1 en todo punto, por el teorema de cambio de variable
tenemos que
Z Z
f= f
AM
ε (2) AM
ε (1)
π  −ε2 2

= e − e−M
2

48
Como AM
ε (1) y AM
ε (2) son no traslapados, tenemos que

Z Z Z  
−ε2 −M 2
f= f + f =π e −e
AM
ε AM
ε (1) AM
ε (2)

Finalmente
Z
f= lı́m
R2 ε→0, M →∞

Investigar sobre la integral de Fresnel

49
 Aquí empieza el video 2021 11 18

4. Integrales de Línea
Es más y más de integración en varias variables. Vamos a simplicar varios conceptos y nociones,
pues el libro de Villa va muy lento con el tema de las integrales de supercie. Para ver formas
diferenciales necesitaríamos parametrización y la noción de cartas y atlas, cosa que el libro de
Villa lo hace muy sencillo. Sin embargo, en ese mismo libro se demuestra el teorema de cambio de
variable haciendo uso de particiones de unidad y ya se había comentado que era un poco exagerado
usar herramientas tan fuertes que requieren demostraciones avanzadas para que nalmente sean
usadas sólo en un par de ocasiones. Haremos lo posible por dispensar del concepto de particiones
de unidad para abordar el tema de integrales de formas diferenciales.
Existe una rama del análisis matemático llamada teoría de integración, que trata sobre funciones
de un conjunto cualquiera a un campo, que suele ser el de los números reales. Nosotros veremos el
concepto de integral desde un conjunto a un espacio normado. Derivado de este concepto surge la
Integral de Bochner. La integral de Bochner es una abstracción directa de la integral de Lebesgue,
dicha integral fue introducida por Salomon Bochner en 1933. Se podría decir que la integral de
Bochner es solamente la integral de Lebesgue donde el valor absoluto ha sido reemplazado por la
norma en el espacio de Banach.

Denición 24. Un camino arco en Rn es una función continua ϕ : [a, b] ⊂ R −→ Rn . Si ϕ

o un
es C a trozos, decimos que ϕ es un camino recticable o una parametrización .
1

Ejemplo 11.
1
i) Si f : [a, b] −→ R es una función continua y C a trozos, entonces

ϕf : [a, b] −→ R2
x 7−→ (x, f (x))
es un camino recticable.

ii) La función
ϕ : [0, 2π] −→ R2
x 7−→ (cos x, sen x)
es un camino recticable.

iii) La curva de Koch. Consideremos el intervalo [0, 1]

Figura 3: Primer nivel de la curva de Koch

50
Figura 4: Nivel 2

Figura 5: Nivel 3

Figura 6: Nivel 4

Figura 7: Nivel 5

51
Denición 25. Sea C un camino recticable y sea f : C −→ R una función. Sea ϕ una parame-
trización de C y sea P una partición de [a, b]:
a = x0 < x1 < . . . < xk−1 < xk = b
Pongamos zi = ϕ(xi ). Tomamos etiquetas w1 , . . . , wk de P y sea yi = ϕ(wi ). Denimos la suma
de Riemann de f asociada a la partición P respecto a la parametrización ϕ de la siguiente forma
k
X
S(f, P, ϕ) := f (yi )kzi − zi−1 k2
i=1

Denición 26. Bajo las notaciones anteriores, si existe el límite

lı́m S(f, P, ϕ),

diám(P )→0

decimos que f es integrable en C y dicho límite es llamado la integral de línea de f en C. Este

valor se denota por Z Z
f ds o simplemente f
C C
Nos interesa ver que el límite
lı́m S(f, P, ϕ),
diám(P )→0

tiene sentido. Para ello tenemos la siguiente:

Proposición 22. Sea ϕ : [a, b] −→ C ⊆ Rn un camino recticable. Pongamos

ϕ = (ϕ1 , ϕ2 , . . . , ϕn )
Entonces

i) La función
p
Φ(x) := (ϕ01 (x))2 + (ϕ02 (x))2 + · · · + (ϕ0n (x))2
es integrable en [a, b].
ii) Si P = {x0 < x1 < . . . < xk−1 < xk } es una partición de [a, b] entonces

k
X Z b
kϕ(xi ) − ϕ(xi−1 )k2 ≤ Φ(x)dx.
i=1 a

iii)
( k )
X  Z b
sup kϕ(xi ) − ϕ(xi−1 )k2 P es partición de [a, b] = Φ(x)dx.

i=1 a

iv) Si ψ : [c, d] −→ C es otra parametrización de Cy

p
Ψ(x) := (ψ10 (x))2 + (ψ20 (x))2 + · · · + (ψn0 (x))2 ,
entonces Z d Z b
Ψ(x)dx = Φ(x)dx
c a
El valor de esta integral es llamado la longitud de C , denotada por l(C). Es decir, la longitud
de C es la misma sin importar la parametrización elegida.

52
v) Usando el teorema de cambio de variable, se tiene que

Z Z b
f ds = |Jϕ|(f ◦ ϕ)(x) dx
C a

Y en este caso, Jϕ = Φ, donde Φ es la función denida en el punto (i), por lo tanto

Z Z b
f ds = Φ(x) · (f ◦ ϕ)(x) dx
C a

53
 Aquí empieza el video 2021 11 22

Proposición 23. La integral de línea satisface las siguientes propiedades:

Z Z
i) Sean f, g : C −→ R y sea α ∈ R. Si las integrales f y g existen, entonces también existe
Z C C

la integral αf + g . Además
C
Z Z Z
αf + g = α f+ g
C C C

Z
ii) Si f es continua en C, entonces existe f.
C

iii) f es integrable en C si y sólo si el conjunto de discontinuidades de f en C tiene medida cero en

C . Nótese que las discontinuidades de f se toman sobre C , mas no sobre Rn , pues C mismo
tiene medida cero en Rn .
iv) Si existe la integral de línea de f en C CZ = C1 ∪Z C2 donde C1 y C2
y son recticables y se

intersectan sólo un punto, entonces existen f y f y además

C1 C2
Z Z Z
f= f+ f
C C1 C2

En consecuencia podemos suponer que C es un camino suave recticable o liso , es decir, que
1
C puede ser parametrizado por una función de clase C .

Demostración. Ejercicio PENDIENTE. 

Ejemplo 12. Aquí hace falta pedir los apuntes porque el video de la clase se trabó...de la hélice
parametrizada por la función

t 7−→ (4 cos t, 4 sen t, 3t), t ∈ [0, 2π]

multiplicamos por la raíz cuadrada de la suma de las derivadas

Z
2 2 2
Z 2π √
(x + y + z )ds(x, y, z) = (16 cos2 t + 16 sen2 t + 9t2 ) 16 sen2 t + 16 cos2 t + 9dt
C
Z0 2π
= (16 + 9t2 ) · 5 dt
0
2π
9t3 

= 5 16t +
3 0
= 5 32π + 3(2π)3

= 40 4π + 3π 3

= 120π 3 + 160π

Denición 27. Un campo vectorial en Rn es una función F~ : Rn −→ Rn .

54
Observación. Sea C un camino recticable suave de Rn F~ : Rn −→ Rn un campo vectorial.
y sea
Por un lado, para cada x ∈ C , existe el vector tangente a C en x; si ϕ : [a, b] −→ C es una
parametrización de C tal que x = ϕ(t), entonces ∇ϕ(t) es es el vector tangente a C en x. Por otro
lado tenemos f : C −→ R dada por

D  E
~ ~
f (x) = F (x) ∇ϕ(t) , x = ϕ(t)

Una pregunta natural es ¾podemos calcular la integral de línea de esta función?

55
 Aquí empieza el video 2021 11 24

Denición 28. Sea F~ un campo vectorial en Rn y sea C una curva suave recticable de R. Si
existe la integral
Z b D   E
~ ~
F ◦ ϕ (t) ∇ϕ(t) dt
a

donde ϕ : [a, b] −→ C es una parametrización de C, entonces denimos tal número como la

Z
integral de línea de F~ en C respecto a ϕ, denotada por F~ · d~s, como
C,ϕ

Z Z b D   E
F~ · d~s = ~ ~
F ◦ ϕ (t) ∇ϕ(t) dt
C,ϕ a

Denición 29. Sean ϕ : [a, b] −→ C y ψ : [c, d] −→ C dos parametrizaciones de C y ≤ el orden

usual en R. Entonces ϕ y ψ denen un orden en C de la siguiente forma.

Si x, y ∈ C , entonces existen u, v ∈ [a, b] tales que x = ϕ(u) y y = ϕ(v), luego (C, ≤0 ) es

simplemente ordenado, con
x ≤0 y ⇐⇒ u ≤ v

Si x, y ∈ C , entonces existen w, z ∈ [c, d] tales que x = ψ(w) y y = ψ(z), luego (C, ≤00 ) es
simplemente ordenado, con
x ≤00 y ⇐⇒ w ≤ z

Decimos que ϕ y ψ recorren a C en el mismo sentido si:

x ≤0 y ⇐⇒ x ≤00 y,

es decir, si el orden ≤0 denido por ϕ es equivalente al orden ≤00 denido por ψ. Por otro lado,
decimos que ϕ y ψ recorren a C en sentido inverso si:

x ≤0 y ⇐⇒ y ≤00 x,

es decir, si ≤0 es un orden inverso a ≤00 .

Proposición 24.
i) Sean ϕ : [a, b] −→ C y ψ : [c, d] −→ C dos parametrizaciones de C y sea f integrable en C.
Si ϕ y ψ recorren a C en el mismo sentido, entonces
Z Z
F~ · d~s = F~ · d~s
C,ϕ C,ψ

Si ϕ y ψ recorren a C en sentido inverso, entonces

Z Z
F~ · d~s = − F~ · d~s
C,ϕ C,ψ

56
 ii) Si F~~ son campos vectoriales y α ∈ R, entonces αF~ + G
G y ~ también es un campo vectorial. Si
~ yG
existen las integrales de línea de F ~ en C , entonces existe la integral de línea de αF~ + G
~
en C , además Z  Z Z

~ ~ ~
αF + G · d~s = α F · d~s + ~ · d~s
G
C C C

iii) Si F~ es continua en C, entonces existe su integral de línea en C. Más aún, si F~ es acotado en

C, entonces existe su integral de línea en C si y sólo si el conjunto de discontinuidades de F~
en C tiene medida cero en C.

iv) Si C = C1 ∪ C2 , donde C1 y C2 son curvas suaves recticables que se intersectan en alguno de

sus extremos, entonces existe la integral de línea de F~ en C si y sólo si existen
Z Z
F~ · d~s, F~ · d~s
C1 C2

Además Z Z Z
F~ · d~s = F~ · d~s + F~ · d~s
C C1 C2

Ejemplo 13. Sea F~ (x, y, z) = (x, 2y 2 , 3z 3 ). Hallemos el trabajo hecho por la fuerza F~ del origen
al punto (1, 1, 1), a través de tres caminos:

i) Tomando C1 = [(0, 0, 0), (1, 1, 1)]. Sea ϕ(t) = (t, t, t), con t ∈ [0, 1].
Z Z 1 D   E
~
F · d~s =
~
F~ ◦ ϕ (t) ∇ϕ(t) dt
C1 0
Z 1
t, 2t2 , 3t3  (1, 1, 1) dt


 
=
Z0 1
= t + 2t2 + 3t3 dt
0
1
1 2 2 3 3 4 
= t + t + t
2 3 4 0
1 2 3
= + +
2 3 4
23
=
12

ii) Tomando la poligonal C2 con vértices (0, 0, 0), (1, 0, 0), (1, 1, 0)
Notemos que los y (1, 1, 1).
1 1
segmentos que unen los vértices correspondientes son cada uno de clase C , luego C2 es C a
trozos. Sea ψ : [0, 3] −→ C2 dada por


0 ≤ t ≤ 1 −→ (t, 0, 0)
ψ(t) = 1 ≤ t ≤ 2 −→ (1, t − 1, 0)
2 ≤ t ≤ 3 −→ (1, 1, t − 2)


57
 Entonces
Z Z 3 D   E
F~ · d~s = F~ ◦ ψ (t) ∇ψ(t)
~
dt
C2 0
Z 1 Z 2

(1, 2(t − 1)2 , 0) (0, 1, 0) dt


= h (t, 0, 0)| (1, 0, 0)i dt +
0 1
Z 3

(1, 2, 3(t − 2)3 ) (0, 0, 1) dt


+
Z 1 2 Z 2 Z 3
2
= t dt + 2(t − 1) dt + 3(t − 2)3 dt
0 1 2
1 2 1 2 2 3 3
= t  + (t − 1)3  + (t − 2)4 
 
2 0 3 1 4 2
1 2 3
= + +
2 3 4
23
=
12

iii) Falta copiar del video PENDIENTE .

58
 Aquí empieza el video 2021 11 29

Teorema 4.1 (Primer Teorema Fundamental del Cálculo para integrales de línea (1TFC)).
n ~ : A −→ Rn un campo vectorial continuo y ALGO PENDIENTE,
Sea A ⊆ R un abierto, sea F
y sea x0 ∈ A. Para cada x ∈ A sea γx ⊆ A un camino recticable suave a trozos. Supongamos que
γx va de x0 a x. Entonces la función
ϕ :A −→ R
Z
x 7−→ F~ · d~s
γx

es diferenciable en A y además
~
∇ϕ(x) = F~ (x), ∀x ∈ A
Demostración. Sea x∈A y sea r>0 tal que B(x, r) ⊆ A. Sea y∈R un vector unitario, entonces

x + hy ∈ B(x, r), ∀h ∈] − r, r[
Como la integral de línea de F~ no depende del camino, entonces
Z
ϕ(x + hy) − ϕ(x) = F~ · d~s,
δ

donde δ⊆A es un camino que va de x a x + hy .

Falta por copiarla del video PENDIENTE . 
Teorema 4.2 (Denición). Lo siguiente es equivalente para un campo vectorial F~ y un abierto
n
A⊆R .

i) La integral de línea de F~ no depende del camino en A.

ii) Existe una función ϕ : A −→ R tal que F~ = ∇ϕ

~

iii) Si γ es un camino cerrado en A, entonces

Z
F~ · d~s = 0
γ

Si F~ cumple con alguna de estas propiedades, decimos que F~ es un campo conservativo.

Demostración. Explica las razones (faltan por copiar PENDIENTE) por las que es inmediato
que todas las implicaciones se cumplen, excepto por (ii) =⇒ (iii).
Sea γ : [a, b] −→ A un camino cerrado. Tenemos lo siguiente
Z Z b D   E
F~ · d~s = ~ ◦ γ (t) ∇γ(t)
∇ϕ ~ dt
γ a
Z b
= Dϕ(γ(t)) · γ 0 (t) dt
a
b
= ϕ(γ(t))

a
= ϕ(γ(b)) − ϕ(γ(a))
=0
Porque γ es un camino cerrado, entonces γ(a) = γ(b). 

59
 Un problema interesante es tratar de identicar cuando un campo vectorial dado es conservativo
o no.

Proposición 25.
i) Un campo vectorial C
1
F~ : R2 −→ R2 , con F~ (x, y) = (f1 , f2 ) es conservativo si y sólo si

∂f1 ∂f2
=
∂y ∂x

ii) Un campo vectorial C

1
F~ de R3 es conservativo si y sólo si

~ × F~ = 0
∇

Demostración. Ejercicio PENDIENTE . 

60
 Aquí empieza el vídeo 2021 12 01
Un resumen de lo que se vio la clase pasada sobre campos vectoriales conservativos PEN-
DIENTE
Teorema 4.3 (Teorema de la Curva de Jordan). Si γ ⊆ R es una curva recticable sin
autointersecciones y cerrada, entonces R2 \γ tiene dos componentes conexas, más aún, una de esas
componentes es acotada y la otra es no acotada. Este teorema se ilustra en la gura 2, donde
2
Int (γ) es la región acotada de R \γ

Denición 30. Una curva de Jordan regular , o simplemente curva regular , es una curva
γ⊆R recticable, suave a trozos, sin autointersecciones y cerrada.

Teorema 4.4 (Teorema de Green). Sea γ una curva regular y seanf, g : A −→ R dos funciones
1 2
de clase C , donde A⊆R es un abierto tal que γ⊆Ay Int (γ) ∩ A es simplemente conexo. Si γ
es orientada positivamente y S = Int (γ), entonces
Z Z  
∂g ∂f
(f, g) · d~s = − dxdy
γ S ∂x ∂x
Ejemplo 14. Sea F~ : R2 \{(0, 0)} −→ R2 el campo vectorial dado por
 
y x
F~ (x, y) = , −
x2 + y 2 x2 + y 2
Calcular la integral de línea de F~ a lo largo de la circunferencia unitaria.
Solución.Usando la parametrización usual para nuestra curva C , tenemos:
ϕ(t) = (cos t, sen t), t ∈ [0, 2π]
Z Z 2π D  E
F~ · d~s = ~ ~
F ◦ ϕ(t) ∇ϕ(t) dt
C 0
Z 2π   
sen t cos t 
~
= ,−  ∇ϕ(t) dt
0 sen2 t + cos2 t sen2 t + cos2 t 
Z 2π
= h (sen t, − cos t)| (− sen t, cos t)i dt
0
Z 2π
− sen2 t − cos2 t dt


=
Z0 2π
= (−1)dt
0
2π
= −t

0
= −2π
Por otro lado

∂f1
∂x
Ejemplo 15. Hallar el trabajo hecho por la fuerza

F~ (x, y) = (x2 + y 2 , 2xy)

a lo largo de la circunferencia unitaria.

61
 Aquí empieza el video 2021 12 02

Teorema 4.5 (Teorema de Green). Si tal y tal...entonces esto y lo otro.

Demostración. Sea γ una curva regular y sea S = Int (γ). Notemos que S es Jordan-medible y
entonces... Z
= f2 (y)
γ
Z   Z
∂f1
− d(x, y) = f1 dx
S ∂x γ
Sin perder generalidad podemos suponer que γ = α∪β = ζ∪η , donde α, β : [a, b] −→ R2 y
ζ, η : [c, d −→ R2 ] tales que
α(a) = β(a), α(b) = β(b)
ζ(a) = η(a), ζ(b) = η(b)
α(]a, b[) ∩ β(]a, b[) = ∅
ζ(]a, b[) ∩ η(]a, b[) = ∅
Esto implica que S = {(x, y) : x ∈ [a, b], y ∈ [α(a), α(b)]} y por otro lado S = {(x, y) : y ∈ [c, d]}.
Podemos aplicar el Teorema de Fubini para obtener lo siguiente:
Z  
∂f1
− =
S ∂dx
Z b
= (f1 (x, α(x)) − f1 (x, β(x))) dx
a
Z b Z b
= f1 (x, α(x))dx − f1 (x, β(x))dx
a a
Como γ = α ∪ β, entonces
Z Z Z
f1 dx = f1 dx − f1 dx
γ α β

En efecto, pensemos en α como su propia parametrización:

α(x) = (x, α(x))

α0 (x) = (a, α0 (x))
Esto implica que
Z Z b
f1 dx = f1 (α(x)) · α0 (x) dx
α a
Z b
= f1 (x, α(x)) dx
a
De manera similar obtenemos la otra integral
Z Z b
f1 dx = f1 (x, β(x)) dx
β a

A cada apunto de una variedad se le puede asociar un espacio tangente. Una bandera es una
cadena de un espacio vectorial, donde la dimensión de cada espacio va aumentando. Una supercie
es una variedad de dimensión 2.

62
 Aquí empieza el video 2021 12 06

Proposición 26. R3 una supercie. Supongamos que existe una parametrización ϕ :

Sea S ⊆
1
U −→ S U ⊆ R2 es una región acotada. Sea f : S −→ R, sea R un rectángulo
de clase C , donde
2
en R que contiene a U y sea Ṗ ∈ P(R). Si el rectángulo T ∈ P está contenido en U , entonces
0
existe un plano tangente a S en ϕ(u, v), digamos T , donde (u, v) es la etiqueta de T .

T 0 = Dϕ (u, v)(T )
Denición 31. Si existe el límite de
X
S(f, P, ϕ) = f ◦ ϕ(u, v) · m(T 0 )
T ∈P

cuando width(P ) → 0, entonces decimos que f es integrable en S , y este límite lo denotamos por
Z
f · dϕ(S)
S

Proposición 27.
i) Si f es integrable en S , con respecto a ϕ entonces
Z Z
∂ϕ ∂ϕ
f · dϕ(S) = × · f ◦ ϕ(u, v) dudv
U ∂u ∂v

S

ii) La integral de f en S no depende de la parametrización. Si ϕ y ψ son dos parametrizaciones

de S, entonces Z Z
f · dϕ(S) = f · dψ(S)
S S
Por ello, escribiremos la integral de f en S únicamente como
Z
f · dS
S

iii) Si existen las integrales de f y g en S, entonces existe la integral de cualquier combinación

lineal entre ellas y además
Z Z Z
(αf + g) · dS = α f · dS + g · dS
S S S

iv) Si f es continua en S entonces f es integrable en S.

Demostración. Ejercicio PENDIENTE. 
Denición 32. Sea S ⊆ R3 una supercie y sea F~ : S −→ R3 un campo vectorial. Si existe la
integral Z D  E
F~  ~n · dS

S

donde ~n es un vector normal unitario de S , entonces decimos que F~ es integrable en S y denotamos

su integral por Z Z D  E Z D  E
F~ · dS
~= F~  ~n · dS = F~  dS
  ~
S S S

63
 Aquí empieza el video 2021 12 09

Ejemplo 16.
i) Calcular la integral de supercie

Z p
4x2 + 4y 2 + 1 dS
S

Donde S es la región del paraboloide z = x2 + y 2 debajo del plano y = z.

Figura 8: Región a integrar del paraboloide, también vista por debajo del plano z = 0.

Tenemos la siguiente parametrización:

  
1 1
ϕ:B 0, , −→ S
2 2
ϕ(x, y) = (x, y, x2 + y 2 )

En efecto, sea D = {(x, y) ∈ R2 : (x, y, x2 + y 2 ) ∈ S}, entonces los puntos de D satisfacen:

x2 + y 2 ≤ y

Consideremos la ecuación x2 + y 2 = y , completando el cuadrado tenemos lo siguiente:

x2 + 2xy + y 2 = y(2x + y)

(0, 21 ) y radio
La cual es la ecuación de la circunferencia con centro en
1
2
. Es fácil ver que

  
2 2 1 1
x + y ≤ y ⇐⇒ (x, y) ∈ B 0, ,
2 2

Teniendo esta parametrización

∂ϕ
= (1, 0, 2x)
∂x
∂ϕ
= (0, 1, 2y)
∂y

64
Luego
∂ϕ ∂ϕ
× = (−2x, −2y, 1)
∂x ∂y

∂ϕ ∂ϕ p
2 2
∂x × ∂y = 4x + 4y + 1

Entonces la integral toma la forma:

Z p Z p 2
2 2
4x + 4y + 1dS = 4x2 + 4y 2 + 1 dxdy
S B((0,1/2),1/2)
Z
4x2 + 4y 2 + 1 dxdy


=
B((0,1/2),1/2)

Usando coordenadas polares obtenemos que:

= lı́m
|θ|

65