Tema 1: Límites y continuidad
Matemáticas II
Cédric M. Campos
Universidad Rey Juan Carlos
Curso 2022/2023, Móstoles
1
Conjuntos
Rn
Coordenadas
Funciones
Curvas y superficies paramétricas
Cónicas
Cuádricas
Funciones de varias variables
Límites y continuidad
Límites
Continuidad
2
Conjuntos
Definición (DLE)
conjunto (Del lat. coniunctus.)
6. m. Totalidad de los elementos o cosas poseedores de una propiedad
común, que los distingue de otros; p. ej., los seres vivos.
• Extensión (enumeración)
C ={x1 , x2 , . . . , xn } A ={1, π, manzana, ♣}
• Comprensión (propiedad)
C ={x : P(x)} E ={n : n ∈ N ∧ ∃k ∈ N (n = 2k)}
• Abstracción (imagen)
C ={f(x) : P(x)} E ={2k : k ∈ N}
3
A∪B
• Unión
A B
A ∪ B := {x : x ∈ A ∨ x ∈ B}
{4k : k ∈ N} ∪ {4k + 2 : k ∈ N} = {2k : k ∈ N}
A∩B
• Intersección
A ∩ B := {x : x ∈ A ∧ x ∈ B} A B
{2k : k ∈ N} ∩ {3k : k ∈ N} = {6k : k ∈ N}
• Diferencia A\B
A \ B := {x : x ∈ A ∧ x ∈
/ B}
A B
N \ {2k : k ∈ N} = {2k + 1 : k ∈ N}
4
A
• Complementario
Ā := X \ A =: Ac
Leyes de Morgan (Versión conjuntista)
A B
A ∪ B = Ā ∩ B̄ X \ (A ∪ B) = (X \ A) ∩ (X \ B)
A ∩ B = Ā ∪ B̄ X \ (A ∩ B) = (X \ A) ∪ (X \ B)
A B
5
Rn como conjunto (producto cartesiano)
Rn := R × R × · · · × R := {(x1 , x2 , . . . , xn ) : xi ∈ R ∀i = 1, . . . , n}
| {z } | {z }
n veces n-tupla
Rn como espacio vectorial
Suma vectorial y producto por un escalar (extensión comp. a comp.)
+ : Rn × Rn −→ Rn
(x, y) 7−→ x + y = (x1 + y1 , x2 + y2 , . . . , xn + yn )
· : R × Rn −→ Rn x = (x1 , x2 , . . . , xn )
(λ, x) 7−→ λ · x = (λx1 , λx2 , . . . , λxn ) y = (y1 , y2 , . . . , yn )
Ejemplo
3 · (0, 2, −1) + 2 · (2, −3, 1) = (0, 6, −3) + (4, −6, 2) = (4, 0, −1)
6
Definición (Producto escalar) Ejemplo
x · y := ni=1 xi yi =: hx, yi
P
x = (2, −3, 1) y = (0, 2, −1)
Definición (Norma euclídea) x · y = 0 − 6 − 1 = −7
√ Pn 2 1/2 √ √
kxk := x · x = i=1 xi
kxk = 4 + 9 + 1 = 14
√ √
kyk = 0 + 4 + 1 = 5
Teorema
−7
x · y = kxkkyk cos α α = acos √ = 2.562
14 · 5
Definición (Producto vectorial en R3 ) ~ı ~ȷ ~k
~ı ~ȷ ~k x × y = 2 −3 1 = (1, 2, 4)
x ∧ y := x1 x2 x3 0 2 −1
√ √
y1 y2 y3 kx × yk = 1 + 4 + 16 = 21
r
21
Teorema α = π − asin = 2.562
14 · 5
x × y = (kxkkyk sin α)~n 7
Definición (Norma)
x ∈ Rn 7→ kxk ∈ R es una norma si y sólo si
• kxk ≥ 0 & kxk = 0 ⇐⇒ x = 0 (positiva)
• kλxk = |λ|kxk (homogénea o proporcional)
• kx + yk ≤ kxk + kyk (desigualdad triangular)
8
Definición (p-norma, p ≥ 1)
n
!1/p
p
X
kxkp := |xi |
i=1
• p = 1, norma uno
n
X
kxk1 = |xi |
i=1
• p = 2, norma euclídea
n
!1/2
x2i
X
kxk2 =
i=1
• p = ∞, norma infinito
kxk∞ = máx |xi |
i=1,...,n 9
Rn como espacio afín
Conjuntos de puntos con una nueva operación: el vector que los une.
−
→
(P, Q) ∈ Rn × Rn 7−→ PQ ∈ Rn
−
→
1. P + PQ = Q (traslación)
−
→
2. PQ = 0 ⇔ P = Q (inyectividad)
−
→ −
→
3. PQ = −QP (simetría)
−
→ −→ − →
4. PQ + QR = PR (regla de Chasles)
−
→ − → → −
− →
5. PQ = RS ⇔ PR = QS (regla del paralelogramo)
Ejemplo
(0, 2, −1) + (2, −3, 1) = (2, −1, 0) (0, 2, −1) + 2 · (2, −3, 1) = (4, −4, −1)
| {z } | {z } | {z } | {z } | {z } | {z }
punto vector punto punto vector punto
10
Definición (Norma)
x ∈ Rn 7→ kxk ∈ R es una norma si y sólo si
• kxk ≥ 0 & kxk = 0 ⇐⇒ x = 0 (positiva)
• kλxk = |λ|kxk (homogénea o proporcional)
• kx + yk ≤ kxk + kyk (desigualdad triangular)
Definición (Distancia)
(x, y) ∈ Rn × Rn 7→ d(x, y) ∈ R es una distancia si y sólo si
• d(x, y) ≥ 0 & d(x, y) = 0 ⇐⇒ x = y (positiva)
• d(x, y) = d(y, x) (simetría)
• d(x, z) ≤ d(x, y) + d(y, z) (desigualdad triangular)
−
→ −
→
Nota: d(P, Q) := kPQk dp (P, Q) := kPQkp
11
Definición (Bola de centro x0 ∈ Rn y radio > 0)
• Abierta: B(x0 ; ) := {x ∈ Rn : d(x, x0 ) < }
• Cerrada: B̄(x0 ; ) := {x ∈ Rn : d(x, x0 ) ≤ }
• Reducida: B∗ (x0 ; ) := B(x0 ; ) \ {x0 } & B̄∗ (x0 ; ) := B̄(x0 ; ) \ {x0 }
Definición (Topología)
:
• A ⊆ Rn abierto ⇐⇒ ∀x ∈ A ∃ > 0 : B(x; ) ⊆ A
:
• C ⊆ Rn cerrado ⇐⇒ A = Rn \ C abierto
Teorema
A ⊆ Rn abierto ⇐⇒ A =
[
B(xi , i )
i∈I
12
Definición (Lugares topológicos)
• Interior:int(A) := {x ∈ A : ∃ > 0 : B(x; ) ⊆ A} =: Å
• Adherencia: ad(A) := Rn \ int(Rn \ A) =: Ā
• Frontera: fr(A) := ad(A) ∩ ad(Rn \ A) =: ∂A
Nota:
• El interior de A es el abierto más grande contenido en A.
• La adherencia de A es el cerrado más pequeño conteniendo a A.
• La frontera de A es lo que separa a A de su complementario.
Teorema
int(A) ∩ fr(A) = ∅ & int(A) ∪ fr(A) = ad(A)
Corolario
int(A) = ad(A) \ fr(A) & fr(A) = ad(A) \ int(A)
13
Definición
• Acumulación: acc(A) := {x ∈ Rn : ∀ > 0 : B∗ (x; ) ∩ A 6= ∅}
• Aislados: iso(A) := ad(A) \ acc(A)
Nota:
• Los puntos de acumulación de A están «pegados» a otros puntos de A.
• Los puntos aislados de A son aquellos que están «solos».
Teorema
acc(A) ∩ iso(A) = ∅ & acc(A) ∪ iso(A) = ad(A)
Corolario
acc(A) = ad(A) \ iso(A) & iso(A) = ad(A) \ acc(A)
14
• Coordenadas cartesianas
P = (x1 , . . . , xn ) ∈ Rn xi proyección i-ésimo eje
= O + x1~e1 + · · · + xn~en O origen, {~ei } base
= O0 + y1~f1 + · · · + yn~fn O0 origen, {~fi } base
• Coordenadas polares en R2 : r ≥ 0, θ ∈ [−π, π]
polares → cartesianas cartesianas → polares
x = r cos θ r2 = x2 + y2
y = r sin θ tan θ = yx
15
• Coordenadas cilíndricas en R3 : r ≥ 0, θ ∈ [−π, π], z̄ ∈ R
cilíndricas → cartesianas cartesianas → cilíndricas
x = r cos θ r2 = x2 + y2
y = r sin θ tan θ = yx
z = z̄ z̄ = z
• Coordenadas esféricas en R3 : ρ ≥ 0, θ ∈ [−π, π], φ ∈ [0, π]
esféricas → cartesianas cartesianas → esféricas
x = ρ sin φ cos θ ρ2 = x2 + y2 + z2
y = ρ sin φ sin θ tan θ = yp
x
x2 +y2
z = ρ cos φ tan φ = z
16
Funciones
Definición (Elipse de focos F1 , F2 ∈ R2 )
E = {P ∈ R2 : dist(P, F1 ) + dist(P, F2 ) = cte.}
x2 y2
+ =1
a2 b 2
• Focos
√
• a ≥ b: (± a2 − b2 , 0)
√
• a ≤ b: (0, ± b2 − a2 )
• Vértices: (±a, 0), (0, ±b)
• Paramétrica: t 7→ (a cos t, b sin t)
17
Definición (Hipérbola de focos F1 , F2 ∈ R2 )
H = {P ∈ R2 : |dist(P, F1 ) − dist(P, F2 )| = cte.}
x2 y2
− =1
a2 b 2
√
• Focos: (± a2 + b2 , 0)
• Vértices: (±a, 0)
• Paramétrica: t 7→ (±a cosh t, b sinh t)
18
Definición (Parábola de foco F ∈ R2 y directriz r ⊂ R2 )
P = {P ∈ R2 : dist(P, F) = dist(P, r)}
x2 = 4cy
• Directriz: y = −c
• Vértice: (0, 0)
• Orientación
• c > 0: convexa
• c < 0: cóncava
• Paramétrica: t 7→ (2 |c|t, ±t2 )
p
19
Límites y continuidad
Definición
Sean F : D ⊂ Rm → Rn , x0 ∈ acc(D), L ∈ Rn .
:
∃ lı́m F(x) := L ⇐⇒ ∀ > 0 ∃δ > 0 0 < d(x0 , x) < δ ⇒ d(L, F(x)) <
x→x0
Nota: F no necesita estar definida en x0 , [Link]. F(x) = xx .
Teorema
∃ lı́m F(x) =⇒ ∃!L ∈ Rn : lı́m F(x) = L
x→x0 x→x0
Teorema
Si F(x) = (f1 (x), . . . , fn (x)), L = (L1 , . . . , Ln ), entonces
lı́m F(x) = L ⇐⇒ lı́m fi (x) = Li ∀i = 1, . . . , n
x→x0 x→x0
Nota: En adelante, asumimos en general n = 1. 20
Teorema
Si ∃ lı́m f(x) & ∃ lı́m g(x), entonces:
x→x0 x→x0
• ∃ lı́m αf(x) = α lı́m f(x) ∀α ∈ R
x→x0 x→x0
• ∃ lı́m f(x) + g(x) = lı́m f(x) + lı́m g(x)
x→x0 x→x0 x→x0
• ∃ lı́m f(x) · g(x) = lı́m f(x) · lı́m g(x)
x→x0 x→x0 x→x0
f(x) lı́mx→x0 f(x)
• lı́m g(x) 6= 0 ⇒ ∃ lı́m =
x→x0 x→x0 g(x) lı́mx→x0 g(x)
21
Ejemplo
5x2 y 5
f(x, y) = lı́m f(x, y) =
x2 + 3y2 (x,y)→(1,1) 4
lı́m(x,y)→(1,1) (5x2 y) 5(lı́m x)2 (lı́m y) 5
lı́m f(x, y) ¿=? ¿=? . . . ¿=? ¡=!
(x,y)→(1,1) lı́m(x,y)→(1,1) (x2 + 3y2 ) 2
(lı́m x) + 3(lı́m y) 2 4
| {z } | {z }
6=0 lı́m=lı́m(x,y)→(1,1)
22
Sea f : D ⊆ R2 → R.
Definición: límites iterados
L1 := lı́m lı́m f(x, y) L2 := lı́m lı́m f(x, y)
x→x0 y→y0 y→y0 x→x0
| {z } | {z }
f1 (x) f2 (y)
• ∃fi & 6 ∃Li : el límite iterado no existe pese a poder estudiarse.
• 6 ∃fi ⇒6 ∃Li : el límite iterado no existe ya que ni puede estudiarse.
Teorema
∃ lı́m f(x, y) = L & ∃fi =⇒ ∃Li = L
(x,y)→(x0 ,y0 )
Corolario (contrarrecíproco)
∃f1 & 6 ∃L1 ∨ ∃f2 & 6 ∃L2 ∨ L1 6= L2 f(x, y)
=⇒ 6∃ lı́m
(x,y)→(x0 ,y0 )
23
Ejemplo
x−y lı́m(x,y)→(1,1) (x − y)
L= lı́m = =0
(x,y)→(1,1) x2
+y −12 lı́m(x,y)→(1,1) (x2 + y2 − 1)
x−y x−1
L1 = lı́m lı́m 2 = lı́m 2 = 0
x→1 y→1 x + y2 − 1 x→1 x
x−y 1−y
L2 = lı́m lı́m 2 2
= lı́m 2 = 0
y→1 x→1 x + y − 1 y→1 y
Ejemplo
x3 + y2
L1 = lı́m lı́m 2 = lı́m x = 0
x3 + y2 x→0 y→0 x + y3
x→0
L= lı́m = ?¿ 6 ∃L
(x,y)→(0,0) x2 + y3 x3 + y2 1
L2 = lı́m lı́m 2
= lı́m =6 ∃
y→0 x→0 x + y3
y→0 y
24
Definición: límite direccional
Sean f : D ⊆ Rm → R y φ : I ⊂ R → D t.q. lı́mt→t0 φ(t) = x0 .
Lφ := lı́m (f ◦ φ)(t)
t→t0
Teorema
∃ lı́m f(x) = L =⇒ ∃Lφ = L ∀φ
x→x0
Nota 1: Recíproco cierto, pero no práctico.
Nota 2: Los límites iterados son, en general (no siempre), límites direccionales.
Corolario (contrarrecíproco)
lı́m (f ◦ φ)(t) ∧ 6 ∃Lφ ∨ Lφ 6= Lψ =⇒ 6 ∃ lı́m f(x)
t→t0 x→x0
25
Ejemplo
xy
L1 = lı́m lı́m 2 = lı́m 0 = 0
xy x→0 y→0 2x + 3y3
x→0
lı́m = L
2
(x,y)→(0,0) 2x + 3y 3 xy
L2 = lı́m lı́m 2 0 0
= lı́m =
y→0 x→0 2x + 3y3
x→0
6 ∃L
t3 t2 1
φ(t) = (t3 , t2 )
lı́m 6 = lı́m =6 ∃
t→0 2t + 3t6 t→0 5t
2/3
xx 1
3 2
y =x lı́m 2 = lı́m =6 ∃
x→0 2x + 3x 2 t→0 5x 1/3
26
Teorema: criterio del sándwich
i(x) ≤ f(x) ≤ s(x) ∀x ∈ B∗ (x0 ; )
=⇒ ∃ lı́m f(x) = L
x→x0
& ∃ lı́m i(x) = L = ∃ lı́m s(x)
x→x0 x→x0
Ejemplo
xy3
f(x, y) = lı́m f(x, y) ¿=? 0
x2 + y4 (x,y)→(0,0)
1 3
|xy3 | (x2 + y4 ) 2 · (x2 + y4 ) 4
0≤ ∀(x, y) ∈ B∗ (0, 0);
≤
x2 + y4 x2 + y4
1 3
& lı́m 0=0= lı́m (x2 + y4 ) 2 + 4 −1
(x,y)→(0,0) (x,y)→(0,0)
27
Teorema
∃ lı́m f(x) = 0 & g acotada en B∗ (x0 ; ) ∃ lı́m f(x) · g(x) = 0
=⇒
x→x0 x→x0
Ejemplo
5x2 y
f(x, y) = lı́m f(x, y) ¿=? 0
x2 + 3y2 (x,y)→(0,0)
x2 x2 + 3y2
5y = 0 =1 ∀(x, y) ∈ B∗ (0, 0);
lı́m & ≤
(x,y)→(0,0) x2 + 3y2 x2 + 3y2
28
Teorema: criterio de la función mayorante
lı́m f(x, y) = L ⇐⇒ ∃F : [0, R[ → R lı́m+ F(r) = 0 &
(x,y)→(x0 ,y0 ) r→0
|f(x0 + r cos θ, y0 + r sin θ) − L| ≤ F(r) ∀r ∀θ
Nota: Puede entenderse como una aproximación radial uniforme.
Ejemplo
x3 + 3y3
lı́m =0
(x,y)→(x0 ,y0 ) x2 + y2
polares
x3 + 3y3 ↓ r3 | cos3 θ + 3 sin3 θ|
−0 = ≤ r(| cos3 θ| + 3| sin3 θ|) ≤ 4r −→+ 0
x2 + y2 r2 (cos2 θ + sin2 θ) r→0
29
Definición
Sean F : D ⊂ Rm → Rn , x0 ∈ D.
F ∈ C 0 (x0 )
:
⇐⇒ lı́m F(x) = F(x0 )
x→x0
C 0 (D) := {F : D ⊂ Rm → Rn : F ∈ C 0 (x) ∀x ∈ D}
Teorema
Sean F : D ⊂ Rm → Rn , G : C ⊂ Rn → Rp , x0 ∈ D, y0 ∈ C : y0 = F(x0 ).
F ∈ C 0 (x0 ) & G ∈ C 0 (y0 ) =⇒ G ◦ F ∈ C 0 (x0 )
Teorema
Si F(x) = (f1 (x), . . . , fn (x)), entonces
F ∈ C 0 (x0 ) ⇐⇒ fi ∈ C 0 (x0 ) ∀i = 1, . . . , n
30
Teorema
Sean f, g : D ⊂ Rm → R y x0 ∈ D. Si f, g ∈ C 0 (x0 ), entonces:
• αf ∈ C 0 (x0 ) ∀α ∈ R
• f + g ∈ C 0 (x0 )
• f · g ∈ C 0 (x0 )
f
• g(x0 ) 6= 0 ⇒ g ∈ C 0 (x0 )
Ejemplo
5x2 y
(x, y) 6= (0, 0)
f(x, y) = x2 + 3y2 f ∈ C 0 (R2 )
0 (x, y) = (0, 0)
31
Teorema
Sea f : D ⊂ Rm → Rn .
f ∈ C 0 (D) & D conexo =⇒ f(D) conexo
Nota: Un conj. conexo en dim. 1 es un intervalo. Generaliza el TVI.
Teorema: Weierstraß
Sea f : D ⊂ Rm → R.
f ∈ C 0 (D) & D compacto =⇒ ∃ mı́n f(x) & ∃ máx f(x)
x∈D x∈D
Ejemplo
Consideremos D = [−2, 2] × [−2, 2] = B̄∞ (0, 0); 2 .
5x2 y
|f(x, y)| ≤ ≤ 5|y| ≤ 10 =⇒ f([−2, 2]2 ) ⊆ [−10, 10]
x2 + 3y2 32
Copyleft 2020-2023, All Lefts Reversed
Esta presentación fue escrita por Cédric M. Campos durante la pandemia de
coronavirus (COVID-19) para el curso de «Matemáticas II» impartido a
estudiantes de grado de diferentes carreras en la Universidad Rey Juan Carlos.
cba
Esta obra está bajo una licencia Atribución-CompartirIgual 4.0 Internacional (CC
BY-SA 4.0).