Are $sigma$-finite measures agreeing on a generating set equal?
up vote
0
down vote
favorite
Suppose I have two measures $m,n$ and that they are both $sigma$-finite and agree on some semi-ring $R$ generating their $sigma$-algebras. Must these two measures then agree on the entire $sigma$-algebra?
Of course, the Caratheodory extension theorem states that if the two pre-measures given by the restriction of $m,n$ to $R$ are themselves $sigma$-finite, then their extension to the $sigma$-algebra is unique, but I suspect there might be a case where the restriction of a $sigma$-finite measure to the semi-ring might not remain $sigma$-finite.
real-analysis measure-theory
add a comment |
up vote
0
down vote
favorite
Suppose I have two measures $m,n$ and that they are both $sigma$-finite and agree on some semi-ring $R$ generating their $sigma$-algebras. Must these two measures then agree on the entire $sigma$-algebra?
Of course, the Caratheodory extension theorem states that if the two pre-measures given by the restriction of $m,n$ to $R$ are themselves $sigma$-finite, then their extension to the $sigma$-algebra is unique, but I suspect there might be a case where the restriction of a $sigma$-finite measure to the semi-ring might not remain $sigma$-finite.
real-analysis measure-theory
Let $mathcal{B}$ be the $sigma$-algebra. Then ${A in mathcal{B} : m(A) = n(A)}$ is a sigma-algebra containing $R$ and is thus $mathcal{B}$.
– mathworker21
Dec 1 at 13:58
Don't we run into a problem because the measures may not agree on complements of sets of infinite measure?
– Bar Alon
Dec 1 at 14:23
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Suppose I have two measures $m,n$ and that they are both $sigma$-finite and agree on some semi-ring $R$ generating their $sigma$-algebras. Must these two measures then agree on the entire $sigma$-algebra?
Of course, the Caratheodory extension theorem states that if the two pre-measures given by the restriction of $m,n$ to $R$ are themselves $sigma$-finite, then their extension to the $sigma$-algebra is unique, but I suspect there might be a case where the restriction of a $sigma$-finite measure to the semi-ring might not remain $sigma$-finite.
real-analysis measure-theory
Suppose I have two measures $m,n$ and that they are both $sigma$-finite and agree on some semi-ring $R$ generating their $sigma$-algebras. Must these two measures then agree on the entire $sigma$-algebra?
Of course, the Caratheodory extension theorem states that if the two pre-measures given by the restriction of $m,n$ to $R$ are themselves $sigma$-finite, then their extension to the $sigma$-algebra is unique, but I suspect there might be a case where the restriction of a $sigma$-finite measure to the semi-ring might not remain $sigma$-finite.
real-analysis measure-theory
real-analysis measure-theory
edited 2 days ago
asked Dec 1 at 13:53
Bar Alon
467114
467114
Let $mathcal{B}$ be the $sigma$-algebra. Then ${A in mathcal{B} : m(A) = n(A)}$ is a sigma-algebra containing $R$ and is thus $mathcal{B}$.
– mathworker21
Dec 1 at 13:58
Don't we run into a problem because the measures may not agree on complements of sets of infinite measure?
– Bar Alon
Dec 1 at 14:23
add a comment |
Let $mathcal{B}$ be the $sigma$-algebra. Then ${A in mathcal{B} : m(A) = n(A)}$ is a sigma-algebra containing $R$ and is thus $mathcal{B}$.
– mathworker21
Dec 1 at 13:58
Don't we run into a problem because the measures may not agree on complements of sets of infinite measure?
– Bar Alon
Dec 1 at 14:23
Let $mathcal{B}$ be the $sigma$-algebra. Then ${A in mathcal{B} : m(A) = n(A)}$ is a sigma-algebra containing $R$ and is thus $mathcal{B}$.
– mathworker21
Dec 1 at 13:58
Let $mathcal{B}$ be the $sigma$-algebra. Then ${A in mathcal{B} : m(A) = n(A)}$ is a sigma-algebra containing $R$ and is thus $mathcal{B}$.
– mathworker21
Dec 1 at 13:58
Don't we run into a problem because the measures may not agree on complements of sets of infinite measure?
– Bar Alon
Dec 1 at 14:23
Don't we run into a problem because the measures may not agree on complements of sets of infinite measure?
– Bar Alon
Dec 1 at 14:23
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
accepted
It turns out that the answer is no.
Consider the two measures $m,n$ defined on the borel $sigma$-algebra $mathcal{B}(mathbb{R})$ as follows:
$$m(A)=|Acapmathbb{Q}|,quad n(A)=|Acap(mathbb{Q}cup{sqrt{2}})|$$
Since $mathbb{Q}$ is countable, they are both $sigma$-finite. Additionally, they agree on the semi-ring $R$ of all half-open intervals (for any $a,bin mathbb{R}$: $m([a,b))=infty=n([a,b))$), and $R$ indeed generates $mathcal{B}(mathbb{R})$.
On the other hand $m({sqrt{2}})not =n({sqrt{2}})$ which is clearly a borel set.
Note that in the above example $m, n$ are indeed no longer $sigma$-finite when restricted to $R$.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
accepted
It turns out that the answer is no.
Consider the two measures $m,n$ defined on the borel $sigma$-algebra $mathcal{B}(mathbb{R})$ as follows:
$$m(A)=|Acapmathbb{Q}|,quad n(A)=|Acap(mathbb{Q}cup{sqrt{2}})|$$
Since $mathbb{Q}$ is countable, they are both $sigma$-finite. Additionally, they agree on the semi-ring $R$ of all half-open intervals (for any $a,bin mathbb{R}$: $m([a,b))=infty=n([a,b))$), and $R$ indeed generates $mathcal{B}(mathbb{R})$.
On the other hand $m({sqrt{2}})not =n({sqrt{2}})$ which is clearly a borel set.
Note that in the above example $m, n$ are indeed no longer $sigma$-finite when restricted to $R$.
add a comment |
up vote
0
down vote
accepted
It turns out that the answer is no.
Consider the two measures $m,n$ defined on the borel $sigma$-algebra $mathcal{B}(mathbb{R})$ as follows:
$$m(A)=|Acapmathbb{Q}|,quad n(A)=|Acap(mathbb{Q}cup{sqrt{2}})|$$
Since $mathbb{Q}$ is countable, they are both $sigma$-finite. Additionally, they agree on the semi-ring $R$ of all half-open intervals (for any $a,bin mathbb{R}$: $m([a,b))=infty=n([a,b))$), and $R$ indeed generates $mathcal{B}(mathbb{R})$.
On the other hand $m({sqrt{2}})not =n({sqrt{2}})$ which is clearly a borel set.
Note that in the above example $m, n$ are indeed no longer $sigma$-finite when restricted to $R$.
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
It turns out that the answer is no.
Consider the two measures $m,n$ defined on the borel $sigma$-algebra $mathcal{B}(mathbb{R})$ as follows:
$$m(A)=|Acapmathbb{Q}|,quad n(A)=|Acap(mathbb{Q}cup{sqrt{2}})|$$
Since $mathbb{Q}$ is countable, they are both $sigma$-finite. Additionally, they agree on the semi-ring $R$ of all half-open intervals (for any $a,bin mathbb{R}$: $m([a,b))=infty=n([a,b))$), and $R$ indeed generates $mathcal{B}(mathbb{R})$.
On the other hand $m({sqrt{2}})not =n({sqrt{2}})$ which is clearly a borel set.
Note that in the above example $m, n$ are indeed no longer $sigma$-finite when restricted to $R$.
It turns out that the answer is no.
Consider the two measures $m,n$ defined on the borel $sigma$-algebra $mathcal{B}(mathbb{R})$ as follows:
$$m(A)=|Acapmathbb{Q}|,quad n(A)=|Acap(mathbb{Q}cup{sqrt{2}})|$$
Since $mathbb{Q}$ is countable, they are both $sigma$-finite. Additionally, they agree on the semi-ring $R$ of all half-open intervals (for any $a,bin mathbb{R}$: $m([a,b))=infty=n([a,b))$), and $R$ indeed generates $mathcal{B}(mathbb{R})$.
On the other hand $m({sqrt{2}})not =n({sqrt{2}})$ which is clearly a borel set.
Note that in the above example $m, n$ are indeed no longer $sigma$-finite when restricted to $R$.
answered 2 days ago
Bar Alon
467114
467114
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021368%2fare-sigma-finite-measures-agreeing-on-a-generating-set-equal%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Let $mathcal{B}$ be the $sigma$-algebra. Then ${A in mathcal{B} : m(A) = n(A)}$ is a sigma-algebra containing $R$ and is thus $mathcal{B}$.
– mathworker21
Dec 1 at 13:58
Don't we run into a problem because the measures may not agree on complements of sets of infinite measure?
– Bar Alon
Dec 1 at 14:23