Abstract
The view of infinity as a metaphor, a basic premise of modern cognitive theory of embodied knowledge, suggests in particular that there may be alternative ways in which one could formalize mathematical ideas about infinity. We discuss the key ideas about infinitesimals via a proceptual analysis of the meaning of the ellipsis “...” in the real formula \(\hbox{.999\ldots = 1}\). Infinitesimal-enriched number systems accommodate quantities in the half-open interval [0,1) whose extended decimal expansion starts with an unlimited number of repeated digits 9. Do such quantities pose a challenge to the unital evaluation of the symbol “.999...”? We present some non-standard thoughts on the ambiguity of the ellipsis in the context of the cognitive concept of generic limit of B. Cornu and D. Tall. We analyze the vigorous debates among mathematicians concerning the idea of infinitesimals.
Similar content being viewed by others
Notes
See footnote 6 for a discussion of such an approach in the context of an infinitesimal-enriched continuum.
Such as the conception of an infinitesimal as represented by “.000...1” (with infinitely many zeros preceding the digit 1) being the difference between 1 and “.999...9” (with infinitely many digits 9); cf. Lightstone’s notation in footnote 8.
See also Sad, Teixeira and Baldino (2001, p. 286).
The term procept was coined by Gray and Tall (1991).
Each real number is accompanied by a cluster (alternative terms are prevalent in the literature, such as halo, but the term cluster has the advantage of being self-explanatory) of hyperreals infinitely close to it. The standard part function collapses the entire cluster back to the standard real contained in it. The cluster of the real number 0 consists precisely of all the infinitesimals. Every infinite hyperreal decomposes as a triple sum H + r + ε, where H is a hyperinteger (see below), r is a real number in [0,1), and ε is infinitesimal. Varying ε over all infinitesimals, one obtains the cluster of H + r. A hyperreal number H equal to its own integer part: H = [H] is called a hyperinteger. Here, the integer part function is the natural extension of the real one. Limited (finite) hyperintegers are precisely the standard ones, whereas the unlimited (infinite) hyperintegers are sometimes called non-standard integers. The limit L of a convergent sequence \(\langle u_n \rangle\) is the standard part st of the value of the sequence at an infinite hypernatural: L = st(u H ), for instance at \(H=[{{\mathbb N}}]\). In connection with .999..., I. Stewart notes that
[t]he standard analysis answer is to take ‘...’ as indicating passage to a limit. But in non-standard analysis there are many different interpretations. (Stewart, 2009, p. 176)
Some additional details are to be found in Katz and Katz (2010). Historically, there have been two main approaches to infinitesimals. The approach of Leibniz postulates the existence of infinitesimals of arbitrary order, while B. Nieuwentijdt favored nilpotent (nilsquare) infinitesimals (see Bell, 2009). Bell notes that a Leibniz infinitesimal is implemented in the hyperreal continuum of Robinson, whereas a Nieuwentijdt infinitesimal is implemented in the smooth infinitesimal analysis of F.W. Lawvere, based on intuitionistic logic.
The symbol is used in a different sense in projective geometry, where adding a point at infinity { ∞ } to \({{\mathbb R}}\) results a circle: \({{\mathbb R}}\cup \{\infty\} \approx S^1\).
Note that Δx = .9.. − 1 = − .0..;..01 in Lightstone’s notation (see Lightstone, 1972), where the digit “1” appears at infinite decimal rank H.
See Goldwurm (2001, p. 104) for biographical information on HaYisraeli.
The falsification problem is analyzed in Ehrlich (2006).
Historians of mathematics have noted the vitriolic tenor of Bishop’s criticism, see e.g., Dauben (1996, p. 139).
Namely, review of an earlier edition of Keisler (1986).
The description of Hilbert’s program as “formal finesse” has been objected to by many authors. Avigad and Reck (2001) provide a detailed discussion of the significance and meaning of Hilbert’s program.
Note that Schubring (2005) attributes the first systematic use of infinitesimals as a foundational concept to Johann Bernoulli.
See footnote 14 for a historical clarification.
An alternative infinitesimal-enriched intuitionistic continuum has been developed by Lawvere, see footnote 6.
The issue of the falsification of the history of the calculus was discussed by Lakatos, see main text at footnote 10.
In a letter to M. Vygodskiĭ, the mathematician Luzin questioned whether the Weierstrassian approach to the foundations of analysis “corresponds to what is in the depths of our consciousness . . . I cannot but see a stark contradiction between the intuitively clear fundamental formulas of the Integral calculus and the incomparably artificial and complex work of the ‘justification’ and their ‘proofs’ ” (Luzin, 1931). The publication of the text Fundamentals of Infinitesimal Calculus, by Vygodskiĭ, in 1931, provoked sharp criticisms. Luzin wrote his (two) letters to counterbalance such criticisms and took the opportunity to elaborate his own views concerning infinitesimals.
References
Abbott, E. A. (2008). The annotated Flatland. A romance of many dimensions. With an introduction and notes by Ian Stewart. New York: Basic Books (Original work published 2002).
Artigue, M. (1994). Analysis. In D. Tall (Ed.), Advanced mathematical thinking (p. 172). New York: Springer (“The non-standard analysis revival and its weak impact on education”).
Avigad, J., & Reck, E. (2001). Clarifying the nature of the infinite: The development of metamathematics and proof theory, 11 Dec 2001. Carnegie Mellon Technical Report CMU-PHIL-120.
Bell, J. L. (2009). Continuity and infinitesimals. Stanford Encyclopedia of Philosophy (Revised 20 Jul 2009).
Bishop, E. (1975). The crisis in contemporary mathematics. Historia Mathematica, 2(4), 507–517.
Bishop, E. (1977). Review: H. Jerome Keisler. Elementary calculus. Bulletin of the American Mathematical Society, 83, 205–208.
Bishop, E. (1985). Schizophrenia in contemporary mathematics. In M. Rosenblatt (Ed.), Errett Bishop: Reflections on him and his research (San Diego, Calif., 1983). Contemp. Math., Vol. 39 (p. 1–32). Providence: American Mathematical Society.
Bos, H. J. M. (1974). Differentials, higher-order differentials and the derivative in the Leibnizian calculus. Archive for History of Exact Sciences, 14, 1–90.
Boyer, C. (1949). The concepts of the calculus. New York: Hafner.
Cornu, B. (1991). Limits. In D. Tall (Ed.), Advanced mathematical thinking. Mathematics Education Library, 11 (pp. 153–166). Dordrecht: Kluwer Academic.
Courant, R. (1937). Differential and integral calculus (Vol. I). Translated from the German by E. J. McShane. Reprint of the second edition. Wiley Classics Library. A Wiley-Interscience Publication (1988). New York: Wiley.
Dauben, J. (1992). Appendix (1992): Revolutions revisited. In D. Gillies (Ed.), Revolutions in mathematics (pp. 72–82 ). New York: Clarendon.
Dauben, J. (1996). Arguments, logic and proof: mathematics, logic and the infinite. History of mathematics and education: Ideas and experiences (Essen, 1992). Stud. Wiss. Soz. Bildungsgesch. Math., 11, 113–148 (Vandenhoeck & Ruprecht, Göttingen).
Davis, M. (1977). Review: J. Donald Monk. Mathematical logic. Bulletin of the American Mathematical Society, 83, 1007–1011.
Ely, R. (2007). Student obstacles and historical obstacles to foundational concepts of calculus. Ph.D. thesis, The University of Wisconsin—Madison.
Ely, R. (2010). Nonstandard student conceptions about infinitesimals. Journal for Research in Mathematics Education, 41(2), 117–146.
Ehrlich, P. (2006). The rise of non-Archimedean mathematics and the roots of a misconception. I. The emergence of non-Archimedean systems of magnitudes. Arch. Hist. Exact Sci., 60(1), 1–121.
Feferman, S. (2000). Relationships between constructive, predicative and classical systems of analysis. Proof theory (Roskilde, 1997). Synthese Lib., Vol. 292 (pp. 221–236). Dordrecht: Kluwer Academic.
Goldblatt, R. (1998). Lectures on the hyperreals. An introduction to nonstandard analysis. Graduate texts in mathematics, 188. New York: Springer.
Goldwurm, R’. H. (2001). The Rishonim. Biographical sketches of the prominent early rabbinic sages and leaders from the tenth–fifteenth centuries (2nd ed.). Artscroll History Series. Brooklyn: Mesorah.
Gray, E., & Tall, D. (1991). Duality, ambiguity and flexibility in successful mathematical thinking. Proceedings of PME 15, 2, 72–79 (Assisi).
Halmos, P. (1985). I want to be a mathematician. An automathography. New York: Springer
HaYisraeli, Y. (1310). Yesod Olam. In Poel hashem. Bnei Braq.
Heijting, A. (1973). Address to professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A. Robinson on the 26th April 1973. Nieuw Archief Voor Wiskunde (3), 21, 134—137.
Hodgson, B. R. (1994). Le calcul infinitésimal. In D. F. Robitaille, D. H. Wheeler, & C. Kieran (Eds.), Choix de conférence du 7e Congrès international sur l’enseignement des mathématiques (ICME-7) (pp. 157–170). Sainte-Foy: Presses de l’Université Laval.
Jesseph, D. (1998). Leibniz on the foundations of the calculus: The question of the reality of infinitesimal magnitudes. Leibniz and the sciences. Perspect. Sci., 6(1-2), 6–40.
Katz, K., & Katz, M. (2010). When is .999... less than 1? The Montana Mathematics Enthusiast, 7(1), 3–30.
Keisler, H. J. (1986). Elementary Calculus: An Infinitesimal Approach (2nd ed.). Boston: Prindle, Weber & Schimidt.
Lakoff, G., & Núñez, R. (2000). Where mathematics comes from. How the embodied mind brings mathematics into being. New York: Basic Books.
Lakatos, I. (1978). Cauchy and the continuum: The significance of nonstandard analysis for the history and philosophy of mathematics. Mathematical Intelligencer 1(3), 151–161 (originally published in 1966).
Lightstone, A. H. (1972). Infinitesimals. American Mathematical Monthly, 79, 242–251.
Luxemburg, W. (1964). Nonstandard analysis. Lectures on A. Robinson’s Theory of infinitesimals and infinitely large numbers (2nd ed.). Pasadena: Mathematics Department, California Institute of Technology.
Luzin, N. N. (1931). Two letters by N. N. Luzin to M. Ya. Vygodskiĭ. With an introduction by S. S. Demidov. Translated from the 1997 Russian original by A. Shenitzer. American Mathematical Monthly, 107(1), 64–82, (2000).
Medvedev, F. A. (1998). Nonstandard analysis and the history of classical analysis. Translated by Abe Shenitzer. American Mathematical Monthly, 105(7), 659–664.
Monaghan, J. (2001). Young peoples’ ideas of infinity. Educational Studies in Mathematics 48(2–3), 239–257.
Robinson, A. (1975). Concerning progress in the philosophy of mathematics. Logic Colloquium ’73 (Bristol, 1975). Studies in Logic and the Foundations of Mathematics, Vol. 80 (pp. 41–52). Amsterdam: North-Holland.
Robinson, A. (1979). Selected papers of Abraham Robinson. In W. A. J. Luxemburg & S. Krner (Eds.), Nonstandard analysis and philosophy, Vol. II. New Haven: Yale University Press.
Roh, K. H. (2008). Students’ images and their understanding of definitions of the limit of a sequence. Educational Studies in Mathematics, 69, 217–233.
Roquette, P. (2008). Numbers and Models, standard and nonstandard. Algebra days, May 2008, Antalya.
Sad, L. A., Teixeira, M. V., & Baldino, R. B. (2001). Cauchy and the problem of point-wise convergence. Archives Internationales d’histoire des Sciences, 51(147), 277–308.
Schubring, G. (2005). Conflicts between generalization, rigor, and intuition. Number concepts underlying the development of analysis in 17–19th Century France and Germany. Sources and Studies in the History of Mathematics and Physical Sciences. New York: Springer.
Stewart, I. (2009). Professor Stewart’s hoard of mathematical treasures. London: Profile Books.
Sullivan, K. (1976). The teaching of elementary calculus using the nonstandard analysis approach. American Mathematical Monthly, 83, 370–375.
Tall, D. (1980). Looking at graphs through infinitesimal microscopes, windows and telescopes, Mathematical Gazette, 64, 22–49.
Tall, D. (1991). The psychology of advanced mathematical thinking. In David Tall (Ed.), Advanced mathematical thinking. Mathematics Education Library, 11. Dordrecht: Kluwer Academic.
Tall, D. (2009). Dynamic mathematics and the blending of knowledge structures in the calculus. In Transforming mathematics education through the use of dynamic mathematics (pp. 1–11). ZDM
Tall, D. (2010). How humans learn to think mathematically. Princeton: Princeton University Press.
Acknowledgements
We are grateful to David Ebin and David Tall for a careful reading of an earlier version of the manuscript and for making numerous helpful suggestions. We thank the editor of the article and the anonymous referees for an exceptionally thorough analysis of the shortcomings of the version originally submitted, resulting, through numerous intermediate versions, in a more focused text.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Katz, K.U., Katz, M.G. Zooming in on infinitesimal 1–.9.. in a post-triumvirate era. Educ Stud Math 74, 259–273 (2010). https://doi.org/10.1007/s10649-010-9239-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10649-010-9239-4