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

Pdf and pmf as random variables?

  1. Jul 19, 2011 #1
    If the set of real numbers is considered as a sample space with the Borel sigma algebra for its events, and also as an observation space with the same sigma algebra, is a pdf or pmf a kind of random variable? That is, are they measurable functions?
     
  2. jcsd
  3. Jul 19, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Hi Rasalhague! :smile:

    Yes, a pdf is always measurable, it is even integrable. In fact, a pdf is defined to be integrable.
    A pmf is certainly measurable since its domain is countable.

    Almost all functions you will ever encounter in probability theory will be measurable, so this is (luckily) no exception to that rule.
     
  4. Jul 19, 2011 #3
    Hello, again, micromass!

    Is a pmf also measurable when, as here, it's defined with an uncountable domain, namely the real numbers?
     
  5. Jul 19, 2011 #4

    disregardthat

    User Avatar
    Science Advisor

    Are you sure about that?
     
  6. Jul 19, 2011 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes, because there are at most countable non-boring numbers. That is, most of the numbers in the uncountable domain are being sent to 0, while only a countable number of them are interesting. This means that it's measurable.
     
  7. Jul 19, 2011 #6
    Aha, I think I see why it has to be! A pmf, fX, has (finitely or infinitely) countable range (because it has only countably many nonzero, i.e. non-boring elements), so every subset is a countable union of singletons, which are elements of the Borel algebra on R being complements of pairs of open sets. The pre-image of every subset not containing zero is a subset of the range of X, also a countable union of singletons, because X is discrete. The pre-image of every subset containing zero is a countable union of singletons and the open intervals between them, together with the open interval before the first element of the range of X and the open interval after the last. So these pre-images are also elements of the Borel algebra. So fX is measurable.
     
  8. Jul 19, 2011 #7
    Sure that the Wikipedia article I linked to defines the pmf on R? Yes, unless it's been changed recently, it's in the 2nd sentence of "Formal definition" and reiterated in the sentence immediately after that.

    Here's another source which defines the pmf on R.
     
  9. Jul 19, 2011 #8

    disregardthat

    User Avatar
    Science Advisor

    You are right, I accidentally thought you were talking about the random variable.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook