Are F and G intersections and unions always σ-fields in set theory?

  • Context: Graduate 
  • Thread starter Thread starter Alexsandro
  • Start date Start date
Click For Summary
SUMMARY

In set theory, the intersection of two σ-fields, F and G, is always a σ-field, as demonstrated by the collection H = F ∩ G. This is established by showing that H is closed under complements and countable unions. Conversely, the union of two σ-fields, F ∪ G, is not necessarily a σ-field, as illustrated by the counterexample where the union does not include all necessary subsets, specifically {1} ∪ {2} = {1, 2}, which is not in H. Therefore, while intersections maintain the σ-field property, unions do not.

PREREQUISITES
  • Understanding of σ-fields in measure theory
  • Familiarity with set operations: intersection and union
  • Basic knowledge of closed sets and their properties
  • Experience with counterexamples in mathematical proofs
NEXT STEPS
  • Study the properties of σ-fields in measure theory
  • Learn about closed sets and their implications in topology
  • Explore counterexamples in mathematical logic and set theory
  • Investigate the implications of σ-fields in probability theory
USEFUL FOR

Mathematicians, students of advanced set theory, and anyone studying measure theory or topology will benefit from this discussion.

Alexsandro
Messages
49
Reaction score
0
Can someone help me with this question ?

Let F and G be σ-fields os subsets of S.

(a) Let H = F intersection G be the collection of subsets of S lying in both F and G. Show that H is a σ-field.

(b) Show that F union G, the collection of subsets of S lying in either F or G, is not necessarilt a σ-field.
 
Physics news on Phys.org
(a) show that the intersection of two closed sets is a closed set (e.g. "closed under complements").

(b) counterexample: Let f be an element of F and g be an element of G. Suppose f U g is neither in F nor in G, therefore not in H. This means H is not closed under union.

P.S. Let S = {1,2,3}, F = {S, ø, {1}, {2,3}}, G = {S, ø, {2}, {1,3}}. Then F U G = {S, ø, {1}, {2,3}, {2}, {1,3}}. If H = F U G was σ, then it would be closed under union, which implies that {1} U {2} = {1,2} would be a distinct element of H. Since it is not, H is not σ.
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 66 ·
3
Replies
66
Views
8K