Increment theorem

In nonstandard analysis, a field of mathematics, the increment theorem states the following: Suppose a function is differentiable at and that is infinitesimal. Then \Delta y = f'(x)\,\Delta x + \varepsilon\, \Delta x for some infinitesimal , where \Delta y=f(x+\Delta x)-f(x). If \Delta x \neq 0 then we may write \frac{\Delta y}{\Delta x} = f'(x) + \varepsilon, which implies that \frac{\Delta y}{\Delta x}\approx f'(x) , or in other words that \frac{\Delta y}{\Delta x} is infinitely close to f'(x) , or f'(x) is the standard part of \frac{\Delta y}{\Delta x} . A similar theorem exists in standard Calculus. Again assume that is differentiable, but now let be a nonzero standard real number. Then the same equation \Delta y = f'(x)\,\Delta x + \varepsilon\, \Delta x holds with the same definition of , but instead of being infinitesimal, we have \lim_{\Delta x \to 0} \varepsilon = 0 (treating and as given so that is a function of alone).

In nonstandard analysis, a field of mathematics, the increment theorem states the following: Suppose a function is differentiable at and that is infinitesimal. Then \Delta y = f'(x)\,\Delta x + \varepsilon\, \Delta x for some infinitesimal , where \Delta y=f(x+\Delta x)-f(x). If \Delta x \neq 0 then we may write \frac{\Delta y}{\Delta x} = f'(x) + \varepsilon, which implies that \frac{\Delta y}{\Delta x}\approx f'(x) , or in other words that \frac{\Delta y}{\Delta x} is infinitely close to f'(x) , or f'(x) is the standard part of \frac{\Delta y}{\Delta x} . A similar theorem exists in standard Calculus. Again assume that is differentiable, but now let be a nonzero standard real number. Then the same equation \Delta y = f'(x)\,\Delta x + \varepsilon\, \Delta x holds with the same definition of , but instead of being infinitesimal, we have \lim_{\Delta x \to 0} \varepsilon = 0 (treating and as given so that is a function of alone).

Text derived from https://en.wikipedia.org/w/index.php?oldid=1164366647 under CC BY-SA 4.0; modifications have been made.