Lmites de Funciones

Lmites de Funciones
Lmites Laterales
Continuidad
Recta tangente a la Curva

Lmites de Funciones
En esta secci\on veremos el concepto de ``arbitrariamente proximo", idea
que ya fue desarrollada en lmite de sucesiones, es decir, en funciones de
, la diferencia en este estudio ser\a principalmente en el dominio, que en
esta oportunidad es un subconjunto de

Recordemos que una vecindad de es de la forma

donde

(en general una vecindad de es un abierto que contiene a ).

Punto de Acumulaci\on
Sea

( no necesariamente en

).

Diremos que es un punto de acumulaci\on de

contiene alg\un punto

si toda vecindad de ,

diferente de . En notaci\on m\as formal

\o

El conjunto derivado de

, denotado por

puntos de acumulaci\on de

Sea

, es el conjunto de todos los

, es decir,

. Como toda vecindad de intersecta a

punto de acumulaci\on de

(es decir,

se tiene que es un

). En forma f\acil se puede ver que

.
Sea

. no es punto de acumulaci\on de
vecindad de tal que

pues existe

Una forma de visualizar los puntos de acumulaci\on, est\a dada en la

siguiente proposici\on
Sea

no vaco
si y solo si toda vecindad de contiene infinitos puntos de

Demostraci\on: (
(

) Trivial

) Si tomamos vecindades de la forma

Para

existe

y existe

( es decir, con
tal que

).
. Para

existe
y existe
tal que
, etc.
Por un proceso inductivo se puede garantizar la existencia de

todos puntos de
Sea

no vaco

Esto se puede ver en la demostraci\on de la proposici\on anterior

Claramente se ve que

, m\as a\un

Sea
entonces
, lo mismo ocurre con
(i-rra-cionales),
.
Estos resultados se deben al hecho que todo intervalo tiene infinitos racionales,
en el primer caso, o infinitos irracionales, en el segundo caso
Sea

. Claramente se ve que ning\un punto de

ya que tomando,
, y si

, vecindad

, ella s\olo tiene un punto en com\un con

siempre existe una vecindad que no contiene puntos de

Luego tenemos
Un punto en

.
se dice aislado, si existe una vecindad de ,

En el ejemplo anterior
ocurre con

es punto de acumulaci\on

y con

, tal que

est\a formado s\olo por puntos aislados, lo mismo

Observacin: Si

, tenemos la certeza que arbitrariamente cerca de

siempre hay elementos de

, esto no ocurre si es un punto aislado de

Definicin de lmite de funciones

Sean

funci\on y

Diremos que el lmite de

es cuando tiende a si para toda vecindad de

existe una vecindad de

, tal que Note_1

es decir, los elementos arbitrariamente cercanos a (los puntos de la vencindad

), salvo el mismo , que son tomados por

(ya que deben est\ar en

) tiene sus imagenes arbitrariamente cercanas a (ya que deben

estar en )
Notaci\on:

La definici\on anterior es necesario escribirla en un lenguaje que nos

permita operar con ella.
Como las vecindades de son de la forma
vecindad de '' equivale a tomar cualquier
con las vecindades de ,

\o

; lo mismo ocurre

, en este caso el cuantificador en la definici\on es

existe,
Por lo anterior tenemos que
si y slo si

, la frase para ``toda

Figura
Ahora recordando que
se puede escribir:
Definici\on Tradicional:

si y s\olo si

As, demostrar que

consiste en: encontrar un

dado (arbitrario) y que verifique la implicaci\on

Demostraci\on de Lmite
Sea

. Demostrar que

Soluci\on: Ya que para todo

existe

tal que

para un

As,

?`Por qu\e tomamos

? Para que justamente se d\e la desigualdad

y no otra desigualdad.
Notemos que: El buscado debe satisfacer:

y como

es creciente, debe satisfacer

o equivalentemente

de lo cual tenemos

As, para
igual que

dado, buscado debe cumplir

(cualquier positivo menor o

Observaci\on: En general se tiene que si

y
ya que
Si
Sea

, entonces

. En este caso basta tomar

.
se tiene que

, (Ver figura ms abajo). Demostrar que

Solucin: Notar que

es verdadero:
Para cada

con

existe

. El lmite es correcto ya que lo siguiente

tal que:

La implicacin anterior es verdadera por la siguiente cadena:

Sea

. Demostrar

Soluci\on: Dado

es decir,

As,

La pregunta natural es: Para

?`Cu\al tomar (c\omo se obtiene un )
apropiado para que todo quede como la definici\on tradicional? La t\ecnica
consiste en buscar una relaci\on entre

, esta se consigue buscado una

relaci\on entre

En el ejemplo se considera

; Dado que

, si queremos

(esto equivale a

), necesitamos entonces tomar

con

es decir, necesitamos tomar

En el ejemplo se considera

