My possibly fraudulent proof of $f_n$ Cauchy in measure => $f_n -> liminf$ in measure
This result seems too convenient and I feel like Folland would have used this to prove proposition 2.30 if this was true.
My "proof":
Let $f_n$ be Cauchy in measure.
By definition of $liminf f_n(x)$,
for every $n in mathbb{N}, x in X$ there exists an $m_{x,n}> n$ such that
$|liminf f_n(x) - f_m(x)| < epsilon / 2$
Now consider the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$}
By triangle inequality, $epsilon leq |f_n(x) -liminf f_n(x)| leq |f_n(x) - f_{m_{x,n}}(x)| + |f_{m_{x,n}}(x) - liminf f_n(x)|$
but since $|liminf f_n(x) - f_{m_{x,n}}(x)| leq epsilon / 2$, we must have that $ epsilon/2 leq |f_n(x) -liminf f_n(x)| $
therefore, the set
{$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} $subset$ {$xin X : |f_n(x) - f_{m_{x,n}}(x)| > epsilon/2$}
but the measure of the set on the right approaches to zero as $n$ tends to infinity (since $m_{x,n}> n$)
therefore the measure of the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} tends to infinity as $n$ tends to infinity
Is there anything wrong with this proof?
thank you
real-analysis measure-theory proof-verification convergence sequence-of-function
|
show 1 more comment
This result seems too convenient and I feel like Folland would have used this to prove proposition 2.30 if this was true.
My "proof":
Let $f_n$ be Cauchy in measure.
By definition of $liminf f_n(x)$,
for every $n in mathbb{N}, x in X$ there exists an $m_{x,n}> n$ such that
$|liminf f_n(x) - f_m(x)| < epsilon / 2$
Now consider the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$}
By triangle inequality, $epsilon leq |f_n(x) -liminf f_n(x)| leq |f_n(x) - f_{m_{x,n}}(x)| + |f_{m_{x,n}}(x) - liminf f_n(x)|$
but since $|liminf f_n(x) - f_{m_{x,n}}(x)| leq epsilon / 2$, we must have that $ epsilon/2 leq |f_n(x) -liminf f_n(x)| $
therefore, the set
{$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} $subset$ {$xin X : |f_n(x) - f_{m_{x,n}}(x)| > epsilon/2$}
but the measure of the set on the right approaches to zero as $n$ tends to infinity (since $m_{x,n}> n$)
therefore the measure of the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} tends to infinity as $n$ tends to infinity
Is there anything wrong with this proof?
thank you
real-analysis measure-theory proof-verification convergence sequence-of-function
It's liminf of what?
– Bernard
Dec 2 '18 at 23:24
sorry, lim inf fn(x). fixed.
– Ecotistician
Dec 2 '18 at 23:25
Useliminf
(with a backslash) for the limit inferior.
– Bernard
Dec 2 '18 at 23:26
1
Yes, the proof is wrong. You only know that measure of ${x:|f_n(x)-f_m(x)| >epsilon} to 0$ as $n, m to infty$ and you cannot replace $m$ by an integer that depends on $x$.
– Kavi Rama Murthy
Dec 2 '18 at 23:37
If $liminf f_n(x)=infty$ or $-infty$ then you cannot achieve $epsilon$-closeness to $f_m(x)$ like you want to. Now, it actually happens to be true that $liminf f_n(x)in(-infty,infty)$ almost everywhere. But you would need to show that to be true. There may be other problems with your proof that I have not noticed yet.
– Ben W
Dec 2 '18 at 23:37
|
show 1 more comment
This result seems too convenient and I feel like Folland would have used this to prove proposition 2.30 if this was true.
My "proof":
Let $f_n$ be Cauchy in measure.
By definition of $liminf f_n(x)$,
for every $n in mathbb{N}, x in X$ there exists an $m_{x,n}> n$ such that
$|liminf f_n(x) - f_m(x)| < epsilon / 2$
Now consider the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$}
By triangle inequality, $epsilon leq |f_n(x) -liminf f_n(x)| leq |f_n(x) - f_{m_{x,n}}(x)| + |f_{m_{x,n}}(x) - liminf f_n(x)|$
but since $|liminf f_n(x) - f_{m_{x,n}}(x)| leq epsilon / 2$, we must have that $ epsilon/2 leq |f_n(x) -liminf f_n(x)| $
therefore, the set
{$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} $subset$ {$xin X : |f_n(x) - f_{m_{x,n}}(x)| > epsilon/2$}
but the measure of the set on the right approaches to zero as $n$ tends to infinity (since $m_{x,n}> n$)
therefore the measure of the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} tends to infinity as $n$ tends to infinity
Is there anything wrong with this proof?
thank you
real-analysis measure-theory proof-verification convergence sequence-of-function
This result seems too convenient and I feel like Folland would have used this to prove proposition 2.30 if this was true.
My "proof":
Let $f_n$ be Cauchy in measure.
By definition of $liminf f_n(x)$,
for every $n in mathbb{N}, x in X$ there exists an $m_{x,n}> n$ such that
$|liminf f_n(x) - f_m(x)| < epsilon / 2$
Now consider the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$}
By triangle inequality, $epsilon leq |f_n(x) -liminf f_n(x)| leq |f_n(x) - f_{m_{x,n}}(x)| + |f_{m_{x,n}}(x) - liminf f_n(x)|$
but since $|liminf f_n(x) - f_{m_{x,n}}(x)| leq epsilon / 2$, we must have that $ epsilon/2 leq |f_n(x) -liminf f_n(x)| $
therefore, the set
{$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} $subset$ {$xin X : |f_n(x) - f_{m_{x,n}}(x)| > epsilon/2$}
but the measure of the set on the right approaches to zero as $n$ tends to infinity (since $m_{x,n}> n$)
therefore the measure of the set {$xin X : |f_n(x) -liminf f_n(x)| > epsilon$} tends to infinity as $n$ tends to infinity
Is there anything wrong with this proof?
thank you
real-analysis measure-theory proof-verification convergence sequence-of-function
real-analysis measure-theory proof-verification convergence sequence-of-function
edited Dec 2 '18 at 23:31
asked Dec 2 '18 at 23:18
Ecotistician
31318
31318
It's liminf of what?
– Bernard
Dec 2 '18 at 23:24
sorry, lim inf fn(x). fixed.
– Ecotistician
Dec 2 '18 at 23:25
Useliminf
(with a backslash) for the limit inferior.
– Bernard
Dec 2 '18 at 23:26
1
Yes, the proof is wrong. You only know that measure of ${x:|f_n(x)-f_m(x)| >epsilon} to 0$ as $n, m to infty$ and you cannot replace $m$ by an integer that depends on $x$.
– Kavi Rama Murthy
Dec 2 '18 at 23:37
If $liminf f_n(x)=infty$ or $-infty$ then you cannot achieve $epsilon$-closeness to $f_m(x)$ like you want to. Now, it actually happens to be true that $liminf f_n(x)in(-infty,infty)$ almost everywhere. But you would need to show that to be true. There may be other problems with your proof that I have not noticed yet.
– Ben W
Dec 2 '18 at 23:37
|
show 1 more comment
It's liminf of what?
– Bernard
Dec 2 '18 at 23:24
sorry, lim inf fn(x). fixed.
– Ecotistician
Dec 2 '18 at 23:25
Useliminf
(with a backslash) for the limit inferior.
– Bernard
Dec 2 '18 at 23:26
1
Yes, the proof is wrong. You only know that measure of ${x:|f_n(x)-f_m(x)| >epsilon} to 0$ as $n, m to infty$ and you cannot replace $m$ by an integer that depends on $x$.
– Kavi Rama Murthy
Dec 2 '18 at 23:37
If $liminf f_n(x)=infty$ or $-infty$ then you cannot achieve $epsilon$-closeness to $f_m(x)$ like you want to. Now, it actually happens to be true that $liminf f_n(x)in(-infty,infty)$ almost everywhere. But you would need to show that to be true. There may be other problems with your proof that I have not noticed yet.
– Ben W
Dec 2 '18 at 23:37
It's liminf of what?
– Bernard
Dec 2 '18 at 23:24
It's liminf of what?
– Bernard
Dec 2 '18 at 23:24
sorry, lim inf fn(x). fixed.
– Ecotistician
Dec 2 '18 at 23:25
sorry, lim inf fn(x). fixed.
– Ecotistician
Dec 2 '18 at 23:25
Use
liminf
(with a backslash) for the limit inferior.– Bernard
Dec 2 '18 at 23:26
Use
liminf
(with a backslash) for the limit inferior.– Bernard
Dec 2 '18 at 23:26
1
1
Yes, the proof is wrong. You only know that measure of ${x:|f_n(x)-f_m(x)| >epsilon} to 0$ as $n, m to infty$ and you cannot replace $m$ by an integer that depends on $x$.
– Kavi Rama Murthy
Dec 2 '18 at 23:37
Yes, the proof is wrong. You only know that measure of ${x:|f_n(x)-f_m(x)| >epsilon} to 0$ as $n, m to infty$ and you cannot replace $m$ by an integer that depends on $x$.
– Kavi Rama Murthy
Dec 2 '18 at 23:37
If $liminf f_n(x)=infty$ or $-infty$ then you cannot achieve $epsilon$-closeness to $f_m(x)$ like you want to. Now, it actually happens to be true that $liminf f_n(x)in(-infty,infty)$ almost everywhere. But you would need to show that to be true. There may be other problems with your proof that I have not noticed yet.
– Ben W
Dec 2 '18 at 23:37
If $liminf f_n(x)=infty$ or $-infty$ then you cannot achieve $epsilon$-closeness to $f_m(x)$ like you want to. Now, it actually happens to be true that $liminf f_n(x)in(-infty,infty)$ almost everywhere. But you would need to show that to be true. There may be other problems with your proof that I have not noticed yet.
– Ben W
Dec 2 '18 at 23:37
|
show 1 more comment
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f3023360%2fmy-possibly-fraudulent-proof-of-f-n-cauchy-in-measure-f-n-liminf-in-me%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3023360%2fmy-possibly-fraudulent-proof-of-f-n-cauchy-in-measure-f-n-liminf-in-me%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
It's liminf of what?
– Bernard
Dec 2 '18 at 23:24
sorry, lim inf fn(x). fixed.
– Ecotistician
Dec 2 '18 at 23:25
Use
liminf
(with a backslash) for the limit inferior.– Bernard
Dec 2 '18 at 23:26
1
Yes, the proof is wrong. You only know that measure of ${x:|f_n(x)-f_m(x)| >epsilon} to 0$ as $n, m to infty$ and you cannot replace $m$ by an integer that depends on $x$.
– Kavi Rama Murthy
Dec 2 '18 at 23:37
If $liminf f_n(x)=infty$ or $-infty$ then you cannot achieve $epsilon$-closeness to $f_m(x)$ like you want to. Now, it actually happens to be true that $liminf f_n(x)in(-infty,infty)$ almost everywhere. But you would need to show that to be true. There may be other problems with your proof that I have not noticed yet.
– Ben W
Dec 2 '18 at 23:37