Los números hiperreales son una extensión del conjunto de los números reales que permiten entre otros formalizar algunas operaciones con infinitésimos, y probar algunos resultados clásicos del análisis real de manera más sencilla. El sistema de números hiperreales es una manera de tratar cantidades infinitas e infinitesimales. Los hiperreales o reales no estándar, , son una extensión de los números reales que contienen números mayores que Tal número es infinito, y su recíproco infinitesimal. El término "hiper-real" fue presentado por Edwin Hewitt en 1948. Como estructura algebraica son un cuerpo no arquimediano y métricamente incompleto que contiene al conjunto arquimediano y completo identificable con los números reales. Formalmente pueden construirse de manera totalmente rigurosa a partir de una axiomatización de primer orden de los números reales. Dicha axiomatización es una teoría no categórica y por tanto admite varios modelos no isomorfos, uno de ellos los número reales estándar y otro de ellos identificable con los hiperreales. Además si se pretende evitar la teoría de modelos puede ampliarse la teoría de los números reales mediante un predicado abstracto (semánticamente interpretable como "x es un número real estándar") y tres axiomas adicionales que describen dicho predicado (estos predicados permiten caracterizar la diferencia entre un número real estándar y uno hiperreal no convencional).

Leer el artículo completo en Wikipedia · CC-BY-SA

The system of hyperreal numbers is a way of treating infinite and infinitesimal quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R that contains numbers greater than anything of the form (for any finite number of terms). Such numbers are infinite, and their reciprocals are infinitesimals. The term "hyper-real" was introduced by Edwin Hewitt in 1948. The hyperreal numbers satisfy the transfer principle, a rigorous version of Leibniz's heuristic Law of Continuity. The transfer principle states that true first order statements about R are also valid in *R. For example, the commutative law of addition, x + y = y + x, holds for the hyperreals just as it does for the reals; since R is a real closed field, so is *R. Since for all integers n, one also has for all hyperintegers H. The transfer principle for ultrapowers is a consequence of Łoś' theorem of 1955. Concerns about the soundness of arguments involving infinitesimals date back to ancient Greek mathematics, with Archimedes replacing such proofs with ones using other techniques such as the method of exhaustion. In the 1960s, Abraham Robinson proved that the hyperreals were logically consistent if and only if the reals were. This put to rest the fear that any proof involving infinitesimals might be unsound, provided that they were manipulated according to the logical rules that Robinson delineated. The application of hyperreal numbers and in particular the transfer principle to problems of analysis is called non-standard analysis. One immediate application is the definition of the basic concepts of analysis such as derivative and integral in a direct fashion, without passing via logical complications of multiple quantifiers. Thus, the derivative of f(x) becomes for an infinitesimal , where st(·) denotes the standard part function, which "rounds off" each finite hyperreal to the nearest real. Similarly, the integral is defined as the standard part of a suitable infinite sum.

Leer el artículo completo en Wikipedia · CC-BY-SA