Principle that whatever succeeds for the finite also succeeds for the infinite
"Principle of continuity" redirects here. For other uses, see
Dedekind cut.
The law of continuity is a heuristic principle introduced by
Gottfried Leibniz based on earlier work by
Nicholas of Cusa and
Johannes Kepler. It is the principle that "whatever succeeds for the finite, also succeeds for the infinite".[1] Kepler used the law of continuity to calculate the area of the circle by representing it as an infinite-sided polygon with infinitesimal sides, and adding the areas of infinitely many triangles with infinitesimal bases. Leibniz used the principle to extend concepts such as arithmetic operations from ordinary numbers to
infinitesimals, laying the groundwork for
infinitesimal calculus. The
transfer principle provides a mathematical implementation of the law of continuity in the context of the
hyperreal numbers.
Leibniz expressed the law in the following terms in 1701:
In any supposed continuous transition, ending in any terminus, it is permissible to institute a general reasoning, in which the final terminus may also be included (Cum Prodiisset).[4]
In a 1702 letter to French mathematician
Pierre Varignon subtitled “Justification of the Infinitesimal Calculus by that of Ordinary Algebra," Leibniz adequately summed up the true meaning of his law, stating that "the rules of the finite are found to succeed in the infinite."[5]
The law of continuity became important to Leibniz's justification and conceptualization of the infinitesimal calculus.
^Poncelet, Jean Victor.
Traité des propriétés projectives des figures: T. 1. Ouvrage utile à ceux qui s' occupent des applications de la géométrie descriptive et d'opérations géométriques sur le terrain." (1865), pp. 13–14
^Fulton, William. Introduction to intersection theory in algebraic geometry. No. 54. American Mathematical Soc., 1984, p. 1
^Child, J. M. (ed.): The early mathematical manuscripts of Leibniz. Translated from the Latin texts published by Carl Immanuel Gerhardt with critical and historical notes by J. M. Child. Chicago-London: The Open Court Publishing Co., 1920.
^Leibniz, Gottfried Wilhelm, and Leroy E. Loemker. Philosophical Papers and Letters. 2d ed. Dordrecht: D. Reidel, 1970, p. 544