Is the Definition of Sigma Algebra Limited to Countable Unions?

Click For Summary
SUMMARY

The definition of sigma algebra is explicitly limited to countable unions of sets, as established in measure theory. Uncountable unions and intersections of sigma algebras on a set X do not satisfy the properties required to form a sigma algebra. The necessity for countable unions arises from the need to ensure that measures can be summed, which is not feasible with uncountable collections. Therefore, the definition of sigma algebra is intentionally designed to facilitate the addition of measures across countable sets.

PREREQUISITES
  • Understanding of measure theory concepts
  • Familiarity with sigma algebras
  • Knowledge of De Morgan's laws
  • Basic principles of set theory
NEXT STEPS
  • Study the properties of sigma algebras in detail
  • Explore measure theory and its applications
  • Investigate the implications of uncountable sets in mathematical analysis
  • Learn about the role of De Morgan's laws in set operations
USEFUL FOR

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

AlonsoMcLaren
Messages
89
Reaction score
2
1. Are uncountable unions of sigma algebras on a set X still a sigma algebra on X?

2. Are uncountable intersections of sigma algebras on a set X still a sigma algebra on X? (I think this statement is required to show the existence of sigma algebra generated by a set)

3. If 2 is true, can we use De Morgan's law to show than 1 is true?

4. If 1 is true, why do we require "countable unions" is the definition of sigma algebra?
 
Physics news on Phys.org
I think you mean uncountable union of sets, not uncountable union of sigma algebras because your number 4 there refers to the definition of sigma algebra which is concerned with countable unions of SETS, not countable unions of sigma algebras.

The reason why it's a countable union is because you want to be able to add it up. Countable means you can add up the measure of each set, It's not clear how to do that with an uncountable collection.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K