Meaning of countable in definitions of sigma algebra

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
3 replies · 3K views
Rasalhague
Messages
1,383
Reaction score
2
Meaning of "countable" in definitions of sigma algebra

In the third axiom defining a [itex]\sigma[/itex]-algebra, [itex](X,\Sigma)[/itex], does countable mean (a) "finite or countably infinite", or does it mean (b) "countably infinite".
 
Physics news on Phys.org


In this context it means (a), i.e. every countable(finite or countably infinite) union or intersection of sets in Σ is in Σ.
 


mathman said:
In this context it means (a), i.e. every countable(finite or countably infinite) union or intersection of sets in Σ is in Σ.

I agree. But in this case (because the empty set is already there) it doesn't matter. A finite union is the same as a countably infinite union by appending empty sets to the list.