Definition:Riemann Integral/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Riemann Integral

Consider the Riemann sum:

$\ds \sum_{i \mathop = 1}^n \map f {c_i} \Delta x_i$

Historically, the definite integral was an extension of this type of summation such that:

The finite difference $\Delta x$ is instead the infinitely small difference $\rd x$
The finite sum $\ds \Sigma$ is instead of the sum of an infinite number of infinitely small quantities: $\ds \int$

Hence the similarity in notation:

\(\ds \sum_a^b \map f x \Delta x\) \(\to\) \(\ds \int_a^b \map f x \rd x\) as $\Delta x \to \rd x$

The notion of "infinitely small" does not exist in the modern formulation of real numbers.

Nevertheless, this idea is sometimes used as an informal interpretation of the Riemann integral.


Riemann established this definition in his paper Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe of $1854$, on the subject of Fourier series.


Sources