Show that $lim _{ntoinfty}sum_{i=1}^{N}u_n(A_i)=sum_{i=1}^{N}lim _{ntoinfty}u_n(A_i)$
$begingroup$
I want to show that $lim _{ntoinfty}sum_{i=1}^{N}u_n(A_i)=sum_{i=1}^{N}lim _{ntoinfty}u_n(A_i)$ , where $(u_n)_{n=1}^{infty}$ is a sequence of increasing positive measures on a measurable space. Here increasing means that $u_n(A)leq u_{n+1} (A)$ for any measurable set A. Any help is greatly appreciated since I don't know where to start;(
real-analysis measure-theory
$endgroup$
add a comment |
$begingroup$
I want to show that $lim _{ntoinfty}sum_{i=1}^{N}u_n(A_i)=sum_{i=1}^{N}lim _{ntoinfty}u_n(A_i)$ , where $(u_n)_{n=1}^{infty}$ is a sequence of increasing positive measures on a measurable space. Here increasing means that $u_n(A)leq u_{n+1} (A)$ for any measurable set A. Any help is greatly appreciated since I don't know where to start;(
real-analysis measure-theory
$endgroup$
1
$begingroup$
If it's a finite sum, then there shouldn't be a problem. That they're increasing guarantees convergence
$endgroup$
– Jakobian
Jan 2 at 12:18
$begingroup$
Thanks. Yes it is finite, but why its no problem? Is there any formal proof for this?
$endgroup$
– Michael Maier
Jan 2 at 12:20
$begingroup$
You are asking an elementary question in Calculus: limit of a (finite) sum is the sum of the limits. What has this to do with measure theory?
$endgroup$
– Kavi Rama Murthy
Jan 2 at 12:32
1
$begingroup$
What we're asking of basically is that we have $N$ increasing sequences, $x_{n, 1}, x_{n, 2}, ..., x_{n, N}$, and we want to check if $sum_i lim_n x_{n, i} = lim_n sum_i x_{n, i}$. We know that for every $1leq i leq N$, $lim_n x_{n, i}$ exists, being possible $infty$, because they are monotone. Even if for one of the $i$, $lim_n x_{n, i} = infty$, both sides would be infinite, and the equality holds. If they are all finite, then we use elementary result in calculus, as Kavi Rama Murthy said, limit of a sum of sequences is sum of limits, provided everything makes sense (so they exist)
$endgroup$
– Jakobian
Jan 2 at 14:01
$begingroup$
Got it now, thanks!
$endgroup$
– Michael Maier
Jan 2 at 14:36
add a comment |
$begingroup$
I want to show that $lim _{ntoinfty}sum_{i=1}^{N}u_n(A_i)=sum_{i=1}^{N}lim _{ntoinfty}u_n(A_i)$ , where $(u_n)_{n=1}^{infty}$ is a sequence of increasing positive measures on a measurable space. Here increasing means that $u_n(A)leq u_{n+1} (A)$ for any measurable set A. Any help is greatly appreciated since I don't know where to start;(
real-analysis measure-theory
$endgroup$
I want to show that $lim _{ntoinfty}sum_{i=1}^{N}u_n(A_i)=sum_{i=1}^{N}lim _{ntoinfty}u_n(A_i)$ , where $(u_n)_{n=1}^{infty}$ is a sequence of increasing positive measures on a measurable space. Here increasing means that $u_n(A)leq u_{n+1} (A)$ for any measurable set A. Any help is greatly appreciated since I don't know where to start;(
real-analysis measure-theory
real-analysis measure-theory
asked Jan 2 at 12:15
Michael MaierMichael Maier
698
698
1
$begingroup$
If it's a finite sum, then there shouldn't be a problem. That they're increasing guarantees convergence
$endgroup$
– Jakobian
Jan 2 at 12:18
$begingroup$
Thanks. Yes it is finite, but why its no problem? Is there any formal proof for this?
$endgroup$
– Michael Maier
Jan 2 at 12:20
$begingroup$
You are asking an elementary question in Calculus: limit of a (finite) sum is the sum of the limits. What has this to do with measure theory?
$endgroup$
– Kavi Rama Murthy
Jan 2 at 12:32
1
$begingroup$
What we're asking of basically is that we have $N$ increasing sequences, $x_{n, 1}, x_{n, 2}, ..., x_{n, N}$, and we want to check if $sum_i lim_n x_{n, i} = lim_n sum_i x_{n, i}$. We know that for every $1leq i leq N$, $lim_n x_{n, i}$ exists, being possible $infty$, because they are monotone. Even if for one of the $i$, $lim_n x_{n, i} = infty$, both sides would be infinite, and the equality holds. If they are all finite, then we use elementary result in calculus, as Kavi Rama Murthy said, limit of a sum of sequences is sum of limits, provided everything makes sense (so they exist)
$endgroup$
– Jakobian
Jan 2 at 14:01
$begingroup$
Got it now, thanks!
$endgroup$
– Michael Maier
Jan 2 at 14:36
add a comment |
1
$begingroup$
If it's a finite sum, then there shouldn't be a problem. That they're increasing guarantees convergence
$endgroup$
– Jakobian
Jan 2 at 12:18
$begingroup$
Thanks. Yes it is finite, but why its no problem? Is there any formal proof for this?
$endgroup$
– Michael Maier
Jan 2 at 12:20
$begingroup$
You are asking an elementary question in Calculus: limit of a (finite) sum is the sum of the limits. What has this to do with measure theory?
$endgroup$
– Kavi Rama Murthy
Jan 2 at 12:32
1
$begingroup$
What we're asking of basically is that we have $N$ increasing sequences, $x_{n, 1}, x_{n, 2}, ..., x_{n, N}$, and we want to check if $sum_i lim_n x_{n, i} = lim_n sum_i x_{n, i}$. We know that for every $1leq i leq N$, $lim_n x_{n, i}$ exists, being possible $infty$, because they are monotone. Even if for one of the $i$, $lim_n x_{n, i} = infty$, both sides would be infinite, and the equality holds. If they are all finite, then we use elementary result in calculus, as Kavi Rama Murthy said, limit of a sum of sequences is sum of limits, provided everything makes sense (so they exist)
$endgroup$
– Jakobian
Jan 2 at 14:01
$begingroup$
Got it now, thanks!
$endgroup$
– Michael Maier
Jan 2 at 14:36
1
1
$begingroup$
If it's a finite sum, then there shouldn't be a problem. That they're increasing guarantees convergence
$endgroup$
– Jakobian
Jan 2 at 12:18
$begingroup$
If it's a finite sum, then there shouldn't be a problem. That they're increasing guarantees convergence
$endgroup$
– Jakobian
Jan 2 at 12:18
$begingroup$
Thanks. Yes it is finite, but why its no problem? Is there any formal proof for this?
$endgroup$
– Michael Maier
Jan 2 at 12:20
$begingroup$
Thanks. Yes it is finite, but why its no problem? Is there any formal proof for this?
$endgroup$
– Michael Maier
Jan 2 at 12:20
$begingroup$
You are asking an elementary question in Calculus: limit of a (finite) sum is the sum of the limits. What has this to do with measure theory?
$endgroup$
– Kavi Rama Murthy
Jan 2 at 12:32
$begingroup$
You are asking an elementary question in Calculus: limit of a (finite) sum is the sum of the limits. What has this to do with measure theory?
$endgroup$
– Kavi Rama Murthy
Jan 2 at 12:32
1
1
$begingroup$
What we're asking of basically is that we have $N$ increasing sequences, $x_{n, 1}, x_{n, 2}, ..., x_{n, N}$, and we want to check if $sum_i lim_n x_{n, i} = lim_n sum_i x_{n, i}$. We know that for every $1leq i leq N$, $lim_n x_{n, i}$ exists, being possible $infty$, because they are monotone. Even if for one of the $i$, $lim_n x_{n, i} = infty$, both sides would be infinite, and the equality holds. If they are all finite, then we use elementary result in calculus, as Kavi Rama Murthy said, limit of a sum of sequences is sum of limits, provided everything makes sense (so they exist)
$endgroup$
– Jakobian
Jan 2 at 14:01
$begingroup$
What we're asking of basically is that we have $N$ increasing sequences, $x_{n, 1}, x_{n, 2}, ..., x_{n, N}$, and we want to check if $sum_i lim_n x_{n, i} = lim_n sum_i x_{n, i}$. We know that for every $1leq i leq N$, $lim_n x_{n, i}$ exists, being possible $infty$, because they are monotone. Even if for one of the $i$, $lim_n x_{n, i} = infty$, both sides would be infinite, and the equality holds. If they are all finite, then we use elementary result in calculus, as Kavi Rama Murthy said, limit of a sum of sequences is sum of limits, provided everything makes sense (so they exist)
$endgroup$
– Jakobian
Jan 2 at 14:01
$begingroup$
Got it now, thanks!
$endgroup$
– Michael Maier
Jan 2 at 14:36
$begingroup$
Got it now, thanks!
$endgroup$
– Michael Maier
Jan 2 at 14:36
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%2f3059411%2fshow-that-lim-n-to-infty-sum-i-1nu-na-i-sum-i-1n-lim-n-to-in%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%2f3059411%2fshow-that-lim-n-to-infty-sum-i-1nu-na-i-sum-i-1n-lim-n-to-in%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
1
$begingroup$
If it's a finite sum, then there shouldn't be a problem. That they're increasing guarantees convergence
$endgroup$
– Jakobian
Jan 2 at 12:18
$begingroup$
Thanks. Yes it is finite, but why its no problem? Is there any formal proof for this?
$endgroup$
– Michael Maier
Jan 2 at 12:20
$begingroup$
You are asking an elementary question in Calculus: limit of a (finite) sum is the sum of the limits. What has this to do with measure theory?
$endgroup$
– Kavi Rama Murthy
Jan 2 at 12:32
1
$begingroup$
What we're asking of basically is that we have $N$ increasing sequences, $x_{n, 1}, x_{n, 2}, ..., x_{n, N}$, and we want to check if $sum_i lim_n x_{n, i} = lim_n sum_i x_{n, i}$. We know that for every $1leq i leq N$, $lim_n x_{n, i}$ exists, being possible $infty$, because they are monotone. Even if for one of the $i$, $lim_n x_{n, i} = infty$, both sides would be infinite, and the equality holds. If they are all finite, then we use elementary result in calculus, as Kavi Rama Murthy said, limit of a sum of sequences is sum of limits, provided everything makes sense (so they exist)
$endgroup$
– Jakobian
Jan 2 at 14:01
$begingroup$
Got it now, thanks!
$endgroup$
– Michael Maier
Jan 2 at 14:36