. ?`C\omo est\a relacionado

con la segunda expresi\on? Para contestar esto necesitamos trabajar con

la segunda expresi\on

Por lo tanto, la segunda expresi\on es menor que

es, es decir, debe ser igual a

En el ejemplo los t\erminos a comparar son

queremos que

Por lo tanto,
como

si la primera tambi\en lo
y

. En este caso

, este \ultimo paso sugiere que debe ser tomando

, pero esto no es correcto ya que es un n\umero positivo y no una

funci\on de .
En este caso se acota superiormente
que

con alg\un apropiado. Note que si

Por lo tanto

y esa cota se hace menor

y

y si
) se tiene

Por lo tanto

y a la vez

Esta t\ecnica se usa generalmente cuando

aparece s\olo como un

factor en
y tal procedimiento es llamado acotamiento.
Veamos ahora un caso m\as complicado para un estudiante que tenga proble-mas con las desigualdades entre inversos. El ejemplo se ver\a diferente al
anterior pero s\olo usaremos la t\ecnica de acotamiento.
Demostrar

Notemos que si
Solucin: Dado

entonces
, existe

tal que

Por lo tanto

Observaci\on: En general, se puede demostrar que si

I) Demostrar que
Determine si la siguientes afirmaciones son verdaderas o falsas
II) Dado

, existe

tal que

III) Dado

, existe

tal que

Solucin: I) Veamos como se encuentra

Como

entonces debemos acotar

por un nmero

en

Si

se tiene que:

Por lo tanto, dado

Por lo tanto por

tal que

tenemos

II) Verdadero.
Por lo anterior: Dado

y como

, existe

tal que

entonces

III) Falso.
Si

tenemos

ahora si
pues

, existe

pero

Demostrar que
Solucin: Necesitamos buscar el trmino (factor)
temente el trmino

Ya que

) en

(o equi-va-len-

bastar acotar superiormente

, por un nmero positivo , puesto que si

se tendra

as, bastara tomar

y se obtendra

Veamos si es posible acotar superiormente

.

As, si

se tiene

para en una vecindad de

no es acotado superiormente. El problema

en este caso es que la vecindad tomada en torno al

quin anula a

. La vecindad debe excluir a

incluye al valor
y cercano a l.

Por ejemplo la vecindad dada por

luego si
De esta forma, dado
tiene

basta tomar

ya que si

se

y adems

El acotamiento realizado en este problema consisti realmente en

determinar en qu conjunto se encuentra el recorrido de la funcin
para valores cercanos a
apropiada del

. Analizando el grfico de

se tiene naturalmente que

, para una vecindad

ser acotada; si la vecindad

es grande como para contener a

no ser acotada superiormente

es infinitamente grande cerca de

(ver figura )

ya que

Demuestre que

Solucin: Nuestro objetivo es buscar

en

. Como

tendremos que acotar

en una vecindad del punto . Veamos esto
grficamente en la figura que sigue

. donde
Naturalmente que
decir,

es acotado, tomando una vecindad de de radio es

se tiene por el gr\afico que

es decir, si

, entonces se tiene que:

.
De esta forma, dado

, existe

tal que

As,

Por lo tanto

Teoremas Bsicos sobre Lmites

A continuaci\on veremos un teorema que es utilizado para probar la no
existencia de lmites, el teorema de unicidad
de unicidad El lmite de una funci\on (en un punto) es \unico
Sea
entonces

funci\on

. Si existe el lmite de f cuando

es \unico. Es decir,

Demostraci\on: Por el absurdo. Supongamos

tomar vecindades disjuntas
Como

, entonces podemos

, es decir

, existe una vecindad de a,

, por otra parte se tiene

una vecindad de a,
Es claro que

tal que

, tal que
, entonces existe

.
(es imposible que sea

vaca la intersecci\on ya que ambas son vecindades de y es un punto de

acumulaci\on de

por lo tanto

pero

contradici\on. As

Note_2 Sea
Sea

(por lo tanto
y

. Si

).

entonces

Reciprocamente. Si B contiene un intervalo abierto que contiene a se tiene

que si
entonces
.
Demostraci\on: La demostraci\on de la primera parte es basada en teora
de conjunto.
Si

se tiene que para toda vecindad

de existe una vecindad

de tal que
por lo tanto tambi\en se tiene
ya que
luego
La otra parte del teorema realza el concepto de lmite en el sentido que
basta analizar los puntos cercanos a .
Claramente se ve que

. Aqu se est\a pensando en la funci\on

.

El teorema anterior nos dice que

Sea
Probemos
Supongamos que
con-si-de-ramos

cumple que

,
no existe (Por el absurdo).
existe, es decir,

entonces seg\un el teorema anterior.

. con

luego, si

pero claramente
Por lo tanto

para todo

para todo

lo que contradice
Por consiguiente

no existe.

En forma analoga se prueba la no existencia de

, donde

Sea

ambos tienen a como punto de acumulaci\on

Supongamos que

, por lo tanto

Pero
por lo tanto

,y

Por otra parte,

y como

As

de donde

,entonces

, lo que contradice

Lmites Laterales
El lmite lateral derecho de en se entiende como el lmite siguiente
y se anota

.(si es punto de acumulaci\on de

) Note_3
An\alogamente se define lmite lateral izquierdo como
como

.(si es punto de acumulaci\on de

y se denota

Por teorema anterior se tiene que:

Si est\a definida en un intervalo abierto que contiene a (no
necesariamente definida en ) entonces

Si
existe y es igual a , entonces ambos lmites
laterales existen y son iguales.
Por consiguiente usando la equivalencia
tenemos:

Si los lmite laterales no existen o son diferente entonces

no existe. (insistimo en que siempre que est\a
definida en un intervalo abierto que contiene a )

Sea

Calculemos los lmites laterales en

. Notemos que est\a definida en

Por a) y b) se tiene

luego

no existe.

Consideremos la funci\on
Hemos visto en un ejemplo anterior que
existe y su valor es . Sin
embargo no podemos afirmar que ambos lmites laterales existan. En este
caso, del

, luego no esta definida en todo un intervalo abierto que

contenga a . Observamos la demostraci\on del ejemplo es claro que

Sobre el lmite lateral izquierdo se tiene que la proposici\on

es verdadera para todo

ya que no existe en

que cumple

.
De esta forma aparentamente

para todo

Pero no es un punto de acumulaci\on de

Por lo tanto el lmite lateral izquierdo en
sentido la expresi\on).
Observaci\on: En t\erminos de
y lateral izquierdo es:

.
no se puede calcular (no tiene

la definici\on de lmite lateral derecho

Ahora, supongamos que existen y son iguales los lmites laterales de una
funci\on en

, es decir,

Entonces podemos afirmar que

existe y
.
En efecto: Dado que existen los lmites laterales entonces se tiene y .
Sea

y consideremos

entonces se tiene

de donde:
Hemos demostrado de esta forma el siguiente teorema.
Si los lmites laterales en

existen (se pueden calcular) y ambos son

iguales a entonces se tiene que

existe y

Sea

Determinemos si existe

Como
y

entonces

Luego, por teorema anterior

Sea

no tiene l mite en .

, verifiquemos que

Como

y adem\as

, se tiene que
no existe.
Determinemos el valor de verdad de las siguientes proposiciones

no existe.

Si

entonces el

Solucin:

Falso. Si
cero, luego

entonces
en

en una vecindad
por lo tanto

Falso. Por lo anterior, se tiene:

luego

Note que

cambia de signo cerca del punto y al

del

tomar tendiente a cero estamos tomando punto cerca

de cero donde
tiene el valor posivo.

Verdadero.

, luego
.

Verdadero.

y
luego los lmites laterales

son iguales por lo tanto

Falso.

Calculando los lmites laterales tenemos

y por la izquierda

Determine

de modo que

Soluci\on: Notemos que

si

, luego calculemos los lmites laterales

Por otra parte

si

Luego existe si y s\olo si

de donde

, es decir,

. Por lo tanto, el lmite existe si y s\olo si

Calculemos

En este caso, notemos si `` tiende a cero'' el factor

positivo, luego

es

para todo cerca de y

Luego

Algebra de Lmites
Sea

y sean y tal que existan los lmites

,

entonces

a) lmite de la suma

tambi\en existe en y se tiene

b) lmite del producto

existe en y se tiene

c) lmite del cuociente

existe en cuando

y se tiene

Demostraci\on: Usar resultado de algebra de lmites de

sucesiones y teorema del enlace, que veremos
posteriormente.
Observaci\on: En particular de (b) se deduce que
Si
entonces
.
Observaci\on: Es importante enfatizar que para aplicar el
algebra de lmites, debemos estar seguros de que se
verifiquen las hip\otesis. Si no es as podemos obtener
contradicciones como veremos a continuaci\on.
Es claro que
Sin embargo, si escribimos

y aplicamos el algebra de lmites sin asegurarnos de que

ambas l mites existan podemos decir equivocadamente que.

de donde

lo que es una contradicci\on (y esto

sucede porque

no existe.

Observaci\on: Si

se tiene que

Tomando, en particular,

se tiene que

Es decir, que f es acotada superiormente por

en la

vecindad
y tambi\en acotada inferiormente por
el mismo conjunto.
Acotamiento
Sea
1)
y adem\as
2)
entonces

. Sea
se tiene:

una vecindad de tal que

en

Demostracin: (ver figura anterior) Dado

lo siguiente

tenemos para y

pero
)y
as,

se tiene
Por lo tanto,
Por lo tanto

Lo siguiente est relacionado con la figura

define geomtricamente la funcin

. Cuando se

se utiliza la

circunferencia de radio como en la figura

, es as que las

coordenadas del punto

medido en radianes.

son

donde esta

Figura
Por otra parte, pensando en la definici\on de las funciones
trigonom\etricas usando un tri\an-gu-lo rect\angulo, se tiene
que Note_4

De esta forma, las coordenadas del punto

son

Por el hecho que la circunferencia tiene radio y el \angulo

est\a dado en radianes, se tiene que el arco de circunferencia
de

es la longitud .

Nota: en la figura el \angulo satisface

, pero

claramente se puede ver que si es negativo y mayor que

,
s\olo hay que tener cuidado con el signo en las relaciones que
a continuaci\on damos para ,

Por lo tanto, para

Por lo anterior se tiene que

se tiene la desigualdad

En efecto: Como

. entonces por teorema del acotamiento se tiene

Tambin usando la figura

se puede ver que cuando tiende

al ngulo cero, la hipotenusa del tringulo

tiende al

cateto adyacente

, del mismo tringulo, pero como

siempre igual a y

se tiene que

es

lmite que justificaremos de otra forma mas adelamte.

Probemos que

Para resolver esto utilizaremos una relacin existente entre dos reas de
la figura

Calculando cada rea Note_5 se tiene

Multiplicando esta \ultima desigualdad a ambos lados por el n\umero

positivo

obtenemos

Utilizando el hecho que

es una funci\on par (

)y

como
, podemos fabricar la siguiente cadena apropiada para
utilizar el teorema del acotamiento

desigualdad v\alida para

y
( ya que la funci\on
son funciones impares y su cuociente es par).
De esta forma por teorema y utilizando que
obtenemos

Calcular

Soluci\on:

Como

entonces por algebra de lmites

Calculemos

donde

.
.

Solucin: Sabemos que

Multiplicando por

la ecuacin obtenemos

cuando

As,

Como

entonces por teorema del

acotamiento se tiene
Este \ultimo caso se puede generalizar a funciones acotadas.
Recordemos que una funci\on se dice acotada en

si existe

tal que:

Cero Aniquila Sea una funci\on acotada en una vecindad de

necesariamente definida en ). Si

(no

entonces

Demostraci\on: Como

se tiene

es decir,
y por teorema de acotamiento se obtiene lo requerido.
Demostrar

En efecto
y la funci\on
teorema cero aniquila, se tiene .

es acotada, luego por

Calcular

Soluci\on:

Como
cero aniquila

y
.

es acotada, entonces por teorema

Demostrar usando el teorema anterior que

Soluci\on: Basta demostrar que

Usando la identidad trigono-m\e-tri-ca

y el hecho que

es acotado y
donde

. Se tiene por

teorema cero aniquilador que:

En forma an\aloga se puede probar que

Sean

, Demostrar que

Ayuda: Usar la siguiente propiedad de la parte entera

Soluci\on: Por propiedad anterior tenemos

multiplicando por

con

se tiene

o equivalentemente

puesto que
de acotamiento

entonces por teorema

Determine si las siguientes afirmaciones son verdaderas o falsas.

No existe

no existe.
Si

existe y

Si
existe.
Soluci\on:

existe entonces

existe y

existe.

no existe entonces

Falso. Como

y
es acotada entonces
por teorema cero aniquila.

Verdadero. La funci\on
vecindad del , es decir,

es acotada en una

luego por teorema cero aniquila

Verdadero.

Falso.

Verdadero.

Verdadero. Supondremos que

existe y su
valor es . Dado que
existe por algebra de
lmites

debe existir pero

y por algebra de lmites

lo cual es una contradicci\on por la unicidad del lmite.

Por lo tanto el valor no existe.

Verdadero. Note_6 Sabemos por (1) que;

existe (y su valor es cero) y

no

existe por (6)

Luego

ya que de existir tambi\en debera existir (por lmite de

la suma)

y esto \ultimo es falso por (6).

Falso. Sean
existe y su valor es , adem\as
existe y su valor es cero, pero

Falso. Sean

no existe.

luego

existe y su valor es cero, pero

existe y

no
no existe.

Lmite de funciones - sucesiones

El siguiente teorema nos permite usar los resultados obtenidos
en sucesiones
Sea

, la funci\on identidad en

. Se sabe que

Usemos el teorema anterior para probar que :

a)

b)

donde

c)

, donde
Solucin: a) Como

se tiene

As,
b) Esta se har usando induccin en .
Para

es cierto ya que

Supondremos ahora que es vlido para y demostraremos

que es vlido para

c) La tercera tambin se har por induccin en

Para

, se tiene

se cumple para

. As por algebra
.

Supongamos que el lmites es vlido para

demostraremos que es vlido para
lmites se tiene:

. Usando algebra de

La existencia de este lmite se garantiza por la hiptesis

inductiva
adems por ejercicio anterior
luego

Por consiguiente
.
Calcular

Solucin: Como
y
entonces por algebra de lmites (c)

Observaci\on: Notar que no se tuede aplicar el algebra de

lmites. Si tiende a .
En los siguientes e jercicios tampoco podemos usar el algebra
de l mites directamente, pero eso no significa que el lmites no
existe, como se vera a continuaci\on.

Sabiendo que

, si

Calcular

Solucin:

Dado que

entonces por algebra de lmites se tiene

Observaci\on: Se probar\a en la secci\on de continuidad que

si

Calcular

entonces

Solucin: Recordemos que

Dado que

y
,

entonces por algebra de lmites se tiene

Determinar

de modo que exista

Solucin: Dado que

si

donde

. El lmite existira si slo

Como
entonces por algebra de lmite se tiene

Por otra parte

, luego

existe si y slo si

, de donde

Demuestre que;
Si

existe y

no existe entonces

no existe.

Solucin: Por mtodo del absurdo

Supongamos que

existe, luego por algebra de

lmites, dado que

pero

existe entonces

existe,

lo que contradice la no existencia de

Demuestre que los siguientes lmites no existe.

Solucin:

Supongamos que
existe y su valor valor es .
Dado que
existe, entonces por algebra de

lmites, existe el lmite del producto, es decir,

existe

Por otra parte

luego por unicidad del lmites se tiene que

es una contradiccin.

Como
existe y
ejercicio se tiene

lo que

no existe, entonces por

Observaci\on: En general, se puede demostrar por el m\etodo

del absurdo que:
Si

entonces

existe. En este caso se dice que el lmite

forma

no
``es de la

''

Los siguientes lmites son de la ``forma

''

luego los lmites no existe.

Consideremos la funci\on

Determinemos para qu\e valor de

Dado que

, entonces
(si
no existe).

, el lmite

existe.

puede existir si Note_7

entonces

Ahora;

Si

entonces

Si

entonces

Por lo tanto

existe si

Mostrar que

, si

Solucin: Si

basta probar que

pero

y ya que

por teorema cero Aniquila

Teorema de Sustituci\on
Sustituci\on Sean

funciones tales que

.
Supongamos que
. para todo
Si

entonces

y que existe una vecindad de

.
.

tal que

es decir;

Calculemos

Solucin: Consideremos la sustitucin o cambio de variable

. Es claro que
entonces

, es decir, si

, de donde

en

, luego por

teorema de sustitucin (dado que

), se tiene

Calculemos

Solucin: Sea

. Si

entonces

, (adems

para en una vecindad del cero sin tomar el cero)

entonces,

por teorema de sustitucin, as

Sean

Sea

.
entonces

Demostraci\on: Sea

Para una vecindad de

una vecindad de

, puesto que

, existe

, tal que

Por otra parte, como

.
para la vecindad

una vecindad de tal que

existe

Por lo tanto

As, para una vecindad

, existe una vecindad de

tal que

, es decir,

Este teorema se utiliza en lo que se suele llamar cambio de

variable o sustituci\on

puesto que: Si tomamos

y
por el corolario anterior se tiene
Sabiendo que

, entonces

Probemos que si existe

Solucin: Sea

y dado que

entonces

como

, entonces
.
As tenemos por ejemplo:

y puesto que

En efecto. Sea

. Si

entonces

Luego

Para aplicar el teorema anterior, debemos asegurarnos que se

cumplan la hip\otesis. De no hacerlo podemos obtener
contradicciones.
Sea

En efecto; Sabemos que

distintos

no existe pues los lmites laterales son

Sin embargo; dado que

, entonces se tiene

Observaci\on: Notemos que. Si

Probar que si

entonces

Solucin: Supongamos que

entonces

.
entonces

ademas
y por teorema de acotamiento tenemos que
.
Calcular los siguientes lmites

Soluci\on: a)

b) Sea

. Si

entonces

luego,

c)

Es necesario recordar, para el c\alculo de lmite

trigonom\etricos algunas identidades.

Demostrar usando el teorema anterior que

Soluci\on: Basta demostrar que

usando la identidad trigono-m\e-tri-ca

y el hecho que

. Pero

es acotado y
donde

. Se tiene por

teorema cero aniquilador que:

En forma an\aloga se puede probar que

Usando algebra de lmite y identidades trigonom\etricas calcular el lmite

de la siguiente funci\on en

Soluci\on:

Calcular, usando el teorema de cambio de variable, que

Soluci\on: En una vecindad de se tiene la identidad

Tomando

ya que

, cuando tiende a

tiende a

Calcular

Soluci\on: Sea

. Si

entonces

(donde

en
).
Luego por teorema de sustituci\on

de donde

Observaci\on: En el c\alculo de lmites

que
involucre funciones tri-go-no-m\e-tri-cas, lo habitual es hacer el
cambio de variable
Calcular

Soluci\on:

Sea

si

entonces

luego,

Calcular

Soluci\on: Sea

Calcular (si existe)

Si

Soluci\on:

si

entonces

luego,

Como est\a definida en una vecindad de , podemos

calcular los lmites laterales.
i)

Sea

si

entonces

ya que
anterior es

(pues

se tiene que lmite

ii) Por otra parte,

Por (i) y (ii)

luego no existe

est definida en una vecindad perforada del cero

Sea
Si

entonces Note_8
entonces

As

luego

Por lo tanto

Pruebe que

Solucin:

del Enlace Sea

siguiente equivalencia

funci\on

Demostraci\on: ( ) Sea

Entonces tenemos la

sucesi\on con

Por demostrar que

Basta tomar el conjunto

se tiene que

. Como
y usando el teorema se tiene

, es decir,

( ) Demostraci\on por el absurdo, es decir, supondremos que

para todo

que satisface la hip\otesis se tiene que

y no se tiene

Por esto \ultimo, existe una vecindad de

toda

tal que para

(esto es lo mismo que decir para todo ) se tiene que

, es decir, para cada

menos un punto

tal que

As, hemos fabricado una sucesi\on

y adem\as

(ya que

de puesto que

existe al

. Como
est\a al menos

,
lejos

) lo que contradice el hecho ``toda

sucesi\on" de las pedidas; luego

Calculemos

Consideremos

y sea

Si

y por teorema de enlace se tiene

entonces

Luego

Probar

Soluci\on:

Usando el hecho que

. Calcular

Soluci\on: Como

, usando teorema del enlace se tiene que

donde
Suponiendo que

Soluci\on: Si

Calcule

usando teorema del enlace

Suponiendo que

Calculemos

Soluci\on: Como

obtenemos por teorema del

enlace
Del teorema anterior, se obtiene una herramienta muy \util
para probar la no existencia de algunos lmites.
Sea

funci\on

Si existen
pero

dos sucesiones tales

o algunos de ellos no existe, entonces

Demostraci\on: (aplicar
Probemos que

Consideremos

no existe.
).

no existe.

Claramente
Sea

donde

Luego

,y
.

Por lo tanto, por corolario anterior

no existe.

Continuidad
Sea

, diremos que es continua en el punto si para toda

vecindad de

existe una vecindad de

Diremos que es continua en

es continua en
Una vecindad arbitraria de

tal que

si f es continua en cada punto

puesto que:
es del tipo :

Si para la vecindad anterior de

, existiera una vecindad de

esta debera cumplir

es decir,

pero como es creciente, tenemos

Por lo tanto, debe cumplir

Para

dado, debe cumplir

es decir,

Por lo tanto, para la vecindad

que basta tomar
figura anterior

existe al menos una vecindad de ya

(es decir,

) tal que

. Ver

Sea

Determinar si es continua en

Soluci\on: Dada una vecindad de

una vecindad de

, debera existir

, ( es decir, existe

) tal que

Lo anterior es equivalente a
\o
As, debera ocurrir

pero para
anterior.

o menor es imposible obtener la inclusi\on

Conclusi\on: Como para todo

una vecindad de

tal que

no es posible encontrar
se tiene que no

es continua en .
Se puede ver claramente que f es continua en los otros puntos
Sea

, (funci\on constante).

Ella es continua en todos los reales.

Soluci\on: Veamos la continuidad en un punto arbitrario .
Notemos que:

As,
ya que

Equivalencias de Continuidad
A continuaci\on daremos cuatro caracterizaciones de
continuidad

Si es un punto de acumulaci\on de

Si es un punto de acumulaci\on de

.
contiene una

vecindad de .

Si no es un punto de acumulaci\on y
Caracterizaci\on por sucesiones.

Si es punto de acumulaci\on de

entonces

es continua en si y s\olo si
Esta \ultima igualdad dice que
i)

existe

ii) El lmite anterior es igual a

estamos diciendo que

e implcitamente

existe.

Si contiene una vecindad de (por lo tanto es un

punto de acumulaci\on) tenemos lo siguiente:
es continua en si y s\olo si
a)

existe

b)

existe

c) los lmites anteriores son iguales a

Sea

?`Es continua en ?
Soluci\on: Notemos que

