Profesorado en Matemática

y Matemática Aplicada
Análisis Matemático I

Trabajo Práctico 2: Conjuntos acotados. Puntos en R. Límite de funciones

1) Dados los siguientes conjuntos

 
A  0 ; 1
1
B  x  R / x  ; n  N 
 n 
 n 
C  x  R / x  ; n N DN
 n 1 
E  1, 2, 3, 4 F  x  R / x  3  2

G  x  R / x  1  3 H  x  R / 0  x  3  2

Analizar, en cada caso, si son conjuntos acotados. En caso de estar acotados, determinar el
ínfimo y/o el supremo de cada conjunto. Indicar si alguno de ellos es el mínimo y/o el
máximo.
2) Determinar, en caso de que existan, el ínfimo, el supremo, el mínimo y/o el máximo de cada
uno de los siguientes conjuntos

A  x  R / x2  x  2  0 
B  y  R / y  x 2

 x 2 ; xR

C  y  R / y  x 2
x2 ; 0 x  2
3) Indicar tres ejemplos de funciones acotadas. En cada caso, hallar el ínfimo y el supremo del
conjunto imagen.
4) Resolver las siguientes inecuaciones
a) x  2  3 b) x  1  4 c) x  1  x  3

Interpretar los enunciados y las respuestas halladas en función de la definición de distancia

entre dos números reales.
5) Hallar, en cada caso, el conjunto solución y expresarlo como entorno y/o entorno reducido:
1
a) x  3  5 b) x  2  c) 0  x  1  3
2
6) Expresar como entorno cada uno de los siguientes intervalos:
a)  2 ; 2 b)  1 ; 4 c) a ; b 

1
7) Hallar E 1 ; 5  E  1 ; 4 . Expresar el conjunto solución como un entorno, indicando el
centro y el radio.
8) Dado el conjunto A   2 ; 5  8 hallar los conjuntos de: puntos interiores, puntos de
acumulación, puntos frontera, y puntos aislados. ¿Es A un conjunto abierto? ¿Es cerrado?
9) Graficar f : R  R / f ( x)  2 x  1 y analizar:
a) ¿Para qué valores de x se verifica que sus imágenes estén a una distancia de 3 menor que
0,1? Expresar la respuesta como un entorno, identificando el centro y el radio del mismo.
b) ¿Para qué valores de x se verifica f ( x)  3  0,05 ? Al igual que en el ítem anterior,

expresar la respuesta en forma de entorno.

c) Si se consideran las imágenes f(x) que pertenecen al entorno E 3 ; 0,001 hallar los
valores de   0 tal que si x  E 1 ;   entonces f ( x)  E (3 ; 0,001)
d) Indicar la relación que existe entre los valores de   0 y   0 cuando se expresa
x  E 1 ;    f ( x)  E (3 ;  )

2x 2  x  1
10) Graficar f : R  1  R / f ( x)  y responder los mismos ítems que en el punto
x 1
anterior.
2 x  1 si x  1
11) Graficar f : R  R / f ( x)   y responder los mismos ítems que en los dos
 2 si x  1
ejercicios anteriores.
12) Utilizando la definición de límite finito en un punto demostrar que
1  3
a) lím  x  3    b) lím (3x  1)  7
x 3  2  2 x  2

c) lím (mx  b)  ma  b m  0 d) lím x 2  0

x a x 0

 
e) lím 5( x  1) 2  2  2
x 1
f) lím x 2  4 x  3  1
x2

3 4 f ( x)
13) Sea f una función definida en R tal que x  R : x 2  x  f ( x)  x 2 calcular lím 2
4 x0 x

14) Si f ( x)   2 x 2  4 x  3  2 x y lím f ( x)  L determinar los valores de  que verifican

x 1

x  E' 1,   / sg f ( x)  sg( L)

2
15) Calcular:


a) lím ln( x  2)  x 3  8 x   
b) lím  2 x    sen x 
x   3 
x 3 
6

x 2  2x  e x
 
2x
c) lím d) lím (1  x) 2  x x 1
x2 x  3x  4
3
x 1

En un programa como GeoGebra pueden calcularse límites utilizando la sintaxis

Límite[<Función>,<Valor numérico>]
 2 x  5 si x  1
16) Dada la función f : R  R / f ( x)   analizar si existe lím f ( x)
3x  2 si x  1 x1

