Varying definition of monotone convergence












1












$begingroup$


My current lecture states the theorem of monotone convergence:




Let $(X, mathcal{E}, mu)$ a measure space and $varphi_n: X
rightarrow mathbb{R}$
an increasing sequence of $mu$-integrable
functions with:



$$exists M in mathbb{R}: forall n in mathbb{N}:
int_Xvarphi_n,dmu leq M$$



Then $varphi := lim varphi_n: X rightarrow overline{mathbb{R}}$
is $mu$-integrable with:



$$int_X varphi,dmu = lim_{n rightarrow infty} varphi_n,dmu$$




Note: A function $f: X rightarrow mathbb{R}$ is called $mu$-integrable iff $int_X|f|,dmu < infty$.



Wikipedia states:




Let $(X, mathcal{E}, mu)$ be a measure space. For a pointwise
non-decreasing sequence of $mathcal{E}$-measurable non-negative
functions $f_k: X rightarrow [0, infty]$ consider the pointwise
limit $$f := lim_{krightarrowinfty} f_k$$ Then $f$ is
$mathcal{E}$-measurable with:



$$ lim_{krightarrowinfty} int_X f_k, dmu = int_X f,dmu$$




Now I'm a little bit confused my lecture doesn't require the functions of the sequence to be non-negative but introduces the extra upper bound. What is the difference here?



The Wikipedia definition allows it to set the integral of the limit equal to the limit of the integrals. The lecture definition permits this only under the condition, that the sequence is bounded. Is this really required?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Can $int_X varphi_n dmu = -infty$?
    $endgroup$
    – BigbearZzz
    Jan 14 at 14:38










  • $begingroup$
    @BigbearZzz No, since it's required that the $varphi_n$ are $mu$-integrable (the integral of the absolute value is not $infty$)
    $endgroup$
    – user7802048
    Jan 14 at 15:07










  • $begingroup$
    So you're using the word $mu$-integrable in the sense that $int_X |varphi| dmu < infty$? I just want to make sure because I've seen people use it differently.
    $endgroup$
    – BigbearZzz
    Jan 14 at 15:13










  • $begingroup$
    @BigbearZzz Yes exactly. I'll edit my question to include this information.
    $endgroup$
    – user7802048
    Jan 14 at 15:15
















1












$begingroup$


My current lecture states the theorem of monotone convergence:




Let $(X, mathcal{E}, mu)$ a measure space and $varphi_n: X
rightarrow mathbb{R}$
an increasing sequence of $mu$-integrable
functions with:



$$exists M in mathbb{R}: forall n in mathbb{N}:
int_Xvarphi_n,dmu leq M$$



Then $varphi := lim varphi_n: X rightarrow overline{mathbb{R}}$
is $mu$-integrable with:



$$int_X varphi,dmu = lim_{n rightarrow infty} varphi_n,dmu$$




Note: A function $f: X rightarrow mathbb{R}$ is called $mu$-integrable iff $int_X|f|,dmu < infty$.



Wikipedia states:




Let $(X, mathcal{E}, mu)$ be a measure space. For a pointwise
non-decreasing sequence of $mathcal{E}$-measurable non-negative
functions $f_k: X rightarrow [0, infty]$ consider the pointwise
limit $$f := lim_{krightarrowinfty} f_k$$ Then $f$ is
$mathcal{E}$-measurable with:



$$ lim_{krightarrowinfty} int_X f_k, dmu = int_X f,dmu$$




Now I'm a little bit confused my lecture doesn't require the functions of the sequence to be non-negative but introduces the extra upper bound. What is the difference here?



The Wikipedia definition allows it to set the integral of the limit equal to the limit of the integrals. The lecture definition permits this only under the condition, that the sequence is bounded. Is this really required?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Can $int_X varphi_n dmu = -infty$?
    $endgroup$
    – BigbearZzz
    Jan 14 at 14:38










  • $begingroup$
    @BigbearZzz No, since it's required that the $varphi_n$ are $mu$-integrable (the integral of the absolute value is not $infty$)
    $endgroup$
    – user7802048
    Jan 14 at 15:07










  • $begingroup$
    So you're using the word $mu$-integrable in the sense that $int_X |varphi| dmu < infty$? I just want to make sure because I've seen people use it differently.
    $endgroup$
    – BigbearZzz
    Jan 14 at 15:13










  • $begingroup$
    @BigbearZzz Yes exactly. I'll edit my question to include this information.
    $endgroup$
    – user7802048
    Jan 14 at 15:15