, y aqu

viene naturalmente la equi-vo-ca-da conclusi\on `` no

es continua en
ya que
no existe", como
se exige en 2c.
Observaci\on: No podemos usar la caracterizaci\on 2.
pues no se cumple la hipot\esis de que contenga una
vecindad de 1.

En cambio, si podemos usar la caracterizaci\on 1, pues

1 es una punto de acumulaci\on de y
, entonces
dado que

existe y
. se tiene que es

continua en .
Probemos es continua en en t\erminos de
vecindades.
Tomemos una vecindad arbitraria de
necesitamos encontrar una vecindad de
ocurra:

, tal que

Veamos qu\e condici\on debe cumplir para que esta

\ultima inclusi\on sea v\alida.
Como
y f es creciente (ver figura)

se tiene que:

As, la inclusin en nos queda

Por lo tanto debe cumplir

o equivalentemente

.
Resumiendo. Para toda vecindad
vecindad de

existe una

(basta que sea menor que

tal

que

Luego es continua en

Si

no es un punto de acumulacin ( es un

punto aislado) se tiene que f es continua en .

Demostracin: Como no es un punto de
acumulacin, existe una vecindad de
existe
tal que

(es decir,

o equivalentemente

por lo tanto,
La inclusi\on \ultima ocurre para todo
forma tenemos la siguiente afirmaci\on.
Para toda vecindad de
de

; de esta

, existe una vecindad

(la tomada al inicio) tal que

Lo que quiere decir que es continua en .

Todas las sucesiones
es punto de aislado.

son continuas, ya que todo punto de

En la pr\actica, no se encuentran muchos dominios con

puntos aislados, pero si aparecen en situaciones
especiales y por ese motivo lo hemos desarrollado en
detalle aqu, am\en que les facilitar\a el, entendimiento
del concepto de continuidad en varias variables.
Definici\on tradicional.
es continua en

Note que

si

hablan de las

vecindades de y
respectivamente y la implicacion
se refiere a la inclusi\on de conjuntos; la menci\on

explcita de
notaci\on

Sea

es para que tenga sentido la

.
. es continua en si y s\olo si

Para toda sucesi\on Note_10

, tal que

converge a

se tiene que la sucesi\on

converge a
.
Este criterio es mas \util para probar la no continuidad
en un punto que la conyinuidad.
Lo anterior se puede escribir como

As, la negaci\on es: no es continua en si y s'olo si

Sea

?`Es continua en ?
Soluci\on: Consideremos la sucesi\on
Claramente se ve que
, pero

con

As,
no converge a
Conclusi\on:
no es continua en ya que existe una sucesi\on
con
Tambi\en podemos decir que no es continua en
pues

no existe (ver ejemplo ).

Comentarios

Comentarios intuitivos Note_11

i) es continua en si las imagenes de puntos cercanos
a est\an cercanos a
ponga

y por muy exigente que se

para pedir estar cerca de

, siempre

hay un mont\on de puntos cerca de que est\an ``super

cerca'' de

ii) Una funci\on continua en no puede tener un salto en

, no puede estar cortada en .

Comentario Redundante
i) Claramente no es continua en un punto si
ii) De la frase ``Una funci\on es discontinua en un punto
p" no se puede concluir que no tiene lmite ya que
perfectamente la discontinuidad puede deberse a que
a)

o a que

b)
,
no existe pero
ejemplo para el caso (a)

En esta funci\on se tiene

ejemplo para el caso (b).

.
. Esta funci\on constituye un

.Esta funci\on constituye un

iii) Si
no existe, no es continua en .
La no existencia del lmite se puede deber a varias casos, en
el ejemplo tenemos el caso en que cada lmite lateral existe,
pero

Como

Por lo tanto no es continua en 3

El siguiente teorema es el que sirve para mostrar con claridad
las observaciones (co-men-ta-rios) anteriores
i) Toda restricci\on de una funci\on continua es continua.
Dicho de otra forma
Sea

continua en el punto

tambi\en

. Si

entonces

es continua en

ii) En el caso especial de que

la recproca se cumple.

, con una vecindad de entonces

Dicho de otra forma.

Sea

continua en el punto (con

entonces

es

continua en
Esta \ultimo nos dice que la continuidad en el punto depende
s\olo de los puntos que est\an cerca, y esto es lo que se suele
llamar concepto local. As continuidad es un concepto ``local"
al igual que lmite.
Los siguientes teoremas son utiles por el hecho que nos sirven
para fabricar nuevas funciones continuas o para visualizar que
una funci\on es continua.
Algebra de funciones continuas Sea
una en
i)
ii) Si

continuas cada

entonces
son continuas en
entonces

es continua en

En el caso que sea un punto de acumulaci\on de

, la
demostraci\on se obtiene facilmente del algebra de lmites. En
caso contrario es directa.
Con este \ultimo teorema tenemos, por ejemplo, que los
polinomios
son funciones continuas.

Recordando los resultado de lmites tenemos que las

siguientes funciones son continuas(en todo su dominio)

si

.
y muchas otras combinaciones de funciones trigonomtricas y
polinomicas que sea operaciones algebraicas entre funciones
bsicas como

La compuesta de funciones continuas es continua Sean

continua en ,

continua en

tal que

entonces

es continua en
Este teorema nos ayuda a mostrar que las siguientes
funciones son continuas(en todo ).

ya que es la compuesta de

ya que es la compuesta de

compuesta de

con

compuesta

Consider la funci\on

definida por

Estudie la continuidad de .
Solucin:

Sea

, entonces

. Por composicin

y producto de funciones continua, es continua en

.

Sea

, entonces

por composicin y

cuociente de funciones continua, es continua en

Veamos la continuidad de en
y

. Claramente

. Como es punto de acumulacin

del
, debemos ver si existe
.
Para esto, calculemos los lmites laterales

por cero aniquila.

es decir,

existe adems

luego es continua en

Por consiguiente es continua en todo su dominio

Funciones continuas sobre compacto

Si es una funci\on continua en un intervalo cerrado y acotado
(compacto)
se debera tener que
En ningun punto de
hay saltos, ya que si los
hubiera salto los limites laterales son distintos figura de
mas abajo

o bien el lmite de la funcin en el punto no coincide con

el valor de la funcin en el punto ver la siguente figura

Tampoco la funcin puede ir a infinito en algn punto de

, ver figura que sigue, ya que en ese caso lmite no
existe

Tampoco puede oscilar en un punto

sigue) ya que el lmite no existiria.

(ver figura que

As tenemos (intuitivamente) que la gr\afica de una funci\on

continua en un intervalo cerrado y acotado
debe ser de tal
forma que uno la puede graficar sin levantar el l\apiz
empezando en

y terminando en

En el fondo una funci\on continua en

desformaci\on del intervalo

.
es s\olo una

, siendo su gr\afica solamente

una cuerda no infinita que une los puntos

y
Lo anterior nos permite creer los siguientes teoremas.

del Valor Intermedio

Sea

continua. Si es un n\umero real que cumple

entonces tiene al menos una preimagen en el intervalo
.

(es decir,

tal que

Como m\as se utiliza este teorema, es en la existencia de

races de una funci\on.
Existencia de Raices Sea
1)

(es decir,

tal que
y

tiene distintos signos)

2) f continua en un conjunto que incluya al intervalo

entonces tiene una raiz en el intervalo
que

(es decir, existe

tal

La funci\on

tiene una raz en el intervalo

En efecto
.

Adem\as es continua en
raz en el intervalo

luego

luego por corolario anterior existe una

.

Pruebe que la ecuaci\on

tiene al menos una raz real en el intervalo

Soluci\on: Sea
y

luego

Adem\as es una funci\on continua en

el corolario anterior, existe
o soluci\on de la ecuaci\on.

en particular en

tal que

, luego por

, es decir es una raz

Sea f continua en un intervalo cerrado , entonces

intervalo cerrado.

tambi\en es un

Sea continua en un intervalo cerrado y acotado

, entonces

un intervalo cerrado y acotado, por lo tanto es acotada.

Estudie la continuidad de
a)
b)
Ayuda: Cuidado con los dominios.

es

c)

(parte entera)

d)

(parte entera)

Estudie la continuidad de la funci\on en los puntos indicados.

a)
b)

.
y

c)
Para qu\e valores de

es continua en el punto indicado.

a)
b)
c)
Considere la siguiente funci\on

donde y son n\umeros reales

1) Calcule el lmite lateral derecho de en

2) Calcule el lmite lateral izquiedo de en
3) Encuetre los valores de y que hacen continua a en .
4) Determine para qu\e valor de existe el lmite lateral izquierdo de en

Soluci\on: 1)

2)

3) ser\a continua en si

luego
es decir,

As

4.Si

entonces

Si

entonces el limite no existe.

En efecto; Supongamos que existe, es decir,

entonces al calcular
de dos formas distintas tenemos

luego esto es una contradicci\on.

Determine si las siguiente afirmaciones son verdaderas o falsas.

La funcin

La funcin

Si
es continua en y es continua en entonces
es continua en .

Sean

es discontinua slo en

funciones definidas en una vecindad de , tal

que es discontinua entonces

es discontinua en

es discontinua en .

Si y son discontinuas en entonces

discontinua en .

es

Soluci\on:

Falso: la funcin en

es discontinua ya que

luego el lmite no existe.

Falso: es continua en pues

adems

luego
. adems es claro por la grafica (ver

figura siguiente)

que es discontinua en

Verdadero: Por algebra de lmites tenemos. Si

son continuas en entonces

es continua en ,

es decir es continua en .

Falso: Exiten
y
definidas en una vecindad de
discontinua en
sin embargo
es continua en
: El mismo ejemplo.

Considere la funcin

funciones
tal que f es
.

Es continua en

? En caso de no serlo redefinir si es posible, de

modo que sea continua.

Soluci\on:

es un punto de acumulaci\on del

luego ser\a continua en

si y s\olo si

1)
2)

existe.

3)
As:

1) Es claro que

pues

2) Calculemos

Puesto que la funci\on logaritmo es continua en

luego existe
3)

luego no es continua en

embargo, dado que

. Sin

existe entonces es posible

redefinir de modo que sea continua en

forma:

Sea

, de la siguiente

la funci\on definida por

?`Qu\e valor (si existe) debe asignarse a la constante para que sea
continua en

Soluci\on: ser\a continua en

i)

Sea
i)

