Why is $\infty \cdot 0$ not clearly equal to $0$?

Question

I did a bit of math at school and it seems like an easy one - what am I missing?

$$n\times m = \underbrace{n+n+\cdots +n}_{m\text{ times}}$$

$$\quad n\times 0 = \underbrace{0 + 0 + \cdots+ 0}_{n\text{ times}} = 0$$

(i.e add $0$ to $0$ as many times as you like, result is $0$)

So I thought an infinite number of $0$'s cannot be anything but $0$? But someone claims different but couldn't offer a reasonable explanation why. Google results seemed a bit iffy on the subject - hopefully this question will change that.

Answer 1

The problem is that the laws of addition and multiplication you are using hold for real numbers, but infinity is not a natural number, so these laws do not apply. If they did, you could use a similar argument that multiplying anything by infinity, no matter how small, gives infinity, thus $\infty \times 0 = \infty$. More sophisticated arguments can also be made, like $\infty \times 0 = \lim_{x \to \infty} (x \times 1/x) = 1$. Clearly all these different values for $\infty \times 0$ mean that $\infty$ cannot be treated like other numbers.

In order to work with infinity, you must first define it. You may think you know what infinity is, but really you don't have a concrete definition. In fact, there are many different definitions of infinity that you could use, each of which result in different behaviors. For example, the real projective line has a concept of infinity such that $1/\infty = 0$, while when talking about infinite sets one uses cardinal numbers (another type of infinity) to represent the sizes of these sets. You must make it clear what infinity you are talking about in order to work with it.

In summary, the expression $\infty \times 0$ using multiplication defined for the natural numbers does not have any meaning, so it cannot be said to be equal to $0$.

Answer 2

You have to remember that infinity isn't a number. It's more of a concept. When you write

$$n \times 0 = 0 + 0 + 0 +\cdots+ 0 = 0$$

you're doing a finite operation. There's no way to keep adding zero until you reach infinity, because you can't reach infinity. It's this inability to "reach" infinity that makes the operations violate your intuition. Traditional algebra/arithmetic doesn't work on infinity. This is why we use the concept of limits, which is well-defined mathematically and allows us to perform algebra on infinities.

Answer 3

This is just a general comment regarding questions like these:

When encountering definitions and results you think you could disagree with, try to think through the definitions. In this case, how would you define multiplication by $\infty$? More fundamentally, how would you define $\infty$? One approach would be to formally define $\infty$ as a symbol such that $a \infty = \infty$ for all numbers $a$, but then we would have to exclude $0$, and set $0 \infty = 0$. This causes problems however (if we want the distributive law to hold): $0=(a-a)\infty =\infty-\infty$. And how would you define this?

Shortly, trying to do arithmetic with this new symbol causes a lot of problems. Whenever you are dealing with entities which are "unusual" you must define what they are and how they interact with other mathematical objects.

In the same way, we could ask how to define infinitesimals, numbers that are smaller than any other number. Say, a number $\epsilon$ such that $|\epsilon| < a$ for all real non-zero numbers $a$. Such a number does not exist in the real number system, but it is possible to define such a system. (Google non-standard analysis) Now the task is to define how to do arithmetic with infinetesimals... (but this is really off-topic)

To summarize this somewhat unorganized answer: try to think through the consequences of defining $0 \infty = 0$. (that is, try to reduce ad absurdum). Think through what definitions you are using and try to find examples.

Answer 4

It may also have to do with conflicting definitions: generally speaking, for some number n, n * 0 = 0, and n * infinity = infinity. So what is infinity * 0? It's undefined.

Also, as Alex pointed out, infinity is not a natural number so the same rules don't apply. And he's right, there are different definitions for infinity, so don't think of it as a number with an actual value. For instance, the set of all real numbers and the set of all rational numbers are both infinite, but the set of all real numbers is a 'bigger' infinity. Thus, infinity does not have a concrete value, and it doesn't make sense to treat it as any other natural number.

But it's true that instinctively you would expect the answer '0' so I think it's helpful to look back at axioms and identities for these kinds of problems, and go from there. Unfortunately math is not always intuitive!

Answer 5

As several others have pointed out, $\infty$ is not a number. So you need to deal it with a bit of care.

To clarify your doubt, the way you have written is to look at $n \times 0$ and then let $n \rightarrow \infty$. So it is true that $$\displaystyle \lim_{n \rightarrow \infty}\left( n \times 0 \right)= 0$$

However, when people write $\infty \times 0$ usually it is a shorthand to denote the indeterminate form when some quantity tends to infinity and some other quantity tends to zero in a limiting sense i.e. expressions of the form $$\lim_{x \rightarrow 0} \left( f(x) \times g(x) \right)$$ where $\displaystyle \lim_{x \rightarrow 0} f(x) = \infty$ and $\displaystyle \lim_{x \rightarrow 0} g(x) = 0$.

(Note that $\infty$ is not a number in the conventional sense. It is just a shorthand to denote that something grows unbounded i.e. given any number your function can take a value larger than that number.)

For instance, let $f(x) = \frac{1}{x}$ as $g(x) = x$, then $f(x) \times g(x) = 1$, $\forall x \neq 0$ and hence $$\displaystyle \lim_{x \rightarrow 0} \left( f(x) \times g(x)\right) = \lim_{x \rightarrow 0} 1 = 1$$ However, $\displaystyle \lim_{x \rightarrow 0} f(x) = \infty$ and $\displaystyle \lim_{x \rightarrow 0} g(x) = 0$ and hence in this case, the indeterminate form evaluates to $1$.

The case which resembles what you have written down is when $f(x) = \frac{1}{x}$ and $g(x) = 0$. This again is an indeterminate form since $\displaystyle \lim_{x \rightarrow 0} f(x) = \infty$ and $\displaystyle \lim_{x \rightarrow 0} g(x) = 0$. However in this case, $f(x) \times g(x) = 0$, $\forall x \neq 0$ and hence $$\displaystyle \lim_{x \rightarrow 0} \left( f(x) \times g(x) \right) = 0$$

Yet another example is to look at $f(x) = \frac{1}{x}$ and $g(x) = \sqrt{x}$. This again is an indeterminate form since $\displaystyle \lim_{x \rightarrow 0} f(x) = \infty$ and $\displaystyle \lim_{x \rightarrow 0^+} g(x) = 0$. Note that $f(x) \times g(x) = \frac{1}{\sqrt{x}}$, $\forall x \neq 0$ and hence $$\displaystyle \lim_{x \rightarrow 0^+} (f(x) \times g(x)) = \displaystyle \lim_{x \rightarrow 0^+} \frac{1}{\sqrt{x}} = \infty$$

Hence, you cannot associate a unique value to $\infty \times 0$. It depends on the problem at hand. You can read more about indeterminate form here. (As always with wikipedia, read it just to get a general overall idea.)

Answer 6

As pointed in the other answers, the issue is the interpretation of what do you mean by $\infty \cdot 0$. Strictly speaking, $0+0+\cdots+0$ when the number of terms goes to infinity IS 0 (this is just the sum of a series).

But look at this example

\begin{eqnarray} \begin{split} 1&=&1 \\ \frac{1}{2}+\frac{1}{2}&=&1 \\ \frac{1}{3}+\frac{1}{3}+\frac{1}{3} &={}&1 \\ \vdots \\ \frac{1}{n}+\frac{1}{n}+\cdots+\frac{1}{n} &={}&1 \\ \end{split} \end{eqnarray}

By repeating the process, at every step I get more numbers, each of them closer to zero...This is also what we can understand by $\infty \cdot 0$, but this is $1$, isn't it?