Continuidad

Alberto Castillo

Sección Matemáticas - PUCP

Alberto Castillo Continuidad Sección Matemáticas - PUCP 1 / 16

Continuidad

Entramos al análisis de las llamadas cuestiones locales, es decir, lo que pasa

“cerca” de un punto. Decimos que f : X ⊂ R → Rm está definida cerca de a si
existe un abierto U ⊂ X que contiene a a.

Para funciones de una variable se puede definir continuidad de f : X → R en a

(siempre y cuando f este definida cerca de a) de esta forma:
f es continua en a cuando lı́mx→a− f (x) = lı́mx→a+ = f (a).

Aunque podremos usar lı́mites para definir continuidad en varias variables, en la

práctica esta definición no es asequible para demostrar la continuidad de una
función.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 2 / 16

Continuidad
En R solo existen dos formas de acercarnos hacia un punto a ∈ R: por derecha o
por izquierda. Pero en Rn existe una infinidad de formas de acercarnos hacia un
punto.

Figura: Muchas maneras de acercarse a cero

Alberto Castillo Continuidad Sección Matemáticas - PUCP 3 / 16

Continuidad

La continuidad de f en a se interpreta como “cuando x está cerca de a entonces

f (x) está cerca de f (a)”. Equivalentemente: “pequeños cambios en el dominio,
cerca de a, implican pequeños cambios en la imagen, cerca de f (a)”.
Reinterpretado en términos de bolas abiertas se lee: para todo  > 0 existe δ > 0
tal que x ∈ B(a, δ) implica f (x) ∈ B(f (a), ). Esta es la definición que vamos a
seguir!

Sea f : X ⊂ Rn → Rm una función. Decimos que es continua en a∈ X si para

toda bola B(f (a), ) existe una bola B(a, δ) tal que f (B(a, δ)) ⊂ B(f (a), ). Si
f : X → Rm es continua en todos los puntos x∈ X decimos que es continua.

Nuevamente, como en el caso de una variable, insisto en que la continuidad es

una propiedad de naturaleza local, es decir, provee información únicamente en una
vecindad del punto de análisis.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 4 / 16

Continuidad
La siguiente figura exhiber la definición en términos de bolas: f es continua en a si
para cualquier bola abierta V de centro f (a) puedo encontrar una bola U de
centro a tal que f “emboca” U dentro de V .

Figura: Continuidad

Alberto Castillo Continuidad Sección Matemáticas - PUCP 5 / 16

Continuidad

Practicamente todo lo que sabı́amos sobre funciones reales continuas todavı́a es

válido en el caso de varias variables.

Teorema (preservación de continuidad por operaciones)

Sean f , g : X ⊂ Rn → Rm funciones continuas en a. Entonces las operaciones de
espacio vectorial preservan la continuidad, es decir
f + g es continua en a y,
αf es continua en a para todo α ∈ R.
Pero también:
la composición de funciones continuas es continua, esto es f ◦ g es continua
en a cuando g : Y ⊂ Rn → Rm (con g (Y ) ⊂ X ) es continua en a y
f : X ⊂ Rm → Rp es continua en g (a).

Este par de resultados nos permite asegurar la continuidad de un buen número de

funciones conocidas!

Alberto Castillo Continuidad Sección Matemáticas - PUCP 6 / 16

Continuidad

Ejemplo.    
x 2 2 1
Analice la continuidad de f = ln(x + y ) en a= .
y  0
x
Esta es una composición de g = x 2 + y 2 y h(z) = ln(z). La función g es
y
   
x x
continua en a pues es suma de g1 = x 2 y g2 = y 2 , ambas continuas.
y y
Como sabemos que h es continua en 1 = g (a), se prueba que f es continua en a.

Ejemplo.    
x 0
Pruebe la continuidad de f = e x+y en .
y   0
x
Nuevamente, esto es composición de g = x + y y h(z) = e z . La función g es
    y
x x
suma de g1 = x, g2 = y y ambas son continuas por lo que g lo es
y y
también. Como h es continua se tiene el resultado.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 7 / 16

Continuidad

¿Y qué pasa con la multiplicación y división? Como ya se dijo, estas operaciones

son exclusivas de funciones reales. El siguiente resultado echa luz al respecto.

Preservación de continuidad por operaciones II

Sean f , g : X ⊂ Rn → R funciones continuas en a, entonces
fg es continua en a
f /g es continua en a si g (a) 6= 0.

x 2 ln(y 2 +1)
Ejemplo. La función f (x) = √ es continua en R2 pues es producto de x 2 y
x 2 +1+y 2 √
ln y 2 + 1 (ambas continuas) y luego dividido por la suma de x 2 + 1 y y 2 (ambas
continuas).

Alberto Castillo Continuidad Sección Matemáticas - PUCP 8 / 16

Continuidad

El siguiente teorema será de extrema ayuda.

Teorema
 
f1
La función f =  ...  con dominio X ⊂ Rn es continua en a∈ X si y solo si cada
 

fm
componente fi es continua en a.

Gracias a este teorema la continuidad se reduce a analizar la continuidad de

funciones reales, sean como las del curso anterior o las del tipo f : X ⊂ Rn → R.
sin(t 2 + 1)
 

[Link] la continuidad de f (t) =  et  en t = 0.

ln(t + 1)
Solución. Esto es obvio dado que cada componente f1 (t) = sin(t 2 + 1), f2 (t) = e t
y f3 (t) = ln(t + 1) es una función continua en t = 0.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 9 / 16

