15
$\begingroup$

I've never seen this notation before, and I'm having trouble finding a reference through search. Could someone explain what these notations mean for me?

In context, the statement they're in is the following: a bounded $f$ is Riemann integrable iff $$\varliminf_{||C||\to 0}\mathcal{L}(f; C)\ge\varlimsup_{||C||\to 0}\mathcal{U}(f;C)$$ where $C$ is a non-overlapping, finite, exact cover of a rectangular region $J$ in $\mathbb{R}^N$, $||C||$ denotes mesh size, and $\mathcal{L}, \mathcal{U}$ represent the lower and upper Riemann sums, respectively.

$\endgroup$
9
  • 5
    $\begingroup$ I've never seen this notation, but my guess in context is it means liminf and limsup: en.wikipedia.org/wiki/Limit_superior_and_limit_inferior $\endgroup$
    – Qiaochu Yuan
    Commented Feb 13, 2011 at 13:44
  • $\begingroup$ I thought so too, but if that's the case the theorem has liminf of L and limsup of U, which doesn't make sense. (It's possible that's a typo, but I don't want to assume that without looking into alternatives.) $\endgroup$
    – Ben Lerner
    Commented Feb 13, 2011 at 13:52
  • 2
    $\begingroup$ @Ben: It seems right to me; if liminf of L is less than limsup of U, then there's a gap which makes the function nonintegrable. $\endgroup$
    – Hans Lundmark
    Commented Feb 13, 2011 at 14:03
  • 1
    $\begingroup$ The best I achieved was to write $\underset{||C||\to 0}{\underline{\text{lim} }}\mathcal{L}(f; C)$ by using \underset{||C||\to 0}{\underline{\text{lim} }}\mathcal{L}(f; C) and similarly to $\underset{||C||\to 0}{\overline{\text{lim} }}\mathcal{U}(f; C)$ \underset{||C||\to 0}{\overline{\text{lim} }}\mathcal{U}(f; C) $\endgroup$
    – Américo Tavares
    Commented Feb 13, 2011 at 14:26
  • 5
    $\begingroup$ @Américo: The LaTeX-code for $\varliminf$ is \varliminf and the one for $\varlimsup$ is \varlimsup $\endgroup$
    – t.b.
    Commented Feb 13, 2011 at 14:27

3 Answers 3

Reset to default
29
$\begingroup$

It's definitely liminf and limsup. Maybe this notation is more common in Europe than in America? For example, the German Wikipedia page mentions it as an alternative. A well-known book that uses this notation is Hörmander's The Analysis of Linear Partial Differential Operators.

$\endgroup$
4
  • 2
    $\begingroup$ +1 for region distinction. In France, it's a common notation. $\endgroup$
    – Sam
    Commented Feb 13, 2011 at 14:19
  • 3
    $\begingroup$ I've seen it used many times in lectures and seminars (in Europe). However, I think it's rarely printed because it looks rather ugly. Another example of a book using this notation is Royden's classic Real Analysis. $\endgroup$
    – t.b.
    Commented Feb 13, 2011 at 14:20
  • $\begingroup$ I've seen it before, and my experience is limited to the U.S. However, I did take a real analysis course out of Royden, so that's probably where I saw it. $\endgroup$
    – Mike Spivey
    Commented Oct 7, 2011 at 2:58
  • $\begingroup$ An alternative, and very good to read article is located in wikipedia: en.wikipedia.org/wiki/Limit_superior_and_limit_inferior $\endgroup$
    – kentropy
    Commented Dec 20, 2017 at 16:19
5
$\begingroup$

I agree : it is definitely Lim Sup, Lim Inf.; I have seen it used many times. If you do not see the top or bottom, you still have a Lim, but ---No Sup For You!

$\endgroup$
1
  • $\begingroup$ Should be the other way around, Lim Inf and Lim Sup. (according to how the question was originally asked) $\endgroup$
    – kentropy
    Commented Dec 20, 2017 at 16:17
2
$\begingroup$

I, however, have seen this notation, called upper and lower limits defined as follows.
Given a sequence of numbers, ${a_n}$, we may consider the lower bound: inf{$a_n$|n>m} as $b_m$. And then take the upper bound of it, $sup_m$$b_m$, called as the greatest lower bound denoted by the limit notation with an underline.
If, nevertheless, you have been acquainted with this notation and found that it's not what you want, then it must be because of my limited sight; if it is the case, please inform me, thanks.

$\endgroup$
2
  • $\begingroup$ It should be $b_m$ (in the defining expression, $n$ is bound and $m$ is free). $\endgroup$
    – joriki
    Commented Feb 13, 2011 at 15:16
  • $\begingroup$ Thanks, it has been corrected now. $\endgroup$
    – awllower
    Commented Feb 14, 2011 at 2:38

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .