It is clear that the Theory of Probability works primarily with limited measures on measurable spaces.

On the other hand there is a folklore that says that what distinguishes Measure Theory and Probability Theory is the conditional probability and conditional expectation.

But conditional probabilities and conditional expectations are derived from $\,$ Radon–Nikodym theorem and a measure with respect to another measure. And The Radon–Nikodym theorem is a typical result of Measure Theory.

Question 1: So we could see the Theory of Probability as a subdiscipline of Measure Theory?


Question 2: It would be possible to give another basis for the Theory of Probability than not the Theory of Measure?

  • $\begingroup$ Measure theory allows unbounded measures. There exists a uniform measure on the integers, for example, but there is no uniform probability. $\endgroup$ – Thomas Andrews Mar 9 '12 at 14:06
  • 1
    $\begingroup$ There is a discussion of what distinguishes probability theory from measure theory in section 10.2 of Loève's book Probability Theory I. $\endgroup$ – t.b. Mar 9 '12 at 15:03
  • 5
    $\begingroup$ Saying that probability is a subdiscipline of measure theory is like saying that mathematics is subdisciple of logic. $\endgroup$ – Dirk Mar 9 '12 at 16:40
  • 2
    $\begingroup$ Measure theory is a tool people use, probability theory is a field of mathematics. $\endgroup$ – ShawnD Mar 9 '12 at 16:56
  • 3
    $\begingroup$ "Probability theory is measure theory with soul". $\endgroup$ – Leandro Mar 9 '12 at 17:00

I would say that conditioning and independence is something that disctinct, expectation is used a lot in the measure theory as well, by the name of the Lebesgue integral.

The point is that the probability as a science before was maybe even more closer to physics than to math by being based on experiments. It became the classical Probability Theory (PT) when it was axiomatized the first half of XX century by the means of Measure Theory (MT). So MT is clearly a mathematical basis for the classical PT and in that sense you can consider PT to be a subdiscipline of MT.

There are two moments to mention, though.

  1. There is an algebraic approach to probability which starts with algebras of random variables and defines a linear functional on such algebras - which is an expectation. Shall we say that the Probability Theory is a subdiscipline of Abstract Algebra?

  2. In both cases - you start with something empirical: probability, random variables etc. You wish them to satisfy some kind of properties and by this you bring a particular structure: either a measure-theoretical, or an algebraic. However, there is an additional meaning of the results that you obtain. For example, the Law of Large Numbers and Central Limit Theorem are obtained by using pure measure-theoretical methods. But these results are very important exactly for Probability Theory. The interpretation of MT via probabilistic ideas provides you additional intuition about "how should it be" and help to understand "what does it mean".

That is completely an opinion which I've chosen for myself. Hope that it helps.

  • $\begingroup$ That's really interesting. @Ilya have you got any good reference about this algebraic presentation of Probability Theory? $\endgroup$ – Giorgio Mossa Mar 9 '12 at 14:25
  • 3
    $\begingroup$ @ineff: I didn't work with it - just read this note in Terence Tao's blog. That's quite enough to have a first impression $\endgroup$ – Ilya Mar 9 '12 at 14:30
  • $\begingroup$ @Ilya. I appreciate your response. The algebra that differs from the analysis (and particularly the theory of measure) is the axiom of the supreme. Although I am not sure I believe this can be an algebraic basis for the Theory of Probability. But it's like I said. I'm not sure. $\endgroup$ – MathOverview Mar 9 '12 at 15:53
  • $\begingroup$ At the moment I'm reading theTerence Tao blog post that you've indicated. I'm thinking interessande. But English is not my native language so it takes me to read. Thank you. $\endgroup$ – MathOverview Mar 9 '12 at 17:24
  • $\begingroup$ This other note (linked from the note already posted) gives a lot of discussion about the difference in philosophy between probability and measure theory. $\endgroup$ – Nick Alger Nov 3 '12 at 10:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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