Countably infinite sigma-algebra

  • Context: Graduate 
  • Thread starter Thread starter Zaare
  • Start date Start date
  • Tags Tags
    Infinite
Click For Summary
SUMMARY

A countably infinite sigma-algebra cannot exist due to the nature of disjoint subsets. The discussion establishes that if there are countably many disjoint subsets within a sigma-algebra, the total number of sets in that sigma-algebra must be non-countable. This conclusion arises from the one-to-one mapping of combinations of countable subsets to binary numbers, illustrating that each combination corresponds to a unique binary representation. For instance, the binary sequence .001110101... represents a specific combination of included and omitted subsets.

PREREQUISITES
  • Understanding of sigma-algebras in measure theory
  • Familiarity with countable and uncountable sets
  • Knowledge of binary number representation
  • Basic concepts of set theory and disjoint subsets
NEXT STEPS
  • Study the properties of sigma-algebras in measure theory
  • Explore the implications of countable versus uncountable sets
  • Learn about the Cantor set and its relation to sigma-algebras
  • Investigate the concept of Borel sigma-algebras and their applications
USEFUL FOR

Mathematicians, students of measure theory, and anyone interested in the foundational concepts of set theory and sigma-algebras.

Zaare
Messages
54
Reaction score
0
Problem: Is there a countably infinite sigma-algebra?
I can assume there are countably number of disjoint subsets included in the sigma-algebra.
 
Physics news on Phys.org
Given there are a countable number of disjoint subsets, the number of sets in the sigma algebra has to be non-countable. It is a very simple one to one mapping of all the combinations from the countable number of subsets to all binary numbers between 0 and 1. Specifically, order the countable subsets. For any combination of subsets, the equivalent binary number has zeros for the sets omitted and 1 for sets included.

Example: .001110101... is the image of the set where the 3rd, 4th, 5th, 7th, 9th, etc. sets are include while the 1st, 2nd, 6,th, 8th, etc. sets are omitted (from the union).
 

Similar threads

Undergrad Proof of a fact about real numbers - transcendental and algebraic
  • · Replies 7 ·
Replies
7
Views
3K
Undergrad The set of nonzero values of pmf is at most countable
  • · Replies 3 ·
Replies
3
Views
4K
Undergrad Countability of binary Strings
  • · Replies 18 ·
Replies
18
Views
5K
Graduate Cannot understand this corollary on surreal numbers
  • · Replies 0 ·
Replies
0
Views
2K
Undergrad Can you transform a countably infinite set to an uncountable one?
  • · Replies 15 ·
Replies
15
Views
2K
Undergrad Is an algorithm for a proof required to halt?
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad I don't understand Dedekind cuts
  • · Replies 14 ·
Replies
14
Views
2K
Undergrad Add an exponential number of elements, what will be the final cardinality?
  • · Replies 16 ·
Replies
16
Views
2K
MHB Proving that a subset of a countable set is countable
  • · Replies 1 ·
Replies
1
Views
3K
Graduate Cardinal Number Alephs: Countably Infinite?
  • · Replies 8 ·
Replies
8
Views
2K