Infinitsimos e infinitos 1

Unidad docente de Matemticas 1

INFINITSIMOS

Definicin
Diremos que una funcin y=f(x) es infinitamente pequea, infinitesimal o infinitsimo
cuando a x (o bien cuando x ) si y solo si 0 ) x ( f lm
a x
=

( 0 ) x ( f lm
x
=

).
De la definicin de lmite se deduce:
Si 0 ) x ( f lm
a x
=

, entonces para cualquier nmero ,

por pequeo que sea, existe un entorno de radio (a-, a+)
tal que para cada x(a-, a+) se verifica que < ) x ( f .

Si 0 ) x ( f lm
x
=

, entonces para cualquier nmero ,
por pequeo que sea, existe un nmero
0
x R tal que
para cada x >x
0
se verifica que < ) x ( f .

Ejemplos
a)
x
1
es un infinitsimo cuando x .
b) senx es un infinitsimo cuando 0 x .
c) tgx-1 es un infinitsimo cuando
4
x

.
d) lnx es un infinitsimo cuando 1 x .

Propiedades
1. Si la funcin y=g(x) es suma de una constante b y de un infinitsimo f(x) cuando a x , es
decir y=b+f(x) , entonces b ) x ( g lm
a x
=

. Y recprocamente si b ) x ( g lm
a x
=

, entonces se puede
escribir g(x)=b+f(x), siendo f(x) un infinitsimo cuando a x .
El resultado es anlogo para x .
2. La suma algebraica de un nmero finito de infinitsimos es un infinitsimo (cuando a x
x )
3. El producto de una funcin acotada por un infinitsimo es otro infinitsimo. En particular el
producto de dos infinitsimos es otro infinitsimo (cuando a x x ).
x
0
x

x
2 Infinitsimos e infinitos
2
4. El cociente entre un infinitsimo y una funcin no nula (cuando a x x ) es otro
infinitsimo (cuando a x x ).

Infinitsimos comparables
Dos infinitsimos f(x) y g(x) cuando a x se dice que son comparables si y solo si existe
k
) x ( g
) x ( f
lm
a x
=

. Adems:
i). Si k , 0 se dice que f(x) y g(x) son infinitsimos del mismo orden.
ii). Si k=0 =
) x ( f
) x ( g
lm
a x
se dice que f(x) es un infinitsimo de mayor orden (u orden
superior) que g(x) (f(x) tiende a 0 con ms rapidez), o bien que g(x) es un infinitsimo de
menor orden (u orden inferior) que f(x).
Anlogamente para x

Infinitsimos equivalentes
Se dice que dos infinitsimos f(x) y g(x) cuando a x son equivalentes si y solo si
1
) x ( g
) x ( f
lm
a x
=

. Escribiremos en este caso g f cuando a x .

Anlogamente para x .

Tabla de infinitsimos equivalentes cuando 0 x
a ln x 1 a
2
x
x cos 1
x arctg x x tg
x arcsen x x sen
x
2






Definicin: Orden de un infinitsimo
Sean f(x) y g(x) dos infinitsimos cuando a x , diremos que f es un infinitsimo de orden
n respecto de g si y solo si
[ ]
=

c 0 c
) x ( g
) x ( f
lm
n
a x
R
Anlogamente cuando x .
Infinitsimos e infinitos 3
Unidad docente de Matemticas 3
Ejemplos
1. f(x)=5x
2
es un infinitsimo de orden 2 respecto de g(x)=x cuando x 0.
En general el infinitsimo Kx
n
es de orden n respecto del infinitsimo x cuando x 0.
2. f(x)=7(x-1)
3
es un infinitsimo de orden 3 respecto de g(x)=x-1 cuando x 1.
En general el infinitsimo K(x-a)
n
es de orden n respecto del infinitsimo x-a cuando x a.

Teorema 1
La suma de dos infinitsimos de distinto orden es otro infinitsimo equivalente al de orden
inferior (cuando a x x ).
Demostracin
Supongamos que f(x) y g(x) son infinitsimos cuando a x y que g es de mayor orden que f,
entonces 1 0 1
) x ( f
) x ( g
lm 1
) x ( f
) x ( g
1 lm
) x ( f
) x ( g ) x ( f
lm
a x a x a x
= + = + =

+ =
+

.
Luego f(x)+g(x) f(x) cuando a x . (Anlogamente se probara para x ).

Observacin
Por induccin, el teorema se puede generalizar para la suma de un nmero finito de
infinitsimos. La demostracin se propone como ejercicio.
Ejemplo
p(x)=5x
3
-4x
2
+2x es un infinitsimo cuando 0 x que es equivalente a f(x)=2x ya que
1 1 x
2
4
x
2
5
lm
x 2
x 2
x 2
x 4
x 2
x 5
lm
x 2
x 2 x 4 x 5
lm
) x ( f
) x ( p
lm
2
0 x
2 3
0 x
2 3
0 x 0 x
=

+ =

+ =

+
=

.
Luego x 2 x 2 x 4 x 5
2 3
+

Teorema 2
El lmite cuando a x de toda expresin de la forma E(x)f(x) donde f(x) es un
infinitsimo cuando a x , no vara si se sustituye f(x) por un infinitsimo equivalente p(x) que
cumpla la condicin de ser no nulo en un cierto entorno reducido de a.
Demostracin
( ) ( ) ( ) ) x ( p ) x ( E lm
) x ( p
) x ( f
lm ) x ( p ) x ( E lm
) x ( p
) x ( f
) x ( p ) x ( E lm
) x ( p
) x ( p
) x ( f ) x ( E lm ) x ( f ) x ( E lm
a x a x a x a x a x a x
= =

=
(Anlogamente se probara para x ).
4 Infinitsimos e infinitos
4

Nota: Este teorema se puede generalizar fcilmente a toda expresin de la forma

) x ( g ) x ( g ) x ( g
) x ( f ) x ( f ) x ( f
) x ( E lm
m 2 1
n 2 1
a x

, donde ) x ( g , ), x ( g ), x ( g ), x ( f , ), x ( f ), x ( f
m 2 1 n 2 1
son
infinitsimos con la condicin de ser no nulos en un cierto entorno reducido de a (cuando a x
x ).

INFINITOS

Teorema
Si y=f(x) es un infinitsimo cuando a x (o bien x ) siendo f(x) 0 en un entorno
reducido de a (o bien para x>x
0
), entonces =
) x ( f
1
lm
a x

=
) x ( f
1
lm , bien o
x
.
La demostracin es obvia.

Definicin
Diremos que una funcin y=g(x) es un infinito o infinitamente grande cuando a x (o
bien cuando x ) si y solo si la funcin
) x ( g
1
) x ( f = es un infinitsimo cuando a x (o bien
cuando x ).
Es decir, una funcin y=g(x) es un infinito o infinitamente grande cuando a x (o bien cuando
x ) si y solo si 0
) x ( g
1
lm
a x
=

=

0
) x ( g
1
lm , bien o
x
.

Observacin
El estudio hecho para infinitsimos se desarrolla de manera anloga para infinitos.