Extension of measure on sigma-algebra

  • #1
12
0

Main Question or Discussion Point

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:

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,836
1,418
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.
 
  • Like
Likes Mike.B
  • #3
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,836
1,418
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.
 
  • Like
Likes Mike.B

Related Threads on Extension of measure on sigma-algebra

Replies
9
Views
3K
  • Last Post
Replies
6
Views
732
  • Last Post
Replies
11
Views
2K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
10
Views
23K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
9
Views
9K
Top