Continuidad
De la continuidad se desprenden muchos resultados interesantes a nivel
topológico, aquı́ veremos algunos cuantos. El siguiente tiene consecuencias
bastante significativas, nos dice que una función continua preserva dos
propiedades topológicas esenciales.

Teorema
Sea f : X ⊂ Rn → Rm continua y K ⊂ X compacto (conexo). Entonces f (K ) es
compacto (conexo).

Para el caso de funciones reales esto se reformula en los siguientes teoremas.

Teorema del valor intermedio

Sea f : X → R continua con X conexo de Rn . Si existen a,b∈ X y d ∈ R tal que
f (a) < d < f (b) entonces existe c∈ X tal que f (c) = d.

Teorema de Weierstrass
Sea f : K → R continua con K compacto de Rn . Entonces alcanza puntos de
máximo y mı́nimo global en K .
Alberto Castillo Continuidad Sección Matemáticas - PUCP 10 / 16
Continuidad
Mencioné que es posiible definir continuidad en términos de lı́mites, pero primero
debemos definirlos.
Lı́mites.
Al igual que fue sencillo generalizar la definición de continuidad, también lo es
hacer lo propio con la de lı́mites. Sea f : X ⊂ Rn → Rm una función definida
cerca de a (pero quizá no en a). Decimos que L∈ Rm es el lı́mite de f cuando x
tiende hacia a si para todo  > 0 existe δ > 0 tal que 0 < ||x−a|| < δ implica
||f (x)−L|| < . Escribimos L= lı́mx→a f (x) para designar el lı́mite.

En términos de bolas se replantearı́a de esta forma: para todo punto de

acumulación a y toda bola B(f (a), ) existe una bola B(a, δ) tal que la imagen de
B(a, δ) − {a} (la bola menos su centro), “emboca” dentro de B(f (a), ).

Teorema
Sea f : X → Rm una función definida cerca de a ∈ X . Entonces f es continua en
a si y solo si
lı́m f (x) = f (a).
x→a

Alberto Castillo Continuidad Sección Matemáticas - PUCP 11 / 16

Continuidad

Al igual que para la continuidad, se tiene el siguiente resultado que permite

descomponer el lı́mite de una función vectorial en varios lı́mites de funciones
reales.
Teorema
 
f1
n m  .. 
Sea f : X ⊂ R → R , con f =  . , definida cerca de a (pero quizá no en a).
f
m 
b1
 .. 
Se tiene lı́mx→a f (x) =b con b=  .  ∈ Rm si y solo si lı́mx→a fi (x) = bi .
bm

Nuevamente, solo basta analizar lı́mites de funciones reales f : X ⊂ Rn → R.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 12 / 16

Continuidad

Las siguientes son propiedades sı́miles a las de continuidad.

Teorema (el lı́mite preserva operaciones de espacio vectorial)

Sean f , g : X ⊂ Rn → Rm definidas cerca de a (pero quizá no en a) de modo que
se cumple lı́mx→a f (x) =L, lı́mx→a g (x) =M. Entonces se cumple
lı́mx→a (f (x) + g (x)) =L+M,
lı́mx→a αf (x) = αL para todo α ∈ R.

Teorema
Sean f , g : X ⊂ Rn → R definidas cerca de a (pero quizá no en a) de modo que
se cumple lı́mx→a f (x) = L y lı́mx→a g (x) = M. Entonces se cumple
lı́mx→a (f (x)g (x)) = LM,
f (x) L
lı́mx→a g (x) = M si M 6= 0.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 13 / 16

Continuidad

También puede evaluarse el lı́mite de composición de funciones.

Lı́mite de composición de funciones

Sea f : X ⊂ Rn → Rm , g : Y ⊂ Rm → Rp con f (X ) ⊂ Y con f definida cerca de
a (pero quizá no en a) y g definida cerca de b. Si lı́mx→a f (x) =b y g es continua
en b, entonces lı́mx→a g (f (x)) = g (b).

Alberto Castillo Continuidad Sección Matemáticas - PUCP 14 / 16

Continuidad

¿Dónde quedan los lı́mites laterales?

En una variable tenı́amos el teorema de existencia del lı́mite que decı́a: “el lı́mite
existe si y solo si los lı́mites laterales por izquierda y derecha existen y son
iguales”. Pero ya sabemos que en varias variables no hay solo dos sino infinidad de
formas distintas de acercarnos hacia un punto. Entonces el teorema de existencia
de lı́mites no se reduce solo a una izquierda y una derecha. Sin embargo, al menos
vale lo siguiente.

Proposición
Sea f : X ⊂ Rn → Rm una función definida cerca de a pero quizá no en a. Si el
lı́mite de f cuando x tiende hacia a por una dirección no existe o si los lı́mites por
dos direcciones distintas no coinciden entonces lı́mx→a f (x) no existe.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 15 / 16

Continuidad

Ejemplo. Pruebe que lı́m(x,y )→0 x 2xy +y 2 no existe.

Solución. El dominio de x 2xy +y 2 es R 2
− {0}. Vamos a acercarnos hacia el origen a
través de las rectas y = x e y = 2x (vemos que x → 0 implica y → 0). En el
x2 1 2x 2 2
primer caso tenemos lı́mx→0 2x 2 = 2 , en el segundo caso tenemos lı́mx→0 3x 2 = 3 .

Como puede verse, los lı́mites “laterales” no coinciden, entonces

lı́m(x,y )→(0,0) x 2xy
+y 2 no existe.

Alberto Castillo Continuidad Sección Matemáticas - PUCP 16 / 16