si

por otra parte;

entonces

si

adem\as

Luego por algebra de limite

ii)

Por (i) y (ii) y por se tiene

por lo tanto tenemos

Sea

a) ?`Es continua en
b) ?`Es continua en

?
?

c) Existe
d) Existe
Soluci\on: a) Calculemos los lmite laterales

pues

es acotada.

Luego

Por lo tanto es

continua en
b) Sea

para

funciones continuas en
funciones continuas)

como

es producto de

entonces (por algebra de

es continua.

Por suma y composici\on de funciones, se tiene que

continua en

. Adem\as por (a) es continua en

luego es continua en
c)

Luego existe
d)

pues
Luego existe

es acotada y
.

es
,

Determine

en

de modo que sea continua en

Solucin:

existe si y slo si

por lo tanto
continua en

Determinar en

, adems

, luego sera

si

de modo que sea continua en

Solucin: ser continua en

si

Este lmite podra existir si

( en caso

contrario el lmite sera de la forma

Ahora

i) Si

y no existira).

se tiene que

por otra parte,

Luego
si
ii) Si

y por lo tanto es continua en

, pues
, se tiene que

pero

luego

de donde
si

no existe y por lo tanto no es continua en

.

Recta tangente a la Curva

La noci\on de lmite es fundamental para el estudio de muchos
conceptos de las matem\aticas, de la fsica y otras ciencias.
Para ilustrar esto estudiaremos el problema de encontrar la
recta tangente a una curva en un punto