1












1








1





$begingroup$


My current lecture states the theorem of monotone convergence:




Let $(X, mathcal{E}, mu)$ a measure space and $varphi_n: X
rightarrow mathbb{R}$
an increasing sequence of $mu$-integrable
functions with:



$$exists M in mathbb{R}: forall n in mathbb{N}:
int_Xvarphi_n,dmu leq M$$



Then $varphi := lim varphi_n: X rightarrow overline{mathbb{R}}$
is $mu$-integrable with:



$$int_X varphi,dmu = lim_{n rightarrow infty} varphi_n,dmu$$




Note: A function $f: X rightarrow mathbb{R}$ is called $mu$-integrable iff $int_X|f|,dmu < infty$.



Wikipedia states:




Let $(X, mathcal{E}, mu)$ be a measure space. For a pointwise
non-decreasing sequence of $mathcal{E}$-measurable non-negative
functions $f_k: X rightarrow [0, infty]$ consider the pointwise
limit $$f := lim_{krightarrowinfty} f_k$$ Then $f$ is
$mathcal{E}$-measurable with:



$$ lim_{krightarrowinfty} int_X f_k, dmu = int_X f,dmu$$




Now I'm a little bit confused my lecture doesn't require the functions of the sequence to be non-negative but introduces the extra upper bound. What is the difference here?



The Wikipedia definition allows it to set the integral of the limit equal to the limit of the integrals. The lecture definition permits this only under the condition, that the sequence is bounded. Is this really required?










share|cite|improve this question











$endgroup$




My current lecture states the theorem of monotone convergence:




Let $(X, mathcal{E}, mu)$ a measure space and $varphi_n: X
rightarrow mathbb{R}$
an increasing sequence of $mu$-integrable
functions with:



$$exists M in mathbb{R}: forall n in mathbb{N}:
int_Xvarphi_n,dmu leq M$$



Then $varphi := lim varphi_n: X rightarrow overline{mathbb{R}}$
is $mu$-integrable with:



$$int_X varphi,dmu = lim_{n rightarrow infty} varphi_n,dmu$$




Note: A function $f: X rightarrow mathbb{R}$ is called $mu$-integrable iff $int_X|f|,dmu < infty$.



Wikipedia states:




Let $(X, mathcal{E}, mu)$ be a measure space. For a pointwise
non-decreasing sequence of $mathcal{E}$-measurable non-negative
functions $f_k: X rightarrow [0, infty]$ consider the pointwise
limit $$f := lim_{krightarrowinfty} f_k$$ Then $f$ is
$mathcal{E}$-measurable with:



$$ lim_{krightarrowinfty} int_X f_k, dmu = int_X f,dmu$$




Now I'm a little bit confused my lecture doesn't require the functions of the sequence to be non-negative but introduces the extra upper bound. What is the difference here?



The Wikipedia definition allows it to set the integral of the limit equal to the limit of the integrals. The lecture definition permits this only under the condition, that the sequence is bounded. Is this really required?







integration measure-theory lebesgue-integral lebesgue-measure






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 14 at 15:17







user7802048

















asked Jan 14 at 14:20









user7802048user7802048

382211




382211












  • $begingroup$
    Can $int_X varphi_n dmu = -infty$?
    $endgroup$
    – BigbearZzz
    Jan 14 at 14:38










  • $begingroup$
    @BigbearZzz No, since it's required that the $varphi_n$ are $mu$-integrable (the integral of the absolute value is not $infty$)
    $endgroup$
    – user7802048
    Jan 14 at 15:07










  • $begingroup$
    So you're using the word $mu$-integrable in the sense that $int_X |varphi| dmu < infty$? I just want to make sure because I've seen people use it differently.
    $endgroup$
    – BigbearZzz
    Jan 14 at 15:13










  • $begingroup$
    @BigbearZzz Yes exactly. I'll edit my question to include this information.
    $endgroup$
    – user7802048
    Jan 14 at 15:15


















  • $begingroup$
    Can $int_X varphi_n dmu = -infty$?
    $endgroup$
    – BigbearZzz
    Jan 14 at 14:38










  • $begingroup$
    @BigbearZzz No, since it's required that the $varphi_n$ are $mu$-integrable (the integral of the absolute value is not $infty$)
    $endgroup$
    – user7802048
    Jan 14 at 15:07










  • $begingroup$
    So you're using the word $mu$-integrable in the sense that $int_X |varphi| dmu < infty$? I just want to make sure because I've seen people use it differently.
    $endgroup$
    – BigbearZzz
    Jan 14 at 15:13










  • $begingroup$
    @BigbearZzz Yes exactly. I'll edit my question to include this information.
    $endgroup$
    – user7802048
    Jan 14 at 15:15
















