Nepedia
Back to Discover
Advanced Reader
🔢

Infinitesimal

math Maturity 7-9 Next article →

In mathematics, an infinitesimal is a non-zero quantity that is closer to zero than any non-zero real number. While these quantities do not exist in the standard real number system, they are central to other systems. For example, the hyperreal number system includes both infinitesimal and infinite quantities. These two types of numbers are reciprocals of one another. This means an infinitesimal is essentially the inverse of an infinite number.

Números hiperreales
Números hiperreales

In common speech, an infinitesimal object is something so small that it cannot be distinguished from zero by any available means. However, in a mathematical context, it remains a distinct entity that is smaller than any standard real number.

To understand how these numbers function, one can look at how they build complex mathematical structures. In the development of calculus, the derivative was originally conceived as a ratio of two infinitesimal quantities. This allows mathematicians to measure change by comparing two incredibly small amounts. Another application is found in integration, where an infinite number of infinitesimals are summed to calculate an area. This is similar to the idea of taking infinitely thin building blocks to form a shape. Even when a quantity is infinitely small, it can still retain certain properties like a slope or an angle. This allows for a way to handle change and motion without the values simply becoming zero.

There are several ways to categorize number systems that include these tiny quantities. One type is an ordered field, which obeys the usual axioms of the real number system that can be stated in first-order logic. An example of this is the field of Laurent series with a finite number of negative-power terms. Another category is a real closed field. This is a stronger condition where the system includes all first-order properties of the real number system. This includes the existence of a root for every odd-degree polynomial, such as a cube root. A third, even stronger category involves systems that have all first-order properties of the real number system regardless of the relations used. This could include well-defined sine functions for infinite inputs.

The history of the infinitesimal stretches back to ancient Greek thought. The Eleatic School discussed infinitely small quantities, and Zeno of Elea proposed the dichotomy paradox. This paradox considered the relationship between a finite interval and an interval approaching an infinitesimal size. In the 3rd century BC, Archimedes provided a logically rigorous definition in his work, *The Method of Mechanical Theorems*. He used a method of indivisibles to find the areas of regions and the volumes of solids. Archimedes also defined the Archimedean property, which describes a system that contains no infinite or infinitesimal members.

Números hiperreales
Números hiperreales

During the 17th century, the concept underwent significant development and controversy. In 1655, John Wallis introduced the expression 1/∞ in his book *Treatise on the Conic Sections*. This symbol represented the reciprocal of infinity, acting as a symbolic representation of an infinitesimal. Around 1670, the modern concept was introduced by either Nicolaus Mercator or Gottfried Wilhelm Leibniz. Leibniz used infinitesimals as a basic ingredient in his version of calculus. He relied on the law of continuity, which suggests that what works for finite numbers also works for infinite numbers. He also used the transcendental law of homogeneity to replace unassignable quantities with assignable ones.

Despite their utility, infinitesimals faced intense scrutiny and even bans. In 1632, clerics in Rome issued a ban on infinitesimals due to religious and political controversies. Later, Bishop Berkeley attacked their use in his work *The Analyst*. By the 19th century, mathematicians like Augustin-Louis Cauchy, Karl Weierstrass, and Georg Cantor sought to replace infinitesimals with the concept of limits. They developed the (ε, δ)-definition of limit to provide a more rigorous foundation using standard real numbers. For a time, many philosophers and mathematicians viewed infinitesimals as mere pseudoconcepts that lacked mathematical reality.

The 20th century brought a major shift in how these quantities were viewed. In 1961, Abraham Robinson developed nonstandard analysis, which provided a formal treatment of infinitesimal calculus. This work built upon earlier research by Edwin Hewitt in 1948 and Jerzy Łoś in 1955. Robinson's hyperreal numbers implemented an infinitesimal-enriched continuum. This proved that the ideas used by Newton and Leibniz could be made mathematically rigorous. Following this, mathematicians developed surreal numbers. This system is the largest ordered field and includes both hyperreal cardinal and ordinal numbers.

Números hiperreales
Números hiperreales

Today, the study of infinitesimals connects many different branches of mathematics. They relate to the study of growth rates in functions, a field explored by Paul du Bois-Reymond. His work inspired mathematicians like Émile Borel and Thoralf Skolem, who developed non-standard models of arithmetic. The concept of the infinitesimal bridges the gap between the finite and the infinite. It allows for the study of the continuum in ways that standard real numbers cannot always capture. Whether through hyperreals or surreal numbers, these tiny quantities remain a powerful tool for understanding the structure of the mathematical universe.

835 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (1)
File:Números hiperreales.png
Números hiperreales.png
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.