Intuitive meaning of Limit Supremum?

I think your question is about the difference between limit, limsup and sup? I will illustrate the differences with an example. Let's consider the sequence: $$3, 4, -7, 2, 1, 7, 1, -1, 1, -1, 1, -1, 1, -1, 1, -1, \dots$$ (The ellipsis indicates that the terms alternate $+1$ and $-1$ forever after the terms I have given explicitly.)

The least upper bound (sup) of this set is $7$ [EDIT: thanks Sivaram]. This is the smallest real number that bounds every term from above. The sequence has no limit. However, the $\limsup$ is $1$.

The formal definition of $\limsup$ is that for each $N$, you consider the "tail" of the sequence, starting at the $N^\text{th}$ position. You take the sup of this tail. Now, take the limit as $N \rightarrow \infty$. This limit exists because the sequences of sup is monotone. (We also allow a limit of $\pm \infty$ so monotonicity suffices.)

Note that if the limit of the $a_n$ exists, then we have $$ \lim a_n = \limsup a_n.$$ This means that in "nice" examples, your two definitions of $\bar P$ are the same. It's only in cases with lots of oscillations that $\lim a_n$ doesn't exist, and you will want to use $\limsup a_n$.


The picture I have in my head of the limit supremum is as follows: if $x_n$ is unbounded, then its limit supremum is $\infty$. Otherwise, graph the points $(n, x_n)$. Place a plank on top of the points which is infinitely long going right, and make sure that the plank is always parallel to the $x$-axis and that it is never allowed to pass through a point. Initially the plank must be at the supremum of the points, but if you move the plank to the right you may move past a supremum, and then the plank can settle down into a lower position. The limit supremum is the limit of the positions that the plank can be at as you keep sliding it to the right.


As Sam has pointed out, you might need to revisit the definitions of supremum, infimum, limsup, liminf and limit

One of the equivalent way to look at limsup is to look at the set of limit of points of your sequence and find the supremum of the set.

For some reason, students taking analysis for the first time find this definition easier to understand than the other definition, which goes as

$$\limsup_{n \rightarrow \infty} \text{ } x_n = \lim_{n \rightarrow \infty} \sup_{m \geq n} \text{ } x_m$$

For instance for the sequence Sam has written out $$3,4,-7,2,1,7,1,-1,1,-1,1,-1,1,-1,1,-1,\ldots $$ the set of limit points are $\{-1,1\}$. Hence the limsup is $1$ and the liminf is $-1$.

The $\limsup$ and $\liminf$ always exists even if the sequence doesn't have a limit. In fact a nice way to define a limit of a sequence is to define it when both of them are equal to each other and call it the limit of the sequence.