Balls and vase $-$ A paradox?

Question

Question

I have infinity number of balls and a large enough vase. I define an action to be "put ten balls into the vase, and take one out". Now, I start from 11:59 and do one action, and after 30 seconds I do one action again, and 15 seconds later again, 7.5 seconds, 3.75 seconds...

What is the number of balls in the vase at 12:00?

My attempt

It seems like that it should be infinity (?), but if we consider the case:

Number each balls in an order of positive integers. During the first action, I put balls no. 1-10 in, and ball no.1 out, and during the $n^{\text{th}}$ action I take ball no. $n$ out.

In this way, suppose it is at noon, every ball must have been taken out of the vase. So (?) the number of balls in the vase is

Zero???

My first question: if I take the ball randomly, what will be the result at noon? (I think it may need some probability method, which I'm not familiar enough with.)

Second one: is it actually a paradox?

Thanks in advance anyway.

Answer 1

It is not a well defined problem. You talk about a result after infinite time (or at least an infinite amount of actions), which requires a notion of a limit.

We can compute limits of numbers because we have defined what it means to approach a number. So when you just look at the number of balls and not which balls, then the answer is indeed $\infty$. This is because the sequence of the number of balls $0, 9, 18, 27,...$ is divergent.

If we want to include the identity of the balls, we have to talk about sets instead of just numbers. We can compute the limit of sets (via intersection and union) if the sequence of sets is increasing or decreasing, i.e.

$$ A_0\subset A_1\subset A_2\subset\cdots \quad\text{or}\quad A_0\supset A_1\supset A_2\supset \cdots$$

For more general sequences of sets there might be a set-theoretic limit (Thanks to celtschk in the comments). Applied to this problem, it will give indeed the empty set $\varnothing$.

The paradox arises because the problem intentionally leaves open the kind of limit to consider. As soon as the definition is fixed, the ambiguity vanishes.

Answer 2

What you just discovered is that the cardinality of a set (the number of elements) is not a continuous function, that is, for a convergent sequence $S_n$ of sets you may have $$\lim_{n\to\infty}\left|S_n\right|\ne \left|\lim_{n\to\infty} S_n\right|$$ where $\left|S_n\right|$ is the cardinality of $S_n$ (e.g. $\left|\{2,3,4,5\}\right|=4$). In your case, the left hand side diverges (giving you the infinite number of balls), while the right hand side gives $0$ (the cardinality of the empty set).

This is not a paradox, but a warning that you have to be careful with such limits.

Answer 3

This is essentially a pointwise convergence versus uniform convergence situation. For each ball separately, we have convergence to the state where that ball is not in the vase: as you say, every ball gets taken out before $12{:}00$. But if you look at the number of balls in the urn, that tends to infinity. So whether the process converges to the empty vase depends on what metric we use to define convergence.

A similar thing happens in real analysis. Define a sequence of functions $f_n:[0,1]\to\mathbb R$ as follows. $f_n(0)=0$, $f_n(1/2n)=2n$, $f_n(1/n)=0$, with $f_n(x)$ increasing linearly between $0$ and $1/2n$, decreasing linearly between $1/2n$ and $1/n$, and $0$ between $1/n$ and $1$.

Now for any $x$, $f_n(x)\to 0$. This means that $f_n$ converges pointwise to the zero function. But $\int_0^1f_n(x)\mathrm dx=1$ for every $n$. So pointwise convergence doesn't tell us how the integral behaves, and if that's what we care about then we need to define convergence differently.

Answer 4

From a physics point of view, not more than 72 balls (maybe 81).

Otherwise, imagine somebody putting ten and taking out 1 balls in less than 1 second!!