Proving Infinite Sigma-Algebra's Countable Disjoint Subsets

  • Thread starter Thread starter Zaare
  • Start date Start date
  • Tags Tags
    Infinite
AI Thread Summary
The discussion revolves around the question of whether a sigma-algebra can be infinite and countable. One participant argues that if a sigma-algebra has a countable number of disjoint subsets, it cannot be countable due to the combinations of those subsets. Another suggests clarifying the term to "countably infinite" for accuracy. The conversation also touches on using proof by contradiction to demonstrate that an infinite sigma-algebra must have a countably infinite number of disjoint subsets. Overall, the participants are seeking clarity and assistance in proving their points regarding sigma-algebras.
Zaare
Messages
54
Reaction score
0
I'm supposed to answer the question "Can a sigma-algebra be infinite and countable?"
I think I can show that if it has a countable number of disjoint subsets, then it can't be countable considering the possible combinations of the subsets.
Now I need to show that if a sigma-algebra consists of an infinite number of subsets, then it has a countable number of disjoint subsets.
Any ideas on how I can do this?
 
Physics news on Phys.org
I think I can show that if it has a countable number of disjoint subsets, then it can't be countable considering the possible combinations of the subsets.

No you can't.

Now, if you instead said countably infinite... :smile:


Now I need to show that if a sigma-algebra consists of an infinite number of subsets, then it has a [countably infinite] number of disjoint subsets.

(I edited it)

Proof by contradiction, maybe?
 
Hurkyl said:
No you can't.

Now, if you instead said countably infinite... :smile:

That's what I meant. I was sloppy. :redface:
Thank you both for the help.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top