I'm trying to understand the difference between these two algebraic structures.(adsbygoogle = window.adsbygoogle || []).push({});

An algebra is a collection of subsets of a set X that is closed under pairwise unions and complements of individual subsets with respect to X.

A sigma algebra is a collection of subsets of a set X that is closed under countably many unions and complements of individual subsets with respect to X.

My trouble is that if an algebra is only closed underpairwiseunions, than doesn't the entire collection of unions need to be at most countable? Then, since a sigma algebra is also an algebra, wouldn't the "at most" part be included in it too?

Can someone help me see an example of an algebra that is not a sigma algebra?

Edit: Oh, I have an idea for an example. Please let me know if my concept is incorrect.

If I take for my set X the real numbers, then I decide to place into my algebra the subsets containing exactly one real number, then I think as an algebra, I must get the entire power set of the reals as my algebra, which relies on the pairwise unions not having to be countable.

If I start with the same subsets but try to generate a sigma algebra, then my sigma algebra contains the empty set, the reals, and all the finite and cofinite subsets of the real numbers (i.e. all the sets composed of finitely many reals and all the sets that are all the realsexcept forfinitely many reals). However, I would never obtain any open interval of the real numbers, since that would require uncountably-many unions.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Algebra vs. Sigma Algebra

Loading...

Similar Threads - Algebra Sigma Algebra | Date |
---|---|

Increasing sequence of sigma algebras | Oct 30, 2015 |

Sigma Algebra on Omega (Sample Space) | Oct 22, 2013 |

Uncountable additivity (sigma algebra) | Oct 21, 2013 |

Sigma algebras on [0,1] | Dec 7, 2012 |

Sigma Algebra on infinite set | Aug 21, 2012 |

**Physics Forums - The Fusion of Science and Community**