Back of the Envelope

Observations on the Theory and Empirics of Mathematical Finance

[PDS] Probability in Finance – Key Ideas: IV

leave a comment »

Having defined random variables using the measure-theoretic language, to complete the basic set-up, we can now define familiar things like ‘expectation/expected value’ and ‘variance’ of a random variable. Expected values are understood as weighted averages, or simply sums or integrals, and in the world of probability, it turns out we need a specific kind of integral, called the Lebesgue integral.

Measurable Functions can be Integrated

Like Riemann integrals, the intuitive way to understand Lebesgue integrals is to think of them as ‘area under a curve’. The way Lebesgue integral differs from its Riemann counterpart that it calculates area by dividing along the range of the function. Recall that Riemann integral works by taking limits of the ‘lower sum’ and the ‘upper sum’, where the lower and upper sums are calculated as sum of the area of rectangles formed by considering intervals along the domain (the x-axis). The following pictures borrowed from shows the difference:

riemann-lebesgue-sums[Source: Steven Shreve, Stochastic Calculus in Finance, Vol II, Chapter 1; Click to zoom]

Extending the intuition from the Riemann integral then allows us to write area under the curve taking intervals along the range (y-axis) as:

\mbox{Lower Lebesgue Sum}= \displaystyle\sum_{n = 1}^{N} c_n m(f^{-1}(I_n))

where c_n = f(x) for some x \in I_n. Note that the above Lebesgue sum is defined iff one can talk about m(f^{-1}(I_n)) meaningfully – that is one can ‘measure’ (m) the inverse image of the function (f^{-1}(I_n)).

More formally, then, one can write the area under the curve in the Lebesgue sense iff inverse image of f is measurable. It is in this sense that Lebesgue integrals are defined.

The need for Lebesgue integral arises when finding things like ‘expectation’ and ‘variance’. Finding expectation or expected value involves summing over values a random variable takes weighted by probability. Now recall that probability is defined for events in the sample space, but random variables are function defined on sample space. So find this sum is like integration of a function, i.e. values taken by the random variable (y-axis) over probabilities (measure) defined on events in the sample space, i.e. \sigma -field (x-axis).

So the requirement that measurable functions is a natural requirement when talking about random variables. We can find probabilities (measure) of only those value of the random variable which \textit{can} happen, i.e. belong to the \sigma-field generated by the sample space. Also, note that argued this way it is clear (why?) that there is no obvious way to partition the x-axis ala Riemann (probabilities of events in the sample space corresponding to the values taken by the random variable), and the only way one can integrate random variables is by starting on the y-axis (values taken by the random variable).

A formal definition of Lebesgue integral is more than what we need at this stage, so with the intuition in place we can now move to defining expected value.

Expected Value as Lebesgue Integrals

Expected Value: Given a random variable X on the probability space (\Omega, \mathbb{F}, \mathbb{P}) the expected value is defined as:

E[X] = \displaystyle\int_{\Omega} X d\mathbb{P}

and it can be shown that it is equivalent to our familiar notion:

E[X] =\displaystyle\int_{\mathbb{R}} X d\mathbb{P}_X

and if X is continuous this changes to the familiar formula:

E[X] =\displaystyle\int_{\mathbb{R}} x f(x) dx

where \mathbb{P}_X is the probability distribution and f(x) is the probability density function associated with the random variable X.

At this stage a natural question is how do we compute Lebesgue integrals in practice. Well, as it turns out for most ‘nice’ and ‘well-defined’ functions, value of a Lebesgue integral is same as that obtained by finding he integral the Riemann way (relieved?). So for most practical purposes nothing needs to change as far as our intuitive notion of expected value is concerned.


Written by Vineet

March 7, 2013 at 1:52 pm

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: