7
$\begingroup$

I've been coming across some papers (written in the 1960s - 1970s) that use the following peculiar statement:

Let use denote by $H$ the space of all grid-functions $w_r$ for which: $$ \sum_{\nu=1}^{\infty} |w_{\nu}|^2 h < \infty$$

Clearly, the author intends to say that the above sum should be finite. However, I find this notation rather unclear. Surely you can't just say that something is smaller than infinity? Even infinity is smaller than infinity, if you really wanted it to be, I thought the point is that inequalities make little sense when infinities are concerned.

Is the above considered a correct formal notation? Or is there a better way of expressing the same thing?

$\endgroup$
6
  • 1
    $\begingroup$ "converges" would be nicer. That being said, the use of $\infty$ as a single(!) extra point "above" $\mathbb R$ comes with the property that $\infty=\infty$. (Also, I'd like to point out that the two occurances of the symbol $\infty$ refer to different concepts) $\endgroup$ Commented Jan 7, 2015 at 22:30
  • 8
    $\begingroup$ It’s a standard way of saying that the series converges. $\endgroup$ Commented Jan 7, 2015 at 22:30
  • 2
    $\begingroup$ A fully correct way to say that $A$ converges and is finite is to say "$A$ exists and $A \in \mathbb{R}$". $\endgroup$ Commented Jan 7, 2015 at 22:34
  • 7
    $\begingroup$ Infinity is not smaller than infinity, since "[strictly] smaller" is irreflexive. There is no mathematical object strictly smaller than itself. $\endgroup$
    – Asaf Karagila
    Commented Jan 7, 2015 at 22:38
  • $\begingroup$ You're totally right Asaf, I mainly said that to show why I don't like the quoted notation. Since infinity plus 1 is still infinite, (in)equalities make little sense there, and therefore to pose such an inequality as a prerogative seems fairly dodgy to me. Hence the question. $\endgroup$
    – Yellow
    Commented Jan 7, 2015 at 22:49

2 Answers 2

11
$\begingroup$

When dealing with a sum of nonnegative terms $\sum_{n=1}^\infty a_n$, there are only two things such a sum can do:

  1. it converges to a finite value $L$, in which case we say $\sum_{n=1}^\infty a_n = L$, or
  2. it diverges to $+\infty$, in which case we say $\sum_{n=1}^\infty a_n = \infty$.

In case (1.), if we don't care to mention (or don't know) the value $L$, we can write $\sum_{n=1}^\infty a_n < \infty$. This is perfectly standard notation, used in almost any text of analysis.

This also applies to integration of a nonnegative function with respect to a positive measure.

$\endgroup$
1
  • $\begingroup$ Could you give some reference to where this notion is defined? $\endgroup$ Commented Sep 18, 2021 at 20:30
1
$\begingroup$

In some contexts one adjoins two objects to the real line called $\infty$ and $-\infty$ so that one is working in the set $\mathbb R\cup\{\infty\}\cup\{-\infty\}$, and the less-than relation among the members of this set is just what you would expect. In that case the only things less than $\infty$ are real (in particular, finite) numbers and $-\infty$.

There are many different things in mathematics that are either called "infinity" or are thought of as in some sense infinite quantities. We've had other questions posted here about that, and some good answers. You need to bear in mind which sort of "infinity" is the right one in the context you're working in. Something similar in spirit to $\pm\infty$ as contemplated here is a single $\infty$ at both ends of the line, so the line plus that object becomes topologically a circle. Then one can say that $\tan\frac\pi2=\infty$ and $\tan : \mathbb R\to\mathbb R\cup\{\infty\}$ is continuous at every point in the domain $\mathbb R$. The infinities that are cardinalities of infinite sets are something different. The "points at infinity" in projective geometry are yet another concept. The "infinity" that is the value of Dirac's delta function at $0$ is yet another kind of infinity (in particular, it makes sense, for example, to multiply it by $3.2$ and get a different "infinity". The infinite numbers of Robinson's nonstaandard analysis are quite different things from all of the above. And there are other examples.

$\endgroup$
4
  • $\begingroup$ Do you mean "the tangent function on $[-\frac{\pi}{2}, \frac{\pi}{2}]$"? Certainly $\tan$ cannot be continuous on $\mathrm{R} \cup \{\infty\}$ as $\lim_{x \downarrow \frac{\pi}{2}} \tan(x) = -\infty$. That being said, I don‘t understand what do you mean with "becomes continuous". $\endgroup$
    – Keba
    Commented Jan 8, 2015 at 0:09
  • $\begingroup$ @Keba : I mean $\tan:\mathbb R\to\mathbb R\cup\{\infty\}$ or else $\tan:\mathbb R/\pi\to\mathbb R\cup\{\infty\}$ or the like. ${}\qquad{}$ $\endgroup$ Commented Jan 8, 2015 at 4:51
  • $\begingroup$ @Keba : Also: I meant "becomes continuous on the whole real line (as the domain). ${}\qquad{}$ $\endgroup$ Commented Jan 8, 2015 at 4:52
  • $\begingroup$ Ah, I see. Thanks for the explanation. $\endgroup$
    – Keba
    Commented Jan 8, 2015 at 14:43

You must log in to answer this question.

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