Universidad Nacional de Ingeniería

Facultad de Ciencias

Escuela Profesional de Matemática

2021-1

Cálculo diferencial e integral avanzado

Sesión 02

Septiembre 5, 2021

1/27
Sesión 02: Indice

1. Punto de acumulación y punto aislado

2. Limites - Teoremas

3. Algebra de límites

4. Continuidad: Definición — Teoremas.

2/27
 Punto de acumulación y punto
aislado

1. Punto de acumulación y punto aislado 3/27

 Extenderemos a las funciones vectoriales de variable real el con-
cepto de límite que se tiene para una función real de variable real.
Inicialmente definiremos qué es punto de acumulación y punto
aislado.

Definición 1 (punto de acumulación)

 ∈ R es punto de acumulación del conjunto X ⊂ R si

∀ϵ > 0 : (] − ϵ,  − ϵ[\{}) ∩ X 6= ∅

Notación:

B(, ϵ) =] − ϵ,  − ϵ[= { ∈ R|| − | < ϵ}

1. Punto de acumulación y punto aislado 4/27

 Ejemplo
Halle los puntos de acumulación del conjunto X = {2} ∪ [3, 4〉

Resolución:

 = 2 no es punto de acumulación. No lo es porque

1
∃ϵ = 1/ 2; tal que (B(2, ) \ {2}) ∩ X = ∅
2
 = 3 sí es punto de acumulación. Lo es porque se cumple

∀ϵ > 0, (B(3, ϵ) − {3}) ∩ X 6= ∅

1. Punto de acumulación y punto aislado 5/27

 Todo  ∈ 〈3, 4〉 es punto de acumulación, porque

∀ϵ > 0 : B(, ϵ) \ {} ∩ X 6= ∅

 = 4 sí es punto de acumulación, aun cuando 4 no es elemento

de X. Lo es porque

∀ϵ, B(4, ϵ) − {4} ∩ X 6= ∅

Por tanto, el conjunto X 0 = [3, 4] forman los puntos de acumu-

lación de X.

1. Punto de acumulación y punto aislado 6/27

 Definición 2 (punto aislado)
 ∈ X es punto aislado de X si

∃ϵ > 0 : (B(, ϵ) − {}) ∩ X = ∅

Ejemplo 1
 = 2 es un punto aislado de X = {2} ∪ [4, 5〉. Lo es porque  ∈ X
y porque
1 1
∃ϵ = tal que B(2, ) \ {2} ∩ X
2 2

1. Punto de acumulación y punto aislado 7/27

 Límites - Teoremas

2. Límites - Teoremas 8/27

 Definición 3 (límites)
Sea ƒ : X ⊂ R −→ Rn una función definida en un conjunto X ⊂ R, y
 un punto de acumulación X.

Se dice que L = (L1 , L2 , . . . , Ln ) ∈ Rn es el límite de la función ƒ en

el punto  si

∀ϵ > 0, ∃δ > 0/ ∀t ∈ X, 0 < |t − | < ϵ : kƒ (t) − Lk < ϵ

Notación

kƒ (t) − Lk = k(ƒ1 (t), . . . , ƒn (t)) − (L1 , . . . , Ln )k

q
= (ƒ1 (t) − L1 )2 + · · · + (ƒn (t) − Ln )2

2. Límites - Teoremas 9/27

 No dudamos de que usted amigo lector tiene habilidades para el
cálculo de límites, pero, a esta altura, queremos estár seguros de
que usted tenga también habilidades para probar la validez de su
cálculo. Después de todo, una cosa es calcular un límite y otra es
probarlo. Esto último es lo que queremos reforzar.

2. Límites - Teoremas 10/27

 Observación 1
Sugerimos seguir cuatro pasos cada vez que se pida la prueba de
un límite: el primero consiste en tomar ϵ > 0 de manera
arbitraria; el segundo, en encontrar δ > 0 dependiente de ϵ; en
el tercero, se toma un elemento arbitrario t del dominio de la
función, pero condicionado por la desigualdad 0 < |t − | < δ;
luego, en el cuarto y último paso, se debe hacer notar que
dicho valor que se ha tomado verifica la desigualdad
kƒ (t) − Lk < ϵ.

2. Límites - Teoremas 11/27

 Ejemplo 2
Demostrar que
lim (3t, t 2 ) = (6, 4)
t→2

Demostración: Dado ϵ > 0 debemos demostrar que existe

de δ > 0 de modo que todo elemento t ∈ Dom(ƒ ) = R con la
condición |t − 2| < δ debe satisfacer la desigualdad

k(3t, t 2 ) − (6, 4)k < ϵ

Considerando que

k(3t, t 2 ) − (6, 4)k = [ (3t − 6)2 + (t 2 − 4)2 ] 1/ 2 ,

2. Límites - Teoremas 12/27

 notamos que si δ > 0 fuera tal que
ϵ ϵ
0 < |t − 2| < δ =⇒ |3t − 6| < p y |t 2 − 4| < p
2 2
tendríamos que

”€ ϵ Š2 € ϵ Š2 —1/ 2
k(3t, t 2 ) − (6, 4)k < p + p =ϵ
2 2
ϵ
Como limt→2 3t = 6, existe δ1 = p de modo que todo 0 < |t− 2| <
3 2
ϵ
δ1 = p satisface
3 2
ϵ
|3t − 6| < p
2

2. Límites - Teoremas 13/27

 Por otra parte, del hecho que limt→2 t 2 = 4 se deduce la existencia
de δ2 > 0, por ejemplo
ϵ
δ2 = min{1, p }
3 2
tal que
ϵ
0 < |t − 2| < δ2 =⇒ |t 2 − 4| < p
2
Luego si tomamos δ = min{δ1 , δ2 }, tenemos que todo t ∈ Dom(ƒ )
con la condición 0 < |t − 2| − δ
es tal que
€ Š1/ 2 € ϵ Š2 € ϵ Š2 ˜1/ 2
2 2
k(3t, t ) − (6, 4)k = (3t − 6) + (t − 4) < p + p =ϵ
2 2

2. Límites - Teoremas 14/27

 Teorema 1
Sea X ⊂ R y ƒ : X ⊂ R → Rn una función, y  un punto de
acumulación del X. Entonces,

lim ƒ (t) = L ⇐⇒ ∀ = 1, . . . , n : lim ƒ (t) = L

t→ t→

Demostración:[=⇒]. Asumiendo que limt→ ƒ (t) = L, vamos a

demostrar que limt→ ƒ (t) = L , cualquiera que sea  = 1, . . . , n.
En efecto: dado ϵ > 0, existe δ > 0 de modo que
n
X 1/ 2
kƒ (t) − Lk = (ƒ (t) − L )2 <ϵ
=1

siempre que t ∈ Domƒ ∧ 0 < |t − | < δ De lo anterior resulta

2. Límites - Teoremas 15/27

 n
€X Š1/ 2
kƒ (t) − Lk ≤ kƒ (t) − Lk = (ƒ (t) − L )2 <ϵ
=1

siempre que t ∈ X ⊂ Domƒ y 0 < |t − | < δ, cualquiera que sea

 = {1, 2, . . . , n}.
Por tanto, para todo  = 1, 2, . . . , n se tiene

lim ƒ (t) = L
t→

2. Límites - Teoremas 16/27

 [⇐=] Si todo  = 1, . . . , n es tal que limt→ ƒ (t) = L , vamos a de-
mostrar que limt→ ƒ (t) = L.
En efecto: siendo ϵ > 0, existe, para cada  = 1, . . . , n, δ > 0 de
modo que
ϵ
t ∈ Dom(ƒ ) ∧ 0 < |t − | < δ =⇒ |ƒ (t) − L | <
n
Tomando δ = min{δ1 , . . . , δn } tenemos que todo t ∈ Domƒ1 ∩ · · · ∩
Domƒn = Domƒ y 0 < |t − | < δ se tiene que
n
€X Š1/ 2 n
€X ϵ Š1/ 2
kƒ (t)− Lk = (ƒ (t)− L )2 < ( p )2 =ϵ
=1 =1
n

2. Límites - Teoremas 17/27

 Observación 2

lim(ƒ1 (t), ƒ2 (t), . . . , ƒn (t)) = (L1 , L2 , . . . , Ln )

= (lim ƒ1 (t), . . . , lim ƒn (t))

t→ t→

2. Límites - Teoremas 18/27

 Álgebra de límites

3. Álgebra de límites 19/27

 Teorema 2
Sean ƒ y g funciones de variable vectorial tq limt→ ƒ (t) = L y
limt→ g(t) = M y  es punto de acumulación Domƒ ∩ Domg.
Entonces:

lim (ƒ (t) + g(t)) = lim ƒ (t) + lim g(t) = L + M

t→ t→ t→

lim (ƒ (t) − g(t)) = lim ƒ (t) − lim g(t) = L − M

t→ t→ t→

lim (ƒ (t) · g(t)) = lim ƒ (t) · lim g(t) = L · M

t→ t→ t→

lim (ƒ × g)(t) = lim ƒ (t) × lim g(t)

t→ t→ t→

3. Álgebra de límites 20/27

 Demostración: Probemos solo la primera afirmación. Las otras
quedan como ejercicio. En efecto: sean

ƒ (t) = (ƒ1 (t), ƒ2 (t), . . . , ƒn (t)),

g(t) = (g1 (t), g2 (t), . . . , gn (t)).

tenemos

lim (ƒ (t) + g(t)) = lim (ƒ1 (t) + g1 (t),

t→ t→

. . . , ƒn (t) + gn (t))

3. Álgebra de límites 21/27

 por teorema:

= (lim (ƒ1 (t) + g1 (t)),

t→

. . . , lim (ƒn (t) + gn (t)))

t→

= (lim ƒ1 (t) + lim g1 (t),

t→ t→

. . . , lim ƒn (t) + lim gn (t))

t→ t→

= (lim ƒ1 (t), . . . , lim ƒn (t))

t→ t→

+ (lim g1 (t), . . . , lim gn (t)

t→ t→

= lim ƒ (t) + lim g(t)

t→ t→

=L+M

3. Álgebra de límites 22/27

 Teorema 3
Sea ƒ una función vectorial y φ una función real, tales que

lim ƒ (t) = L, lim φ(t) = M

t→ t→

Entonces limt→ φ(t)ƒ (t) = limt→ φ(t) · limt→ lim ƒ (t) = ML.

Demostración: Tenemos

lim (φƒ )(t) = lim (φ(t)ƒ1 (t), . . . , φ(t)ƒn (t))

t→ t→

=(lim φ(t) lim ƒ1 (t), . . . , lim φ(t) lim ƒn (t))

t→ t→ t→ t→

= lim φ(t) · lim (ƒ1 (t), ƒ2 (t), . . . , ƒn (t)) = M · L

t→ t→

3. Álgebra de límites 23/27

 Continuidad: Definición — Teoremas

4. Continuidad: Definición — Teoremas 24/27

 Las funciones vectoriales de variable escalar que nos interesa es-
tudiar son las que son continuas en su dominio. La continuidad
de este tipo de funciones se define de la misma manera que en el
caso escalar.

Definición 4 (Continuidad)
Una función vectorial de variable real ƒ : X −→ Rn , definida en un
conjunto X ⊂ R, se dice continua en  ∈ X si

∀ε > 0 : ∃δ > 0/ ∀ t ∈ X, |t − | : |ƒ (t) − ƒ ()| < ε.

Decimos que ƒ es continua si esta es continua en cada punto

 ∈ X.

4. Continuidad: Definición — Teoremas 25/27

 Proposición 1
Una función vectorial ƒ : X −→ Rn es continua en  ∈ X si y solo si
cada una de sus funciones componentes, ƒ : X −→ R con
 ∈ {1, · · · , n}, es continua en .
En particular, si  es punto de acumulación de X, se tiene:

lim ƒ (t) = ƒ () ↔ ∀ = 1, . . . , n : lim ƒ (t) = ƒ ()

t→ t→

4. Continuidad: Definición — Teoremas 26/27

 Teorema 4
Si las funciones vectoriales ƒ y g son continuas en  ∈ X,
entonces son también continuas en dicho punto las funciones:
suma: ƒ + g;
Diferencia: ƒ − g;
Producto escalar: ƒ · g;
Producto vectorial: ƒ × g.
Si además ψ es una función escalar de variable real continua en
 ∈ X, entonces ψλ es continua en .

4. Continuidad: Definición — Teoremas 27/27

 Observación 3
Únicamente en los puntos del dominio de la función sea analiza
la continuidad. Un punto  ∈ X donde se analiza la continuidad
puede ser o no punto de acumulación.

4. Continuidad: Definición — Teoremas 27/27

 Observación 4
Es un error afirmar que una función es continua en un punto  de
su dominio si, y solo si, limt−→ ƒ (t) = ƒ ()

4. Continuidad: Definición — Teoremas 27/27

 Observación 5
La definición de límite es diferente de la de continuidad.

Definición de limite:

∀ε > 0 : ∃δ > 0/ ∀ t ∈ X, 0 < |t − | : |ƒ (t) − ƒ ()| < ε.

Definición de continuidad:

∀ε > 0 : ∃δ > 0/ ∀ t ∈ X, |t − | : |ƒ (t) − ƒ ()| < ε.

4. Continuidad: Definición — Teoremas 27/27