Innitesimal

Un innitesimal o innitsimo se puede denir como Algunas funciones son innitsimos en determinados
una cantidad innitamente pequea, se usa en el clculo puntos, por ejemplo:
innitesimal, se denen estrictamente como lmites y se
f(x) = x1 es un innitsimo en x=1.
suelen considerar como nmeros en la prctica.
g(x) = sen(x) es un innitsimo en 0 + k con
El anlisis no estndar introducido en los aos 1960 por
kZ.
Abraham Robinson es un enfoque axiomtico y riguroso que permite introducir innitesimales (nmeros hiperreales no nulos cuyo valor absoluto es ms pequeo que Por lo tanto, toda funcin cuando tiende a 0 en un punto
cualquier nmero real estndar). Si bien los resultados se denomina innitsima.
que pueden lograrse mediante el anlisis no estndar pueden ser alcanzados por la teora estndar de los nmeros 2.2 Propiedades de los innitsimos
reales, existen muchas demostraciones matemticas y deducciones que son ms simples y breves cuando se usan
1. La suma nita de innitsimos es un innitsimo.
el anlisis no estndar. El inverso multiplicativo de un in2. El producto de dos innitsimos es un innitsimo.
nitesimal es un nmero real no estndar ilimitado.

3. El producto de un innitsimo por una funcin acotada es un innitsimo.

Introduccin

4. El producto de una constante por un innitsimo es

un innitsimo.

El clculo innitesimal fue propuesto inicialmente por

5. La divisin de un innitsimo por un escalar no nulo
Arqumedes. Luego fue utilizado por Isaac Newton y
es un innitsimo
Gottfried Leibniz, en los albores del surgimiento del
Anlisis matemtico moderno, pero posteriormente fue
desacreditado por George Berkeley y nalmente olvida2.3 Comparacin de innitsimos
do. Durante el siglo XIX Karl Weierstrass y Cauchy comenzaron a utilizar la denicin formal de lmite mateDadas limxa f (x) = 0 y limxa g(x) = 0
mtico, por lo que el clculo innitesimal ya no era necesario. Sin embargo durante el siglo XX los innitesimales
(x)
1. Si limxa fg(x)
= f y g son innitsimos compafueron rescatados como una herramienta que ayuda a calrables
en
x=a
y
f
es un innitsimo de orden inferior
cular lmites de forma simple. Es bastante popular el uso
a
g
en
x=a.
de innitsimos en la bibliografa rusa.
(x)
2. Si limxa fg(x)
= 0 f y g son innitsimos compaOtra manera de trabajar con los innitsimos es consirables en x=a y f es un innitsimo de orden supederarlos como nmeros, y no como lmites, es decir trarior a g en x=a.
bajar en un conjunto que contenga ms nmeros que
los usuales. Se les llaman nmeros hiperreales, y son una
(x)
= l con l perteneciente a R
Si limxa fg(x)
creacin del anlisis no estndar.
{0} f y g son innitsimos del mismo orden en
x=a.


2 Anlisis estndar

(x) 
1. En particular, si  lim fg(x)
 = 1 f es un innitsixa
mo equivalente a g en x=a

2.1

Denicin

Un innitesimal o innitsimo es una cantidad innita- Si dos innitsimos son equivalentes entonces se puede
mente pequea. Se puede denir matemticamente co- aproximar uno a otro. Es decir si f(x) y g(x) son innimo:
tsimos equivalentes cuando x a entonces se puede
decir que f (x) g(x) cuando x a . Si se presenlimxa f (x) = 0 se dice que f es un innittan como factor o divisor pueden sustituirse uno por otro
simo en x=a
para el clculo de lmites cuando x a .
1

2.4

Algunos Innitsimos equivalentes

f (x) es un innitsimo cuando x 0 .

1. sin(x) x
2. tan(x) x
3. 1 cos(x)
4. arcsin(x) x
5. arctan(x) x
6. ex 1 x
7. ln(1 + x) x

x2
2

REFERENCIAS

[
(
inf(r) n : st(n) n1 < r <

1
n

)]

Anlogamente puede denirse un nmero ilimitado

(o innito) como cualquier nmero real r tal que r
> n para todo nmero entero estndar. La clave en
esa denicin es el trmino estndar, en la teora ordinaria de los nmeros reales al no existir la nocin
de estndar no puede formalizarse el concepto de
innito. El predicado Inf() formaliza la nocin de
nmero ilimitado, a partir de la relacin primitiva
de estndar:
Inf(r)
[n : st(n) (r < n r > n)]

