Fourier uniqueness theorem
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
I am reading Theorem 26.2 in the book "Probability and Measure" (2nd ed.) by Patrick Billingsley. In the proof of that theorem, the author claims that:
Fact Let $mu$ and $nu$ be probability measures on the Borel subsets of $mathbbR$, and set
$$A=left;mu(a)=mu(b)=nu(a)=nu(b)=0right.$$
Then $sigma(A)$ coincides with the Borel sigma-algebra on $mathbbR$.
I have been thinking about this result, but have absolutely no clues on this. It does not seem straightforward. So my question is:
Question What is a clean way to prove this?
Any hint/help is highly appreciated.
probability-theory probability-distributions fourier-transform characteristic-functions
add a comment |
up vote
1
down vote
favorite
I am reading Theorem 26.2 in the book "Probability and Measure" (2nd ed.) by Patrick Billingsley. In the proof of that theorem, the author claims that:
Fact Let $mu$ and $nu$ be probability measures on the Borel subsets of $mathbbR$, and set
$$A=left;mu(a)=mu(b)=nu(a)=nu(b)=0right.$$
Then $sigma(A)$ coincides with the Borel sigma-algebra on $mathbbR$.
I have been thinking about this result, but have absolutely no clues on this. It does not seem straightforward. So my question is:
Question What is a clean way to prove this?
Any hint/help is highly appreciated.
probability-theory probability-distributions fourier-transform characteristic-functions
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I am reading Theorem 26.2 in the book "Probability and Measure" (2nd ed.) by Patrick Billingsley. In the proof of that theorem, the author claims that:
Fact Let $mu$ and $nu$ be probability measures on the Borel subsets of $mathbbR$, and set
$$A=left;mu(a)=mu(b)=nu(a)=nu(b)=0right.$$
Then $sigma(A)$ coincides with the Borel sigma-algebra on $mathbbR$.
I have been thinking about this result, but have absolutely no clues on this. It does not seem straightforward. So my question is:
Question What is a clean way to prove this?
Any hint/help is highly appreciated.
probability-theory probability-distributions fourier-transform characteristic-functions
I am reading Theorem 26.2 in the book "Probability and Measure" (2nd ed.) by Patrick Billingsley. In the proof of that theorem, the author claims that:
Fact Let $mu$ and $nu$ be probability measures on the Borel subsets of $mathbbR$, and set
$$A=left;mu(a)=mu(b)=nu(a)=nu(b)=0right.$$
Then $sigma(A)$ coincides with the Borel sigma-algebra on $mathbbR$.
I have been thinking about this result, but have absolutely no clues on this. It does not seem straightforward. So my question is:
Question What is a clean way to prove this?
Any hint/help is highly appreciated.
probability-theory probability-distributions fourier-transform characteristic-functions
probability-theory probability-distributions fourier-transform characteristic-functions
asked Nov 26 at 6:19
weirdo
413210
413210
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
4
down vote
accepted
Hint: $mu x=nu x=0$ for all but countable number of $x$. So there is a countable set $t_1,t_2,...$ such that the given class contains all intervals $(a,b]$ whose end points are not in this countable set. Can you express any interval in terms of these using countable unions /intersections? (The complement of any countable set is dense). Will be glad to provide more details if needed.
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
1
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
1
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
accepted
Hint: $mu x=nu x=0$ for all but countable number of $x$. So there is a countable set $t_1,t_2,...$ such that the given class contains all intervals $(a,b]$ whose end points are not in this countable set. Can you express any interval in terms of these using countable unions /intersections? (The complement of any countable set is dense). Will be glad to provide more details if needed.
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
1
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
1
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
add a comment |
up vote
4
down vote
accepted
Hint: $mu x=nu x=0$ for all but countable number of $x$. So there is a countable set $t_1,t_2,...$ such that the given class contains all intervals $(a,b]$ whose end points are not in this countable set. Can you express any interval in terms of these using countable unions /intersections? (The complement of any countable set is dense). Will be glad to provide more details if needed.
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
1
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
1
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
add a comment |
up vote
4
down vote
accepted
up vote
4
down vote
accepted
Hint: $mu x=nu x=0$ for all but countable number of $x$. So there is a countable set $t_1,t_2,...$ such that the given class contains all intervals $(a,b]$ whose end points are not in this countable set. Can you express any interval in terms of these using countable unions /intersections? (The complement of any countable set is dense). Will be glad to provide more details if needed.
Hint: $mu x=nu x=0$ for all but countable number of $x$. So there is a countable set $t_1,t_2,...$ such that the given class contains all intervals $(a,b]$ whose end points are not in this countable set. Can you express any interval in terms of these using countable unions /intersections? (The complement of any countable set is dense). Will be glad to provide more details if needed.
answered Nov 26 at 6:28
Kavi Rama Murthy
43.9k31852
43.9k31852
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
1
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
1
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
add a comment |
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
1
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
1
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
Would you mind explaning why $mux=nux$ for all but countable number of $x$?
– weirdo
Nov 26 at 7:30
1
1
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
@weirdo There can only be $n$ points $x$ such that $mu x >frac 1 n$ because $mu$ is a probability measure. Take union of these finite sets to get a countable set $S$ such that $mu x=0$ whenever $x notin S$.
– Kavi Rama Murthy
Nov 26 at 7:32
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
I just want to make sure I did this correctly. So the end points of intervals in $A$ belong to a dense set. Thus, given $alpha<beta$ in $mathbbR$, there exist $alpha_n downarrow alpha$ (the sequence belongs to the dense set) and $beta_nuparrow beta$ and $alpha_nneqalpha$, $beta_nneqbeta$. So we have $(alpha,beta)=cup (alpha_n,beta_n)$. Is this what you meant?
– weirdo
Nov 26 at 7:59
1
1
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
@weirdo You are right.
– Kavi Rama Murthy
Nov 26 at 8:00
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%2f3013922%2ffourier-uniqueness-theorem%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