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

Extension of measure on sigma-algebra

  1. Mar 12, 2015 #1
    Suppose ##\mu:\mathcal{F}\rightarrow[0,\infty)## be a countable additive measure on a ##\sigma##-algebra ##\mathcal{F}## over a set ##\Omega##. Take any ##E\subseteq \Omega##. Let ##\mathcal{F}_{E}:=\sigma(\mathcal{F}\cup\{E\})##. Then, PROVE there is a countable additive measure ##\nu:\mathcal{F}_{E}\rightarrow [0,\infty)## such that ##\nu(A)=\mu(A)## for any ##A\in\mathcal{F}##. I already know the measure extension theorem. But it is based on algebra and the extension is only about ##\sigma(\mathcal{F})##. Can someone give me hint? Or how can I make use of measure extension theorem.
     
    Last edited: Mar 12, 2015
  2. jcsd
  3. Mar 14, 2015 #2

    andrewkirk

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    I think it may be possible to show that [itex]\mathscr{F}_E=\sigma(\mathscr{F}\cup\{E\})=\mathscr{F}\cup\mathscr{A}_\cup\cup\mathscr{A}_\cap\cup\mathscr{A}_\smallsetminus[/itex]
    where
    [itex]\mathscr{A}_\cup\equiv\{S\cup E\vert S\in \mathscr{F}\}[/itex]
    [itex]\mathscr{A}_\cap\equiv\{S\cap E\vert S\in \mathscr{F}\}[/itex]
    [itex]\mathscr{A}_\smallsetminus\equiv\{S\smallsetminus E\vert S\in \mathscr{F}\}[/itex]

    I can't see a way to use the Caratheodory Extension Theorem here, because the point of that is in going from finite to countably infinite unions, and that is not the obstacle, if the above is correct.

    But what if we were to define measure [itex]\nu[/itex] on [itex]\mathscr{F}_E[/itex] by
    [itex]\nu(U)\equiv \sup\{\mu(V)\vert V\in\mathscr{F}\wedge V\subseteq U\}[/itex]

    This clearly matches [itex]\mu[/itex] on [itex]\mathscr{F}[/itex]. I think it may be possible to show that it matches on
    [itex]\mathscr{A}_\cup,\mathscr{A}_\cap,\mathscr{A}_\smallsetminus[/itex], taking them one at a time.

    It then remains to show that [itex]\nu[/itex] is a countably additive measure, which again I think should be possible.
     
  4. Mar 15, 2015 #3

    andrewkirk

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    We need one more component of [itex]\mathscr{F}_E[/itex], which is [itex]\mathscr{A}_{\cup\smallsetminus}\equiv\{S\cup (\Omega\smallsetminus E)\vert S\in \mathscr{F}\}[/itex]. It is pretty straightforward to show that [itex]\mathscr{F}_E=\sigma(\mathscr{F}\cup\{E\})=\mathscr{F}\cup\mathscr{A}_\cup\cup\mathscr{A}_\cap\cup\mathscr{A}_\smallsetminus\cup \mathscr{A}_{\cup\smallsetminus}[/itex] and the union is disjoint.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Extension of measure on sigma-algebra
  1. Sigma sign (Replies: 10)

  2. Summation, Sigma (Replies: 9)

  3. Sigma interpretation (Replies: 2)

  4. Sigma Notation (Replies: 6)

Loading...