Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Both theorems assume the same condition and conclusion, except that

Since a field of subsets is also a ring of subsets, is Hahn-Kolmogorov theorem a direct result of Carathéodory's extension theorem?


share|cite|improve this question
Hahn-Kolmogorov could be seen as the small brother to Caratheodory, that is it is slightly more direct but for the price of requiring a little bit more assumptions and getting less further... Moreover, Caratheodory is sort of an upgrade of the idea of Hahn-Kolmogorov. – Alexander Frei Sep 7 '14 at 2:14
up vote 4 down vote accepted

It will depend, of course, on exactly how the theorems are stated. In his book Introduction to Measure Theory, Tao states the Carathéodory theorem first (1.7.3) but for outer measures, and then uses this to prove the Hahn-Kolmogorov theorem (1.7.8) for premeasures. However, as the proof to 1.7.8. shows, he has to do slightly more than just apply the Carathéodory's extension theorem s he has stated it to obtain the second result.

As everyone knows, though, different authors often use the same name for different results. The Wikipedia articles seem to be particularly confusing about the difference between the two theorems. Perhaps the Wikipedia articles were written by different people who learned from different texts; that is always an issue with comparing different articles on Wikipedia.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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