Dynkin system generated by

From Maths
Revision as of 15:16, 16 December 2016 by Alec (Talk | contribs) (Added refactor notice, page needs updating)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Grade: A
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
The message provided is:

Definition

Given a set [ilmath]X[/ilmath] and another set [ilmath]\mathcal{G}\subseteq\mathcal{P}(X)[/ilmath] which we shall call the generator then we can define the Dynkin system generated by [ilmath]\mathcal{G} [/ilmath] as[1]:

  • The smallest Dynkin system that contains [ilmath]\mathcal{G} [/ilmath]

And we denote this as: [ilmath]\delta(\mathcal{G})[/ilmath]. This is to say that:

  • [ilmath]\delta(\mathcal{G})[/ilmath] is the smallest Dynkin system such that [ilmath]\mathcal{G}\subseteq\delta(\mathcal{G})[/ilmath]

(Claim 1) This is the same as:

  • [math]\delta(\mathcal{G}):=\bigcap_{\begin{array}{c}\mathcal{D}\text{ is a Dynkin system}\\ \text{and }\mathcal{G}\subseteq\mathcal{D}\end{array} }\mathcal{D}[/math]

Proof of claims

Claim 1: [math]\delta(\mathcal{G}):=\bigcap_{\begin{array}{c}\mathcal{D}\text{ is a Dynkin system}\\ \text{and }\mathcal{G}\subseteq\mathcal{D}\end{array} }\mathcal{D}[/math] is the smallest Dynkin system containing [ilmath]\mathcal{G} [/ilmath]




TODO: Be bothered, notes on p75 of my notebook, or page 31 of[1]


See also

References

  1. 1.0 1.1 Measures, Integrals and Martingales - Rene L. Schilling