Proving Sigma-Rings Are Closed under Countable Intersections

  • Thread starter Thread starter jdinatale
  • Start date Start date
  • Tags Tags
    Closed
Click For Summary
SUMMARY

This discussion focuses on proving that sigma-rings are closed under countable intersections. The key argument presented is that if A_1, A_2, A_3, ... are elements of a sigma-ring R, then the relative complements A_1 \backslash A_n are also in R. The conclusion drawn is that the union of these relative complements, X = ∪_{n=1}^∞ (A_1 \backslash A_n), remains in R, thereby demonstrating the closure property of sigma-rings under countable intersections.

PREREQUISITES
  • Understanding of sigma-rings and their properties
  • Familiarity with set operations, particularly symmetric differences
  • Knowledge of measure theory concepts
  • Basic proficiency in mathematical proofs and logic
NEXT STEPS
  • Study the properties of sigma-algebras and their relationship to sigma-rings
  • Explore the concept of symmetric differences in set theory
  • Investigate examples of sigma-rings in measure theory
  • Learn about the implications of closure properties in functional analysis
USEFUL FOR

Mathematicians, particularly those specializing in measure theory, set theory, and functional analysis, will benefit from this discussion. It is also relevant for students and researchers looking to deepen their understanding of sigma-rings and their properties.

jdinatale
Messages
153
Reaction score
0
I'm trying to prove the following and all I've got is like one line worth of proof.

sfdsdffsd.png


If we had that sigma-rings were closed under complementation, this would be easier, but we only know that if A in R and B in R, then A \ B in R and B \ A in R (symmetric difference). Is there a way to approach this using the symmetric difference?
 
Physics news on Phys.org


Instead of complementing take relative complements in A1.
 


Office_Shredder said:
Instead of complementing take relative complements in A1.

Ok. So assume that A_1, A_2, A_3 ... \in R. Then A_1 \backslash A_1, A_1 \backslash A_2, A_1 \backslash A_3 ... \in R. Since R is a \sigma-ring, X = \cup_{n = 1}^\infty A_1 \backslash A_n\in R. Also X \backslash A_1 \in R.

I'm not seeing where this is leading.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K