237

I would say $\infty - \infty=0$ because even though $\infty$ is an undetermined number, $\infty = \infty$. So $\infty-\infty=0$.

Elias Zamaria
  • 161
  • 1
  • 8
Pacerier
  • 3,261
  • 6
  • 24
  • 29
  • 17
    Very relevant: http://en.wikipedia.org/wiki/Indeterminate_form. Hopefully, someone will write a nice answer. – Srivatsan Aug 30 '11 at 18:19
  • 6
    @Sri I see no "indeterminate forms" in the question. – Bill Dubuque Aug 30 '11 at 18:34
  • 1
    @Bill I have been implicitly taking that term to include "expressions" of the form $\infty - \infty$, not just algebraic expressions that are obtained in the context of limits (quoting wikipedia here). I guess that's my mistaken belief. – Srivatsan Aug 30 '11 at 18:42
  • 20
    @Sri "Infinity" has *many* different meanings in mathematics. As such, the question is ill-posed as it stands. – Bill Dubuque Aug 30 '11 at 18:48
  • 4
    With natural numbers the result of taking $m$ items away from a set of $n$ items, $m\le n$, will result in a set with a *unique* number of items in it (no matter *which* subset of $m$ items were taken away), hence it makes sense to label the result as a specific number, namely $n-m$. With an infinite ($\aleph_0$) set of items, taking away an infinite subset doesn't uniquely determine the cardinality of the resulting set, hence $\infty-\infty$ is ill-defined in this context. – anon Aug 30 '11 at 19:28
  • 7
    Relevant reading: http://math.stackexchange.com/questions/36289/is-infinity-a-number – Qiaochu Yuan Aug 30 '11 at 22:39
  • Pacerier: What do you mean by infinity? – Jonas Meyer Aug 31 '11 at 02:25
  • 1
    @Jonas Meyer: There is obviously something you are not telling us prof. What are we missing in the question. – Martin York Aug 31 '11 at 08:45
  • Wolfram Alpha comes up as "indeterminate" -- http://www.wolframalpha.com/input/?i=infinity+-+infinity – David G Feb 21 '12 at 14:01
  • Somehow the Eilenberg-swindle provides an answer. – Martin Brandenburg Apr 08 '13 at 15:06
  • I might be wrong, but infinity is not a number, so you cannot use certain operators on it - such as subtraction. – zerosofthezeta Jul 27 '13 at 05:51
  • Any time you talk about $\infty$, you are talking about "limits" in some sense. – Felix Marin Sep 25 '13 at 20:13

11 Answers11

456

From a layman's perspective, imagine that I have an infinite number of hotel rooms, each numbered 1, 2, 3, 4, ...

Then I give you all of them. I would have none left, so $\infty - \infty = 0$

On the other hand, if I give you all of the odd-numbered ones, then I still have an infinite number left. So $\infty - \infty = \infty$.

Now suppose that I give you all of them except for the first seven. Then $\infty - \infty = 7$.
While this doesn't explain why this is indeterminate, hopefully you can agree that it is indeterminate!

Marc van Leeuwen
  • 107,679
  • 7
  • 148
  • 306