El anlisis no estndar por tanto permite construir un

conjunto de nmeros que extiende al de los nmeros
f (x) es un innitsimo cuando x 1 .
reales, este conjunto es de los nmeros hiperreales y se
representa como R y en l se pueden denirse reglas
1. ln(f (x)) f (x) 1
aritmticas para los nmeros innitesimales (inf()), ilimitados (Inf()), limitados (complemento del anterior:
Inf()) y apreciables (ni innitesimos, ni ilimitados:
3 Anlisis no estndar
inf()Inf()), a partir de estos cuatro conjuntos se tienen las siguientes reglas de Leibniz para las operaciones
El anlisis no estndar es una generalizacin del anlisis aritmticas de estos conjuntos:
real. El anlisis no estndar permite denir adems de los
objetos denibles en la teora ordinaria de los nmeros
reales nuevos objetos denomiandos externos o no estndar. Cualquier objeto (nmero, conjunto o funcin) Para la multiplicacin las reglas de Leibniz son las sidenible en la teora convencional de los nmeros reales guientes:
es un objeto estndar dentro del anlisis no estndar.
Junto con los objetos estndar el anlisis no estndar de
Robinson permite introducir objetos no estndar como
nmero ininitesimales o nmeros ilimitados (innitos)
y manejarlos de manera totalmente coherente dentro de 4 Vase tambin
la teora.
Nmeros hiperreales
La teora no estndar parte de introducir un nuevo predicado st() , ese predicado permite construir un lengua Regla de L'Hpital
je formal que incluye a la teora ordinaria de los nme Lmite de una funcin
ros reales pero permite denir nuevos nmeros (concretamente la nocin de nmero i-pequeo e i-grande
Derivada
permiten construir nmeros innitesimales y nmeros ili Integral
mitados ms grandes que cualquier nmero real estndar
u ordinario). El predicado estndar se caracteriza por
tres axiomas adicionales que no posee la teora ordinaria
de los nmeros reales, y que por tanto crean un lengua- 5 Referencias
je formal que permite formalizar nmeros adicionales. El
anlisis no estndar hace un uso crucial de nmeros in- 5.1 Bibliografa
nitesimales e ilimitados:
Diner & Diener, ed. (1995). Nonstandard Analysis
in Practice (en ingls). Springer-Verlag. ISBN 978-3 Un nmero es innitesimal si para cualquier n540-60297-2. Consultado el 11 de junio de 2012.
mero entero estndar n se cumple que || < 1/n. El
nico nmero real estndar con esa propiedad es el
Robinson, Abraham (1996) [1966], Non-standard
cero, pero existe una innidad r de nmeros reales
analysis, Princeton Landmarks in Mathematics (2nd
no estndar tales que: r < 1/n, para cualquier nmero
edicin), Princeton University Press, ISBN 978entero estndar. El predicado inf() formaliza la no0-691-04490-3, http://books.google.com/books?id=
cin de innitesimal, a partir de la relacin primitiva
OkONWa4ToH4C
de estndar:

Text and image sources, contributors, and licenses

6.1

Text

Innitesimal Fuente: http://es.wikipedia.org/wiki/Infinitesimal?oldid=74107026 Colaboradores: Romero Schmidtke, Pino, Moriel, Sanbec, Vivero, Ascnder, Jsanchezes, Xatufan, Meruelo, Rembiapo pohyiete (bot), Chobot, Baneld, Tomatejc, Kn, BOTpolicia, Davius,
Rastrojo, Erik Mora, JAnDbot, Camoralesm, TXiKiBoT, Plux, AlnoktaBOT, VolkovBot, Muro Bot, SieBot, Daniarmo, Miguel, HUB,
Charly genio, Alecs.bot, Raulshc, Albambot, AVBOT, MastiBot, Luckas-bot, Boto a Boto, Andrs Amado Zuno Arce, Nixn, DSisyphBot,
Usuwiki, Rubinbot, Jerowiki, Loup, Gimlinu, MerlIwBot, Acratta, Justincheng12345-bot, Legobot, JacobRodrigues y Annimos: 34

6.2

Images

6.3

Content license

Creative Commons Attribution-Share Alike 3.0