Formalizar y demostrar los resultados obtenidos aplicando la definición de límites laterales.

Visualizar los resultados obtenidos graficando la función en GeoGebra. Considerar lo visto en
el trabajo práctico anterior: utilizar la función Si[Condición, Entonces, Si no] para graficar
funciones definidas por ramas.
17) Calcular:
a) lím sg ( x  3) b) límx
x 3 x 2

En un programa como GeoGebra pueden calcularse los límites laterales utilizando las
sintaxis:
LímiteInferior[<Función>,<Valor>] calcula el límite lateral izquierdo
LímiteSuperior[<Función>,<Valor>] calcula el límite lateral derecho
x2  x
18) Graficar f : R  0  R / f ( x) 
x

Analizar gráfica y analíticamente si existe lím f ( x)

x 0

19) Determinar los valores de las constantes a y b para que exista lím f ( x) y lím f ( x) siendo
x 1 x 2

 bx si x  1
 2
f : R  R / f ( x)   x  ax si  1  x  2
bx  a si x  2

20) Sabiendo que lím f ( x)  A y lím f ( x)  B calcular
 
x 0 x 0


x 0

a) lím f x 3  x  
b) lím f x 2  x 4

x 0
 c) lím f  x  sen x 

x 0

3
 2
21) Dada f : D f  R / f ( x)  3
x
a) ¿Para qué valores de x se verifica f ( x)  3  0,05 ?

b) Si se consideran las imágenes f(x) que pertenecen al entorno E 3 ; 0,001 hallar los
valores de x tal que f ( x)  E (3 ; 0,001)
c)   0 y M  0 , hallar la relación que existe entre M y  si se indica que
x  M  f (x)  3  

22) Utilizando la definición de límite en el infinito, demostrar que

1 2x  3
a) lím 0 b) lím 2
x  x2 x  x
2
23) Dada f : D f  R / f ( x) 
x 1
a) ¿Para qué valores de x se verifica f ( x)  10 4 ? Expresar la respuesta como un entorno

b) Hallar los valores de   0 tal que si x  E ' 1 ;   entonces f ( x)  10 6

c) N  0 y   0 , indicar la relación que existe entre los valores de N y  cuando se

expresa x  D f : x  E ' 1 ;    f ( x)  N

24) Analizar, si existe, el valor de lím a x con a  0  a  1

x 

25) Calcular:
1
 2
x
a) lím e b) lím 1
x 0 x 0 
1 e x

1

x 1 1
c) lím e d) lím arctg 
x 1 x 0  x
26) a) Indicar para qué valores de x las siguientes funciones son infinitésimos:
f 1 : R  R / f 1 ( x)  x  1 f 2 : R  R / f 2 ( x)  x 2  2 x  1

f 3 : R  R / f 3 ( x)  x 3  x f 4 : R  R / f 4 ( x)  sen2 x 

x2  x
f 5 : R  R / f 5 ( x)  e x  2 f 6 : D f  R / f 6 ( x) 
x 1

4
 f 3 ( x)
b) Graficar f 7 : D f  R / f 7 ( x) 
f1 ( x)

f 2 ( x) f1 ( x)
f 8 : D f  R / f 8 ( x)  f 9 : D f  R / f 9 ( x) 
f 1 ( x) f 2 ( x)

c) Calcular lím f 7 ( x) ; lím f 8 ( x) ; lím f 9 ( x)

x1 x1 x1

27) Indicar el tipo de indeterminación que se plantea y calcular los siguientes límites:

x 2  2x  1 x2  x  6 ( x  1) 6  2 x
a) lím b) lím c) lím
x 1 x3  x x  3 x3 x 1 x2 1
x 4  4x  3 ( x  2) 3  8 x 2  ax  x  a
d) lím e) lím f) lím a  0
x 1 x  3 x  2 x3  a3
3
x 0 x xa

28) Indicar el tipo de indeterminación que se plantea y calcular los siguientes límites:

x4 x 4x  3  3  x
a) lím b) lím c) lím
x4 x5 3 x 0 1 x  1 x x 0 x

x  3  3x  1 x 2
3
1 x2 1
3
d) lím e) lím f) lím

x 1 x 1 x 8 x  8 x 0 x2
sen x
29) Sabiendo que lím  1 calcular:
x 0 x
sen4 x  sen6 x  tg x
a) lím b) lím c) lím
x 0 x x 0 sen4 x  x 0 x

