https://wiki.unifiedmathematics.com/index.php?title=A_collection_of_subsets_is_a_sigma-algebra_iff_it_is_a_Dynkin_system_and_closed_under_finite_intersections&feed=atom&action=history
A collection of subsets is a sigma-algebra iff it is a Dynkin system and closed under finite intersections - Revision history
2024-03-28T08:45:49Z
Revision history for this page on the wiki
MediaWiki 1.24.1
https://wiki.unifiedmathematics.com/index.php?title=A_collection_of_subsets_is_a_sigma-algebra_iff_it_is_a_Dynkin_system_and_closed_under_finite_intersections&diff=3868&oldid=prev
Alec at 13:21, 17 December 2016
2016-12-17T13:21:29Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 13:21, 17 December 2016</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 2:</td>
<td colspan="2" class="diff-lineno">Line 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Terminology note:'''</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Terminology note:'''</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a [[sigma-algebra|{{Sigma|algebra}}]] ''if and only if''<ref name="MIM">Measures, Integrals and Martingales</ref><ref name="PAS">Probability and Stochastics - Erhan Cinlar</ref> it is a {{M|d}}-system (another name for a [[Dynkin system]]) and {{M|\cap}}-closed (which is sometimes called a [[p-system|{{M|p}}-system]]<ref name="PAS"/>).</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a [[sigma-algebra|{{Sigma|algebra}}]] ''if and only if''<ref name="MIM">Measures, Integrals and Martingales</ref><ref name="PAS">Probability and Stochastics - Erhan Cinlar</ref> it is a {{M|d}}-system (another name for a [[Dynkin system]]) and {{M|\cap}}-closed (which is sometimes called a [[p-system|{{M|p}}-system]]<ref name="PAS"/>).</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Dynkin himself used the {{M|p}}-system/{{M|d}}-system terminology<ref name="PAS"/> using it we get the much more concise statement<del class="diffchange diffchange-inline">.</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Dynkin himself used the {{M|p}}-system/{{M|d}}-system terminology<ref name="PAS"/> using it we get the much more concise statement <ins class="diffchange diffchange-inline">below:</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>__TOC__</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>__TOC__</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Statement==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Statement==</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* A collection of subsets of {{M|X}}, {{M|\mathcal{A} }} is a [[Sigma-algebra|{{sigma|algebra}}]] <del class="diffchange diffchange-inline">''if and only if'' </del>is is both a {{M|p}}-system and a {{m|d}}-system<ref name="PAS"/>.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* A collection of subsets of <ins class="diffchange diffchange-inline">a [[set]] </ins>{{M|X}}, <ins class="diffchange diffchange-inline">say </ins>{{M|\mathcal{A} }}<ins class="diffchange diffchange-inline">, </ins>is a [[Sigma-algebra|{{sigma|algebra}}]] <ins class="diffchange diffchange-inline">{{iff}} </ins>is is both a <ins class="diffchange diffchange-inline">[[p-system|</ins>{{M|p}}-system<ins class="diffchange diffchange-inline">]] </ins>and a <ins class="diffchange diffchange-inline">[[d-system|</ins>{{m|d}}-system<ins class="diffchange diffchange-inline">]]</ins><ref name="PAS"/>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Proof==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Proof==</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>{{:A <del class="diffchange diffchange-inline">collection of subsets is a </del>sigma-algebra <del class="diffchange diffchange-inline">iff it </del>is a Dynkin system <del class="diffchange diffchange-inline">and </del>closed <del class="diffchange diffchange-inline">under finite intersections/Proof</del>}}</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">===</ins>{{<ins class="diffchange diffchange-inline">M|\sigma}}-algebra {{M|\implies}} both {{M|p}}-system and {{M|d}}-system===</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">It needs to be shown that</ins>:</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* [[</ins>A sigma-algebra is <ins class="diffchange diffchange-inline">itself </ins>a Dynkin system<ins class="diffchange diffchange-inline">]]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">Then it is EVEN more trivial that a sigma-algebra is {{M|\cap}}-</ins>closed</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">==={{M|p</ins>}}<ins class="diffchange diffchange-inline">-system and {{M|d}}-system {{M|\implies}} a {{m|\sigma}}-algebra===</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"><gallery></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">File:Panddsystemissigmaalgebra.JPG|Proof done on paper for like the third time</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"></gallery></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Todo|Page 33 in<ref name="MIM"/> and like page 3 in<ref name="PAS"/>}}</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Todo|Page 33 in<ref name="MIM"/> and like page 3 in<ref name="PAS"/>}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==References==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==References==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><references/></div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><references/></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Theorem Of|Measure Theory}}</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Theorem Of|Measure Theory}}</div></td></tr>
</table>
Alec
https://wiki.unifiedmathematics.com/index.php?title=A_collection_of_subsets_is_a_sigma-algebra_iff_it_is_a_Dynkin_system_and_closed_under_finite_intersections&diff=1244&oldid=prev
Alec at 15:52, 28 August 2015
2015-08-28T15:52:26Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 15:52, 28 August 2015</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">{{DISPLAYTITLE:A collection of subsets is a {{sigma|algebra}} {{M|\iff}} it is both a {{M|p}}-system and a {{M|d}}-system}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Terminology note:'''</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Terminology note:'''</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a [[sigma-algebra|{{Sigma|algebra}}]] ''if and only if''<ref name="MIM">Measures, Integrals and Martingales</ref><ref name="PAS">Probability and Stochastics - Erhan Cinlar</ref> it is a {{M|d}}-system (another name for a [[Dynkin system]]) and {{M|\cap}}-closed (which is sometimes called a [[p-system|{{M|p}}-system]]<ref name="PAS"/>).</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a [[sigma-algebra|{{Sigma|algebra}}]] ''if and only if''<ref name="MIM">Measures, Integrals and Martingales</ref><ref name="PAS">Probability and Stochastics - Erhan Cinlar</ref> it is a {{M|d}}-system (another name for a [[Dynkin system]]) and {{M|\cap}}-closed (which is sometimes called a [[p-system|{{M|p}}-system]]<ref name="PAS"/>).</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Dynkin himself used the {{M|p}}-system/{{M|d}}-system terminology<ref name="PAS"/> using it we get the much more concise statement<del class="diffchange diffchange-inline">:</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Dynkin himself used the {{M|p}}-system/{{M|d}}-system terminology<ref name="PAS"/> using it we get the much more concise statement<ins class="diffchange diffchange-inline">.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>__TOC__</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>__TOC__</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Statement==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Statement==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* A collection of subsets of {{M|X}}, {{M|\mathcal{A} }} is a [[Sigma-algebra|{{sigma|algebra}}]] ''if and only if'' is is both a {{M|p}}-system and a {{m|d}}-system<ref name="PAS"/>.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* A collection of subsets of {{M|X}}, {{M|\mathcal{A} }} is a [[Sigma-algebra|{{sigma|algebra}}]] ''if and only if'' is is both a {{M|p}}-system and a {{m|d}}-system<ref name="PAS"/>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Proof==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==Proof==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">{{:A collection of subsets is a sigma-algebra iff it is a Dynkin system and closed under finite intersections/Proof}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Todo|Page 33 in<ref name="MIM"/> and like page 3 in<ref name="PAS"/>}}</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Todo|Page 33 in<ref name="MIM"/> and like page 3 in<ref name="PAS"/>}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==References==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==References==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><references/></div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><references/></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Theorem Of|Measure Theory}}</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Theorem Of|Measure Theory}}</div></td></tr>
</table>
Alec
https://wiki.unifiedmathematics.com/index.php?title=A_collection_of_subsets_is_a_sigma-algebra_iff_it_is_a_Dynkin_system_and_closed_under_finite_intersections&diff=1130&oldid=prev
Alec: Created page with "'''Terminology note:''' *A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a algebra}} ''if and only if''<ref name="MIM">Measures, Integrals..."
2015-08-02T22:56:38Z
<p>Created page with "'''Terminology note:''' *A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a <a href="/index.php?title=Sigma-algebra" title="Sigma-algebra">algebra}}</a> ''if and only if''<ref name="MIM">Measures, Integrals..."</p>
<p><b>New page</b></p><div>'''Terminology note:'''<br />
*A collection of subsets of {{M|X}}, {{M|\mathcal{A} }}, is a [[sigma-algebra|{{Sigma|algebra}}]] ''if and only if''<ref name="MIM">Measures, Integrals and Martingales</ref><ref name="PAS">Probability and Stochastics - Erhan Cinlar</ref> it is a {{M|d}}-system (another name for a [[Dynkin system]]) and {{M|\cap}}-closed (which is sometimes called a [[p-system|{{M|p}}-system]]<ref name="PAS"/>).<br />
Dynkin himself used the {{M|p}}-system/{{M|d}}-system terminology<ref name="PAS"/> using it we get the much more concise statement:<br />
__TOC__<br />
==Statement==<br />
* A collection of subsets of {{M|X}}, {{M|\mathcal{A} }} is a [[Sigma-algebra|{{sigma|algebra}}]] ''if and only if'' is is both a {{M|p}}-system and a {{m|d}}-system<ref name="PAS"/>.<br />
==Proof==<br />
{{Todo|Page 33 in<ref name="MIM"/> and like page 3 in<ref name="PAS"/>}}<br />
==References==<br />
<references/><br />
{{Theorem Of|Measure Theory}}</div>
Alec