A Geometric Intuition for Markov’s Inequality
As the title of the post suggests, this week I will discuss a geometric intuition for Markov’s inequality, which for a nonnegative random variable, , states
This is a simple result in basic probability that still felt surprising every time I used it… until very recently. (Warning: Basic measure theoretic probability lies ahead. These notes look like they provide sufficient background if this post is confusing and you are sufficiently motivated!)
I used to get intuition for Markov’s inequality from the fairly intuitive proof (or the equivalent proof with integrals),
which is all well and good, but I like pictures and don’t feel like I have really internalized a concept unless I have a representative picture for it in my mind. The problem is then, what is the picture here? Expectations are averages, so when you look at the value of it is kind of at the center of the distribution, but how is that related to the probability in the tail of the distribution?
This might be overkill, but in my mind, the key to an intuitive geometric understanding of Markov’s inequality relies on a measure theoretic view of probability. What measure theoretic probability gives us in this case is a geometric perspective of expectations, from which Markov’s inequality falls out immediately.
Recall that random variables are actually functions. A random variable is defined with respect to a probability triple, . The function is a random variable if it is a measurable function in the sense that the preimage is always measurable, so we can write .
The key is then that is essentially just the area under the random variable since . We can then understand Markov’s inequality from the following (slightly simplified) picture:
The dashed line is at the height , so the probability that is greater than in this case is just the length of the contiguous set of values that map to values of greater than (the line segment shown in the picture). The area of the shaded box is thus , which is clearly less than the entire area under . Hence as desired.