3 1  cos x  arcsen3x  sen x

d) lím e) lím f) lím
x 0 x2 x 0 x x  x 
30) Indicar para qué valores de x las siguientes funciones son infinitésimos simultáneamente. En
cada caso, compararlos.
a) f ( x)  sen( x  1) g ( x)  x  1


b) f ( x)  cos x g ( x)  x
2

5
 1
31) Teniendo en cuenta que el gráfico de f : R  0  R / f ( x)  sen  es
 x

Calcular, si existen, cada uno de los siguientes límites:

1 1 1
a) lím sen  b) lím x  sen  c) lím x 2  sen 
x 0  x x 0  x x 0  x
Analizar los resultados obtenidos en los gráficos de las funciones:

32) Indicar el tipo de indeterminación que se plantea y calcular los siguientes límites:
3x 2  4 x  2 2 x 3  5x  8
a) lím b) lím
x  2 x  7 x  2 x  1 x  4 x  9 x  2
3 2 2

5x 4  2 x 2  3 3
x 3  2 x 2  1  3x
c) lím d) lím
x  3 x  6 x  5 x
4 3
x  2x  1

x 2  x  2  2x 4x 2  1  x 2  x
e) lím f) lím
x  x 1 x  9x 2  x  2  x

a0  a1  x  a 2  x 2  a3  x 3  ...  a p  x p
g) lím
x  b0  b1  x  b2  x 2  b3  x 3  ...  bq  x q

33) Indicar el tipo de indeterminación que se plantea y calcular los siguientes límites:

a) lím x
x 
2
 2  x2 1  b) lím x 
x  
x 2
 2  x2 1 
c) lím  x
x 
2
 2x  x 2  1 
6
34) Indicar si cada una de las siguientes proposiciones son Verdaderas o Falsas, justificando la
respuesta:
a) Si en un entorno reducido del punto x = a la función f está acotada entonces existe
lím f (x)
x a

b) Si en un entorno reducido del punto x = a la función f tiene signo positivo entonces

lím f (x) tiene signo positivo.
x a

c) Si existe lím ( f  g )( x) y existe lím f (x) entonces existe lím g (x)

x a x a x a

1
sen 
d) lím    1
x
x 0 1
x
e) Si lím f ( x)  L L  R entonces lím f ( x)  L
xa x a

35) Indicar el tipo de indeterminación que se plantea y calcular los siguientes límites:
x2 2 x2
 x2 1
3x
 2  3 
a) lím 1   b) lím 1  2  c) lím  2 
x   x x   x  x  x  1
 

 2x  3 
x

 
3
f) lím 1  3 sen x  x
1
d) lím   e) lím 1  2 x 2
x2
x   x  1  x 0 x 0

36) Determinar los valores de a y b tales que lím

x 
 x 2  x  1  ax  b  0 
37) Indicar el tipo de indeterminación que se plantea y calcular los siguientes límites:
1

7 2
x   1 
a) lím b) lím ( x  3) 2  sen 3 
 x  3 
1
x 0
47x
x  3


a x 1 ex 1
c) lím a  0  a  1 d) lím
x 0 x x  0 sen ( 2 x )

3x  arcsen x sen x
e) lím
x 0 2 x  arctg x
f) lím
x  x 1  cos x
2
 
38) Si x  R se verifica x  1  g ( x) calcular lím
2 ex x2  1  
x   g ( x)

7
 Ejercicios de revisión del Trabajo Práctico 2

2x 2  x  3
1) Dada f : R  1  R / f ( x)  indicar la relación que existe entre los valores de
x 1
 y  cuando se expresa:
  0,  ( )  0 / x  D f : x  E ' 1 ;    f ( x)  E (5 ;  )

Representar gráficamente lo analizado.

2 1
f ( x)  g ( x)
2) Sabiendo que f y g son infinitésimos equivalentes en x = a, calcular lím 3 5
x a f ( x)  2 g ( x)
3) Hallar, en cada caso, el valor de k que verifique cada igualdad:
3 x  4  sen(2 x) k  cos x
a) lím  lím
x 0 x  5  sen x  
x
2 x
2

b) lím
x 0
x 2  16  4
2 4 x 2
 lím k  x 
x  
x 2
1  x 
1 x2  k  x 1 1  sec 2 x
c) lím  lím
x 0 2x x 0 x2