dado.

En la geometra plana, la recta tangente en un punto sobre

una circun-fe-ren-cia se puede definir como la recta que tiene

solamente el punto en comn con tal circunferenccia, como

se ilustra en la figura

. Esta definicin no se puede aplicar a cualquier grfica, ya

que una recta tangente en un punto puede cortar a una
grfica varias veces como se muestre en la figura, grfico
izquierdo). en el caso de la grfica de funcin valor absoluto
. Cul es la tangente en

Para identificar la recta tangente

en un punto

a la gr\afica de una funci\on

, basta especificar la pendiente

de L, ya que

\esta y el punto

determina completamente a la recta.

Para encontrar

, consideraremos las rectas

secantes que pasa por

Sea
la pendiente de
por la derecha figura
que sigue

, rectas

.
. Cuando "

tiende a

"(

fijo)

y por la izquierda figura

se observa que
nos sugiere que si

tiende a

(pendiente de la recta

tiende a un valor fijo. cuando "

). Esto
tiende

a " , entonces ese valor deberamos usar para definir la

pendiente

de la recta tangente

en

Es claro que la pendiente de la recta secante

ya que pasa por los puntos

es

. Con esta

notaci\on podemos sustituir la frase ``

tiende a

" por ``

tiende a ", as llegamos a la siguiente definici\on

