Lmite, Continuidad de Funciones Vectoriales

Facultad de Ingeniera
Universidad de Piura

Marzo 2017

S ST
A

U
IT

DI
UNIVERS

ORUM
P

U
IS

S
I

R
EN

(UDEP) Calculo Vectorial (CVE) Marzo 2017 1 / 20

Contenido

1 Lmite de una funcion vectorial

2 Propiedades de los lmites

3 Continuidad de una funcion vectorial

(UDEP) Calculo Vectorial (CVE) Marzo 2017 2 / 20

I La idea de lmite en el caso de una funcion vectorial de variable real
f : I R Rn es una extension de la idea de lmite de una funcion
real de variable real.
I Si t0 I o t0 es un punto frontera de I , se dira que la funcion f tiende
al lmite L Rn cuando t tiende a t0 , si para valores de t cercanos a
t0 , las correspondientes imagenes f (t) estan cerca a L.
I Antes de dar la definicion formal de lmite de una funcion vectorial
vamos a explicar de manera intuitiva que es un punto frontera de un
conjunto de puntos. Un punto frontera de un conjunto U es un punto
que puede pertenecer o no al conjunto pero que tiene la propiedad
de que podemos acercarnos a el tanto como deseemos
manteniendonos siempre en el conjunto.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 3 / 20

I La idea de lmite en el caso de una funcion vectorial de variable real
f : I R Rn es una extension de la idea de lmite de una funcion
real de variable real.
I Si t0 I o t0 es un punto frontera de I , se dira que la funcion f tiende
al lmite L Rn cuando t tiende a t0 , si para valores de t cercanos a
t0 , las correspondientes imagenes f (t) estan cerca a L.
I Antes de dar la definicion formal de lmite de una funcion vectorial
vamos a explicar de manera intuitiva que es un punto frontera de un
conjunto de puntos. Un punto frontera de un conjunto U es un punto
que puede pertenecer o no al conjunto pero que tiene la propiedad
de que podemos acercarnos a el tanto como deseemos
manteniendonos siempre en el conjunto.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 3 / 20

I La idea de lmite en el caso de una funcion vectorial de variable real
f : I R Rn es una extension de la idea de lmite de una funcion
real de variable real.
I Si t0 I o t0 es un punto frontera de I , se dira que la funcion f tiende
al lmite L Rn cuando t tiende a t0 , si para valores de t cercanos a
t0 , las correspondientes imagenes f (t) estan cerca a L.
I Antes de dar la definicion formal de lmite de una funcion vectorial
vamos a explicar de manera intuitiva que es un punto frontera de un
conjunto de puntos. Un punto frontera de un conjunto U es un punto
que puede pertenecer o no al conjunto pero que tiene la propiedad
de que podemos acercarnos a el tanto como deseemos
manteniendonos siempre en el conjunto.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 3 / 20

Damos a continuacion la definicion formal de lmite de una funcion
vectorial de variable real.
Definicion 1 (Lmite de una funcion vectorial)
Sea f : I R Rn una funcion definida en un intervalo abierto I de R y
sea t0 un punto de I o un punto frontera de I . Se dice que el lmite de la
funcion f cuando t tiende a t0 es L ( Rn ), lo cual se escribe como

lm f (t) = L
tt0

si dado cualquier  > 0 existe un > 0 tal que

t I, 0 < |t t0 | < k f (t) Lk < .

P 1/2
k k es la norma euclideana de vectores de Rn , es decir kxk = xi2 ,
x = (x1 , x2 , . . . , xn ).

(UDEP) Calculo Vectorial (CVE) Marzo 2017 4 / 20

 Figura

(UDEP) Calculo Vectorial (CVE) Marzo 2017 5 / 20

 I El siguiente teorema establece que el estudio de los lmites de las
funciones f : I R Rn esta ntimamente relacionado con el
estudio de los lmites de las funciones coordenadas de f .

Teorema 2
Sea f : I R Rn una funcion como en la definicion anterior. Entonces
lmtt0 f (t) = L = (L1 , L2 , . . . , Ln ) Rn si y solo si lmtt0 xi (t) = Li , donde
f (t) = (x1 (t), x2 (t), . . . , xn (t)).

I A continuacion vamos a demostrar que si

lm f (t) = L = (L1 , L2 , . . . , Ln )
tt0

entonces
lm fi (t) = Li .
tt0

(UDEP) Calculo Vectorial (CVE) Marzo 2017 6 / 20

I Sabemos que
lm f (t) = L,
tt0

por lo tanto para cualquier > 0 existe un > 0 tal que si t I y

|t t0 | < entonces k f (t) Lk < .
Pero como

k f (t) Lk = k(x1 (t) L1 , x2 (t) L2 , . . . , xn (t) Ln )k

n 1/2
X
= (xi (t) Li ) <
2


i=1

se tiene que
n 1/2
X
|xi (t) Li | (xi (t) Li ) < .
2

i=1

(UDEP) Calculo Vectorial (CVE) Marzo 2017 7 / 20

Por lo tanto, dado > 0 existe > 0 tal que

si t I y 0 < |t t0 | < |xi (t) Li | < .

Esto quiere decir que

lm xi (t) = Li .
tt0

(Ver [?, pag. 427]).

El teorema 2 tiene dos sentidos:

I Si la funcion vectorial tiene lmite entonces cada funcion coordenada
tiene lmite.
I Si cada funcion coordenada tiene lmite entonces la funcion vectorial
tiene lmite.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 8 / 20

Ejemplo 3
 
Sea f : R R3 la funcion definida como f (t) = t2 + 1, 2t, t . Las
funciones coordenadas son

