nshepperd comments on On the importance of taking limits: Infinite Spheres of Utility - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (58)
This is actually a good example of the difference between pointwise and uniform convergence. Consider the characteristic function of the vase at time
t,g_t : N -> {0, 1}. Theng_t(n) = 1if and only if ballnis in the vase at timet. It will actually help to convertg_tto a function on the real numbers, by makingf_t(x) = g_t(floor(x)).Now, for each ball
n, there is a time when it will be destroyed, and therefore will never be in the vase after that time. So the characteristic functionf_t(x)converges pointwise tof(x) = 0. This is presumably what you mean by the limit of the vase being the empty set.But the criterion of uniform convergence is that for any
epsilon>0there is atsuch thatf_tis withinepsilonof the limit everywhere. Which is obviously not true, because at any timetthere are some balls in the vase, and so the characteristic function is 1 somewhere. Sof_t(x)does not uniformly converge to anything.As it happens, without uniform convergence, the limit of the integrals of
f_t(x)(which just so happens to be the number of balls in the vase, by my setup) is not generally equal to the integral of the limiting functionf(x). So, in a way it is not really true that you can sayas the integral does not transfer to the limit.