Sea una funcin definida en un intervalo abierto que contiene a . La
pendiente

de la recta tangente a la grfica de en el punto

es

siempre y cuando el lmite exista.(Ver figura )

y en ese caso se dir que existe la recta tangente a la grfica de en el

punto

Sea

y un n\umero real.

Encontraremos:
a) La pendiente

de la recta tangente a la gr\afica de en el punto

.
b) La ecuaci\on de la recta tangente a la gr\afica en el punto
c) La ecuaci\on de la recta normal (recta perpendicular a la recta
tangente) a la gr\afica en el punto

Soluci\on: a)

As, la pendiente es

b) Ya que la pendiente de la recta tangente

en el punto

la podemos obtener como el caso especial en que

tenemos que

En general la ecuaci\on de la recta que pasa por

pendiente

,
y con

es

En nuestro caso

c) Si

es la pendiente de la recta tangente y

pendiente de la recta normal a la gr\afica de

se debe cumplir

la
entonces

As, la ecuaci\on de la recta normal a la gr\afica de

en

es,

Observe que si

para alg\un punto entonces la recta

tangente es horizontal, cuya ecuaci\on es

caso la ecuaci\on de la recta normal es

, y en este
.

a) Demostraremos que

y b) Determinemos la ecuaci\on de la recta tangente a

