a.e. point wise convergence on finite measured set implies convergence in measure
$begingroup$
Let $f,f_k$ for $k in mathbb{N}$ be measurable finite a.e. on measurable set $E$. Suppose $f_k rightarrow f$ point wise a.e., then $f_k$ converges to $f$ in measure on $E$.
This is a basic result and the proof follows from basic definitions I believe, I want to know why we need finite valued and finite measure, is it for the obvious reasons that infinite measure does not converge and finite valued so that the limit as $k$ tends to $infty$ makes sense?
because converging pointwise a.e. means that for $x in E$ with $E$ having positive finite measure, one has
lim$_{k rightarrow infty}$ $f_k(x) = f(x)$
so
lim$_{k rightarrow infty}$ $f_k(x) - f(x)$ = $0$,
and we wish to show for any $epsilon > 0$ that
$m({x : vert f_k(x) - f(x) vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
and since $x$ is taken out of some set of finite positive measure, we obtain (and I am not sure this works)
$m({x : vert 0 vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
I get confused here, So sorry for being naive in measure theory, I apologize and thank you in advance! if there is any simple small subtle silly errors I am making, any intuitive assumptions I am incorrectly making please let me know, I am very eager to strengthen my measure theory skills.
real-analysis measure-theory convergence lebesgue-measure
$endgroup$
add a comment |
$begingroup$
Let $f,f_k$ for $k in mathbb{N}$ be measurable finite a.e. on measurable set $E$. Suppose $f_k rightarrow f$ point wise a.e., then $f_k$ converges to $f$ in measure on $E$.
This is a basic result and the proof follows from basic definitions I believe, I want to know why we need finite valued and finite measure, is it for the obvious reasons that infinite measure does not converge and finite valued so that the limit as $k$ tends to $infty$ makes sense?
because converging pointwise a.e. means that for $x in E$ with $E$ having positive finite measure, one has
lim$_{k rightarrow infty}$ $f_k(x) = f(x)$
so
lim$_{k rightarrow infty}$ $f_k(x) - f(x)$ = $0$,
and we wish to show for any $epsilon > 0$ that
$m({x : vert f_k(x) - f(x) vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
and since $x$ is taken out of some set of finite positive measure, we obtain (and I am not sure this works)
$m({x : vert 0 vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
I get confused here, So sorry for being naive in measure theory, I apologize and thank you in advance! if there is any simple small subtle silly errors I am making, any intuitive assumptions I am incorrectly making please let me know, I am very eager to strengthen my measure theory skills.
real-analysis measure-theory convergence lebesgue-measure
$endgroup$
$begingroup$
there are a lot of ways to show this, depending on the theoretic background. You can show that $(f_j)to f$ point-wise a.e. implies that $(f_j)to f$ almost uniformly when the space have finite measure. And from here that $(f_j)to f$ almost uniformly implies that $(f_j)to f$ in measure
$endgroup$
– Masacroso
Dec 4 '18 at 22:40
$begingroup$
is almost uniform like saying uniform almost everywhere? or is it a slightly weaker notion of uniform convergence?
$endgroup$
– Hossien Sahebjame
Dec 4 '18 at 23:04
1
$begingroup$
a sequence of measurable functions converges almost uniformly in the measure space $(X,mu)$ if, for any chosen $epsilon>0$, there is some measurable $A_epsilonsubset X$ such that $(f_n)to f$ converges uniformly in $A_epsilon$ and $mu(A_epsilon^complement)<epsilon$. However this doesn't mean that $(f_n)to f$ uniformly a.e.!
$endgroup$
– Masacroso
Dec 4 '18 at 23:11
add a comment |
$begingroup$
Let $f,f_k$ for $k in mathbb{N}$ be measurable finite a.e. on measurable set $E$. Suppose $f_k rightarrow f$ point wise a.e., then $f_k$ converges to $f$ in measure on $E$.
This is a basic result and the proof follows from basic definitions I believe, I want to know why we need finite valued and finite measure, is it for the obvious reasons that infinite measure does not converge and finite valued so that the limit as $k$ tends to $infty$ makes sense?
because converging pointwise a.e. means that for $x in E$ with $E$ having positive finite measure, one has
lim$_{k rightarrow infty}$ $f_k(x) = f(x)$
so
lim$_{k rightarrow infty}$ $f_k(x) - f(x)$ = $0$,
and we wish to show for any $epsilon > 0$ that
$m({x : vert f_k(x) - f(x) vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
and since $x$ is taken out of some set of finite positive measure, we obtain (and I am not sure this works)
$m({x : vert 0 vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
I get confused here, So sorry for being naive in measure theory, I apologize and thank you in advance! if there is any simple small subtle silly errors I am making, any intuitive assumptions I am incorrectly making please let me know, I am very eager to strengthen my measure theory skills.
real-analysis measure-theory convergence lebesgue-measure
$endgroup$
Let $f,f_k$ for $k in mathbb{N}$ be measurable finite a.e. on measurable set $E$. Suppose $f_k rightarrow f$ point wise a.e., then $f_k$ converges to $f$ in measure on $E$.
This is a basic result and the proof follows from basic definitions I believe, I want to know why we need finite valued and finite measure, is it for the obvious reasons that infinite measure does not converge and finite valued so that the limit as $k$ tends to $infty$ makes sense?
because converging pointwise a.e. means that for $x in E$ with $E$ having positive finite measure, one has
lim$_{k rightarrow infty}$ $f_k(x) = f(x)$
so
lim$_{k rightarrow infty}$ $f_k(x) - f(x)$ = $0$,
and we wish to show for any $epsilon > 0$ that
$m({x : vert f_k(x) - f(x) vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
and since $x$ is taken out of some set of finite positive measure, we obtain (and I am not sure this works)
$m({x : vert 0 vert > epsilon }) rightarrow 0$ as $k rightarrow infty$
I get confused here, So sorry for being naive in measure theory, I apologize and thank you in advance! if there is any simple small subtle silly errors I am making, any intuitive assumptions I am incorrectly making please let me know, I am very eager to strengthen my measure theory skills.
real-analysis measure-theory convergence lebesgue-measure
real-analysis measure-theory convergence lebesgue-measure
asked Dec 4 '18 at 22:29
Hossien SahebjameHossien Sahebjame
1049
1049
$begingroup$
there are a lot of ways to show this, depending on the theoretic background. You can show that $(f_j)to f$ point-wise a.e. implies that $(f_j)to f$ almost uniformly when the space have finite measure. And from here that $(f_j)to f$ almost uniformly implies that $(f_j)to f$ in measure
$endgroup$
– Masacroso
Dec 4 '18 at 22:40
$begingroup$
is almost uniform like saying uniform almost everywhere? or is it a slightly weaker notion of uniform convergence?
$endgroup$
– Hossien Sahebjame
Dec 4 '18 at 23:04
1
$begingroup$
a sequence of measurable functions converges almost uniformly in the measure space $(X,mu)$ if, for any chosen $epsilon>0$, there is some measurable $A_epsilonsubset X$ such that $(f_n)to f$ converges uniformly in $A_epsilon$ and $mu(A_epsilon^complement)<epsilon$. However this doesn't mean that $(f_n)to f$ uniformly a.e.!
$endgroup$
– Masacroso
Dec 4 '18 at 23:11
add a comment |
$begingroup$
there are a lot of ways to show this, depending on the theoretic background. You can show that $(f_j)to f$ point-wise a.e. implies that $(f_j)to f$ almost uniformly when the space have finite measure. And from here that $(f_j)to f$ almost uniformly implies that $(f_j)to f$ in measure
$endgroup$
– Masacroso
Dec 4 '18 at 22:40
$begingroup$
is almost uniform like saying uniform almost everywhere? or is it a slightly weaker notion of uniform convergence?
$endgroup$
– Hossien Sahebjame
Dec 4 '18 at 23:04
1
$begingroup$
a sequence of measurable functions converges almost uniformly in the measure space $(X,mu)$ if, for any chosen $epsilon>0$, there is some measurable $A_epsilonsubset X$ such that $(f_n)to f$ converges uniformly in $A_epsilon$ and $mu(A_epsilon^complement)<epsilon$. However this doesn't mean that $(f_n)to f$ uniformly a.e.!
$endgroup$
– Masacroso
Dec 4 '18 at 23:11
$begingroup$
there are a lot of ways to show this, depending on the theoretic background. You can show that $(f_j)to f$ point-wise a.e. implies that $(f_j)to f$ almost uniformly when the space have finite measure. And from here that $(f_j)to f$ almost uniformly implies that $(f_j)to f$ in measure
$endgroup$
– Masacroso
Dec 4 '18 at 22:40
$begingroup$
there are a lot of ways to show this, depending on the theoretic background. You can show that $(f_j)to f$ point-wise a.e. implies that $(f_j)to f$ almost uniformly when the space have finite measure. And from here that $(f_j)to f$ almost uniformly implies that $(f_j)to f$ in measure
$endgroup$
– Masacroso
Dec 4 '18 at 22:40
$begingroup$
is almost uniform like saying uniform almost everywhere? or is it a slightly weaker notion of uniform convergence?
$endgroup$
– Hossien Sahebjame
Dec 4 '18 at 23:04
$begingroup$
is almost uniform like saying uniform almost everywhere? or is it a slightly weaker notion of uniform convergence?
$endgroup$
– Hossien Sahebjame
Dec 4 '18 at 23:04
1
1
$begingroup$
a sequence of measurable functions converges almost uniformly in the measure space $(X,mu)$ if, for any chosen $epsilon>0$, there is some measurable $A_epsilonsubset X$ such that $(f_n)to f$ converges uniformly in $A_epsilon$ and $mu(A_epsilon^complement)<epsilon$. However this doesn't mean that $(f_n)to f$ uniformly a.e.!
$endgroup$
– Masacroso
Dec 4 '18 at 23:11
$begingroup$
a sequence of measurable functions converges almost uniformly in the measure space $(X,mu)$ if, for any chosen $epsilon>0$, there is some measurable $A_epsilonsubset X$ such that $(f_n)to f$ converges uniformly in $A_epsilon$ and $mu(A_epsilon^complement)<epsilon$. However this doesn't mean that $(f_n)to f$ uniformly a.e.!
$endgroup$
– Masacroso
Dec 4 '18 at 23:11
add a comment |
0
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%2f3026266%2fa-e-point-wise-convergence-on-finite-measured-set-implies-convergence-in-measur%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
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.
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%2f3026266%2fa-e-point-wise-convergence-on-finite-measured-set-implies-convergence-in-measur%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
$begingroup$
there are a lot of ways to show this, depending on the theoretic background. You can show that $(f_j)to f$ point-wise a.e. implies that $(f_j)to f$ almost uniformly when the space have finite measure. And from here that $(f_j)to f$ almost uniformly implies that $(f_j)to f$ in measure
$endgroup$
– Masacroso
Dec 4 '18 at 22:40
$begingroup$
is almost uniform like saying uniform almost everywhere? or is it a slightly weaker notion of uniform convergence?
$endgroup$
– Hossien Sahebjame
Dec 4 '18 at 23:04
1
$begingroup$
a sequence of measurable functions converges almost uniformly in the measure space $(X,mu)$ if, for any chosen $epsilon>0$, there is some measurable $A_epsilonsubset X$ such that $(f_n)to f$ converges uniformly in $A_epsilon$ and $mu(A_epsilon^complement)<epsilon$. However this doesn't mean that $(f_n)to f$ uniformly a.e.!
$endgroup$
– Masacroso
Dec 4 '18 at 23:11