Infinitésimo

Lo infinitesimal o infinitésimo se puede definir como una cantidad infinitamente pequeña, y originalmente fundamentó ciertos razonamientos del cálculo infinitesimal. En la crisis de los fundamentos matemáticos de principios del siglo XIX los infinitésimos fueron abandonados por los matemáticos, aunque siguieron siendo tratados informalmente en las ciencias aplicadas, y se suelen considerar como números en la práctica. Solo después de la segunda mitad del siglo XX apareció un enfoque totalmente riguroso de los números infinitesimales.

El análisis no estándar introducido en los años 1960 por Abraham Robinson es un enfoque axiomático y riguroso que permite introducir infinitesimales (números hiperreales no nulos cuyo valor absoluto es más pequeño que cualquier número real estándar). Si bien los resultados que pueden lograrse mediante el análisis no estándar pueden ser alcanzados por la teoría estándar de los números reales, existen muchas demostraciones matemáticas y deducciones que son más simples y breves cuando se usan el análisis no estándar. El inverso multiplicativo de un infinitesimal es un número real no estándar ilimitado.

El cálculo infinitesimal fue propuesto inicialmente por Arquímedes. Luego fue utilizado por Isaac Newton y Gottfried Leibniz, en los albores del surgimiento del Análisis matemático moderno, pero posteriormente fue desacreditado por George Berkeley y finalmente olvidado. Durante el siglo XIX Karl Weierstrass y Cauchy comenzaron a utilizar la definición formal de límite matemático, por lo que el cálculo infinitesimal ya no era necesario. Sin embargo durante el siglo XX los infinitesimales fueron rescatados como una herramienta que ayuda a calcular límites de forma simple. Es bastante popular el uso de infinitésimos en la bibliografía rusa.

Otra manera de trabajar con los infinitésimos es considerarlos como números, y no como límites, es decir trabajar en un conjunto ${displaystyle Re }$ que contenga más números que los usuales. Se les llaman números hiperreales, y son una creación del análisis no estándar.

Un infinitesimal o infinitésimo es una cantidad infinitamente pequeña. Se puede definir matemáticamente como:

Algunas funciones son infinitésimos en determinados puntos, por ejemplo:

Por lo tanto, toda función cuando tiende a 0 en un punto se denomina infinitésima.

Dadas ${displaystyle lim _{x o a}f(x)=0}$ y ${displaystyle lim _{x o a}g(x)=0}$

Si dos infinitésimos son equivalentes entonces se puede aproximar uno a otro. Es decir si f(x) y g(x) son infinitésimos equivalentes cuando ${displaystyle x o a}$ entonces se puede decir que ${displaystyle f(x)approx g(x)}$ cuando ${displaystyle x o a}$. Si se presentan como factor o divisor pueden sustituirse uno por otro para el cálculo de límites cuando ${displaystyle x o a}$:^[1]​

Teorema: si existe el límite de ${displaystyle f(x)/h(x)}$ cuando ${displaystyle x o a}$, siendo ${displaystyle f}$ y ${displaystyle g}$ infinitésimos equivalentes en ${displaystyle x=a}$, entonces el límite de ${displaystyle g(x)/h(x)}$ es igual al límite de ${displaystyle f(x)/h(x)}$.

${displaystyle f(x),}$ es un infinitésimo cuando ${displaystyle x o 0}$:^[2]​

${displaystyle f(x),}$ es un infinitésimo cuando ${displaystyle x o 1}$:

El análisis no estándar es una generalización del análisis real. El análisis no estándar permite definir además de los objetos definibles en la teoría ordinaria de los números reales nuevos objetos denominados "externos" o "no estándar". Cualquier objeto (número, conjunto o función) definible en la teoría convencional de los números reales es un objeto "estándar" dentro del análisis no estándar. Junto con los objetos "estándar" el análisis no estándar de Robinson permite introducir "objetos no estándar" como número inifinitesimales o números ilimitados (infinitos) y manejarlos de manera totalmente coherente dentro de la teoría.

La teoría no estándar parte de introducir un nuevo predicado ${displaystyle scriptstyle mathrm {st} (cdot )}$, ese predicado permite construir un lenguaje formal que incluye a la teoría ordinaria de los números reales pero permite definir nuevos números (concretamente la noción de número "i-pequeño" e "i-grande" permiten construir números infinitesimales y números ilimitados más grandes que cualquier número real estándar u ordinario). El predicado "estándar" se caracteriza por tres axiomas adicionales que no posee la teoría ordinaria de los números reales, y que por tanto crean un lenguaje formal que permite formalizar números adicionales. El análisis no estándar hace un uso crucial de números infinitesimales e ilimitados:

${displaystyle mathrm {inf} (r)Leftrightarrow left[forall n:mathrm {st} (n)land left(-{frac {1}{n}}<r<{frac {1}{n}} ight) ight]}$

${displaystyle mathrm {Inf} (r)Leftrightarrow left[forall n:mathrm {st} (n)land left(r<-nlor r>n ight) ight]}$

El análisis no estándar por tanto permite construir un conjunto de números que extiende al de los números reales, este conjunto es de los números hiperreales y se representa como ${displaystyle {}^{*}mathbb {R} }$ y en él se pueden definir reglas aritméticas para los números infinitesimales (inf(·)), ilimitados (Inf(·)), limitados (complemento del anterior: ¬Inf(·)) y apreciables (ni infinitesimos, ni ilimitados: ¬inf(·)∧¬Inf(·)), a partir de estos cuatro conjuntos se tienen las siguientes reglas de Leibniz para las operaciones aritméticas de estos conjuntos:

Para la multiplicación las reglas de Leibniz son las siguientes:

---