en

.
Soluci\on: Sea
usando sustituci\on,

, si

entonces

Calculando por separado los lmite tenemos

Luego por algebra de lmites

, luego,

b) Como la pendiente de la recta tangente a la grfica de

en cualquier punto

y por (a) tenemos que

obtenemos que

est dada por

, reemplazando
y as la recta tangente es;

Observe que la ecuaci\on de la normal en

es

Determine la pendiente de la recta tangente a la par\abola

en el punto
Soluci\on:

Un equipo de ingenieros de caminos disea un tramo de carretera que

debe conectar una autopista horizontal con otra de pendiente
enlace debe, realizarse sobre una distancia horizontal de
usando una curva parablica para unir los puntos
ecuacin del tipo
las coordenadas de .

. El
pies

y . Obtenga una

para la parbola respectiva y determine

Soluci\on: Las coordenadas de

son

y los de son

donde
, adem\as como
tambi\en pertenece a la par\abola, debe satisfacer la ecuaci\on
de ella, as

, de donde

. por ejercicio

anterior, obtuvimos que la pendiente de

es
en

, luego en
es

pendiente

en
es

. Adem\as para conectar la autopista de

con la par\abola, debe ocurrir que

y para conectar la autopista horizontal (de pendiente

con la par\abola;

As, de y tenemos

En consecuencia

. Por otra parte

pertenece a la par\abola, luego satisface su

ecuaci\on, es decir

Por lo tanto las coordenadas de son

Dada la funci\on

a) ?`Es una funci\on continua en ?

b) ?`Existe la recta tangente a la curva
c) ?`Existe la recta tangente a la grafica de
(-1,-2)?

en el punto

en los puntos (4,2) y

Soluci\on: a) Dado que est\a definida en una vecindad de

,y

se debe cumplir que:

Como

y el otro lmite lateral es

y ambos son iguales a

se tiene que

y por lo tanto es continua en

b) Dado que est\a definida en una vecindad de
Veamos si existe

Para poder calcular este lmite, lo haremos calculando los

lmites laterales

por otra parte

Dado que los lmites laterales son distintos tenemos que no

existe

luego no existe recta tangente a la curva

en el punto

.
c) est\a definida en una vecindad de
y

; adem\as

pues

pues

para

pertenece a la curva

. Como la pendiente buscada es

existe la recta tangente a la curva en

ecuaci\on es:

En el caso del punto

curva

, y sea

tenemos que \el no pertenece a la

pues

luego no existe recta tangente a la curva

en el punto

.
Usando algebra de lmite y identidades trigonometricas calcular el lmite
de las siguientes funciones en

Sea

fun-cio-nes tales que

con

muestre que existe una vecindad de

y
tal que

Ayuda: Como

se puede tomar

y encontrar para ese

la

vecindad
Sea

Muestre que

tal que

Ayuda: Usar resultado anterior

Sea

Muestre que
Ayuda: Usar teorema del apret\on a
Sea
y

y supongamos que existe

entonces

tal que

(es decir, es acotada en una vecindad de )

Sea

Mostrar que

no existe si

Ayuda: Para la segunda parte usar ejercicio y para la primera parte usar

This document created by Scientific WorkPlace 4.0.