# Zero times infinity

1. Apr 27, 2006

### Mk

0 * infinity
What is up? I read that it this expression is called an "indeterminate form." Why isn't zero multiplied by infinity equal to zero? Even if infinity is really big, if there are zero amounts of infinity, that would make zero.

How about 1infinity? 1? Guess not.

infinity / infinity? 1? Guess not.

2. Apr 27, 2006

### matt grime

Infinity, not being part of the natural, rational, real or complex numbers, does not come with the innate possibility to multiply it by anything in those sets. We can define a consistent notion of arithmetic on the extended numbers (gotten by adding in a symbol for infinity) in many cases. To be consistent with these definitions then we cannot define the multiplication 0*infinity. It is no big deal, and nothing to do with 'zero amounts of anything'. You must not think of the mathematical notion of infinity as being the same as your 'really big number, bigger than you can imagine' unmathematical notion.

3. Apr 27, 2006

### MathematicalPhysicist

my book states that in some cases you can calculate 0*infinity by using l'hopital rule when 0*$$\infty$$=(1/$$\infty$$)*$$\infty$$.

4. Apr 27, 2006

### matt grime

that is analysis, that is about taking limits of things *that tend to infinity*. It is lazy short hand to actually say it 'is' a statement about infinity, rather than what it actually is: a statement about limits.

As a demonstration, suppose g(x)=0 at x=0 and suppose f(x) tends to infinity as x tends to zero (lazy short hand would be f(0)=infinity).

Then f(x)g(x), as x went to zero, if it were to exist, would be '0*infinity' in the lazy short hand. Picking f(x)=1/x and g(x)=nx for any real number n, then the result is n, hence indeterminate.

Last edited: Apr 27, 2006
5. Apr 27, 2006

### neutrino

I've always wondered why $$1^\infty$$ is considered indeterminate. Why? How many ever times you multiply one by itself it's going to stay one, won't it?

6. Apr 27, 2006

### Hurkyl

Staff Emeritus
So, does

$$e = \lim_{x \rightarrow \infty} \left(1 + \frac{1}{x} \right)^x = \left( \lim_{x \rightarrow \infty} 1 + \frac{1}{x} \right)^ {\lim_{x \rightarrow \infty} x} = 1^\infty = 1$$

?

Last edited: Apr 27, 2006
7. Apr 27, 2006

### matt grime

Since infinity is not a natural number your argument is not valid. Why do people think that their reasoning about things of type Y applies to things of type X where anything of type X is strictly different from anything of type Y?

8. Apr 27, 2006

### DaveC426913

Will it? Prove it.

Start multiplying them, and I'll ask you in a few hours if you have reached an answer.

Your answer, of course, will be "the answer has not been determined yet, as I am not finished the calculation."

And then I'll come back in a few months and ask again. What do you suppose your answer will be then?

Remember, there is no guessing or anticipating in math...

9. Apr 27, 2006

### neutrino

Thanks for all the comments, guys.

Actually my reply will be something like "I know the answer will be one whenever you ask me." j/k But that appears to be the "intuitive" reply a non-mathematician like me would give.

Btw, how does one resolve the apparent contradiction in the Hurkyl's post? That's the first time that I've seen a limit applied to the power.

10. Apr 27, 2006

### matt grime

What contradiction in Hurkyl's post? There is no reason to suppose the limits behave like that, and that demonstrates that they do not. Just because you can manipulate some symbols does not mean you may do so and have the result make sense.

11. Apr 27, 2006

### krab

Hurkyl's post is a reductio ad absurdem. It is a proof that

$$\lim (a\circ b)\neq \lim a \circ \lim b$$

where o is some operation.

12. Apr 27, 2006

### Hurkyl

Staff Emeritus
Exponentiation of positive real numbers is a continuous function, just like addition, multiplication, division, logarithms, et cetera.

The contradiction is resolved by discarding the hypothesis that $1^{\infty}$ is a determinate form.

As krab said, it's a proof by contradiction. If $1^{\infty}$ is determinate, then my manipulations are justified. But, my manipulations derive a contradiction, and thus $1^{\infty}$ is indeterminate.

