Many undergraduates have difficulty understanding the notions of the lim inf and lim sup of a sequence.
[The full names for these appear to vary from author to author. In the first version of this post I called them “limit infimum” and “limit supremum”, but I think that “limit inferior” and “limit superior” are the most widely accepted names. ]
Of course, there is the basic problem that students confuse with (which is, strictly speaking, meaningless, but might generously be interpreted as meaning one of or ). However, what I really mean is that the students often fail to grasp what and really mean. (See below for some more details of what I mean by this!)
As with epsilon and delta, we may be tempted to avoid confronting the students’ difficulties with lim inf and lim sup. For example, we can often choose between using lim inf and lim sup or using the sandwich theorem (also known as the squeeze rule). A typical example of this is the standard exercise where you have to prove the following fact at the start of a course on metric spaces.
Let be a metric space, and let and be convergent sequences in with limits and respectively. Prove that as .
I leave it to the reader to supply two proofs, one using the sandwich theorem, and another using and .
As with epsilon and delta, it may be that postponing discussion of and , or avoiding them altogether, is not in the best interests of the student. I have to admit that I am not sure! But I think it is worth investigating possible ways to help students to understand and .
In the following, for convenience, we work in the extended real line
This is convenient, because every subset of has a supremum and an infimum in : there is no need to worry about boundedness and non-emptiness. Those who prefer to work in should add in appropriate assumptions below where necessary.
The standard approach to lim inf and lim sup
The following approach to lim inf and lim sup is entirely standard.
Let be a sequence in . Then it is standard to define sequences and in as follows: for each ,
and
We may then define
and
Once you have decided on an appropriate definition of convergence in , you can confirm that we also have
and
These definitions are very clean, and are easy to apply, e.g., to prove results in the theory of measure and integration. But they do not, in themselves, give the student a very good idea of what and really mean for a typical sequence. In my opinion, even calculating the and of a few examples does not really help as much as you would expect.
One approach that can help a little is to explain that is the minimum of all the possible limits of subsequences of the sequence , and similarly for , with in place of .
However, in my opinion, what we should try to get across is what and tell us about where can actually be as becomes large.
The absorption approach to lim inf and lim sup
Let be a sequence of extended real numbers. Set and . For the rest of this post, , and will be fixed.
What I think we would like students to understand is that, for large , is “almost” in , and there is no strictly smaller closed interval for which this is true.
Recall, in my terminology, a set absorbs a sequence if at most finitely many terms of the sequence lie outside the set.
In terms of absorption we can say various things about the relationships between , and . These standard facts are usually expressed using more standard terminology, e.g., in terms of a sequence “eventually lying within a set” or, for non-absorption, infinitely many terms of the sequence lying outside a set.
Let and be extended real numbers.
- If , then absorbs the sequence.
- If , then does not absorb .
- If , then absorbs .
- If , then does not absorb .
- If then absorbs .
- If is a proper subset of , then does not absorb .
Of course, we do not know whether or not one or both of and absorb . However, it is true that is equal to the intersection of all closed extended-real intervals which absorb the sequence .
Note added 4/12/09: Note that condition 6 in the above list
is not strong enough to recover much information in situations where itself fails to absorb the sequence. For example,for the sequence , the interval satisfies conditions 5 and 6 above, without being equal to .
As mentioned above, all of these statements may be expressed using more standard terminology. Is the language of absorption helpful here?
In due course, I plan to return to this topic in the setting of function limits rather than sequences. This will then connect up with continuity and semicontinuity of functions.
Joel Feinstein
Greetings.
I am an undergraduate student. For me, the following explanation is useful: “What I think we would like students to understand is that, for large n, x_n is “almost” in [s, S], and there is no strictly smaller closed interval for which this is true.”
LikeLike
effective use of “almost always” and “infinitely often”
(probability language) did a lot for me when i first encountered these.
LikeLike
I notice that even with the language of absorption it is not wholly easy to say what the lim sup of a sequence is, at least if you regard quantifiers as difficult. You have to say that absorbs for every and fails to absorb for any .
One could imagine getting round this problem as follows. First let us say that an interval almost absorbs a sequence if absorbs the sequence for every . (Note that this introduces just one quantifier once they are happy with the absorption concept.) Next, let us say that an interval (or more general set) tempts a sequence if for infinitely many . Finally, let us say that an interval almost tempts a sequence if tempts that sequence for every .
Then is the lim sup of a sequence if almost absorbs the sequence and almost tempts it.
The advantage of the tempts concept is that it doesn’t force you to think what it means for a set not to absorb a sequence. Of course, one would prove a lemma to the effect that absorbs a sequence if and only if the complement of does not tempt it.
The disadvantage is of course that it introduces yet more nonstandard terminology.
LikeLike
Thanks for those suggestions Tim!
It is not easy to balance the advantages and disadvantages of introducing non-standard terminology. I’m trying not to introduce too much.
Of course, a set tempts a sequence if and only if some subsequence of lies entirely within the set , and this is true if and only if the complement of does not absorb . (I set the last part of that as an exercise for the second-year students.) So, it may be possible to get the students to understand “does not absorb” without using extra terminology. I do find tempting tempting though!
Joel
LikeLike
Working in the real line:
If you want to do without the ‘almost’ concepts, then is the lim sup of the sequence if and only if, for all , the interval absorbs the sequence and the interval tempts it.
(Or you can use and if you wish.)
If we are working in the extended real line, the definitions proposed by Tim need some minor modifications. For a start, we need to work with intervals instead of (etc.). But also, in the case where , we need an appropriate definition of what it means for the interval to almost absorb (or almost tempt) our sequence. We can’t use , because that is still . For ‘almost absorbs’, we need to say instead that, for all positive real numbers M, absorbs the sequence (or some equivalent formulation of this). Obviously we need to do something similar for the interval .
For my next comment, let’s assume instead that we are working with bounded sequences of real numbers, so that we can safely work in the real line.
It might be nice to define what it means for a general subset of the real line to almost absorb or almost tempt a sequence .
Let be a non-empty subset of the real line. Which of the following is the best definition of almost absorbs ?
– Every open superset of absorbs the sequence .
– For all , the set absorbs the sequence .
– For all , the set absorbs the sequence .
The second and third of these are easily seen to be equivalent.
For closed intervals (which are, perhaps, what we care most about), all three are equivalent. Otherwise, they differ (even for closed sets).
My initial instinct was to prefer the first definition, in view of its topological nature. But:
(a) I suspect that the others are easier for students to think about and to check;
(b) for open sets , the first definition is probably not what we want. Perhaps ‘every open superset of the closure of …’ would be a better attempt, but this is getting messy.
Whichever version you go for, if you set and (as in the original post), then is the minimum closed interval which almost absorbs the sequence. This also works for general sequences in the extended real line, provided that you use an appropriate definition of ‘almost absorbs’. As mentioned above, some care is needed with intervals which have one (or both) endpoints equal to .
Joel Feinstein 5/2/09
LikeLike
I don’t understand why this post and its comments keep getting corrupted 😦
Joel
3/2/10
LikeLike
iam an ug student.the explation about the limsup and liminf is very useful.
the language is simple and clear.but we need more examples.if the examples are published then it will be fantastic
LikeLike
Examples are, of course, crucial!
Let’s look at some specific illustrative examples here.
I will give each example in a separate comment, and I will work with bounded sequences in the real line, so that there are no issues with .
First let’s look at one of the most standard oscillating sequences,
,
i.e. the sequence .
Since every term of this sequence is in the closed interval
, that closed interval already absorbs the sequence (not required), and hence also almost absorbs it (as required).
However, since both and occur infinitely often, no closed interval strictly smaller than almost absorbs the sequence.
In terms of “tempts” and “almost tempts”, both
and tempt the sequence (not required) and hence also almost tempt it (as required).
So we have found that the closed interval has the required properties: it is the minimum closed interval which almost absorbs the sequence.
Thus and
.
Exercise:
Investigate this sequence using the standard definitions of and .
Perhaps it is better to work out the and separately, rather than focussing on the closed interval as I have here?
In this case, following Tim’s suggestions, you could note (as above) that almost tempts the sequence (in this case it actually does tempt the sequence), and that almost absorbs the sequence (in this case, it actually does absorb the sequence), so that tells us that
.
Similarly, almost tempts the sequence (in this case it actually does tempt the sequence), and almost absorbs the sequence (in this case, it actually does absorb the sequence), so that tells us that .
Now that sequence is not very interesting. So in my next comment I’ll look at a slightly more interesting sequence.
Joel
December 4 2009
LikeLike
Second specific example on and
For our second example, let us modify the previous example slightly, and consider
Note here that , and that as .
So, , but, for large , is close to that closed interval. In fact, for all , we have .
We may suspect that is the “important” closed interval here.
We could really do with a good name for the interval . For now, let me call that interval the limmy closed interval for the sequence.
OK, so we suspect that our limmy closed interval is . Let’s check this carefully.
Suppose that for some real numbers and .
Of course, this just means that and . Then, for large we have both
and , and hence we certainly have
. This shows that absorbs the sequence .
We have now established that almost absorbs the sequence . However, as in the previous example, both and almost tempt the sequence (in this example, they both actually tempt the sequence). It follows, as before, that really is the minimum closed interval which almost absorbs the sequence. Thus is the limmy closed interval, and we (again) have and .
Again, you can calculate and separately as in the previous example, either directly from the standard definition , or by showing that:
Here are some further comments which may help students to understand these examples.
Here, is the least real number such that almost absorbs the sequence.
Equivalently, is the infimum of all the real numbers such that absorbs the sequence.
Similarly, is the greatest real number such that almost absorbs the sequence.
Equivalently, is the supremum of all the real numbers such that absorbs the sequence.
Joel
December 4 2009
LikeLike
At this point, let me remind the reader that, for a bounded sequence of real numbers , converges if and only if
.
In this case, we also have
.
This means that you can take any of your favourite convergent sequences, and write down their and immediately. (Given that I mentioned boundedness above, you may wish to recall that every convergent sequence of real numbers is bounded.)
For example, with , it is a standard exercise to check that .
Thus we also have
here.
If you work in the extended real line instead, with appropriate definitions, then you no longer need to worry about boundedness.
Here I think that it is amusing to note that, in the extended real line, the bizarre statement
as
actually has some content!
Joel Feinstein
January 3 2010
LikeLike
Elementary remarks and exercises
Let and be bounded sequences of real numbers. We can use obvious (coordinatewise) algebraic operations to define , , etc. The following four facts are then standard (but we shall discuss them further below):
In order to discuss these further, let us introduce some (temporary?) notation for the limmy interval of the (bounded) sequences , say
.
Recall our discussion from earlier comments:
is the minimum closed interval which almost absorbs the sequence .
For sets and of real numbers, we define and by
and
Then it is a very easy exercise to check that the set absorbs/almost absorbs/tempts/almost tempts the sequence if and only if the set absorbs/almost absorbs/tempts/almost tempts the sequence .
Similarly, with a little more work, you can see that if absorbs/almost absorbs and absorbs/almost absorbs then absorbs/almost absorbs .
Note, however, that the corresponding statement for tempting is false for the sum.
Exercise: give a counterexample.
Armed with these facts, we can now establish the four standard facts mentioned at the start of this comment. In terms of limmy intervals, these take the following form.
and
(This latter inclusion may be strict.)
I am NOT claiming that this is the quickest way to prove these standard facts! However, it may help to provide greater understanding of them.
Warning: The results for sums need more care when working in the extended real line, where sums are not always defined.
Exercise: How much of the above remains valid when you work in the extended real line?
Joel
January 8 2010
LikeLike
Thanks this slowing starting to make sense. how does limsup and liminf for a sequence of sets, apply to probability theory. any examples would be much appreciated
LikeLike
The two measure theory/probability theory results that spring to mind here are Fatou’s lemma and the Borel-Cantelli lemma. Because you are dealing with sequences of sets instead of sequences of points, there are some subtle differences. However, you can make a connection if you look at the indicator functions of the sets involved and take the pointwise limsup/liminf.
I’ll come back to say more about this when I have finished my large pile of marking!
Joel
January 20 2010
LikeLike
great thanks look forward to it
LikeLike