Properties of classes of sets closed under setsubtraction
From Maths
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:
The message provided is:
The old page was crap, it is preserved below but it doesn't provide anything useful
Contents
Statement
Suppose [ilmath]\mathcal{A} [/ilmath] is an arbitrary class of sets with the property that:
 [ilmath]\forall A,B\in\mathcal{A}[AB\in\mathcal{A}][/ilmath] where [ilmath]AB[/ilmath] denotes "set subtraction" (AKA: relative complement)
Then we claim the following are true of [ilmath]\mathcal{A} [/ilmath]:
 [ilmath]\mathcal{A} [/ilmath] is [ilmath]\cap[/ilmath]closed. That is: [ilmath]\forall A,B\in\mathcal{A}[A\cap B\in\mathcal{A}][/ilmath]
Proof of claims
Grade: C
This page requires one or more proofs to be filled in, it is on a todo list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
This proof has been marked as an page requiring an easy proof
The message provided is:
Outlines follow for each claim:
 Prove [ilmath]A\cap B=A(AB)[/ilmath] or indeed [ilmath]B(BA)[/ilmath]. Include picture of Venn diagram
This proof has been marked as an page requiring an easy proof
Notes for further claims
I know from a reference (see the old page below) that:
 If [ilmath]\mathcal{A} [/ilmath] is [ilmath]\sigma[/ilmath][ilmath]\cup[/ilmath]closed then it is [ilmath]\sigma[/ilmath][ilmath]\cap[/ilmath]closed
 Any countable union of sets in [ilmath]\mathcal{A} [/ilmath] can be expressed as a countable disjoint union of sets in [ilmath]\mathcal{A} [/ilmath]^{[Note 1]}
These feel very "measure theory specific" though and might be true in the case of being closed under arbitrary union or for an arbitrary collection of sets whose union is [ilmath]\mathcal{A} [/ilmath]
Notes
 ↑ Note that this doesn't require [ilmath]\mathcal{A} [/ilmath] to be closed under union, we can still talk about unions we just cannot know that the result of a union is in [ilmath]\mathcal{A} [/ilmath]. This simply says IF there is a sequence of elements of [ilmath]\mathcal{A} [/ilmath], say [ilmath] ({ A_n })_{ n = 1 }^{ \infty }\subseteq \mathcal{A} [/ilmath], where [ilmath]\bigcup_{n=1}^\infty A_n[/ilmath] just happens to be in [ilmath]\mathcal{A} [/ilmath] then there exists a sequence of pairwise disjoint sets whose union is the same.
References
Template:Elementary set theory navbox

OLD PAGE
Theorem statement
If [ilmath]\mathcal{A} [/ilmath] is a class of subsets of [ilmath]\Omega[/ilmath] such that^{[1]}
 [math]\forall A,B\in\mathcal{A}[AB\in\mathcal{A}][/math]  that is closed under setsubtraction (or [ilmath]\backslash[/ilmath]closed)
Then we have:
 [ilmath]\mathcal{A} [/ilmath] is [ilmath]\cap[/ilmath]closed
 [ilmath]\mathcal{A} [/ilmath] is [ilmath]\sigma[/ilmath][ilmath]\cup[/ilmath]closed[ilmath]\implies[/ilmath] [ilmath]\mathcal{A} [/ilmath] is [ilmath]\sigma[/ilmath][ilmath]\cap[/ilmath]closed
 Any countable union of sets in [ilmath]\mathcal{A} [/ilmath] can be expressed as a countable disjoint union of sets in [ilmath]\mathcal{A} [/ilmath]^{[Note 1]}
Proof:
TODO: Page 3 in^{[1]}
Notes
 ↑ Note that this doesn't require [ilmath]\mathcal{A} [/ilmath] to be closed under union, we can still talk about unions we just cannot know that the result of a union is in [ilmath]\mathcal{A} [/ilmath]
References
 ↑ ^{1.0} ^{1.1} Probability Theory  A comprehensive course  Second Edition  Achim Klenke
Categories:
 Refactoring
 Pages requiring proofs: Easy proofs
 Pages requiring proofs
 Theorems
 Theorems, lemmas and corollaries
 Measure Theory Theorems
 Measure Theory Theorems, lemmas and corollaries
 Measure Theory
 Elementary Set Theory Theorems
 Elementary Set Theory Theorems, lemmas and corollaries
 Elementary Set Theory
 Todo