f1 (t) = t2 + 1, f2 (t) = 2t, f3 (t) = t.

Ademas

lm f1 (t) = t02 + 1, lm f2 (t) = 2t0 , lm f3 (t) = t0 .

tt0 tt0 tt0

Entonces, segun el teorema 2

lm f (t) = lm ( f1 (t), f2 (t), f3 (t))

tt0 tt0
   
lm f (t) = lm f1 (t), lm f2 (t), lm f3 (t) = t02 + 1, 2t0 , t0 .
tt0 tt0 tt0 tt0

(UDEP) Calculo Vectorial (CVE) Marzo 2017 9 / 20

Ejemplo 3 (Continuacion)
Por ejemplo, si t0 = 1 se tiene

lm f (t) = (2, 2, 1)
t1

Esto quiere decir que se puede tener f (t) arbitrariamente cerca del punto
(2, 2, 1) R3 seleccionando t suficientemente cerca de 1.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 10 / 20

Ejemplo 4
La funcion f : R R3 definida como
!
sin t
t, t ,
2

si t , 0,


f (t) =

t
si t = 0,

(0, 0, 0)

es discontinua en t = 0 puesto que

!
sin t
lm t, t ,
2
= (0, 0, 1)
t0 t

y este lmite es diferente del valor de la funcion para t = 0, pues

f (0) = (0, 0, 0).

(UDEP) Calculo Vectorial (CVE) Marzo 2017 11 / 20

Contenido

1 Lmite de una funcion vectorial

2 Propiedades de los lmites

3 Continuidad de una funcion vectorial

(UDEP) Calculo Vectorial (CVE) Marzo 2017 12 / 20

Propiedades de los lmites

Sean dadas las funciones f : I R Rn y g : I R Rn tales que

lm f (t) = L
tt0
lm g(t) = M
tt0

donde t0 I o es un punto frontera de I . Entonces se cumple:

lm [ f (t) g(t)] = lm f (t) lm g(t) = L M

tt0 tt0 tt0
lm [ f (t) g(t)] = lm f (t) lm g(t) = L M
tt0 tt0 tt0
lm [ f (t) g(t)] = lm f (t) lm g(t) = L M
tt0 tt0 tt0

(UDEP) Calculo Vectorial (CVE) Marzo 2017 13 / 20

Contenido

1 Lmite de una funcion vectorial

2 Propiedades de los lmites

3 Continuidad de una funcion vectorial

(UDEP) Calculo Vectorial (CVE) Marzo 2017 14 / 20

 I El comportamiento de la funcion f : I R Rn esta determinado
completamente por el comportamiento de sus funciones
coordenadas xi : I R R.
I Este hecho se empieza a sospechar con el teorema anterior que
afirma que el lmite de una funcion f esta determinado por los lmites
de las funciones coordenadas xi .
I Una situacion analoga ocurrira con la continuidad de la funcion f ,
esta es continua (con la definicion que daremos a continuacion) si y
solo si sus funciones coordenadas lo son.

Definicion 5 (Continuidad en un punto)

Sea f : I R Rn una funcion definida en el intervalo abierto I de R y
sea t0 I . Se dice que f es continua en t0 si se cumple

lm f (t) = f (t0 ).
tto

(UDEP) Calculo Vectorial (CVE) Marzo 2017 15 / 20

 I La definicion de continuidad implica que la propiedad de continuidad
de una funcion f equivale a que movimientos pequenos de t en torno
de t0 producen movimientos pequenos en las imagenes f (t)
alrededor de f (t0 ).

Usando la definicion de lmite, dado  > 0 existe > 0 de modo que

|t t0 | < k f (t) f (t0 )k < 

| {z } | {z }
t esta a una distancia de t0 f (t) esta a una distancia de f (t0 )
menor que menor que 

I La condicion t , t0 que en la definicion de lmite estaba escrita como

|t t0 | > 0, ahora queda eliminada puesto que la definicion de
continuidad requiere que f (t0 ) exista.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 16 / 20

 I La cadena de igualdades

lm f (t) = lm (x1 (t), x2 (t), . . . , xn (t))

tt0 tt0
 
= lm x1 (t), lm x2 (t), . . . , lm xn (t)
tt0 tt0 tt0
= (x1 (t0 ), x2 (t0 ), . . . , xn (t0 ))
= f (t0 )

es fundamental en la demostracion del siguiente teorema

Teorema 6
Sea f : I R Rn una funcion definida en el intervalo abierto I de R
como
f (t) = ( f1 (t), f2 (t), . . . , fn (t)) .
Sea t0 I , la funcion f es continua en t0 si y solo si sus funciones
coordenadas fi : I R R, i = 1, 2, . . . , n, lo son.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 17 / 20

Una funcion f : I R Rn definida en el intervalo abierto I de R se
dice que es continua en I o simplemente continua si f es continua en cada
punto de I .

Ejemplo 7
La funcion f : R R2 definida como

f (t) = (t3 + 1, t2 2t + 1)

es continua puesto que sus funciones coordenadas son polinomios y

estos son funciones continuas.

(UDEP) Calculo Vectorial (CVE) Marzo 2017 18 / 20

Ejemplo 8
La funcion f : R R3 definida como
!
sin t
t, t ,
2

si t , 0


f (t) =

t
si t = 0

(0, 0, 0)

es discontinua en t = 0, pues
!
sin t
lm f (t) = lm t, t ,
2
= (0, 0, 1) , (0, 0, 0) = f (0).
t0 t0 t

(UDEP) Calculo Vectorial (CVE) Marzo 2017 19 / 20

(UDEP) Calculo Vectorial (CVE) Marzo 2017 20 / 20