Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Are measurable sets open or closed?

  1. Mar 11, 2013 #1
    I'm seeing the term "measurable sets" used in the definition of some concepts. But when comparing with other concepts that rely on "closed sets", I can't seem to easily find whether measureable sets are open or closed. Does anyone have any insight into that? Thanks.
     
  2. jcsd
  3. Mar 11, 2013 #2

    WannabeNewton

    User Avatar
    Science Advisor

    Let [itex]X[/itex] be a set and [itex]\Sigma [/itex] a collection of subsets of [itex]X[/itex] such that: (1) [itex]\varnothing ,X\in \Sigma [/itex]; (2) [itex]A\in \Sigma \Rightarrow X \setminus A\in \Sigma [/itex]; (3) If [itex](A_n)[/itex] is a sequence of sets in [itex]\Sigma [/itex] then [itex]\bigcup_{n = 1}^{\infty }A_n\in \Sigma [/itex]. Such a [itex]\Sigma [/itex] is called a [itex]\sigma [/itex] - algebra. Any [itex]A\in \Sigma [/itex] is said to be measurable or [itex]\Sigma [/itex] - measurable.

    As an example, take [itex]X = \mathbb{R}[/itex] and let [itex]\mathfrak{B}[/itex] be the [itex]\sigma [/itex] - algebra generated by the collection of all open intervals [itex](a,b)\subseteq \mathbb{R}[/itex]; [itex]\mathfrak{B}[/itex] is called the Borel algebra. In particular, note that by this definition the Borel algebra also contains all closed intervals [itex][a,b]\subseteq \mathbb{R}[/itex]. So both open and closed intervals in [itex]\mathbb{R}[/itex] are [itex]\mathfrak{B}[/itex] - measurable sets.

    Finally, there is no a priori topology on a measurable space [itex](X,\Sigma )[/itex] and as such the notion of a measurable set or [itex]\Sigma [/itex] - measurable set precedes the notion of open and closed sets, with regards to [itex]\Sigma [/itex].
     
  4. Mar 11, 2013 #3

    pwsnafu

    User Avatar
    Science Advisor

    While this is true from theory, in practical applications we usually are interested in topologies.
    The Borel sigma algebra is smallest sigma algebra which contains all open sets. Secondly, if the topology is derived from a Polish space, you have the "standard Borel space", which honestly, covers every important application of modern measure theory.
     
  5. Mar 11, 2013 #4

    WannabeNewton

    User Avatar
    Science Advisor

    Sure I don't disagree but I just wanted to point out to the OP that there is no a priori attachment of measurable sets to open and closed sets - they are independent concepts when being formulated. Of course in practice one would ideally like to work in a topological space. Cheers!
     
  6. Mar 11, 2013 #5

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    To address the OP's question, it is worth mentioning explicitly that although the Borel sigma algebra is is the smallest one containing all of the open sets, it also contains sets that are neither open nor closed: for example, it contains countable unions of closed sets and countable intersections of open sets, and these are not generally open or closed. So even when there is a topology involved, measurable does not imply open or closed.
     
  7. Mar 12, 2013 #6

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Have you tried asking the Führer?

     
    Last edited by a moderator: Sep 25, 2014
  8. Mar 12, 2013 #7
    So a measurable set can be either open or closed no matter what size it is? What about the empty set - is that measurable?
     
  9. Mar 12, 2013 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    When you say "measurable", then you're being ambiguous. There is not something such as a "measurable set" unless you specify the [itex]\sigma[/itex]-algebra involved. So before we can go on, you need to say in what [itex]\sigma[/itex]-algebra you're working.

    In general, measurable sets can be open or closed, they can be both and they can be neither open nor closed. But this depends on the specific topology and [itex]\sigma[/itex]-algebra you have in mind.

    The empty set is always measurable by definition.
     
  10. Mar 12, 2013 #9

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    The empty set is both open and closed in any topology, and it is measurable in any sigma-algebra.

    In general, "measurable" does not necessarily imply either open or closed. A countable union or intersection of measurable sets is measurable, but a countable union of closed sets need not generally be closed, and a countable intersection of open sets need not generally be open. (There are specific topologies such as the discrete topology that do guarantee this, however.)

    In ##\mathbb{R}## with the usual topology and the Boreal sigma-algebra, for example, every singleton ##\{x\}## is measurable and closed, but the set of rational numbers, which is a countable union of singletons, is measurable but neither open nor closed.
     
  11. Mar 12, 2013 #10

    mathman

    User Avatar
    Science Advisor
    Gold Member

    Simple example: 0≤x<1 is measurable and neither open or closed.
     
  12. Mar 13, 2013 #11

    Bacle2

    User Avatar
    Science Advisor

    Consider the fact that the measurable sets are/form a sigma-algebra, so that they are
    closed under complement and under countable union and intersection. Then take,
    e.g., [0,2] /\(1,3) in the standard Lebesgue measure on the real line. Extend this idea.

    EDIT: I did not see Mathman's post when I made mine; still, hopefully this above can
    help generalize.
     
  13. Mar 13, 2013 #12

    Bacle2

    User Avatar
    Science Advisor

    Nice. There is a cardinality argument showing not all measurable sets areBorel sets, i.e., they are not in the sigma-algebra generated by the open sets; comparing the process of generating combinations of F-sigma and G-delta sets with the fact that the cardinality of measurable sets is at least 2Aleph_1 (using, e.g., that all subsets of the Cantor set are measurable). There are also more constructive arguments used to show this.
     
  14. Mar 13, 2013 #13

    pwsnafu

    User Avatar
    Science Advisor

    Just to be specific, Barcle2 is using the term "measurable" in the sense of "subsets of ℝ which can be assigned Lebesgue measure" which forms a sigma algebra larger than the Borel sigma algebra.
     
    Last edited: Mar 13, 2013
  15. Mar 14, 2013 #14

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Not [itex]2^{\aleph_1}[/itex]. The number of (Lebesgue)-measurable sets can be shown to have cardinality [itex]2^{2^{\aleph_0}}[/itex]. The number of Borel sets can be shown to have cardinality [itex]2^{\aleph_0}[/itex].
     
  16. Mar 14, 2013 #15

    Bacle2

    User Avatar
    Science Advisor

    Right, I miswrote. [itex]2^{\aleph_0}[/itex] is what I meant. Seems clear;given the stated power set of Cantor set.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Are measurable sets open or closed?
  1. Open set (Replies: 2)

  2. Open set (Replies: 19)

Loading...