Example $f_n = mathbf1_[n,infty)$ in Fatou's LemmaUnderstanding the assumptions in the Reverse Fatou's LemmaExtension of Fatou's lemmaCorollary of Fatou's LemmaFatou's Lemma in nonpositive functionFatou Lemma: Why is $liminf f_n = 0$ where $f_n = chi_[n,n+1]$$lim _ nrightarrow infty inf f_n leq t =lim _ nrightarrow infty sup f_n leq t $ Proof and IntuitionReal Analysis, 2.18 (Fatou's Lemma) Integration of Nonnegative functionsShowing that the Fatou's lemma inequality can be strict.$f_n geq f $ a.e implies $Longrightarrow int _X lim inf f_n d muleq lim inf int _X f_n dmu$Question about lim inf or lim sup
Why not use SQL instead of GraphQL?
Can I ask the recruiters in my resume to put the reason why I am rejected?
What is the offset in a seaplane's hull?
Which models of the Boeing 737 are still in production?
What do the dots in this tr command do: tr .............A-Z A-ZA-Z <<< "JVPQBOV" (with 13 dots)
Theorem, big Paralist and Amsart
Python: next in for loop
Dragon forelimb placement
Example of a continuous function that don't have a continuous extension
"You are your self first supporter", a more proper way to say it
Can an x86 CPU running in real mode be considered to be basically an 8086 CPU?
How to find program name(s) of an installed package?
How is it possible to have an ability score that is less than 3?
Why don't electron-positron collisions release infinite energy?
How is the claim "I am in New York only if I am in America" the same as "If I am in New York, then I am in America?
Writing rule stating superpower from different root cause is bad writing
How do I create uniquely male characters?
How do we improve the relationship with a client software team that performs poorly and is becoming less collaborative?
Problem of parity - Can we draw a closed path made up of 20 line segments...
Service Entrance Breakers Rain Shield
What does "Puller Prush Person" mean?
Mathematical cryptic clues
can i play a electric guitar through a bass amp?
Is this a crack on the carbon frame?
Example $f_n = mathbf1_[n,infty)$ in Fatou's Lemma
Understanding the assumptions in the Reverse Fatou's LemmaExtension of Fatou's lemmaCorollary of Fatou's LemmaFatou's Lemma in nonpositive functionFatou Lemma: Why is $liminf f_n = 0$ where $f_n = chi_[n,n+1]$$lim _ nrightarrow infty inf f_n leq t =lim _ nrightarrow infty sup f_n leq t $ Proof and IntuitionReal Analysis, 2.18 (Fatou's Lemma) Integration of Nonnegative functionsShowing that the Fatou's lemma inequality can be strict.$f_n geq f $ a.e implies $Longrightarrow int _X lim inf f_n d muleq lim inf int _X f_n dmu$Question about lim inf or lim sup
$begingroup$
In the class, my professor gave the following example:
Let $f_n = mathbf1_[n,infty)$, then we have
$$int_X liminf f_n = 0, text since liminf f_n = 0,$$
and
$$liminf int_X f_n = infty, text since int f_n = infty, forall n.$$
I can understand "$int f_n = infty, forall n$". But even so, what is the key reason that $$int_X liminf f_n = 0 , text but , liminf int_X f_n = infty$$
To me for the second case, when $nrightarrow infty$, it should be $0$. I am confused on this point.
real-analysis limsup-and-liminf
$endgroup$
|
show 1 more comment
$begingroup$
In the class, my professor gave the following example:
Let $f_n = mathbf1_[n,infty)$, then we have
$$int_X liminf f_n = 0, text since liminf f_n = 0,$$
and
$$liminf int_X f_n = infty, text since int f_n = infty, forall n.$$
I can understand "$int f_n = infty, forall n$". But even so, what is the key reason that $$int_X liminf f_n = 0 , text but , liminf int_X f_n = infty$$
To me for the second case, when $nrightarrow infty$, it should be $0$. I am confused on this point.
real-analysis limsup-and-liminf
$endgroup$
3
$begingroup$
Fatou's lemma is an inequality.
$endgroup$
– Lord Shark the Unknown
Mar 29 at 16:54
3
$begingroup$
$liminf infty=infty$.
$endgroup$
– Eclipse Sun
Mar 29 at 16:55
$begingroup$
@LordSharktheUnknown Yes, so I think this example shows $<$ not just $leq$.
$endgroup$
– sleeve chen
Mar 29 at 16:56
2
$begingroup$
A less contentious example is $f_n = 1_[n,n+1)$. Then $liminf_n f_n = 0$ and $int f_n = 1$, so $0 = int liminf_n f_n le liminf_n int f_n =1 $.
$endgroup$
– copper.hat
Mar 29 at 17:01
$begingroup$
For all $n$, $int_X f_n = infty$.
$endgroup$
– Martín-Blas Pérez Pinilla
Mar 29 at 17:38
|
show 1 more comment
$begingroup$
In the class, my professor gave the following example:
Let $f_n = mathbf1_[n,infty)$, then we have
$$int_X liminf f_n = 0, text since liminf f_n = 0,$$
and
$$liminf int_X f_n = infty, text since int f_n = infty, forall n.$$
I can understand "$int f_n = infty, forall n$". But even so, what is the key reason that $$int_X liminf f_n = 0 , text but , liminf int_X f_n = infty$$
To me for the second case, when $nrightarrow infty$, it should be $0$. I am confused on this point.
real-analysis limsup-and-liminf
$endgroup$
In the class, my professor gave the following example:
Let $f_n = mathbf1_[n,infty)$, then we have
$$int_X liminf f_n = 0, text since liminf f_n = 0,$$
and
$$liminf int_X f_n = infty, text since int f_n = infty, forall n.$$
I can understand "$int f_n = infty, forall n$". But even so, what is the key reason that $$int_X liminf f_n = 0 , text but , liminf int_X f_n = infty$$
To me for the second case, when $nrightarrow infty$, it should be $0$. I am confused on this point.
real-analysis limsup-and-liminf
real-analysis limsup-and-liminf
asked Mar 29 at 16:52
sleeve chensleeve chen
3,18142255
3,18142255
3
$begingroup$
Fatou's lemma is an inequality.
$endgroup$
– Lord Shark the Unknown
Mar 29 at 16:54
3
$begingroup$
$liminf infty=infty$.
$endgroup$
– Eclipse Sun
Mar 29 at 16:55
$begingroup$
@LordSharktheUnknown Yes, so I think this example shows $<$ not just $leq$.
$endgroup$
– sleeve chen
Mar 29 at 16:56
2
$begingroup$
A less contentious example is $f_n = 1_[n,n+1)$. Then $liminf_n f_n = 0$ and $int f_n = 1$, so $0 = int liminf_n f_n le liminf_n int f_n =1 $.
$endgroup$
– copper.hat
Mar 29 at 17:01
$begingroup$
For all $n$, $int_X f_n = infty$.
$endgroup$
– Martín-Blas Pérez Pinilla
Mar 29 at 17:38
|
show 1 more comment
3
$begingroup$
Fatou's lemma is an inequality.
$endgroup$
– Lord Shark the Unknown
Mar 29 at 16:54
3
$begingroup$
$liminf infty=infty$.
$endgroup$
– Eclipse Sun
Mar 29 at 16:55
$begingroup$
@LordSharktheUnknown Yes, so I think this example shows $<$ not just $leq$.
$endgroup$
– sleeve chen
Mar 29 at 16:56
2
$begingroup$
A less contentious example is $f_n = 1_[n,n+1)$. Then $liminf_n f_n = 0$ and $int f_n = 1$, so $0 = int liminf_n f_n le liminf_n int f_n =1 $.
$endgroup$
– copper.hat
Mar 29 at 17:01
$begingroup$
For all $n$, $int_X f_n = infty$.
$endgroup$
– Martín-Blas Pérez Pinilla
Mar 29 at 17:38
3
3
$begingroup$
Fatou's lemma is an inequality.
$endgroup$
– Lord Shark the Unknown
Mar 29 at 16:54
$begingroup$
Fatou's lemma is an inequality.
$endgroup$
– Lord Shark the Unknown
Mar 29 at 16:54
3
3
$begingroup$
$liminf infty=infty$.
$endgroup$
– Eclipse Sun
Mar 29 at 16:55
$begingroup$
$liminf infty=infty$.
$endgroup$
– Eclipse Sun
Mar 29 at 16:55
$begingroup$
@LordSharktheUnknown Yes, so I think this example shows $<$ not just $leq$.
$endgroup$
– sleeve chen
Mar 29 at 16:56
$begingroup$
@LordSharktheUnknown Yes, so I think this example shows $<$ not just $leq$.
$endgroup$
– sleeve chen
Mar 29 at 16:56
2
2
$begingroup$
A less contentious example is $f_n = 1_[n,n+1)$. Then $liminf_n f_n = 0$ and $int f_n = 1$, so $0 = int liminf_n f_n le liminf_n int f_n =1 $.
$endgroup$
– copper.hat
Mar 29 at 17:01
$begingroup$
A less contentious example is $f_n = 1_[n,n+1)$. Then $liminf_n f_n = 0$ and $int f_n = 1$, so $0 = int liminf_n f_n le liminf_n int f_n =1 $.
$endgroup$
– copper.hat
Mar 29 at 17:01
$begingroup$
For all $n$, $int_X f_n = infty$.
$endgroup$
– Martín-Blas Pérez Pinilla
Mar 29 at 17:38
$begingroup$
For all $n$, $int_X f_n = infty$.
$endgroup$
– Martín-Blas Pérez Pinilla
Mar 29 at 17:38
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
Well you are considering the sequence of functions $f_n$ where the $n^th$ function of the sequence is given by $$f_n(x):=begincases0 & textif xin (-infty,n) \ 1 & textotherwise .endcases$$
We have the pointwise limit $lim_n to infty f_n(x)=0$, and so $int lim f_n =0$. But for each $n in mathbbN$ we have $int f_n=infty$, and so $lim int f_n=infty$ (limit of a constant sequence).
The difference comes from what limit we are evaluating. On one hand we have the integral of a pointwise limit function, where the pointwise limit happens to be constantly $0$. And on the other hand we have the limit of a constant sequence of extended real numbers.
$endgroup$
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%2f3167346%2fexample-f-n-mathbf1-n-infty-in-fatous-lemma%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
$begingroup$
Well you are considering the sequence of functions $f_n$ where the $n^th$ function of the sequence is given by $$f_n(x):=begincases0 & textif xin (-infty,n) \ 1 & textotherwise .endcases$$
We have the pointwise limit $lim_n to infty f_n(x)=0$, and so $int lim f_n =0$. But for each $n in mathbbN$ we have $int f_n=infty$, and so $lim int f_n=infty$ (limit of a constant sequence).
The difference comes from what limit we are evaluating. On one hand we have the integral of a pointwise limit function, where the pointwise limit happens to be constantly $0$. And on the other hand we have the limit of a constant sequence of extended real numbers.
$endgroup$
add a comment |
$begingroup$
Well you are considering the sequence of functions $f_n$ where the $n^th$ function of the sequence is given by $$f_n(x):=begincases0 & textif xin (-infty,n) \ 1 & textotherwise .endcases$$
We have the pointwise limit $lim_n to infty f_n(x)=0$, and so $int lim f_n =0$. But for each $n in mathbbN$ we have $int f_n=infty$, and so $lim int f_n=infty$ (limit of a constant sequence).
The difference comes from what limit we are evaluating. On one hand we have the integral of a pointwise limit function, where the pointwise limit happens to be constantly $0$. And on the other hand we have the limit of a constant sequence of extended real numbers.
$endgroup$
add a comment |
$begingroup$
Well you are considering the sequence of functions $f_n$ where the $n^th$ function of the sequence is given by $$f_n(x):=begincases0 & textif xin (-infty,n) \ 1 & textotherwise .endcases$$
We have the pointwise limit $lim_n to infty f_n(x)=0$, and so $int lim f_n =0$. But for each $n in mathbbN$ we have $int f_n=infty$, and so $lim int f_n=infty$ (limit of a constant sequence).
The difference comes from what limit we are evaluating. On one hand we have the integral of a pointwise limit function, where the pointwise limit happens to be constantly $0$. And on the other hand we have the limit of a constant sequence of extended real numbers.
$endgroup$
Well you are considering the sequence of functions $f_n$ where the $n^th$ function of the sequence is given by $$f_n(x):=begincases0 & textif xin (-infty,n) \ 1 & textotherwise .endcases$$
We have the pointwise limit $lim_n to infty f_n(x)=0$, and so $int lim f_n =0$. But for each $n in mathbbN$ we have $int f_n=infty$, and so $lim int f_n=infty$ (limit of a constant sequence).
The difference comes from what limit we are evaluating. On one hand we have the integral of a pointwise limit function, where the pointwise limit happens to be constantly $0$. And on the other hand we have the limit of a constant sequence of extended real numbers.
answered Mar 29 at 20:18
Matt A PeltoMatt A Pelto
2,657621
2,657621
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.
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%2f3167346%2fexample-f-n-mathbf1-n-infty-in-fatous-lemma%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
3
$begingroup$
Fatou's lemma is an inequality.
$endgroup$
– Lord Shark the Unknown
Mar 29 at 16:54
3
$begingroup$
$liminf infty=infty$.
$endgroup$
– Eclipse Sun
Mar 29 at 16:55
$begingroup$
@LordSharktheUnknown Yes, so I think this example shows $<$ not just $leq$.
$endgroup$
– sleeve chen
Mar 29 at 16:56
2
$begingroup$
A less contentious example is $f_n = 1_[n,n+1)$. Then $liminf_n f_n = 0$ and $int f_n = 1$, so $0 = int liminf_n f_n le liminf_n int f_n =1 $.
$endgroup$
– copper.hat
Mar 29 at 17:01
$begingroup$
For all $n$, $int_X f_n = infty$.
$endgroup$
– Martín-Blas Pérez Pinilla
Mar 29 at 17:38