a.e. point wise convergence on finite measured set implies convergence in measure












2












$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.










share|cite|improve this question









$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


















2












$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.










share|cite|improve this question









$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
















2












2








2


1



$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.










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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




















  • $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












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
});


}
});














draft saved

draft discarded


















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
















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?