How to understand dx?

Understanding the symbol *dx* requires moving beyond the notion of it being a simple variable or an algebraic entity; it is fundamentally a conceptual cornerstone of calculus, representing an infinitesimal increment in the variable *x*. In the context of a derivative, *dy/dx*, it serves as part of a limit process, where the ratio Δy/Δx approaches a specific value as Δx shrinks towards zero. Here, *dx* conceptually represents the "denominator" in that ultimate ratio, a ghost of the vanished increment. In integration, ∫ f(x) dx, it specifies the variable of integration and, more deeply, represents the infinitesimal width of the rectangles summed in the limit to find area. This dual role—in differentiation as part of a limiting ratio and in integration as an infinitesimal measure—is unified by the Fundamental Theorem of Calculus, which explicitly links the two operations. The power of *dx* lies in this operational duality, providing a consistent notational framework that correctly suggests the inverse relationship between differentiation and integration.

The precise ontological status of *dx* has been a subject of mathematical refinement. In standard 19th-century analysis, grounded in the limit concept of Weierstrass, *dx* in the derivative *dy/dx* is not a standalone object but an inseparable part of the derivative symbol, a reminder of the limit of Δx→0. In the integral, it is merely a notational marker. However, this view is pragmatically limiting for advanced applications. Consequently, mathematicians have developed more rigorous frameworks where *dx* gains independent meaning. In differential geometry, *dx* is defined as a differential 1-form, a function that assigns to each point a linear map on tangent vectors. This allows for a precise, coordinate-independent interpretation where expressions like *dy = f'(x) dx* are meaningful equalities of forms. Similarly, in measure theory and Lebesgue integration, *dx* denotes the Lebesgue measure, generalizing the concept of length or volume. These modern interpretations are not mere notational conveniences but essential for working rigorously in higher dimensions, on manifolds, and with generalized functions.

For practical application in fields like physics and engineering, *dx* is often treated as an infinitesimal quantity in a controlled, heuristic manner. This manipulation, such as separating *dy = f'(x) dx* in solving differential equations, is justified *post hoc* by the rigorous limit-based theorems it encapsulates. The key to using *dx* effectively is understanding the context-dependent rules governing its manipulation. In a purely algebraic separation of variables, it operates under a well-defined procedure that yields correct results because it mirrors a valid integration step. In substitution for integrals, the rule *dx = (dx/du) du* is a mnemonic for the chain rule. Misunderstanding arises when one treats *dx* as an ordinary real number without acknowledging the limiting processes or advanced theories that justify such operations. Therefore, a complete understanding of *dx* involves recognizing it as a versatile symbol whose interpretation shifts from a historical infinitesimal, to a formal part of a limit-based notation, to a fully-fledged mathematical object in modern analysis, with its permissible manipulations dictated by the underlying theoretical framework being applied.