The Limit As A (Partial) Function

In math, we often say the limit of a function. This is not precise. A better phase is "the limit of a function at a point" since limits are always defined with respect to a function and a point.

Say we have a function $$f$$ and we want to find the limit at the point $$p$$. We can write $$ lim_{x \to p} f(x)$$ as $$l(f,p)$$ to emphasize that the limit is a binary function, with the following type signature (in Haskell):

lim :: (a -> b) -> a -> b

Except that it's not quite a function. The limit does not always exist at a point. So perhaps a better type signature is

lim :: (a -> b) -> a -> Maybe b

Related Posts

Some ChatGPT Sessions

2016 ML thoughts

My biggest takeaway from Redwood Research REMIX

finite, actual infinity, potential infinity

Actions and Flows

PSA: reward is part of the habit loop too

a kernel of lie theory

The hyperfinite timeline

Slick hyperfinite Ramsey theory proof

Gaoxing Guy