This book has been one of the MOST challenging books to work through. I had tried going through this book many times in the past but could not get past the first 10 pages of the book. The very first concept that is mentioned in the book is the extension of measure from a semialgebra to a sigma algebra. The proof was just beyond me for the simple reason that my fundamentals were shaky. Not wanting to give up, I had to look for an alternative path to this book. My alternate path was to work through some of the basic fundamentals of real analysis, read around the subject , read about the historical developments behind Lebesue measure and integral, understand Lebesgue integration from a nonmeasure theoretical perspective,etc. I realize that I have read about dozen books in order to work through this book. Here is the list of 12 books that have helped me:
I think I was extremely dumb not to follow the book at the first go/second go. There were umpteen number of mathematical concepts and ideas that I was unaware of. However spending time on these dozen books had given me confidence to go over Rosenthal’s book. I am kind of happy with myself that I have managed to get past the daunting chapters of this book and finally understand the underpinnings of axiomatic probability. Probability and Statistics go hand in hand. The better one understands axiomatic probability, the better one is in a position to understand advanced statistics. I hope understanding measure theory helps me in someway in my future work.
It is kind of difficult to review or summarize this book with out using mathematical symbols. I can give an overview of each chapter. However I will do something different .I will try to list down list of questions (top of the mind) that this book answers. If some of the questions make you curious, then this book might be worth your time. These questions are in no particular order.

What do you intuitively mean by a semialgebra of a collection of subsets of X ? Define in mathematical terms.

What do you intuitively mean by an algebra of a collection of subsets of X ? Define in mathematical terms.

What do you intuitively mean by sigmaalgebra of a collection of subsets of X ? Define in mathematical terms.

What do you understand by a Monotone class ?

What is Lebesgue outer measure ?

What is measurable space ?

What is a measure space ?

Why can’t you define a probability measure on a semialgebra of collection of closed intervals in [0,1]? In other words why is a measure defined on an semialgebra of intervals, not a valid triple ?

Why can’t you define a probability measure on a algebra of collection of closed intervals in [0,1]? In other words why is a measure defined on an algebra of intervals, not a valid triple ?

What’s the difference between Lebesgue sigma algebra and Borel sigma algebra ?

Define simple measurable functions and state at least half a dozen of their properties?

Define non measurable functions and state at least half a dozen of their properties?

What’s the difference between measurable function on a measurable space and a measurable function on a measure space ?

What you mean by a measurable function being integrable with respect to a specific measure ?

Give an example of a function that is Lebesgue integrable but not Riemann integrable

How do you characterize a nonnegative measurable function in terms of a sequence of nonnegative simple measurable functions ?

How do you intrinsically characterize a nonnegative measurable function?

Give an example where Dominated Convergence theorem can be used.

Given an example where Monotone Convergence theorem can be used

Given an example where Bounded Convergence theorem can be used ?

What is a metric space ? Is the space of Lebesgue integrable functions a metric space ?

What are measurable sets ? How do you identify a measurable set ? What are the properties of measurable sets ?

Is Cantor set measurable ?

Give an example of Nonmeasurable function ?

What is a set function ? When can a set function be called a measure ?

Is conditional probability a random variable ? If so, What guarantees its existence ?

What are finite measures ?

What are singular measures ? Give an example

If a measure is not discrete, does it necessarily have to be absolutely continuous ?

What’s the relevant of Fubini’s theorem in probability ?

What are the modes of convergence ?

What’s the relationship between point wise, almost sure, uniform and almost uniform convergence ?

Can there be a countable additive set function on intervals other than the length function?

Why should the distribution function of a random variable be right continuous ? What’s the connection between right continuous and countably additivity property ?

Finite additivity + Countably subadditive property of measures is equivalent to countably additive property of measures

Starting from a semialgebra of collection of intervals in [0,1], how do you construct a measure on a sigma algebra ?

