Abstract: In probability theory the expected value of functions of random variables plays a fundamental role in defining the basic characteristic measures of probability distributions. For example, ...

This observation rests on a footling calculation: that when the metric space concerned is the real line, this definition agrees with the usual one. Let’s do it. We have to show that for a real random ...