4) Hallar a  R tal que f : R  R / f ( x)  2 x 2  12x  10 y g : Dg  R / g ( x)  a  x 3

sean infinitésimos simultáneos en algún valor de x. En cada caso, compararlos.

5) Utilizando las definiciones de las funciones hiperbólicas, justificar que lím th x  1 y
x 

lím th x  1
x  

8
Respuestas
1) A es un conjunto acotado. Ínfimo = 0. Supremo = 1. No tiene mínimo. Máximo = 1.
B es un conjunto acotado. Ínfimo = 0. Supremo = 1. No tiene mínimo. Máximo = 1.
1 1
C es un conjunto acotado. Ínfimo = . Supremo = 1. Mínimo = . No tiene máximo.
2 2
D es un conjunto acotado inferiormente. Ínfimo = Mínimo = 1. No tiene cotas superiores.
E es un conjunto acotado. Ínfimo = 1. Supremo = 4. Mínimo = 1. Máximo = 4.
F es un conjunto acotado. Ínfimo = 1. Supremo = 5. No tiene mínimo ni máximo.
G no es un conjunto acotado. No tiene cotas inferiores ni superiores.
H es un conjunto acotado. Ínfimo = 1. Supremo = 5. No tiene mínimo ni máximo.
2) A es un conjunto acotado. Ínfimo = -1. Supremo = 2. No tiene mínimo ni máximo.
9
B es un conjunto acotado inferiormente. Ínfimo = Mínimo =  . No tiene cotas superiores.
4
9 9
C es un conjunto acotado. Ínfimo =  . Supremo = 0. Mínimo =  . No tiene máximo.
4 4
3) f ( x)  sg( x) ; f ( x)  mant ( x) ; f ( x)  sen x ; f ( x)  cos x ; f ( x)  arctg x ; f ( x)  th x

4) a) S    ;  1  5 ;   b) S   5 ; 3 c) S   1 ;   

 5 3  1
5) a) S   2 ; 8  E 3 ; 5 b) S    ;    E   2 ; 
 2 2  2
c) S   2 ; 1  1 ; 4  E ' 1 ; 3

3 5 a b a b 
6) a) E 0 ; 2 b) E  ;  c) E  ; 
2 2  2 2 

7)  4 ; 3  E  1 ; 7 
 2 2
8) Conjunto de puntos interiores de A =  2 ; 5 . Conjunto de puntos de acumulación de A =

A '   2 ; 5 . Conjunto de puntos frontera de A =  2 ; 5 ; 8. Conjunto de puntos aislados de

A = 8. A no es un conjunto abierto ni es un conjunto cerrado.

9) a) Se verifica si x  1  0,05 . Es decir, valores de x cuya distancia a 1 es menor que 0,05

Se puede escribir como E 1 ; 0,05

b) E 1 ; 0,025  x  R / x  1  0,025

9
 c) E 1 ;    x  R / x  1    siendo   0,0005


d) Si   se verifica que:   0,  ( )  0 / x  R : x  1    f ( x)  3  
2
10) Las respuestas son similares, pero considerando el dominio de la función f, es decir, las
respuestas son similares pero en lugar de considerar el conjunto R, se indica en D f  R  1

En el último ítem, la conclusión puede escribirse


Si   se verifica que:   0,  ( )  0 / x  D f : x  1    f ( x)  3  
2
11) Las respuestas también son similares, pero sólo se verifican si se considera el entorno
reducido con centro en x = 1.
Este último análisis permite concluir que, si hay que resumir una implicación que se verifique
en todos los casos, se puede escribir:

Si   se verifica que:   0,  ( )  0 / x  D f : 0  x  1    f ( x)  3  
2
12) Si bien, en cada caso, la respuesta no es única, puede escribirse:
3
a) Si   2 se verifica que:   0,  ( )  0 / x  D f : 0  x  3    f ( x)  
2

b) Si   se verifica que:   0,  ( )  0 / x  D f : 0  x  2    f ( x)  7  
3

c) Si   se verifica que:
m

  0,  ( )  0 / x  D f : 0  x  a    f ( x)  (ma  b)  

d) Si    se verifica que:   0,  ( )  0 / x  D f : 0  x    f ( x)  


e) Si   se verifica que:   0,  ( )  0 / x  D f : 0  x  1    f ( x)  2  
5

