6

I was wondering what are the general spaces that the concepts limsup and liminf can apply to? Is complete lattice one of them? Also How about metric space?

What are limsup and liminf specified with respect to? A subset? A sequence/net/filter base?

How many kinds of definitions for limsup and liminf in these various cases? Are they equivalent? If not, what are the conditions for them to be equivalent?

Martin Sleziak
  • 53,687
Tim
  • 47,382
  • Some references for limit inferior and limit superior of a net can be found in wikipedia article http://en.wikipedia.org/wiki/Net_%28mathematics%29#Limit_superior (or this revision - in case it changes - http://en.wikipedia.org/w/index.php?title=Net_(mathematics)&oldid=440343540 ) – Martin Sleziak Jul 20 '11 at 09:58
  • See also this answer for some further comments and references on limsup and liminf of a net of real numbers. – Martin Sleziak Jan 08 '12 at 08:39

1 Answers1

4

The notion of a $\limsup$ of a filtered directed set makes sense. Namely, let $A$ be a filtered directed set and $x_\alpha, \alpha \in A$ be an $A$-indexed family in $\mathbb{R}$. Then one can define the $\limsup$ as the infimum of $\sup_{\beta > \alpha} x_{\beta}$ over all $\alpha$. This makes sense for the $\liminf$ as well.

One needs the ordering of the range set to define the limsup, though.

Akhil Mathew
  • 31,310