Fuentes:

1.- Suvorov
2.- Haaser
LMITES DE FUNCIONES
Nota: Las funciones se refieren a las magnitudes variables que se manifiestan de una
manera nica.
En seguida vamos a dar (antes que esto, se debe obtener esto) la definicin analtica
de lmites de funciones reales de variable real
Definicin: El nmero se dice que es el lmite de la funcin f en x 0 si para cada
nmero > 0, existe un numero >0tal que siempre que x este en el dominio de f y
0 < |x- x0| <
Entonces
|f (x)- L| < . (2,338)
Nota. Siempre que hablemos de lmite de una funcin f en x 0, supondremos que
todo intervalo abierto que contiene a x0 contiene tambin un punto x, distinto de x0,
en el dominio de f en otras palabras existen valores de x, arbitrariamente cercanos al
nmero x0, y si definimos como entorno de radio con centro a al intervalo a =
<a-,a+>, luego podemos decir el entorno de cualquier radio pequeo con centro
en x0, contienen valores x, diferentes de x0, para los cuales f(x) esta definido. Si tal
es el caso, entonces el punto x0 se dice que es un punto de acumulacin del dominio
de f. (2,339), (1,126,127)
Podemos dar una definicin equivalente al anterior.
Definicin: Para todo L, existe xo /x Df xo,entonces f(x) L.
De estas definiciones podemos decir que hay un entorno de definicin del lmite, el
cual, debemos encontrar en los teoremas sucesivos (prueba analtica)
Propiedades de los Lmites de Funciones Reales de Variable Real
Las siguientes propiedades ya han sido obtenidas en la teora de lmites lo que
corresponde ahora es probar analticamente cada una de ellas.

f L1 y Lm f L2 , entonces L1 = L2. (2, 348)

Teorema: Si Lm
x
x
0

Prueba. Para L1, tenemos: para todo /2, existe 1

Para L2, tenemos: para todo /2, existe ,
tenemos:

|f(x)-L1|< /2 y |f(x)-L2|< /2, entonces |f(x)-L1|+|f(x)-L2|< .

Si x xo= 1xo 2xo, donde =mn{1, 2}, entonces |L1-f(x)+f(x)-L2|< :L1=L2
Teorema: Si existe un intervalo abierto que contiene a x0 tal que para todo x x0

f Lm h L , entonces Lm g existe y Lm g L
en , f (x) g (x) h (x), y si Lm
x0
x0
x0
x0
. (2, 349)
Prueba.
Suponemos que 1 y 2 se han escogido tan pequeos que los intervalos < x 0 - 1,
x0 + 1 > y < x0 - 2, x0 + 2> estn contenidos en . Si es el mas pequeo de 1 y
2, entonces: L- < f (x) g (x) h (x) <L+

g L.
Por lo tanto: L- < g (x) < L+ , es decir: Lm
x
0

f L y a < L < b, entonces existe un numero > 0 tal que

Teorema: Si Lm
x
0

a < f (x) < b.

para todo x en el dominio de f que satisfaga 0 < | x x0 | < . (2,350)
Prueba.
Tenemos mn{b-L,L-a} entonces a < L- < L < L+ < b
pero, exite , |f(x)-L| < , L- < f(x) < L+
a < f (x) < b.
El Concepto de Lmite Restringido a un Conjunto
Definicin. Sea un conjunto y se define a la funcin restringida f la funcin con
dominio Df y en regla de correspondencia.
f (x) = f (x) para x Df. (2,351)
Definicin. Se define el lmite de f en x0 restringido a es L, escrito

Lm f L (sobre )
x0
o

Lm f ( x) L (x Df)
x x0
si y solo si

Lm f L . (2,351)
x0
Hay dos casos especiales que son de particular importancia.

Definicin. El lmite de f en x 0 restringido a = <-, x0> se llama lmite izquierdo

de f en x0. (2,351)
Definicin. El lmite de f en x0 restringido a = <, x0> se llama lmite derecho de f
en x0. (2,351)
Teorema sobre Lmites respecto de las Operaciones Algebraicas
Teorema: Si f y g son funciones tales que.

Lm f L1 y Lm g L2
x0
x0

( f g ) existe y
y si x0 es un punto de acumulacin de Df+g, entonces Lm
x
0

Lm( f g ) Lm f Lm g L1 L2 . (2,359)
x0
x0
x0
Prueba.
Para cada /2 hay un numero 1> 0 , para f, para cada /2 hay un numero 2> 0 ,
para g
|[f+g](x) (L1+L2)| | f (x) L1| + | g (x) L2| < /2 + /2 = ,
siempre que xDf+g (Df+g = Df Dg) y 0 < | x x 0 | < , donde el mnimo de 1 y
.

Teorema. Si f y g son funciones y tales que

Lm f L1 y Lm g L2
x0
x0

( fg ) existe y
y si x0 es un punto de acumulacin de Dfg, entonces Lm
x
0

Lm( fg ) Lm( f ) Lm( g ) L1 .L2 .(2,359)
x0
x
x
0

Prueba.
[f(x).g(x)-L1.L2] = [f(x).g(x)-g(x).L1 + g(x).L1 - L1.L2] |g(x)|.|f(x)-L1| + | L1|.|g(x)L2| < , luego, averigemos si podemos encontrar un para el cual cumple esto:
|g(x)|.|f(x)-L1| < /2, | L1|.|g(x)-L2| < /2.
Por L2, hay un 2 / |g(x)-L2| < /2.| L1|
|g(x)-L2| < /2.| L1| (+L2) entonces | g (x) |</2.| L1| + |L2|.
Por L1, hay un 1 / |f(x)-L1| < 1
Luego veamos si podemos definir 1 a partir de :
|g(x)|.|f(x)-L1|<(/2.| L1| + |L2| ) 1

(/2.| L1| + |L2|) 1= /2

1=.| L1| /+2.| L1|.|L2|.
Entonces podemos escoger como el mnimo de 1 y 2.

g L , entonces Lm cg cL . (2,360)
Corolario: Si Lm
x
x
0

De manera anloga se puede demostrar el siguiente teorema

g 1 existe y
Teorema. Si Lmg x L 0 , entonces Lm
x
0
0
Lm g 1 1 / L . (2,361)
x0
L1 y Lm g L2 , si L 0, y si x es un punto de
Corolario: Si Lmf
2
0
x0
x0

f / g existe y
acumulacin del dominio de f/g, entonces Lm
x
0

Lm f / g L1 / L2 . (2,362)
x0
f L y Lm g x0 , si t0 es un punto de acumulacin de D fg, y si
Teorema. Si Lm
t0
x0
existe un numero c > 0 tal que g (t) x0 siempre que 0 < | t t0 | < c, entonces

Lm fog L . (2,363)
t0
Prueba.
Para cualquier numero > 0 hay un numero > 0, para f tal que
( g (t)Df y 0 < |g(t) x0| < ).
Hay un numero 1 > 0 tal que
| g (t) x0 | < ( tDg y 0 < |t t0| < 1 ).
Por hiptesis | g (t) x0 | >0, siempre que 0 < | t t0 | < c.
Luego tomemos el menor de los dos nmeros 1 y c. l.q.q.d.