$f,g: [0,1] to mathbb{R}$ with equal Lebesgue integrals
up vote
0
down vote
favorite
I am given two functions $f, g: [0,1] rightarrow mathbb{R}$, with $$int_{0}^{1} f(x) dx = int_{0}^{1} g(x) dx = 1,$$ (where the previous integrals are Lebesgue integrals), and I am asked to prove that for every $alpha in (0,1)$, there exists a measurable $E subset [0,1]$, such that $$int_{E} f(x) dx = int_{E} g(x) dx = alpha.$$ I have already proved this, in the special case that $f$, $g$ are simple functions, but I don't know how to generalize it. Could anyone give me a hint?
lebesgue-integral
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
asked Nov 21 at 15:51
A.M.
11
add a comment |
up vote
0
down vote
favorite
I am given two functions $f, g: [0,1] rightarrow mathbb{R}$, with $$int_{0}^{1} f(x) dx = int_{0}^{1} g(x) dx = 1,$$ (where the previous integrals are Lebesgue integrals), and I am asked to prove that for every $alpha in (0,1)$, there exists a measurable $E subset [0,1]$, such that $$int_{E} f(x) dx = int_{E} g(x) dx = alpha.$$ I have already proved this, in the special case that $f$, $g$ are simple functions, but I don't know how to generalize it. Could anyone give me a hint?
lebesgue-integral
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
asked Nov 21 at 15:51
A.M.
11
If you have already shown that it works for simple functions, then the next step of the bootstrapping argument is to show that it works for nonnegative functions, which can be done by considering monotone limits of simple functions. Once that is done, you can generalize to measurable functions by considering the positive and negative parts as nonnegative functions.
– Xander Henderson
Nov 21 at 15:56
Thank you very much.
– A.M.
Nov 21 at 16:51
I have already tried to show it following these steps but it fails. Could you please be more specific?
– A.M.
Nov 22 at 12:00
@XanderHenderson I don't see how it's clear that the property is preserved under monotone limits.
– David C. Ullrich
Nov 22 at 17:12
@DavidC.Ullrich To be honest, I didn't give this problem much thought---my first instinct would be to try that approach. Since the question doesn't indicate what has been tried (if anything), that seemed like a good place to start.
– Xander Henderson
Nov 22 at 17:23
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I am given two functions $f, g: [0,1] rightarrow mathbb{R}$, with $$int_{0}^{1} f(x) dx = int_{0}^{1} g(x) dx = 1,$$ (where the previous integrals are Lebesgue integrals), and I am asked to prove that for every $alpha in (0,1)$, there exists a measurable $E subset [0,1]$, such that $$int_{E} f(x) dx = int_{E} g(x) dx = alpha.$$ I have already proved this, in the special case that $f$, $g$ are simple functions, but I don't know how to generalize it. Could anyone give me a hint?
lebesgue-integral
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
asked Nov 21 at 15:51
A.M.
11
I am given two functions $f, g: [0,1] rightarrow mathbb{R}$, with $$int_{0}^{1} f(x) dx = int_{0}^{1} g(x) dx = 1,$$ (where the previous integrals are Lebesgue integrals), and I am asked to prove that for every $alpha in (0,1)$, there exists a measurable $E subset [0,1]$, such that $$int_{E} f(x) dx = int_{E} g(x) dx = alpha.$$ I have already proved this, in the special case that $f$, $g$ are simple functions, but I don't know how to generalize it. Could anyone give me a hint?
lebesgue-integral
lebesgue-integral
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
asked Nov 21 at 15:51
A.M.
11
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
asked Nov 21 at 15:51
A.M.
11
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
edited Nov 21 at 15:54
Xander Henderson
14.1k103554
14.1k103554
asked Nov 21 at 15:51
A.M.
11
asked Nov 21 at 15:51
A.M.
11
asked Nov 21 at 15:51
A.M.
11
11
If you have already shown that it works for simple functions, then the next step of the bootstrapping argument is to show that it works for nonnegative functions, which can be done by considering monotone limits of simple functions. Once that is done, you can generalize to measurable functions by considering the positive and negative parts as nonnegative functions.
– Xander Henderson
Nov 21 at 15:56
Thank you very much.
– A.M.
Nov 21 at 16:51
I have already tried to show it following these steps but it fails. Could you please be more specific?
– A.M.
Nov 22 at 12:00
@XanderHenderson I don't see how it's clear that the property is preserved under monotone limits.
– David C. Ullrich
Nov 22 at 17:12
@DavidC.Ullrich To be honest, I didn't give this problem much thought---my first instinct would be to try that approach. Since the question doesn't indicate what has been tried (if anything), that seemed like a good place to start.
– Xander Henderson
Nov 22 at 17:23
add a comment |
If you have already shown that it works for simple functions, then the next step of the bootstrapping argument is to show that it works for nonnegative functions, which can be done by considering monotone limits of simple functions. Once that is done, you can generalize to measurable functions by considering the positive and negative parts as nonnegative functions.
– Xander Henderson
Nov 21 at 15:56
Thank you very much.
– A.M.
Nov 21 at 16:51
I have already tried to show it following these steps but it fails. Could you please be more specific?
– A.M.
Nov 22 at 12:00
@XanderHenderson I don't see how it's clear that the property is preserved under monotone limits.
– David C. Ullrich
Nov 22 at 17:12
@DavidC.Ullrich To be honest, I didn't give this problem much thought---my first instinct would be to try that approach. Since the question doesn't indicate what has been tried (if anything), that seemed like a good place to start.
– Xander Henderson
Nov 22 at 17:23
If you have already shown that it works for simple functions, then the next step of the bootstrapping argument is to show that it works for nonnegative functions, which can be done by considering monotone limits of simple functions. Once that is done, you can generalize to measurable functions by considering the positive and negative parts as nonnegative functions.
– Xander Henderson
Nov 21 at 15:56
If you have already shown that it works for simple functions, then the next step of the bootstrapping argument is to show that it works for nonnegative functions, which can be done by considering monotone limits of simple functions. Once that is done, you can generalize to measurable functions by considering the positive and negative parts as nonnegative functions.
– Xander Henderson
Nov 21 at 15:56
Thank you very much.
– A.M.
Nov 21 at 16:51
Thank you very much.
– A.M.
Nov 21 at 16:51
I have already tried to show it following these steps but it fails. Could you please be more specific?
– A.M.
Nov 22 at 12:00
I have already tried to show it following these steps but it fails. Could you please be more specific?
– A.M.
Nov 22 at 12:00
@XanderHenderson I don't see how it's clear that the property is preserved under monotone limits.
– David C. Ullrich
Nov 22 at 17:12
@XanderHenderson I don't see how it's clear that the property is preserved under monotone limits.
– David C. Ullrich
Nov 22 at 17:12
@DavidC.Ullrich To be honest, I didn't give this problem much thought---my first instinct would be to try that approach. Since the question doesn't indicate what has been tried (if anything), that seemed like a good place to start.
– Xander Henderson
Nov 22 at 17:23
@DavidC.Ullrich To be honest, I didn't give this problem much thought---my first instinct would be to try that approach. Since the question doesn't indicate what has been tried (if anything), that seemed like a good place to start.
– Xander Henderson
Nov 22 at 17:23
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
I don't see a "simple" elementary proof. It's easy if you've recently covered some non-trivial results on vector-valued measures; for example here it says "Finally, a non-atomic $X$-valued measure on a $sigma$-field has compact and convex range if $dim(X)<infty$. This is Lyapunov's theorem. It fails for infinite-dimensional $X$."
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
add a comment |
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%2f3007902%2ff-g-0-1-to-mathbbr-with-equal-lebesgue-integrals%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
up vote
0
down vote
I don't see a "simple" elementary proof. It's easy if you've recently covered some non-trivial results on vector-valued measures; for example here it says "Finally, a non-atomic $X$-valued measure on a $sigma$-field has compact and convex range if $dim(X)<infty$. This is Lyapunov's theorem. It fails for infinite-dimensional $X$."
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
add a comment |
up vote
0
down vote
I don't see a "simple" elementary proof. It's easy if you've recently covered some non-trivial results on vector-valued measures; for example here it says "Finally, a non-atomic $X$-valued measure on a $sigma$-field has compact and convex range if $dim(X)<infty$. This is Lyapunov's theorem. It fails for infinite-dimensional $X$."
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
add a comment |
up vote
0
down vote
up vote
0
down vote
I don't see a "simple" elementary proof. It's easy if you've recently covered some non-trivial results on vector-valued measures; for example here it says "Finally, a non-atomic $X$-valued measure on a $sigma$-field has compact and convex range if $dim(X)<infty$. This is Lyapunov's theorem. It fails for infinite-dimensional $X$."
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
I don't see a "simple" elementary proof. It's easy if you've recently covered some non-trivial results on vector-valued measures; for example here it says "Finally, a non-atomic $X$-valued measure on a $sigma$-field has compact and convex range if $dim(X)<infty$. This is Lyapunov's theorem. It fails for infinite-dimensional $X$."
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
answered Nov 22 at 17:30
David C. Ullrich
57.7k43891
57.7k43891
add a comment |
add a comment |
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%2f3007902%2ff-g-0-1-to-mathbbr-with-equal-lebesgue-integrals%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
If you have already shown that it works for simple functions, then the next step of the bootstrapping argument is to show that it works for nonnegative functions, which can be done by considering monotone limits of simple functions. Once that is done, you can generalize to measurable functions by considering the positive and negative parts as nonnegative functions.
– Xander Henderson
Nov 21 at 15:56
Thank you very much.
– A.M.
Nov 21 at 16:51
I have already tried to show it following these steps but it fails. Could you please be more specific?
– A.M.
Nov 22 at 12:00
@XanderHenderson I don't see how it's clear that the property is preserved under monotone limits.
– David C. Ullrich
Nov 22 at 17:12
@DavidC.Ullrich To be honest, I didn't give this problem much thought---my first instinct would be to try that approach. Since the question doesn't indicate what has been tried (if anything), that seemed like a good place to start.
– Xander Henderson
Nov 22 at 17:23