f) Si    se verifica que:   0,  ( )  0 / x  D f : 0  x  2    f ( x)  1  

f ( x)
13) lím 1
x 0 x2
1
14) Se verifica si  
2

10
  e2
15) a) 3 b) c) d) 2
3 10

16) Si   se verifica que:   0,  ( )  0 / x  D f : 1    x  1  f ( x)  3  
2

Si   se verifica que:   0,  ( )  0 / x  D f : 1  x  1    f ( x)  1  
3
17)

a)
lím sg ( x  3)  1
x 3

lím sg ( x  3)  1
x 3

b)
lím x   1
x2

lím x   2
x2

11
18)

lím f ( x)  1
x 0 

lím f ( x)  1
x 0 

2 5
19) a   y b
3 3


x 0

20) a) lím f x 3  x  B  
b) lím f x 2  x 4  A

x 0
 c) lím f  x  senx  B

x 0

21) a) Si x  40 entonces f ( x)  3  0,05

b) Si x  2000 entonces f ( x)  3  0,001

2
c) Si M  se verifica que:   0, M ( )  0 / x  D f : x  M  f ( x)  3  

1
22) a) Si M  se verifica que:   0, M ( )  0 / x  D f : x  M  f ( x)  

3
b) Si M  se verifica que:   0, M ( )  0 / x  D f : x  M  f ( x)  2  

23) a) E ' 1 ; 0,0002  x  R / 0  x  1  0,0002

b) E ' 1 ;    x  R / 0  x  1    siendo  
2
10 6
2
c) Si   se verifica que: N  0,  ( N )  0 / x  D f : 0  x  1    f ( x)  N
N
24) Si 0  a  1 : lím a   lím a  0
x x

x   x  

Si a  1 : lím a  0 lím a  
x x

x   x  

12
25)

a)
1

lím e x
 
x 0 

1

lím e x
0
x 0 

b)
2
lím 1
0
x 0 
1 e x

2
lím 1
2
x 0 
1 e x

1

x 1
c) lím e 0
x 1

13
 d)
1 
lím arctg   
x 0  x 2

1 
lím arctg  
x 0  x 2

26)
a) f1 es un infinitésimo en x = 1; f2 es un infinitésimo en x = 1; f3 es un infinitésimo en x = -1, en

x = 0, en x = 1; f4 es un infinitésimo en x  k  , con k  Z ; f5 es un infinitésimo en
2
x = ln 2; f6 es un infinitésimo en x = 0
b) f 7 : R  1  R / f 7 ( x)  x 2  x

14
 f 8 : R  
1  R / f 8 ( x)  x  1

f 9 : R  1  R / f 9 ( x) 
1
x 1

c) lím f 7 ( x)  2 ; lím f 8 ( x)  0 ; lím f 9 ( x)  

x 1 x 1 x 1

27) a) 0 b) – 5 c) 1
a 1
d) 2 e) 12 f)
3a 2
3 3
28) a) 6 b) 1 c) 
2 3 2
1 1
d) 0 e) f)
12 3
3
29) a) 4 b) c) 1
2
3
d) e) 3 f) – 1
2

15
30)
a) f es un infinitésimo en x  1  k , con k  Z
g es un infinitésimo en x = 1
Son infinitésimos simultáneos en x = 1. No son comparables porque no existe el límite.
 
b) f es un infinitésimo en x   k  2k  1  , con k  Z
2 2

g es un infinitésimo en x 
2

Son infinitésimos simultáneos en x  . En ese punto, son infinitésimos equivalentes.
2
1 1 1
31) a)  lím sen  b) lím x  sen   0 c) lím x 2  sen   0
x 0  x x 0  x x 0  x
1 1
Los gráficos corresponden a las funciones y  x  sen  e y  x 2  sen 
 x  x
5
32) a) 0 b)  c) d) 2
3

x 2  x  2  2x x 2  x  2  2x
e) lím 1 lím 3
x   x 1 x   x 1

4x 2  1  x 2  x3 4x 2  1  x 2  x 3
f) lím  lím 
x   9x  x  2  x
2 2 x   9x  x  2  x
2 4

a0  a1  x  a 2  x 2  a3  x 3  ...  a p  x p
g) Si p  q : lím 0
x  b0  b1  x  b2  x 2  b3  x 3  ...  bq  x q

a0  a1  x  a 2  x 2  a3  x 3  ...  a p  x p
Si p  q : lím 
x  b0  b1  x  b2  x 2  b3  x 3  ...  bq  x q