What’s the key result that comes from applying BorelCantelli Lemma ?

Why does an integral crop up when talking about expected value of a random variable ?

State Markov’s , Chebyshev’s, Jensen’s and Schwartz inequalities. How do they become useful in proving law of large numbers ?

What’s the difference between strong law of large numbers and weak law of large numbers ?

How can one restate weak law of large numbers by removing the strict condition on the boundedness of second moment ?

How can one restate strong law of large numbers by removing the strict condition of finite third moment ?

What are Lebesgue measurable functions and Borel measurable functions ?

How do you prove the existence of Markov chain ?

Definitions of transient state, recurrent state, null recurrent state, positive recurrent state, irreducible chain, aperiodic chain, ergodic chain

For a Discrete Markov chain , will the time average be always equal to the ensemble average ? If not, under what conditions do they converge ?

Given an finite discrete Markov chain, How do you compute the stationary distribution ?

What’s the connection between renewal theory and stationary distribution of a finite discrete ergodic chain ?

Does convergence in distribution imply convergence in probability ? Does convergence in probability imply convergence in distribution ?

In a generic setting, Conditional expectation of a random variable has to be guessed. There is no clear cut formula for computing conditional expectation. So, how does one verify whether the guess is an appropriate one ?

Can you relate the formula of total variance to ANOVA in statistics ?

State a few important properties of Conditional Expectation

How do you handle probability on events with 0 measure ?

State Lebesgue decomposition theorem ?

What are Hilbert Spaces ? What’s the connection between Hilbert spaces and class of Lebesgue intergrable functions ?

What do you understand by product sigma algebra ? How is it relevant to multivariate distributions ?

What are Lp spaces? How does one define norm on such spaces ? How do these spaces connect with the concept of “moments” for random variables ?

What’s the connection between orthogonal property of Hilbert spaces and the correlation between two random variables ?

Intuitively explain the difference between almost sure convergence and convergence in probability ?

When you extend a measure from a semialgebra to sigmaalgebra, how do you check whether the extended measure is unique ?

Is a symmetric simple random walk , a null recurrent Markov chain or a positive recurrent markov chain ? Prove it

Define a null set

If a family of random variables are uniformly integrable, what does it mean ?

Conditional probability is not a number. It is a random variable. Explain the intuition behind the reason for thinking in terms of random variable

Define Martingale, sub Martingale and super Martingale ?

What do you means by Event happening infinitely often ? What do you mean by Event happening almost always ? Can you make it precise using set notation ?

Expectation operator is order preserving . Prove it

Why should one not be satisfied with Riemann Integral ? What’s the intuition behind Lebesgue integral ?

When you condition a variable on a subsigma algebra , what does it mean ? How does it relate to conditioning a variable on another variable ?

What is law of total expectation ?

What’s the connection between moment generating function, characteristic function, probability generating function, Laplace transformation ?

Why not define measure on the outcome space rather than event space ( I guess it’s a dumb question to ask , but I never thought this aspect at all for many years !)

Why can’t a countably additive measure be defined for all subsets of [0,1]

What is the condition on the function to be Riemann integrable ?

What is the condition on the function to be Lebesgue integrable ?

State the fundamental theorem of calculus using Lebesgue integral and Lebesgue measure

Convergence in pth norm need not imply convergence almost everywhere. Is it true ? If so , give an example

What do you mean “ Measure A dominates Measure B” ?

What’s the connection between conditional expectation and projection ?

Can a set function be countably additive and not finitely additive ?

What are some of the areas where Martingales are being used ?

Convergence in measure is often a weaker result than convergence in probability ? Explain

Weak convergence of distributions is equivalent to point wise convergence of characteristic functions. Prove it
I think this is one of the best books on axiomatic probability. Stochastic processes described in the book are in the discrete setting only. However seeing something in a discrete world clearly, and understanding it, is a stepping stone for working the continuous parameter – continuous state space.
Leave a Reply