Altar Ego
  • 5,106
  • 3
  • 19
  • 20
  • 1
    ok you mean the first ∞ is as good as `x` and the second ∞ is as good as `y`? so ∞ - ∞ is as good as `x - y` ? – Pacerier Aug 30 '11 at 19:17
  • 13
    I don't quite understand that last comment, but I'm almost certain that the answer is "no". – Altar Ego Aug 30 '11 at 19:19
  • 14
    @Altar: This is a well-known paradox. Google "Hilbert's hotel" for more information. – Fredrik Meyer Aug 30 '11 at 19:27
  • 2
    @Fredrik, aahh! I used to use marbles when explaining this to people, then I heard "Hilbert's hotel"... the name of which I had since forgotten – Altar Ego Aug 30 '11 at 19:32
  • 8
    @Altar Ego: Congratulations on getting away from the usual limit examples. It would spoil the clarity of what you say, but let $A$ is a (finite) set of hotel rooms, say $a$ of them, and if $B$ is the set of occupied hotel rooms, and there are $b$ such, then the number of unoccupied rooms is $a-b$. So subtraction does give the answer in the finite case. – André Nicolas Aug 30 '11 at 19:42
  • I thought I read this one before. Hilbert's hotel, that's where it comes from :) – Carra Aug 30 '11 at 22:57
  • 1
    Call me crazy, but I don't accept that ∞ / 2 = ∞. To my mind, half ∞ should be infinitely smaller, not the same size. But maybe I don't understand enough about this stuff (I'm definitely no mathematician. Just found myself here from an ad on another Stack site) – Bob Aug 30 '11 at 23:03
  • 1
    @Bob: that depends on what sort of infinity you have in mind. :) You will want to check out for isntance the wiki entry on "cardinality"... – J. M. ain't a mathematician Aug 30 '11 at 23:11
  • 1
    @J.M: What on earth are you talking about? What sort of infinity? How would you make sense of the equation $\infty / 2=\infty$ for cardinalities? – Bonanza Aug 30 '11 at 23:34
  • 6
    @trony: I had "there are as many even numbers as there are natural numbers" in mind... – J. M. ain't a mathematician Aug 30 '11 at 23:50
  • @Bob Assuming real numbers (not integers, as that would introduce .5's,) what number is in ∞ that is not in ∞/2? Nothing. Ergo, ∞/2 is equal to ∞. *IF*, however, you have these equations: `f(n) = n`; `lim (n -> ∞) f(n) = ∞`; and you are asked what is `lim (n->∞) f(n)/(f(n)/2)` equal to, then this would result in `∞ / (∞/2)` -- or `∞/∞` -- at which point you would apply L`Hopital's Rule, comparing the rates at which the numerator and denominator approach infinity, and you would get 2. Sometimes you really can get an everyday number as an answer even when ∞ is involved. – Michael Aug 31 '11 at 00:34
  • 1
    Bob, you are not crazy, you just can't grasp the meaning of infinity, because you try to measure it. – karatedog Aug 31 '11 at 00:37
  • 4
    @Bob ∞ is not a number, so ∞/2 doesn't actually make sense, at least not in the usual way. If you are thinking of ∞ as being the size of the set {0, 1, 2, 3...∞} and ∞/2 as being the size of the set {0, 2, 4, 6...∞} then unfortunately that doesn't work, though the latter set is indeed a subset of the first one and appears to have half as many things in it. To see why: consider adding 1 to each number in the second set, then you would get {1, 3, 5, 7...∞} and it's still of "size" ∞/2 right? So consider not adding 1 to each number, but instead multiplying each number by 0.5. Hope this helps. – wim Aug 31 '11 at 01:32
  • 7
    I remember asking my math instructor a similar question, with a wide wide grin on my face. I honestly didn't understand the idea but I felt smart for challenging my instructor with a simple question. I remember him looking at me with a condescending look, shaking his head slowly, not saying a word, and then moving on with his lecture. I hated him that moment like no one else, for not teaching a wondering (wandering) student when he really, really should have. When that's what he was paid for, at the very least. – wilhelmtell Aug 31 '11 at 01:53
  • This infinity of a denumerable set of things is normally written ω (omega), it is the least infinite ordinal (there are many many more infinite ordinals). – starblue Aug 31 '11 at 07:06
  • 2
    @Bob: imagine an infinite set A = {1, 2, 3, 4, ...} and an infinite set B = {2, 4, 6, 8, ...}; if we try to pair items from the set A with items in set B, we get the pairing AB = {(1, 2), (2, 4), (3, 6), (4, 8), ...}, we will never exhaust neither A nor B and so both A and B has the same infinity so $\infty / 2 = \infty$. – Lie Ryan Aug 31 '11 at 15:26
  • @J.M. - would you happen to know why this (and all the other answers, and the question) is "community wiki"? When did this happen? What does it mean? Also, I guess it would be worth asking: how do I go to the meta page for a specific question? – Altar Ego Sep 01 '11 at 04:12
  • 2
    @Altar: A moderator set this question to community wiki; I am not quite sure why. With this setting, posts here can no longer accrue reputation for everyone who posted answers here, as well as the questioner. If you wish to contest this action, I suggest making a new meta post about this question. – J. M. ain't a mathematician Sep 01 '11 at 05:31
  • @Altar As blog [puts](http://blog.stackoverflow.com/2011/08/the-future-of-community-wiki/) it, “Sometimes you have content which is valuable and on-topic, but is perhaps a bit too popular.”. – Grigory M Sep 01 '11 at 07:34
  • @J.M. thanks for the info. I don't really get the cultural nuances of CW, so I'll just watch and learn :) – Altar Ego Sep 01 '11 at 12:22
  • Dear Altar, I have the feeling you might want to see the [meta thread](http://meta.math.stackexchange.com/questions/3001) about this question. I presume you might want to say something about this matter... – J. M. ain't a mathematician Sep 22 '11 at 08:05
  • lol and if you happen to have a Dirac delta, then you integrate under infinity and get 1... – user541686 Sep 23 '11 at 19:05
  • Nice answer! Show could it be possible that if you say that in general terms(if you do not look at the question) you get $\infty$ back? – Le Chifre Dec 12 '12 at 15:41
  • The answer depends on how you define your classes. Infinity can be a great many things. If you have all natural numbers and you subtract from it all natural numbers, you are left with an empty set. I don't really think anything in math is indefinite. Not really. You just need a different level of abstraction. You need to define your situation a little bit more carefully. – Jordan Jun 04 '16 at 03:02
51

Perhaps an uninteresting way of speaking about infinity, but one you surely will understand, the first one I was taught and which is at the level of Introductory Calculus. If you consider the sequence

$$1,4,9,16,25,36,\ldots ,n^{2},\ldots \tag{1}$$

and the sequence

$$1,2,3,4,5,6,\ldots ,n,\ldots \tag{2}$$

both go to infinity as $n$ tends to infinity (I will add if you deem necessary the meaning of "going to infinity"). The sequence obtained by subtracting $(2)$ from $(1)$ goes to infinity too

$$0,2,6,12,20,30,\ldots ,n^{2}-n,\ldots \tag{3}$$

If you consider now the sequence

$$\frac{1}{1},\frac{3}{2},\frac{8}{3},\frac{15}{4},\frac{24}{5},\frac{35}{6}% ,\ldots ,\frac{n^{2}-1}{n},\ldots \tag{4}$$

which goes to infinity too and subtract it from $(2)$ you get a sequence which tends to $0$

$$0,\frac{1}{2},\frac{1}{3},\frac{1}{4},\frac{1}{5},\frac{1}{6},\ldots ,\frac{% 1}{n},\ldots \tag{5}$$

If you take sequence $(2)$ and subtract from it the sequence

$$0,1,2,3,4,5,\ldots ,n-1,\ldots \tag{6}$$

you get the constant sequence

$$1,1,1,1,1,1,\ldots \tag{7}$$

So the difference of two sequences both going to infinity may be a sequence which tends to $\pm\infty $, $0$ or a finite number.

Américo Tavares
  • 37,567
  • 13
  • 96
  • 238
27

When trying to invent new number systems with numbers we name, for example, "infinity", we must define the rules of operation. If you decide to adjoin the symbol $\infty$ to, say, the real numbers, then you must decide which properties you want the symbol to have.

For example, do you want (which is reasonable) $x+\infty=\infty$ for every real number $x$? If so, your new system, $\mathbb{R} \cup \{\infty\}$ can no longer be a ring, so you lose some of the important properties of the system.

Usually, the symbol $\infty$ is only used to indicate that limits "grow beyond any number", for example. In this case, $\infty-\infty$ depends on what limits are in question.

In other situations, $\infty$ is used to formally "complete" a topological space, say $\mathbb{C}$. All new students of topology learn that the sphere and $\mathbb{C} \cup \{\infty \}$ are homeomorphic spaces, that is, essentially the same.

Fredrik Meyer
  • 19,370
  • 3
  • 48
  • 73
  • 2
    There has been an interesting paper on this issue in the first issue of Rejecta Mathematica: http://math.rejecta.org/vol2-num1/44-48 – Michael Greinecker Dec 29 '11 at 23:15
  • 1
    @MichaelGreinecker: Dead link. The index is now at http://rejecta.github.io/mathematica/volumes.html, and the paper in question is http://rejecta.github.io/mathematica/files/articles/RejectaMathematicaVol2No1_Part5.pdf. – Hans Lundmark Oct 21 '15 at 06:44
23

There is a simple way to show how we can define such problems. .Simply write the equation and try to find $x$.

$\infty - \infty =x$

$\infty =x+ \infty$

If you try to put some values of $x$, such as 1,2,3,.... you will notice that all numbers will be correct because if you add any number to infinity,it will be again infinity or if you select any negative number , infinity will not loss anything from infinity, it will be again infinity. If so what is $x$? x can be any number, therefore we say such x as indeterminate.

If you try the same method to other indeterminate expression such as $$\frac{0}{0}$$

$$\frac{0}{0}=x$$ what is $x$?

$$\frac{0}{0}=\frac{x}{1}$$

$$x.0=0.1$$

$$x.0=0$$ $x$ can be any number because if we multiple any number with zero result will be zero. Again similiar result as we got for $\infty - \infty$.

Another important property that all indeterminate expressions can transform to another form. please see examples below.

Example 1: $$0.\infty=$$

$$=0.\frac{1}{0}=\frac{0}{0}$$


Example 2: $$\frac{\infty}{\infty}=$$

$$ =\frac{\frac{1}{0}} {\frac{1}{0}} =\frac{0}{0}$$


Example 3: $$\infty - \infty=$$

$$ =\frac{1}{0}-\frac{1}{0}= \frac{1-1}{0}=\frac{0}{0}$$


Example 4: $$1^\infty=x$$

$$ln(x) = ln(1^\infty)= \infty.ln(1)=\infty.0=\frac{1}{0}.0= \frac{0}{0}$$

If $ln(x)$ is indeterminate , thus $x$ is also indeterminate

Similiar way can be shown for $\infty ^ 0$ as shown in example 4. These examples show that indeterminate expressions can convert to other type. It is very important to find limit values in mathematics.

Mathlover
  • 9,702
  • 3
  • 34
  • 87
  • 1
    I can't comment on the merit of the bottom half of this answer, but I can say that the top is respectable. As such, I'll act on good faith and +1. Feel free to modify the bottom--I do not understand it enough to fully help you clarify it. – 000 Mar 17 '12 at 21:00
21

The expression $\infty - \infty$ is called indeterminate because $\infty - \infty$ could be anything in the set $[-\infty, \infty] = \mathbb{R} \cup \{\pm \infty\}$. Consider the limit

$$ \lim_{x \to \infty} (f(x) - g(x)). $$ If $f(x)$ and $g(x)$ are polynomials (or arbitrary functions which tend to infinity), the limit is of the form $\infty - \infty$, but we can concoct examples where the limit can be any number. For example, let $\alpha$ be an arbitrary real number, and define $f(x) = x+ \alpha$ and $g(x) = x$. Then the limit is $\alpha$. Furthermore, if $f(x) = x^2$ and $g(x) = x$ (or vice versa), then the limit becomes $+ \infty$ (or $-\infty$). Therefore there is no reasonable way to define $\infty - \infty$.

PJTraill
  • 812
  • 7
  • 22
JavaMan
  • 12,613
  • 2
  • 36
  • 61
  • 2
    I will take $\infty$ to mean a quantity which grows without bound. There are many such quantities, but the distinction is usually made _after_ one is introduced to calculus, and since my answer is based in elementary calculus, I will not worry about the distinction here. – JavaMan Aug 30 '11 at 19:07
  • It is "indeterminate", not "indeterminant". Also I would say indeterminate form or expression, because being indeterminate here means exactly that no definite value (quantity) can be unambiguously associated to the expression. – Marc van Leeuwen Aug 21 '13 at 10:25
  • @JavaMan Be careful about notation. $$[a,b]=\{x \in \mathbb{R} : a \leq x \leq b\}.$$ Since, $\infty \notin \mathbb{R}$, $$[\infty,\infty]$$ doesn't really make sense in interval notation. – beep-boop Sep 11 '14 at 22:05
  • 2
    @alexqwx Actually, notations like $[0,\infty]$ are actually used quite commonly in fields for which it would be useful, for example measure theory. And I can think of at least [one formal system](http://us2.metamath.org:88/mpegif/df-icc.html) where writing $[-\infty,\infty]=\Bbb R^*$ is valid, because the interval is defined not with respect to $\Bbb R$ but $\Bbb R^*$ where $\Bbb R^*=\Bbb R\cup\{-\infty,\infty\}$ and $-\infty,\infty$ are arbitrary sets not in $\Bbb R$. – Mario Carneiro Feb 10 '15 at 19:30
  • 1
    This argument assumes that ∞−∞ should be defined as a limit, which is not obvious. – PJTraill Nov 14 '18 at 20:51
10

$$ \int_0^1 \int_0^1 \frac{x^2-y^2}{(x^2 + y^2)^2} \, dy\,dx \text{ is actually different from }\int_0^1 \int_0^1 \frac{x^2-y^2}{(x^2 + y^2)^2} \, dx\,dy. $$ One of these is $\pi/4$; the other is $-\pi/4$.

That's infinity minus infinity. I.e. if you integrate over the part of the square where $x^2-y^2$ is positive, you get $\infty$, and if you integrate over the part that's negative, you get $-\infty$.

If you have $\infty$ minus a finite positive number, then the integral would be $\infty$ either way; if you have $-\infty$ plus a finite positive number, then it's $-\infty$ either way. And if both the positive and negative parts are finite, then you get the same number either way. This sort of bad behavior of integrals, where changing the order of integration can change the number you get as the bottom line, can happen only when the positive and negative parts are both infinite.

The same thing happens with infinite series, as you'll see if you google: conditional convergence Riemann rearrange

Michael Hardy
  • 1
  • 30
  • 276
  • 565
7

If we interpret $\infty$ to mean some infinite surreal number such as $\omega = \{ \mathbb{N} \mathrel{|} \emptyset \}$, then yes, $\infty - \infty = 0$, because all surreal numbers have additive inverses.

Dan Brumleve
  • 17,242
  • 6
  • 44
  • 96
  • 2
    Note that under this interpretation, you have $\infty+1>\infty$ and $2\infty>\infty$, *unlike* most of the other answers here, so having $\infty-\infty=0$ is consistent since $\infty$ is not actually the biggest number in the surreals. – Mario Carneiro Feb 10 '15 at 20:07
6

In any number system where one class of numbers (the infinite) is bigger than all the numbers in another (the finite) there will be should usually be more than 1 "infinity". For example, in the hyper-reals, if $H$ is infinite, $2H, \frac H2, H+1,$ and $H-1$ are all infinite.

$H-2H=-H$ which is negative infinite.

$H - \frac H 2 = H/2 $ which is positive infinite.

$H-(H+1)=-1$ which is negative finite.

$H-(H-1)=1$ which is positive finite.

$H-H=0$ which is zero.

ypercubeᵀᴹ
  • 915
  • 8
  • 19
PyRulez
  • 9,530
  • 3
  • 34
  • 98
5

The result is Indeterminate.

The reason being because you could never come to a concise answer:

Is the 1st infinity larger? Then answer would be +infinity.

Is the 2nd infinity larger? Then answer would be -infinity.

Are the same size? Then answer could be 0.

Since the size of infinity is unknown, we cannot determine any of these situations and therefore the answer is Indeterminate.

Dan W
  • 590
  • 6
  • 15
  • 7
    Well: Take this example $\lim_{x \to \infty} (x+2)-(x)=2$. This is an expression of the form $\infty-\infty$, but "the result" is 2, even though one "infinity is larger" than the other. – Fredrik Meyer Aug 30 '11 at 18:55
  • 1
    But you've given an answer to a different thing from to the question: you determined the expression, but in the question it is indetermined (underdetermined,indeterminate) – Gottfried Helms Aug 31 '11 at 02:57
5

One reason the answer is indeterminate is because you can find sequences $x_n,y_n$ of real numbers such that $x_n,y_n \to \infty$ and $(x_n-y_n)$ can converge to any real value or $\pm \infty$.

For example pick $a \in \Bbb{R}$ and $x_n=n+a,y_n=n$. Then $x_n-y_n=a,\ \forall n$ and therefore $x_n-y_n \to a$.

For $x_n=2n,y_n=n$ you get $\infty$. Switch the order and get $-\infty$.

Indeterminations are usually taught in analysis courses, and the main reason they are called this way is that you cannot say what is the value of the limit from the start. Other examples are $\infty \cdot 0, 1^\infty, \infty^0, \frac{\infty}{\infty},\frac{0}{0}$...

Beni Bogosel
  • 22,358
  • 6
  • 64
  • 125
3

Infinity does not lead to contradiction, but we can not conceptualize $\infty$ as a number. The issue is similar to, what is $ + - \times$, where $-$ is the operator. The answer is undefined, because $+$ and $\times$ are not the kind of mathematical objects that $-$ acts upon. (We could of course define something, but then we are no longer talking about the usual operations, we are changing the meaning of the symbols.)

We can not conceptualize $\infty$ as a number to a large part because $\infty - \infty$ does not have a good interpretations. In particular for any finite set, the size of the set, its cardinality, is the same as the place of its last member, its ordinal. So if I have a concrete set $\{a, 57, \text{apple}\}$, then one of the members is at the place $3$, because there are $3$ members of the set. That is no longer true for infinity.

This is shown by the Ross–Littlewood paradox, you receive $10$ coins at each time step, and then you give a single coin back. The question is, how many coins do you have after infinite many steps. The problem is called a paradox because it has a simple and intuitive answer, unfortunately not many people agree which answer is simple and intuitive.

The first answer is, you have $\infty$ coins, which is a notational shorthand for, the total number of coins in your possession growth without limit. Proponents of this answer parse the problem in terms of total value where individual coins loose their identity. One could interpret that as taking the ten coins to the bank, then wiring the value of a single coin back. The bank updates your balance and the operation at a time step $t$ is $b_{t+1}=b_{t} + 10 - 1$.

The other answer is $0$, because each coin only spends a finite time in your possession and so after an infinite amount of steps you gave each and every coin back. In this case, one puts the coin into a line, one by one, adds $10$ coins to the end of the line, and gives $1$ coin back from the front of the line. That means that the $n$-th coin spends the timesteps $n/10$ until $n$ in your possession, and you give it away in a finite amount of time. (You get the $65$-th coin at time step $6$ and give it away during the time step $65$.) In "the end," infinity does not have an end" you have given all coins away and so the balance is $0$.

The difference between the two scenarios is, in the second the order of the coins is preserved, in the first the coins are piled and one only looks at the total value of the coins. And if we modify the second scenario a little bit, we end up with different answers. If you give back always the last coin you received, then you keep coins $1,\dots,9$ from the first step, coins $11, \dots, 19$ from the second and so on and you get to keep an infinite amount. (I use the order of received here to number the coins, not the place the coins lie in at the end.) If you take the ten coins, put $1$ on a pile, and you put $9$ in a line, and you do that for the first $n$ steps and after that you get lazy and just put all the coins into the line, then you will give all the coins in the line away, but you end up with a pile of $n$ coins.

These different procedures could all be plausibly called $\infty - \infty$, and we just constructed ways to parse that expression in a way to get any answer between $0$ and $\infty$. This is the issue with infinity, we have to be precise how to conceptualize $\infty$ and we can not just treat $\infty$ like a kind of number.

yoshi
  • 113
  • 7