An observation on accumulation points

Everyone is familiar with the derivative of a function f in terms of limits: for a sequence k converging to x, D.f.x = \lim_{i\rightarrow \infty} (f.k.i - f.x)/(k.i - x). I spent a couple days playing with sequences which accumulate but do not converge, seeing if I could do calculus without limits. I came to my senses and realized I’m a biologist, but not before I stumbled across this:

Treat values of a sequence k as values of a random variable with uniform probability density. Then if k has an accumulation point at x, D.f.x = \textrm{E}[(f.k.i - f.x) / (k.i - x) ]. To see this, when you’re close to x, you get enormous denominators. Since you get arbitrarily close to x arbitrarily often, you have infinitely many denominators as large as you like. These completely swamp any contribution of points of the sequence away from x.

I suspect that there is a “fundamental theorem of analysis” which says that a statement about a space is true is equivalent to the statement being true at the accumulation points of all accumulating sequences in that space. But I don’t know how to define the above expectation except as a limit of finite sequences, so this doesn’t advance the program at all.

(Before people misunderstand, I like limits. I use them constantly. Some of my best friends are limits. This is a mathematical diversion.)

One Comment

  1. John A:

    You’ll be pleased to know that categories, blogrolls and links are back (the update to Wordpress MU wasn’t as smooth as I would like).

    Tags are now available for your posts, to make searching on specific topics for your reader(s) a lot easier. The line on where to insert them is just below the text field where you enter the post itself in the admin console.

Leave a comment