a0  a1  x  a 2  x 2  a3  x 3  ...  a p  x p ap
Si p  q : lím 
x  b0  b1  x  b2  x 2  b3  x 3  ...  bq  x q bq

1
33) a) 0 b)
2

c) lím
x  
x 2
 2 x  x 2  1  1 lím
x  
 
x 2  2x  x 2  1  1

16
34)
a) Falso. Puede indicarse a modo de contraejemplo la función f ( x)  sg ( x) . Está acotada en un
entorno reducido de x = 0 pero  lím sg ( x)
x0

b) Falso. Puede indicarse a modo de contraejemplo la función f ( x)  [ x] . En un entorno

reducido de x = 2 la función tiene signo positivo pero  lím[ x]
x2

1
c) Falso. Puede indicarse a modo de contraejemplo las funciones f ( x)  x y g ( x)  sen  .
 x
1 1
Se verifica que lím x  sen   0 y lím x  0 pero  lím sen 
x 0  x x 0 x 0  x
1
sen 
d) Falso. lím  x  sen z 1
 lím sen z   0
lím
x 0 1 z  z z  z
x
e) Falso. Puede indicarse a modo de contraejemplo la función f ( x)  sg( x) . Se verifica que

lím sg( x)  1 pero  lím sg( x)

x 0 x0

35) a) e 6 b) e 3 c) e 4

 2x  3   2x  3 
x x

d) lím   0 lím   
x    x  1  x   x  1 

e) e 6 f) e 3

36) Se verifica que lím

x  
 
x 2  x  1  ax  b  0 si a  1 y b  
1
2

Y lím
x  
 
x 2  x  1  ax  b  0 si a  1 y b 
1
2
1 1

7 2x
1 7 2
x
37) a) lím 1
 lím 1
1

x 0 2 x 0
47 x
47 x

b) 0 c) ln a
1 2
d) e) f) 0
2 3

17
38) lím

ex x2  10
x   g ( x)
Respuestas a los ejercicios de revisión:
1) Puede escribirse:

  0  0    se verifica que x  D f : x  E ' 1 ;    f ( x)  E (5 ;  )
2
2 1
f ( x)  g ( x)
7
2) lím 3 5 
x a f ( x)  2 g ( x) 45
11
3) a) k  ; b) k  1 ; c) k  4
6
4) Las funciones son infinitésimos simultáneos en x  1 si a  1 , y en x  5 si a  125 .
Si a  1 : f es un infinitésimo de orden superior a g en x  1.
Si a  125 : f es un infinitésimo de orden superior a g en x  5 .
e x  ex e x  ex
5) Resolver las indeterminaciones lím x
y lím x
y verificar los resultados
x   e  e x   e  e
x x

dados.

18
 Puntos en R

1) Punto Interior
Un punto p perteneciente a un conjunto A es un punto interior al mismo, si y sólo si existe un
entorno de p incluido en A.
Por ejemplo: A   1 ; 6  9
Conjunto de Puntos Interiores de A =  1 ; 6
Un conjunto es abierto si y sólo si todos sus puntos son interiores.
Ejemplos de conjuntos abiertos: A = a ; b  B  a ;  
CR D

2) Punto de acumulación
Un punto p perteneciente o no a un conjunto A es un punto de acumulación de A si y sólo si
para todo entorno reducido de p existe al menos un punto de A. Es decir, la intersección entre
el entorno reducido y el conjunto A, no es vacía.
Se denomina conjunto derivado de A al conjunto de todos los puntos de acumulación de A y
se designa A' .
Por ejemplo: A   1 ; 6  9 A'   1 ; 6
Un conjunto es cerrado si y sólo si todos sus puntos de acumulación pertenecen al conjunto.
Ejemplos de conjuntos cerrados: A  a ; b BZ
CR D

3) Punto frontera
Un punto p perteneciente o no a un conjunto A es un punto frontera de A si y sólo si en todo
entorno de p hay puntos que pertenecen a A y puntos que no pertenecen a A.
Por ejemplo: A   1 ; 6  9
Conjunto de Puntos Frontera de A =  1 ; 6 ; 9

19
4) Punto aislado
Un punto p perteneciente a un conjunto A es un punto aislado si y sólo si existe un entorno
reducido de p al cual no pertenece ningún punto de A.
Por ejemplo: A   1 ; 6  9
Conjunto de Puntos Aislados de A = 9

