## [PDS] Probability in Finance: Key Ideas – II

**-field on **

Just like the collection of Lebesgue-measurable sets represented ‘nice’ subsets of , for a general sample space (as in probability ‘experiments’), one can also think of collection of ‘nice’ subsets of in a similar vein.

The analogue of on is on . has the same properties as , i.e. it is closed under ‘complements’ and ‘finite unions’ as:

1.

2.

3.

and defines what is called a -field on .

A -field need not comprise all subsets of – it could be even for a subset of as long as it satisfies all the above properties.

For example in a ‘die toss’ experiment with sample space , is an example of a -field generated by subsets .

Needless to say, one can come up with other -fields on which are ‘larger’ than . For example, consider the collection and the -field generated by that subset. Clearly it would be a larger -field than because it would not only contain the elements contained in but also some more.

There is a nice result pertaining to -fields which says that for any given collection of subsets of , there exists a *smallest *-field that contains . For example, above describes the *smallest* -field containing .

The smallest -field containing is then referred to as the **-field generated by **.

…

**Borel Field and Borel Sets**

Although is a collection of ‘nice’ subsets of , it turns it is often still too large for our purpose (of measuring probabilities). What is often required is not , but some nice -field like , but perhaps smaller than , that contains all intervals (closed, open, semi-open/semi-closed – all kinds).

As pointed out earlier, contains all intervals and also all null sets. If we apply the result mentioned above that given a collection of subsets (all intervals), then we know that there must exist a smallest -field containing all intervals. Since all intervals are part of , if that -field exists, it is ‘included’ in .

Indeed, such a -field exists, which is the smallest -field containing all intervals, called a **Borel field **. The elements of are called **Borel sets. **

For most purposes in probability, the Borel -field , it turns out, is good enough. So, we may get by defining measures on this ‘smaller’ -field instead of .

…

**Restricting Lebesge Measure**

We have so far defined measures of the kind , but we know from our intuitive understanding of probability that a probability measure must lie between . So the last piece of machinery we need is something that allows us to ‘restrict’ Lebesgue measure to any Lebesgue-measurable subset .

Given the measure space , the following construction ‘restricts’ Lebesgue measure to a Lebesgue-measurable subset :

such that

The triple is then a (complete) measure space.

…

**Probability Space**

The fact that the above ‘restriction’ of Lebesgue measure results in a measure space now allows us to define probability measure over arbitrary spaces without worrying about if we can ‘restrict’ that measure to .

*Probability Space: **Definition*

A probability space* *is a triple , where is an arbitrary set (‘sample space’), is a -field of subsets of (i.e. elements of are all possible ‘events’), and is a measure on :

called probability measure or simply probability.

(Definitions in this post, as in the previous one, are taken from Capinski and Kopp.)

With an abstract measure space, one can always assign the measure to lie between depending on the nature of the experiment.

In the case when is a Lebesgue-measurable subset of where the measures/lengths may indeed be larger than . But the fact that one can ‘restrict’ measures to Lebesgue-measurable subsets of affords us a way out. This is done by writing probability for any subset as:

where

The measure as defined above is a restriction of to and we are guaranteed that is a measure/probability space.

Note that as defined above, probability measure need not have any physical meaning attached to it. But the construction above ensures that it can handle all kinds of events and sample spaces that we may encounter when dealing with arbitrary (and often infinite) sample spaces.

…

In the following we take a look at the idea of Lebesgue-measurable functions which will take us to the important notion of *random variables*.

[…] the world of Lebesgue measure that we have been considering, it turns out random variables in probability are just an example of what are called measurable […]

[PDS] Probability in Finance – Key Ideas: III « Back of the EnvelopeFebruary 17, 2013 at 1:51 am