$begingroup$
Can $int_X varphi_n dmu = -infty$?
$endgroup$
– BigbearZzz
Jan 14 at 14:38




$begingroup$
Can $int_X varphi_n dmu = -infty$?
$endgroup$
– BigbearZzz
Jan 14 at 14:38












$begingroup$
@BigbearZzz No, since it's required that the $varphi_n$ are $mu$-integrable (the integral of the absolute value is not $infty$)
$endgroup$
– user7802048
Jan 14 at 15:07




$begingroup$
@BigbearZzz No, since it's required that the $varphi_n$ are $mu$-integrable (the integral of the absolute value is not $infty$)
$endgroup$
– user7802048
Jan 14 at 15:07












$begingroup$
So you're using the word $mu$-integrable in the sense that $int_X |varphi| dmu < infty$? I just want to make sure because I've seen people use it differently.
$endgroup$
– BigbearZzz
Jan 14 at 15:13




$begingroup$
So you're using the word $mu$-integrable in the sense that $int_X |varphi| dmu < infty$? I just want to make sure because I've seen people use it differently.
$endgroup$
– BigbearZzz
Jan 14 at 15:13












$begingroup$
@BigbearZzz Yes exactly. I'll edit my question to include this information.
$endgroup$
– user7802048
Jan 14 at 15:15




$begingroup$
@BigbearZzz Yes exactly. I'll edit my question to include this information.
$endgroup$
– user7802048
Jan 14 at 15:15










1 Answer
1






active

oldest

votes


















1












$begingroup$

Since $varphi_1$ is assumed to be $mu$-integrable, we have
$$
int_X varphi_1^- dmu <infty,
$$

where $f^-(x) := max{0,-f(x)}$ denotes the function's negative part. We can consider instead the sequence
$psi_n:= varphi_n+varphi_1^-$. Obviously, we have $psi_1=varphi_1^+ge 0$ and since $varphi_n$ is increasing, $psi_nge0$ for all $ninBbb N$.



Since $varphi_n to varphi$, we have $psi_nto psi = varphi + varphi_1^-$. By the usual monotone convergence theorem, we can deduce
$$
int_X psi, dmu = lim_{ntoinfty} int_X psi_n ,dmu
$$

which means that
$$
int_X varphi, dmu + int_X varphi_1^-, dmu = lim_{ntoinfty} int_X varphi_n + varphi_1^-,dmu
$$

can we can subtract $int_X varphi_1^- ,dmu$ from both sides to get
$$
int_X varphi, dmu = lim_{ntoinfty} int_X varphi_n ,dmu.
$$



I don't see why you'd need the bound $int_X varphi_n dmu<M$ at all.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you for the detailed answer!
    $endgroup$
    – user7802048
    Jan 14 at 16:03











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%2f3073273%2fvarying-definition-of-monotone-convergence%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

Since $varphi_1$ is assumed to be $mu$-integrable, we have
$$
int_X varphi_1^- dmu <infty,
$$

where $f^-(x) := max{0,-f(x)}$ denotes the function's negative part. We can consider instead the sequence
$psi_n:= varphi_n+varphi_1^-$. Obviously, we have $psi_1=varphi_1^+ge 0$ and since $varphi_n$ is increasing, $psi_nge0$ for all $ninBbb N$.



Since $varphi_n to varphi$, we have $psi_nto psi = varphi + varphi_1^-$. By the usual monotone convergence theorem, we can deduce
$$
int_X psi, dmu = lim_{ntoinfty} int_X psi_n ,dmu
$$

which means that
$$
int_X varphi, dmu + int_X varphi_1^-, dmu = lim_{ntoinfty} int_X varphi_n + varphi_1^-,dmu
$$

can we can subtract $int_X varphi_1^- ,dmu$ from both sides to get
$$
int_X varphi, dmu = lim_{ntoinfty} int_X varphi_n ,dmu.
$$



I don't see why you'd need the bound $int_X varphi_n dmu<M$ at all.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you for the detailed answer!
    $endgroup$
    – user7802048
    Jan 14 at 16:03
