20
 Propiedades del límite finito

1) Si lím f ( x)  l l  R  entonces la función f está acotada en un entorno reducido de x = a.

x a

lím f ( x)  l l  R  es equivalente a indicar:

x a

lím f ( x)  l l  R     0,  ( )  0 / x : ( x  D f  0  x  a    f ( x)  l   )
x a

Por propiedad del módulo: m  n  mn

Con lo cual f ( x)  l  f ( x)  l   si x  E ' a;  

f ( x)  l  

f ( x)    l

Esto también puede escribirse f ( x)  k que es una forma de indicar que la función

está acotada en un entorno reducido de x = a.

2) Si lím f ( x)  l l  R  y l  0 entonces sg  f ( x)  sg l  en un entorno reducido de x = a
x a

Puede demostrarse esta propiedad dividiéndola en dos partes:

a. Si lím f ( x)  l l  R  y l  h entonces f ( x)  h en un entorno reducido de x = a
x a

lím f ( x)  l l  R     0,  ( )  0 / x : ( x  D f  0  x  a    f ( x)  l   )
x a
Si l  h entonces h  l  0 , es decir, h  l es positivo
Como se cumple   0 siempre existe algún valor que verifique f ( x)  l    h  l

f ( x)  l  h  l

Por propiedad del módulo:  m m m

Entonces  f ( x)  l  f ( x)  l  f ( x)  l  h  l

f ( x)  l  h  l
f ( x)  h
Un caso particular es cuando h  0 :
Si lím f ( x)  l l  R  y l  0 entonces f ( x)  0 en un entorno reducido de x = a
x a

21
 Es decir, si una función tiene límite finito es un punto y ese límite es negativo, existe
entonces algún entorno reducido del punto donde la función también tiene signo negativo.
b. Si lím f ( x)  l l  R  y l  m entonces f ( x)  m en un entorno reducido de x =
x a

a
La demostración es similar al caso anterior.
Un caso particular es cuando m  0 :
Si lím f ( x)  l l  R  y l  0 entonces f ( x)  0 en un entorno reducido de x = a
x a

Es decir, si una función tiene límite finito es un punto y ese límite es positivo, existe
entonces algún entorno reducido del punto donde la función también tiene signo positivo.
Considerando lo demostrado, puede concluirse que:
Si lim f ( x)  l l  R y l  0 entonces existe un entorno reducido de x = a donde los
x a

valores de f tienen el mismo signo que l.

3) Dadas las funciones f y h tales que lím f ( x)  l1 l1  R  y lím h( x)  l 2 l 2  R  siendo l1  l 2
x a x a

entonces existe un entorno reducido de x = a en el cual f ( x)  h( x)

Como R es un conjunto denso, si l1  l 2 se sabe que existe al menos algún número real k tal

que k  l1 ;l 2  , es decir, l1  k  l 2

Teniendo en cuenta el teorema anterior:
Si l1  k entonces  1  0 / x : x  D f  x  E ' a ;  1   f ( x)  k

Si l 2  k entonces  2  0 / x : x  Dh  x  E' a ;  2   h( x)  k

Entonces, existe un entorno reducido de x = a: E ' a ;    E ' a ;  1   E ' a ;  2  donde se

verifica que: f ( x)  k  h( x) , es decir, f ( x)  h( x)

Una propiedad y demostración similar puede indicarse para el caso en que l1  l 2

4) Unicidad del límite: Si una función tiene límite finito en x = a entonces ese límite es único.
Puede demostrarse por el absurdo: suponer que el límite no es único, para llegar luego a una
contradicción.
Si el límite no es único, entonces lim f ( x)  l1 y lim f ( x)  l 2 l1  l 2 
x a x a

Teniendo en cuenta la propiedad anterior:

22
 Si l1  l 2 entonces x  E´(a ;  ) : f ( x)  f ( x) , lo cual es absurdo.

Si l1  l 2 entonces x  E´(a ;  ) : f ( x)  f ( x) , lo cual también es absurdo.

Esta contradicción surge de suponer l1  l 2 ; por lo tanto l1  l 2 , es decir, el límite es único.
5) Propiedad de intercalación: Dadas las funciones f, g y h y un entorno reducido de x = a tal
que E´(a ;  )  D f  Dg  Dh  . Si x : x  E´(a ;  ) se verifica que f ( x)  g ( x)  h( x) y

