The Difference Quotient of a Function with Bounded Continuous Derivative is Bounded, Symmetric and Continuous on the Plane
lemmaAnalysislem:difference-quotient-c1-real-2026aFor a real function with bounded continuous derivative, the difference quotient extended to the diagonal by the derivative is bounded by the same bound, symmetric, continuous on the plane and hence Borel measurable.
Adopt Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation, and regard as a metric space through the metric of The Absolute Value Metric on the Real Line. Every real number is an interior point of the interval by Basic Facts about Intervals of the Real Line and Their Interior Points §whole-line.
Let be differentiable at every point of , let its derivative be continuous as a map from to , and let be a real number with for every . Define by
1. (Bound and symmetry)¶ and for all .
2. (Continuity)¶ is continuous on .
3. (Measurability)¶ is measurable with respect to and , the Borel -algebra of and the Borel -algebra of the real line.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.