Re:Mathematicians Identify Threshold at Which Shapes Give Way
by jbrot on Sunday June 06, 2021 @01:04AM
(#27410931)
Small correction: the definition you shared is that of “uniform continuity” [1] not “absolute continuity” [2]. Absolute continuity is a slightly stronger condition where instead of providing a single (x1, x2) pair with |x1 - x2| < delta, you can now provide a finite list of pairs.
[1] https://en.m.wikipedia.org/wiki/Uniform_continuity [2] https://en.m.wikipedia.org/wiki/Absolute_continuity
This is actually stronger than the epsilon-delta definition of continuity, as noted in the wiki article -- "For any α > 0, the condition implies the function is uniformly continuous."
Normally, you'd have something like
For all ϵ > 0, there exists δ(x, ϵ) > 0 such that
if |x - x₀| < δ, then |f(x) - f(x₀)| < ϵ.
(namely, at any given point, there's a ball of nearby points such that all their corresponding outputs are close together.)
But, with absolute continuity, δ is purely a function of ϵ, namely, that ball doesn't change size even as we move further away.
For instance, f(x)=x is absolutely continuous, while f(x)=x^2 is not. (for the former case, we can use δ = ϵ/2; for the latter case, we'd need a δ that looks something like 2ϵ·x)
In this case, since the Holder condition depends only on the distance between x and y, it automatically implies absolute continuity.