Show $X = {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$
Given $(X,mathcal{A}, mu)$ a measurable space. Let $ p in ]1,infty[$, and $(f_{n})_{n}subseteq L^{p}(X,mu)$ so that $sup_{n}||f_{n}||_{p}<infty$ and $f_{n}to 0$, $n to infty$ $mu-$a.e.
i) Prove $ forall epsilon > 0$ and $n in mathbb N$, $X = {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$
ii) Show $lim_{nto infty}int_{X}|f_{n}|^{p-1}|g|dmu = 0 = lim_{n to infty}int_{X}|g|^{p-1}|f_{n}|dmu$
My ideas:
i) The inclusion ${f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon} subseteq X$ is trivial. I honestly do not know where to begin on $X subseteq {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$.
ii) I believe that i) is then used to split up $g$, and then hopefully get
$lim_{epsilon to 0}lim_{ntoinfty}(int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|leqepsilon}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|geqepsilon^2}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|g|leqepsilon}}dmu)=0$
Any guidance is greatly appreciated.
real-analysis integration measure-theory
asked Dec 7 at 22:08
SABOY
522311
add a comment |
Given $(X,mathcal{A}, mu)$ a measurable space. Let $ p in ]1,infty[$, and $(f_{n})_{n}subseteq L^{p}(X,mu)$ so that $sup_{n}||f_{n}||_{p}<infty$ and $f_{n}to 0$, $n to infty$ $mu-$a.e.
i) Prove $ forall epsilon > 0$ and $n in mathbb N$, $X = {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$
ii) Show $lim_{nto infty}int_{X}|f_{n}|^{p-1}|g|dmu = 0 = lim_{n to infty}int_{X}|g|^{p-1}|f_{n}|dmu$
My ideas:
i) The inclusion ${f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon} subseteq X$ is trivial. I honestly do not know where to begin on $X subseteq {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$.
ii) I believe that i) is then used to split up $g$, and then hopefully get
$lim_{epsilon to 0}lim_{ntoinfty}(int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|leqepsilon}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|geqepsilon^2}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|g|leqepsilon}}dmu)=0$
Any guidance is greatly appreciated.
real-analysis integration measure-theory
asked Dec 7 at 22:08
SABOY
522311
add a comment |
Given $(X,mathcal{A}, mu)$ a measurable space. Let $ p in ]1,infty[$, and $(f_{n})_{n}subseteq L^{p}(X,mu)$ so that $sup_{n}||f_{n}||_{p}<infty$ and $f_{n}to 0$, $n to infty$ $mu-$a.e.
i) Prove $ forall epsilon > 0$ and $n in mathbb N$, $X = {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$
ii) Show $lim_{nto infty}int_{X}|f_{n}|^{p-1}|g|dmu = 0 = lim_{n to infty}int_{X}|g|^{p-1}|f_{n}|dmu$
My ideas:
i) The inclusion ${f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon} subseteq X$ is trivial. I honestly do not know where to begin on $X subseteq {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$.
ii) I believe that i) is then used to split up $g$, and then hopefully get
$lim_{epsilon to 0}lim_{ntoinfty}(int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|leqepsilon}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|geqepsilon^2}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|g|leqepsilon}}dmu)=0$
Any guidance is greatly appreciated.
real-analysis integration measure-theory
asked Dec 7 at 22:08
SABOY
522311
Given $(X,mathcal{A}, mu)$ a measurable space. Let $ p in ]1,infty[$, and $(f_{n})_{n}subseteq L^{p}(X,mu)$ so that $sup_{n}||f_{n}||_{p}<infty$ and $f_{n}to 0$, $n to infty$ $mu-$a.e.
i) Prove $ forall epsilon > 0$ and $n in mathbb N$, $X = {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$
ii) Show $lim_{nto infty}int_{X}|f_{n}|^{p-1}|g|dmu = 0 = lim_{n to infty}int_{X}|g|^{p-1}|f_{n}|dmu$
My ideas:
i) The inclusion ${f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon} subseteq X$ is trivial. I honestly do not know where to begin on $X subseteq {f_{n} leq epsilon |g|} cup {|f_{n}|geq epsilon^{2}}cup{|g|leq epsilon}$.
ii) I believe that i) is then used to split up $g$, and then hopefully get
$lim_{epsilon to 0}lim_{ntoinfty}(int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|leqepsilon}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|f_{n}|geqepsilon^2}}dmu+int_{X}|f_{n}|^{p-1}|g|chi_{{|g|leqepsilon}}dmu)=0$
Any guidance is greatly appreciated.
real-analysis integration measure-theory
real-analysis integration measure-theory
asked Dec 7 at 22:08
SABOY
522311
asked Dec 7 at 22:08
SABOY
522311
asked Dec 7 at 22:08
SABOY
522311
asked Dec 7 at 22:08
SABOY
522311
asked Dec 7 at 22:08
SABOY
522311
522311
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
Hypothesis on $g$ is missing. The result is true if $g in L^{p}$. For i) just observe that if $|f_n| <epsilon ^{2}$ and $|g|>epsilon$ then $|f_n| <epsilon ^{2} <epsilon |g|$. Can you finish the proof of i) now?
I will prove the first part of 2) and the second part is very similar.
So let us show that $int_A |f_n|^{p-1} |g|dmu $ can be made small (by suitable choice of $epsilon$) if $A$ is one of the sets $A_1={|f_n| leq epsilon |g|}, A_2={|f_n| geq epsilon ^{2}}$ and $A_3={|g|leq epsilon}$.
For $A=A_1$: use DCT. Since the integrand is dominated by $epsilon |g|^{p}$ which is integrable, the integral tends to $0$.
For $A=A_2$: apply Holder's inequality (with conjugate exponents $frac p {p-1}$ and $p$) to see that the integral is less than or equal to $|f_n|_p(int_{A_2} |g|^{p}dmu)$. Note that $|f_n|$ is bounded and $mu(A_2) to 0$ as $n to infty$.
Finally for $A=A_3$ use a similar argument and note that $int |g|^{p} I_{{|g| leq epsilon}} to 0$ as $epsilon to 0$.
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
1
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
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%2f3030421%2fshow-x-f-n-leq-epsilon-g-cup-f-n-geq-epsilon2-cup-g%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
Hypothesis on $g$ is missing. The result is true if $g in L^{p}$. For i) just observe that if $|f_n| <epsilon ^{2}$ and $|g|>epsilon$ then $|f_n| <epsilon ^{2} <epsilon |g|$. Can you finish the proof of i) now?
I will prove the first part of 2) and the second part is very similar.
So let us show that $int_A |f_n|^{p-1} |g|dmu $ can be made small (by suitable choice of $epsilon$) if $A$ is one of the sets $A_1={|f_n| leq epsilon |g|}, A_2={|f_n| geq epsilon ^{2}}$ and $A_3={|g|leq epsilon}$.
For $A=A_1$: use DCT. Since the integrand is dominated by $epsilon |g|^{p}$ which is integrable, the integral tends to $0$.
For $A=A_2$: apply Holder's inequality (with conjugate exponents $frac p {p-1}$ and $p$) to see that the integral is less than or equal to $|f_n|_p(int_{A_2} |g|^{p}dmu)$. Note that $|f_n|$ is bounded and $mu(A_2) to 0$ as $n to infty$.
Finally for $A=A_3$ use a similar argument and note that $int |g|^{p} I_{{|g| leq epsilon}} to 0$ as $epsilon to 0$.
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
1
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
add a comment |
Hypothesis on $g$ is missing. The result is true if $g in L^{p}$. For i) just observe that if $|f_n| <epsilon ^{2}$ and $|g|>epsilon$ then $|f_n| <epsilon ^{2} <epsilon |g|$. Can you finish the proof of i) now?
I will prove the first part of 2) and the second part is very similar.
So let us show that $int_A |f_n|^{p-1} |g|dmu $ can be made small (by suitable choice of $epsilon$) if $A$ is one of the sets $A_1={|f_n| leq epsilon |g|}, A_2={|f_n| geq epsilon ^{2}}$ and $A_3={|g|leq epsilon}$.
For $A=A_1$: use DCT. Since the integrand is dominated by $epsilon |g|^{p}$ which is integrable, the integral tends to $0$.
For $A=A_2$: apply Holder's inequality (with conjugate exponents $frac p {p-1}$ and $p$) to see that the integral is less than or equal to $|f_n|_p(int_{A_2} |g|^{p}dmu)$. Note that $|f_n|$ is bounded and $mu(A_2) to 0$ as $n to infty$.
Finally for $A=A_3$ use a similar argument and note that $int |g|^{p} I_{{|g| leq epsilon}} to 0$ as $epsilon to 0$.
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
1
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
add a comment |
Hypothesis on $g$ is missing. The result is true if $g in L^{p}$. For i) just observe that if $|f_n| <epsilon ^{2}$ and $|g|>epsilon$ then $|f_n| <epsilon ^{2} <epsilon |g|$. Can you finish the proof of i) now?
I will prove the first part of 2) and the second part is very similar.
So let us show that $int_A |f_n|^{p-1} |g|dmu $ can be made small (by suitable choice of $epsilon$) if $A$ is one of the sets $A_1={|f_n| leq epsilon |g|}, A_2={|f_n| geq epsilon ^{2}}$ and $A_3={|g|leq epsilon}$.
For $A=A_1$: use DCT. Since the integrand is dominated by $epsilon |g|^{p}$ which is integrable, the integral tends to $0$.
For $A=A_2$: apply Holder's inequality (with conjugate exponents $frac p {p-1}$ and $p$) to see that the integral is less than or equal to $|f_n|_p(int_{A_2} |g|^{p}dmu)$. Note that $|f_n|$ is bounded and $mu(A_2) to 0$ as $n to infty$.
Finally for $A=A_3$ use a similar argument and note that $int |g|^{p} I_{{|g| leq epsilon}} to 0$ as $epsilon to 0$.
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
Hypothesis on $g$ is missing. The result is true if $g in L^{p}$. For i) just observe that if $|f_n| <epsilon ^{2}$ and $|g|>epsilon$ then $|f_n| <epsilon ^{2} <epsilon |g|$. Can you finish the proof of i) now?
I will prove the first part of 2) and the second part is very similar.
So let us show that $int_A |f_n|^{p-1} |g|dmu $ can be made small (by suitable choice of $epsilon$) if $A$ is one of the sets $A_1={|f_n| leq epsilon |g|}, A_2={|f_n| geq epsilon ^{2}}$ and $A_3={|g|leq epsilon}$.
For $A=A_1$: use DCT. Since the integrand is dominated by $epsilon |g|^{p}$ which is integrable, the integral tends to $0$.
For $A=A_2$: apply Holder's inequality (with conjugate exponents $frac p {p-1}$ and $p$) to see that the integral is less than or equal to $|f_n|_p(int_{A_2} |g|^{p}dmu)$. Note that $|f_n|$ is bounded and $mu(A_2) to 0$ as $n to infty$.
Finally for $A=A_3$ use a similar argument and note that $int |g|^{p} I_{{|g| leq epsilon}} to 0$ as $epsilon to 0$.
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
answered Dec 7 at 23:56
Kavi Rama Murthy
49.1k31854
49.1k31854
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
1
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
add a comment |
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
1
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
I do not understand what you are actually proving in i)
– SABOY
Dec 9 at 19:07
1
1
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
@SABOY You know that RHS is contained in LHS. To prove the reverse inclusion I am trying to prove that $(RHS)^{c}$ (complement of RHS) is contained in $(LHS)^{c}$ (which is empty, of course). I hope this clears up things a bit.
– Kavi Rama Murthy
Dec 9 at 23:17
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
Very smart. Thank you!
– SABOY
Dec 10 at 8:10
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%2f3030421%2fshow-x-f-n-leq-epsilon-g-cup-f-n-geq-epsilon2-cup-g%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