lím f ( x)  lím h( x)  l entonces lím g ( x)  l .

x a x a xa

Aplicando la definición de límite finito se verifica en un entorno reducido de x = a:

f ( x)  l      f ( x)  l      l  f ( x)    l

h( x)  l      h( x)  l      l  h( x)    l

Considerando además, por hipótesis, que f ( x)  g ( x)  h( x) se obtiene:

   l  f ( x )  g ( x )  h( x )    l
   l  g ( x)    l
   g ( x)  l  

g ( x)  l  

lim g ( x)  l
xa

6) Relación Fundamental del Límite: lím f ( x)  l (l  R)  lím f ( x)  l   0

x a x a

lím f ( x)  l    0,  ( )  0 / x : ( x  D f  0  x  a    f ( x)  l   )
x a

lím f ( x)  l    0,  ( )  0 / x : ( x  D f  0  x  a     f ( x)  l   0   )
x a

que significa lím f ( x)  l   0 . Es decir, f ( x)  l es un infinitésimo.

x a

Por notación de infinitésimos, esto puede escribirse

f ( x)  l   ( x) con  ( x)  0 si x  a
f ( x)  l   ( x) con  ( x)  0 si x  a
Entonces: lím f ( x)  l  f ( x)  l   ( x)
x a

23
A partir de la Relación Fundamental del Límite, pueden demostrarse las propiedades conocidas
como Álgebra de Límites:
7) lím f ( x)  l1  lím g ( x)  l 2 (l1 , l 2  R)  lím f ( x)  g ( x)  l1  l 2
x a x a x a

lím f ( x)  l1  f ( x)  l1   1 ( x) con  1 ( x)  0 cuando x  a

x a

lím g ( x)  l 2  g ( x)  l 2   2 ( x) con  2 ( x)  0 cuando x  a

x a

Entonces f ( x)  g ( x)  l1   1 ( x)  l 2   2 ( x)
f ( x)  g ( x)  l1  l 2  ( 1 ( x)   2 ( x))
Siendo  1 ( x)   2 ( x) un infinitésimo, resulta f ( x)  g ( x)  l1  l 2   ( x)

lím  f ( x)  g ( x)  l1  l 2
x a

8) lím f ( x)  l1  lím g ( x)  l 2 (l1 , l 2  R)  lím f ( x)  g ( x)  l1  l 2

x a x a x a

lím f ( x)  l1  f ( x)  l1   1 ( x) con  1 ( x)  0 cuando x  a

x a

lím g ( x)  l 2  g ( x)  l 2   2 ( x) con  2 ( x)  0 cuando x  a

x a

Entonces f ( x)  g ( x)  l1  l 2  l1   2 ( x)  l 2   1 ( x)   1 ( x)   2 ( x)
Como el producto de un infinitésimo por una constante es un infinitésimo, y el producto de
dos infinitésimos es otro infinitésimo, entonces los últimos tres términos son infinitésimos; y
la suma de esos tres infinitésimos es otro infinitésimo:
f ( x )  g ( x )  l1  l 2   ( x )

lím f ( x)  g ( x)  l1  l 2
x a

9) x  D f , k  R  / f ( x)  k  lím g ( x)  0  lím  f ( x)  g ( x)  0

xa xa

Siendo f una función acotada, y siendo g un infinitésimo en x = a, la propiedad también se

enuncia como: el producto entre un infinitésimo y una función acotada es otro infinitésimo.

lím g ( x)  0    0,  ( )  0 / x : ( x  D g  0  x  a    g ( x)   )
xa

En E´(a ;  ) se cumple: f ( x)  k y g (x)  

f ( x)  g ( x)  k     ´
x : ( x  Dg  0  x  a    f ( x)  g ( x)   ´)
lím  f ( x)  g ( x)  0
x a

24
Referencias bibliográficas:
i. De Burgos, J. (1996): Cálculo infinitesimal de una variable. Madrid, McGraw-Hill.
ii. Leithold, L. (1990): Cálculo con Geometría Analítica. México, Harla.
iii. Rabuffetti, H. (1978): Introducción al Análisis Matemático. Cálculo I. Buenos Aires, El
Ateneo.
iv. Stewart, J. (1998): Cálculo de una variable. México, Thomson Editores.

25