17
$\begingroup$

As probably many other people here, I learned integration, as an undergrad, from Rudin's books. I recently realized, however, that I don't quite use Lebesgue integration in my work, or at least I use it less and less. Nor in fact do I think any longer of Riemann integration as the intuitive definition of the integral. In fact, I tend to adhere more and more to the following point of view:

Question. What is the integral of a function $f$? And how to compute it?

Answer. Well, the integral is the average of $f$. So, if you want to compute it, pick some random values of $f$, as many as you can, and then make their average.

This point of view is of course not that heuristic: it's the guiding principle of the Monte Carlo method, an extremely powerful tool. However, and this is what I wanted to talk about, this Monte Carlo method is in fact something rather specialized, that you usually learn after Riemann and Lebesgue, and that is commonly regarded rather as a technical tool. But, is it really so?

More precisely, my questions would be as follows:

(1) Is it technically possible to introduce integration as a Monte Carlo integration (i.e. following the above question-answer), establish the main results etc. using this definition, and talk about Riemman, then maybe Lebesgue, only afterwards?

(2) If so, was this done somewhere? Ideally I'd be interested here in an undergrad-level textbook, doing (1), but I would be happy as well with a shorter text, basically outlining how to do (1) above, for people already into math etc.

[Note. Needless to say - in case some collegues of mine are reading this post :) - I'm not asking these questions as a preliminary to some weird teaching experiment. It's just that I'd be really interested, for research purposes, to have a completely new look at integration theory: and the first step here would be of course to seriously challenge what I learned long time ago, from Rudin's books.]

[Edit, Jan 14: Added two new tags, "logic" and "foundations", in view of an interesting suggestion by Timothy Chow. Of course, any new discussion or precise answer in either direction - positive or negative - would be very welcome.]

$\endgroup$
2
  • 3
    $\begingroup$ is this along the lines of what you are seeking? dsec.pku.edu.cn/~tieli/notes/numer_anal/MCQMC_Caflisch.pdf $\endgroup$ Jan 12, 2013 at 16:26
  • $\begingroup$ You can define what it means for a sequence $u_1,u_2,\dots$ to be uniformly distributed in $[0,1)$, then for bounded continuous $f$ define $\int_0^1f(x)\,dx$ to be $\lim_{N\to\infty}N^{-1}\sum_1^Nf(u_n)$, and prove properties of the (Riemann) integral from there. $\endgroup$ Aug 13, 2019 at 13:23

2 Answers 2

9
$\begingroup$

this is perhaps more a comment than an answer, but here is one expert opinion on whether one can base the foundations of integration theory on Monte Carlo integration:

Another way to obtain continuous measure as the limit of discrete measure is via Monte Carlo integration, although in order to rigorously introduce the probability theory needed to set up Monte Carlo integration properly, one already needs to develop a large part of measure theory, so this perspective, while intuitive, is not suitable for foundational purposes.

$\endgroup$
1
  • $\begingroup$ I'm not completely convinced by Tao's remark, because there are ways to develop the foundations of probability theory without recourse to measure theory (e.g., by using nonstandard analysis). $\endgroup$ Jan 14, 2013 at 1:17
1
$\begingroup$

Some work which is related and may touch upon several aspects of this question is by Yuji Nakatsukasa in "Approximate and integrate: Variance reduction in Monte Carlo integration via function approximation". Here he introduces the task of approximating the integral of a function by first approximating the function and then exactly integrating the approximation, where Monte Carlo becomes one such method of function approximation. It doesn't quite look to redefine integration in terms on Monte Carlo, but does give an interesting take on numerical integration from a numerical analyst's perspective and naturally produces the Monte Carlo method.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.