What is the relationship between dx and Δx?

The relationship between dx and Δx is foundational to differential calculus, representing a conceptual shift from finite approximation to an idealized instantaneous rate of change. Δx denotes a finite, nonzero change in the independent variable x. It is a concrete increment, used in constructing the difference quotient (Δy/Δx), which calculates the average rate of change of a function over an interval. In contrast, dx is a differential, an infinitesimally small change in x. It is not a number in the ordinary real-valued sense but a conceptual entity that, when paired with dy (defined as f'(x)dx), allows us to express the derivative dy/dx as a single, unified object rather than merely a limit of a quotient. The derivative itself, f'(x), is formally defined as the limit of Δy/Δx as Δx approaches zero. Thus, dx can be understood as the theoretical, limiting value of Δx in this process, transitioning from a measurable interval to an infinitesimal.

This distinction is operationalized in the notation and manipulation of derivatives and integrals. In Leibniz's notation, dy/dx represents the derivative, powerfully suggesting it as a ratio of the two differentials dy and dx. This is not technically a simple division in standard analysis, but the notation is designed to be intuitively suggestive and practically manipulable, a feature that proved immensely fruitful in the development of calculus. For instance, in related rates or implicit differentiation, we treat these differentials as if they are quantities that can be algebraically rearranged (e.g., dy = f'(x)dx), which is a valid procedure justified by the chain rule. In the context of integration, the symbol dx serves to specify the variable of integration and, more deeply, represents the infinitesimal width of a Riemann sum rectangle, with the integral sign ∫ being a stylized "S" denoting the sum of an infinite number of products f(x)dx. Here, Δx evolves into dx as the number of partitions approaches infinity and the width of each subinterval shrinks to zero.

The precise mathematical justification for dx has evolved through history, leading to different interpretations. In the standard epsilon-delta framework of calculus, dx has no independent meaning outside the derivative or integral notation; it is a historical relic of infinitesimal reasoning. However, in non-standard analysis, dx is rigorously defined as an actual infinitesimal number within an extended real number system (the hyperreals), making the intuitive Leibniz notation a literal ratio. For nearly all applied purposes in science and engineering, dx is treated as an arbitrarily small but finite Δx, a pragmatic fiction that enables modeling continuous change through discrete approximations. This conceptual leap from the finite Δx to the infinitesimal dx is the very mechanism that allows calculus to solve problems involving instantaneous velocity, slopes of curves, and accumulated quantities, which are ill-defined within the realm of finite differences alone.

Consequently, the relationship is one of idealization and limit: Δx is the practical, finite increment of pre-calculus algebra, while dx is its idealized, infinitesimal counterpart born from the limiting process. The move from Δx to dx encapsulates the core of differential calculus, transforming robust but clumsy average measurements into precise, local, instantaneous descriptions. This relationship is not merely notational but philosophical, distinguishing classical algebra from analysis by introducing the concept of an infinitely small quantity, whether interpreted as a handy formalism, a logical shorthand for a limit, or a rigorously defined mathematical entity.