(Those should all be positive infinities, but it doesn't typeset well)

13. May 9, 2006

### dasmurph

It is true that the actual number infinity is unlimited, however the only way to perform any mathematical calculation is one step at a time. But imagine one^infinity as a line, as a graph of y=1^x. That is, of course, a straight line. Since said line will continue forever, we can see that it can "reach" infinity, although infinity can never be reached in the real sense. Basically, it will go on forever, so 1^infinity =1

14. May 10, 2006

### jbusc

Consider the function f(x) = (1+x)^(1/x)

Clearly the "limit" of this function as x approaches 0 is 1^infinity, yet try to graph it.

The actual limit is e, 2.71828, which is then "equal" to 1^infinity. Clearly e is not equal to 1 so therefore 1^infinity doesn't always have to equal 1 (i.e., it's indeterminate)

The "one step at a time" thing is irrelevant; when dealing with infinities, you have to accept that there can be "supertasks", i.e. tasks that are doable but unable to complete in a finite series of steps.

Last edited: May 10, 2006
15. May 10, 2006

### mathwonk

I guess what they are saying is that the limit of a^b, where a approaches 1 and b approaches infinity, is hard to determine.

this should not be too shocking, since if we take the log, we are back to matts exampels of how the limit of a product can be anything, when one factor approaches zero and the other approaches infinity.

for instance it is not hard to calculate the limit of log(1 + 1/x) as x goes to infinity from the integral definition of log, and estimate it as between 1/x+1 and 1/x. hence x times it goes to 1, which gives the limit of xlog(1 + 1/x), i.e. the log of (1 + 1/x)^x. since the log goes to 1, the original limit is e.

16. May 10, 2006

### matt grime

what is an 'actual number'? Certainly not a 'real number' or a 'complex number' or a 'rational number'.

not strictly true. The only way to physically perform any mathematical calculation, perhaps, using a computer, but even that is moot.

What does 'reach' mean? In its " " sense or its 'real' sense? 'it' will go on forever? what is 'it'?

17. Jan 30, 2008

### Montebianco

The reason you would say this is:

$$\lim_{x \rightarrow \infty} 1^x =1$$

Certainly you can take the next step and define $$1^{\infty}$$ to be one if you like. But this definition is only one of many inconsistent definitions that could be made. Since

$$\lim_{x \rightarrow \infty}{\left(1+\frac{1}{x}\right)^{x}} = e$$

why not define $$1^{\infty}$$ as e? Or for that matter, as any arbitrarily chosen number, since:

$$\lim_{x \rightarrow \infty} \left(1+\frac{1}{x}\right)^{n x} = e^{n}$$

The crux of the matter is, infinity doesn't obey the rules that numbers obey. It can't - this is provable. A great deal of trouble occurs when people take laws of arithmetic and try to apply them to infinity. If you assume that infinity obeys all the same laws of arithmetic, then you have assumed a contradiction, and are able to "prove" anything.

The apparent contradiction comes about because the very first split (the splitting of the limit into two limits, taken in a particular order) is not a valid operation. You can't manipulate limits in this way. To take a similar example from Rudin's book Principles of Mathematical Analysis, what is:

$$\lim_{m\rightarrow\infty}\lim_{n\rightarrow\infty}\frac{m}{m+n}$$

The answer you get depends on the order in which you take the limits. You have to be very careful when working with limits to make sure each step in a derivation is justified. The first step in Hurkyl's isn't.

18. Feb 1, 2008

### makc

no but what about $$not_e = \lim_{x \rightarrow \infty} \left(1 \right)^x = \left( \lim_{x \rightarrow \infty} 1 \right)^ {\lim_{x \rightarrow \infty} x} = 1^\infty = 1$$?

19. Feb 1, 2008

### makc

since I replied to something on 1st page, I missed this:
well, because we were talking about 1^ something, and with e limit it is (something that gradually approaches 1)^ something. It is worse as definition of $$1^{\infty}$$ for that reason.

20. Feb 1, 2008

### Montebianco

Well, when there is ambiguity, I suppose one could always arbitrarily pick one definition and declare it to be the correct one. But this allegedly better definition fails an important test: it doesn't preserve the rules of arithmetic. No definition of $$1^{\infty}$$ does, which is why conventional mathematics refers to such constructions as indeterminate. Any attempt to define it as some specific quantity breaks arithmetic as we know it.

By the way, if we talk about 0/0, are we talking about 0/something, or something/0?

PS - my apologies if resurrecting a long dead thread is considered bad form. Someone at another forum pointed this thread out to me, and I posted here without noticing that it was very old.