Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lı́mites y Continuidad
Na (f ) = {~x ∈ D ; f (~x) = a} ⊆ Rn .
Ejemplo 1. Para la función f : R2 → R dada por f (x, y) = x2 + y 2 = k(x, y)k2 , se tiene que
Na (f ) = ∅ si a < 0 y Na (f ) = {(x, y) ; x2 +y 2 = a} cuando a ≥ 0, es decir, una circunferencia
√
de radio a centrada en el origen de R2 . En la Figuras 1a y 1b se presentan el grafo de f
(que es un subconjunto de R3 ) y los conjuntos de nivel para a = 1, 6, 10 de f (subconjuntos
de R2 ), respectivamente.
N10 (f )
2
N6 (f )
N1 (f )
y
1
0 0
−1
0 −10 −5 0 5 10
1 −1 x
(a) Grafo de f (b) Conjuntos de nivel de f
1
2
Observación 1. Notar que, lamentablemente, el grafo de una función se puede dibujar solo
en los casos m = 1 y n = 1 ó 2.
(∀ε > 0)(∃δ > 0) tal que (0 < k~x − ~x0 k < δ) ∧ (~x ∈ D) ⇒ (|f (~x) − `| < ε) ,
Ejemplo 2. Sea f : D ⊆ R2 → R, con D =]0, +∞[ × ]0, +∞[, f (x, y) = (x2 + y 2 ) ln(x2 + y 2 ).
Veamos que lim f (x, y) = 0. Notemos primero que (0, 0) es un punto de acumulación
(x,y)→(0,0)
de D.
Del cálculo en una variable, sabemos que limt→0 t ln(t) = 0, es decir,
∀ε > 0, ∃δ1 > 0 tal que si |t| < δ entonces1 |t ln(t)| < ε.
1Nótese que en el sentido estricto de la definición aquı́ deberı́a decir 0 < |t| < δ y t ∈ D, es decir, 0 < t < δ.
3
√
Ahora estamos en posición de resolver el ejercicio. Fijemos ε > 0. Tomando δ = δ1
p
supongamos que k(x, y) − (0, 0)k = x2 + y 2 < δ. Luego x2 + y 2 < δ 2 = δ1 y, del análisis
en el caso real, podemos concluir que |(x2 + y 2 ) ln(x2 + y 2 )| < ε y el resultado está probado.
Notemos que el δ que hemos encontrado no es más que el cuadrado de δ1 que conocı́amos del
caso real.
sen(x2 + y 2 )
lim = 1.
(x,y)→(0,0) x2 + y 2
Observación 3. Observe que cuando se escribe “ lim~x →~x f (~x)” con f (~x) dado por una
0
fórmula explı́cita (como en el Ejercicio anterior) se debe tener que ~x0 ∈ Der(D) con D el
dominio de f . En el caso del Ejercicio D = R2 \ {(0, 0)} y entonces (0, 0) ∈ Der(D) (pero
(0, 0) ∈
/ D).
lim (f · g)(~x) = `1 `2 .
~x →~x0
f
(c) Si `2 6= 0, el lı́mite de la función existe en ~x0 y
g
f `1
lim (~x) = .
~x →~x0 g `2
Una forma estándar de probar la existencia de un lı́mite sin usar explı́citamente la definición
es encontrar otra función g que acote la cantidad |f (~x) − `| sabiendo a priori que
lim g(~x) = 0.
~x → ~x0
El resultado que sigue (expuesto sin todos los detalles técnicos) explica este argumento.
4
La siguiente propiedad es simple pero útil para saber cuando un lı́mite no existe.
lim f (~x) = `1 .
~x →~x0
~x ∈ C
Es decir, el lı́mite de la función restringida al conjunto C existe y es igual a `1 .
x2
Ejemplo 4. Veamos que el lı́mite de la función f : R2 \{(0, 0)} → R dada por f (x, y) = x2 +y 2
no existe en {(0, 0)}. Sean C1 = {(0, y) ; y ∈ R} y C2 = {(x, x) ; x ∈ R}. Luego, el lı́mite de
f en (0, 0) no existe pues
1
lim f (x, y) = 0 y lim f (x, y) = .
(x,y)→(0,0) (x,y)→(0,0) 2
(x,y)∈C1 (x,y)∈C2
5
x4
Ejemplo 5. Veamos que el lı́mite de la función f : R2 \ {0} → R dada porf (x, y) = y(y−x2 )
no existe. Sean C1 = {(0, y) ; y ∈ R} y C2 = {(x, y) ; y = 2x2 }. Luego, el lı́mite de f en (0, 0)
no existe pues
1
lim f (x, y) = 0 y lim f (x, y) = .
(x,y)→(0,0) (x,y)→(0,0) 2
(x,y)∈C1 (x,y)∈C2
(∀ε > 0)(∃δ > 0) tal que (0 < k~x − ~x0 k < δ) ∧ (~x ∈ D) ⇒ (kf (~x) − f (~x0 )k < ε) ,
El siguiente resultado dice que para calcular el lı́mite de una función vectorial, basta
calcular los lı́mites de las funciones coordenadas.
Entonces
lim f (~x) = ~` ⇔ lim fi (~x) = `i ∀i ∈ {1, 2, . . . , m}.
~x →~x0 ~x →~x0
La proposición siguiente muestra que el lı́mite es estable a la composición.
Entonces
lim g ◦ f (x) = ~`.
~x → ~x0
6
3. Continuidad
(∀ε > 0)(∃δ > 0) tal que (0 < k~x − ~x0 k < δ) ∧ (~x ∈ D) ⇒ (kf (~x) − f (~x0 )k < ε) ,
es decir, si
lim f (~x) = f (~x0 ).
~x →~x0
Se dirá que f es continua en un conjunto A ⊆ Rn si f es continua en ~x para todo ~x ∈ A.
Observación 6.
(a) Notar que hemos definido directamente la continuidad para una función a valores en
Rm puesto que, como observamos antes, basta notar que la norma en R no es más
que el valor absoluto.
(b) En la definición de continuidad se necesita que ~x0 ∈ Der(D) ∩ D, esto debido a que,
además de tener ~x0 ∈ Der(D), el valor de la función en ~x0 debe estar definido.
usando que 2|y| ≥ 0. Luego, dado que lim(x,y)→(0,0) |y| = 0, se tiene lim(x,y)→(0,0) f (x, y) = 0
= f (0, 0).