1












$begingroup$

Since $varphi_1$ is assumed to be $mu$-integrable, we have
$$
int_X varphi_1^- dmu <infty,
$$

where $f^-(x) := max{0,-f(x)}$ denotes the function's negative part. We can consider instead the sequence
$psi_n:= varphi_n+varphi_1^-$. Obviously, we have $psi_1=varphi_1^+ge 0$ and since $varphi_n$ is increasing, $psi_nge0$ for all $ninBbb N$.



Since $varphi_n to varphi$, we have $psi_nto psi = varphi + varphi_1^-$. By the usual monotone convergence theorem, we can deduce
$$
int_X psi, dmu = lim_{ntoinfty} int_X psi_n ,dmu
$$

which means that
$$
int_X varphi, dmu + int_X varphi_1^-, dmu = lim_{ntoinfty} int_X varphi_n + varphi_1^-,dmu
$$

can we can subtract $int_X varphi_1^- ,dmu$ from both sides to get
$$
int_X varphi, dmu = lim_{ntoinfty} int_X varphi_n ,dmu.
$$



I don't see why you'd need the bound $int_X varphi_n dmu<M$ at all.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you for the detailed answer!
    $endgroup$
    – user7802048
    Jan 14 at 16:03














1












1








1





$begingroup$

Since $varphi_1$ is assumed to be $mu$-integrable, we have
$$
int_X varphi_1^- dmu <infty,
$$

where $f^-(x) := max{0,-f(x)}$ denotes the function's negative part. We can consider instead the sequence
$psi_n:= varphi_n+varphi_1^-$. Obviously, we have $psi_1=varphi_1^+ge 0$ and since $varphi_n$ is increasing, $psi_nge0$ for all $ninBbb N$.



Since $varphi_n to varphi$, we have $psi_nto psi = varphi + varphi_1^-$. By the usual monotone convergence theorem, we can deduce
$$
int_X psi, dmu = lim_{ntoinfty} int_X psi_n ,dmu
$$

which means that
$$
int_X varphi, dmu + int_X varphi_1^-, dmu = lim_{ntoinfty} int_X varphi_n + varphi_1^-,dmu
$$

can we can subtract $int_X varphi_1^- ,dmu$ from both sides to get
$$
int_X varphi, dmu = lim_{ntoinfty} int_X varphi_n ,dmu.
$$



I don't see why you'd need the bound $int_X varphi_n dmu<M$ at all.






share|cite|improve this answer











$endgroup$



Since $varphi_1$ is assumed to be $mu$-integrable, we have
$$
int_X varphi_1^- dmu <infty,
$$

where $f^-(x) := max{0,-f(x)}$ denotes the function's negative part. We can consider instead the sequence
$psi_n:= varphi_n+varphi_1^-$. Obviously, we have $psi_1=varphi_1^+ge 0$ and since $varphi_n$ is increasing, $psi_nge0$ for all $ninBbb N$.



Since $varphi_n to varphi$, we have $psi_nto psi = varphi + varphi_1^-$. By the usual monotone convergence theorem, we can deduce
$$
int_X psi, dmu = lim_{ntoinfty} int_X psi_n ,dmu
$$

which means that
$$
int_X varphi, dmu + int_X varphi_1^-, dmu = lim_{ntoinfty} int_X varphi_n + varphi_1^-,dmu
$$

can we can subtract $int_X varphi_1^- ,dmu$ from both sides to get
$$
int_X varphi, dmu = lim_{ntoinfty} int_X varphi_n ,dmu.
$$



I don't see why you'd need the bound $int_X varphi_n dmu<M$ at all.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jan 15 at 7:04

























answered Jan 14 at 15:49









BigbearZzzBigbearZzz

8,73621652




8,73621652












  • $begingroup$
    Thank you for the detailed answer!
    $endgroup$
    – user7802048
    Jan 14 at 16:03


















  • $begingroup$
    Thank you for the detailed answer!
    $endgroup$
    – user7802048
    Jan 14 at 16:03
















$begingroup$
Thank you for the detailed answer!
$endgroup$
– user7802048
Jan 14 at 16:03




$begingroup$
Thank you for the detailed answer!
$endgroup$
– user7802048
Jan 14 at 16:03


















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%2f3073273%2fvarying-definition-of-monotone-convergence%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

'app-layout' is not a known element: how to share Component with different Modules

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

WPF add header to Image with URL pettitions [duplicate]